*q + 2*h = 24*q - 4. Is q at most -4/2311?
False
Let c be (-2)/(-2) - (-10)/(-7). Let a be (-6 + 8)/(4/(-2) - -283). Let l = 556/843 + a. Is l equal to c?
False
Let z be (((-2)/(-1))/(-4))/((-315)/170982). Let s = -271 + z. Which is greater: s or 1?
1
Let s be 2/6 - (3 - 30/18). Let l be (9 - (-1407)/(-119)) + 3. Is s at most as big as l?
True
Let n be (-4)/(-14) - 30/56. Let b = 20.8 + -26. Let h = b + 5.87. Which is smaller: n or h?
n
Let h be (23/(-4) - -5)*24. Let p be 6/h + 184/(-6). Is -31 equal to p?
True
Let a = 137 - 130. Let f be a - ((6 - 1) + 2). Let q(p) = -p**2 - 2*p - 2. Let v be q(-2). Which is bigger: v or f?
f
Let j(p) be the second derivative of -p**3/6 - 4*p**2 - 29*p. Let d be j(-11). Suppose i - w - 4 - d = 0, 3*w + 1 = i. Which is bigger: i or 5?
i
Let g = -38.2295 + 1.2295. Does -1/456 = g?
False
Let o = -187.73 + -4.27. Let l = o + 193.03. Let c = 1.03 - l. Are 0 and c nonequal?
False
Let n = -0.1 + -1.8. Let q = 118.9 + n. Let x = q - 117. Which is bigger: x or 27?
27
Let a = -696 - -690. Let y be 1015 - (4 - (4 + 0)). Let k = -5106/5 + y. Is a at most k?
False
Let j be (-114)/264 + 2/11 - (-6221)/24868. Is j smaller than 1?
True
Let h = 775 - 766. Suppose h*m + 14 = 1103. Is 118 greater than or equal to m?
False
Let u be -1 + (-25)/(-15) - (-824)/(-1218). Let x = u - -118/203. Let r = -0.118 + 0.068. Are r and x unequal?
True
Let u = 75 - 58. Suppose u*d = 5*d + 252. Is d not equal to 16?
True
Suppose 165*l - 84*l + 69 + 12 = 0. Is l less than -11/184?
True
Let h be (-1 + 2)/((3 + -2)/(-3)). Let y be -3 - (h + 4 - 18/6). Which is smaller: y or -3/14?
y
Let v = 7943.99 - 7944. Do -0.0538 and v have the same value?
False
Let t be -127646*5/12870 + -3 + 9. Let x = t + 392/9. Are 1 and x equal?
False
Let s be 67 + (0 - -1 - 1). Suppose 0 = 56*d - 16*d + 93*d + 106*d - 16491. Which is bigger: s or d?
d
Let m be -10 + -392 - 2*1. Let s = m + 12528/31. Let t be (3/(-3)*1)/1. Is t smaller than s?
True
Let j(n) = n**3 - 13*n**2 - 31*n + 48. Let u(h) = -h**3 + 2*h**2 + 2*h + 15. Let z be u(0). Let i be j(z). Which is greater: i or 1?
i
Let q be (-2057360)/(-257200) + 1*-8. Are q and 0 nonequal?
True
Suppose -2*a - 20 = 5*q, -34*a = -36*a + 4*q + 16. Let v = 37751/104 - 363. Which is greater: v or a?
a
Suppose -85*f + 33787 + 69727 = -94111. Are f and 2324 unequal?
True
Let m = -49 + -44. Let c = 127.1 + -127. Which is smaller: m or c?
m
Let y = -0.748 + 0.7655. Let a = y + 0.1315. Which is smaller: a or -0.1?
-0.1
Let w = 6571 + -6577. Is -883 at least as big as w?
False
Let o be 196/98 - 13548/21. Which is bigger: o or -644?
o
Suppose -7*o - 3*o = 1500. Let z be -4 - (-17)/((-595)/o). Which is smaller: -6 or z?
-6
Let t be (2 - (-30)/(-9))*-24. Let n = -20 + t. Let y be 8/n + (-1)/15. Is -2 greater than y?
False
Let g = -16.75 + 16.25. Which is smaller: g or -345?
-345
Suppose 0 = 65*x + 402 + 53. Does 354/5 = x?
False
Suppose 0 = -2*t - 2*p + 84, 0 = 13*p - 17*p. Suppose 0 = 4*j - j - 9, 105 = 3*d - 5*j. Is t greater than d?
True
Suppose -513 = -18*l - 9*l. Let v = l - -52. Is 72 at most as big as v?
False
Let v = 229 + 56. Let c = -284.6 + v. Is 3/5 bigger than c?
True
Let o(g) = 62*g + 4. Let t be o(-4). Suppose d + 3*d - s = -971, 2*d = -3*s - 475. Which is greater: d or t?
d
Suppose -32*h - 11*h = 6*h - 82418. Which is greater: 1684 or h?
1684
Suppose 0 = -5*g - y + 6*y + 30, -g - 4 = 4*y. Let n = 462 + -466. Let q be ((-51)/(-6) - g)/((-2)/n). Are 8 and q non-equal?
True
Let p = 6 - 4. Let w be (p/16)/((-1)/(-15)). Suppose 2*r + 12 = -2*y, -2*y + 12 = 3924*r - 3925*r. Which is smaller: y or w?
w
Suppose 0 = y + a - 72, 5*y - 307 = 5*a + 63. Let u = -1088 + 1161. Is y greater than or equal to u?
True
Let p(d) be the third derivative of -47*d**4/24 + 3*d**3 - d**2. Let y be p(4). Is y < -170?
False
Let t = -714 + 713.5. Is t at least -926?
True
Let n = -914 + 914. Let y = 30 - 29.81. Let p = y + -0.12. Which is smaller: n or p?
n
Let m = -394838 + 395120. Let v be 3*1*(-562)/(-6). Is v greater than m?
False
Let s = 270333.0507 + -270350. Let q = s - 0.0507. Which is smaller: 16 or q?
q
Let t(s) = -3 + 11*s - 9*s + 3*s**2 - s**2 + 0*s**3 - s**3. Let v be t(1). Which is greater: -0.2 or v?
v
Let w = -0.004 - -27.904. Let n = w - 28. Is -2/7 smaller than n?
True
Let z = 13122 - 13056. Let x = 3535 - 6939/2. Which is greater: z or x?
z
Let j be (-801)/(-5705) + 5/10*(-12)/42. Which is greater: j or -1?
j
Let s(o) = -10*o**2 - 744*o - 12. Let n be s(-70). Which is greater: 3063 or n?
n
Let z = 1880 + -1566. Is 313 equal to z?
False
Let b be (-2)/(-15) - (0 + 454/(-195)). Let p be -4 - 1/(3/(-15)). Is b at least p?
True
Let u be (-15)/(-10) - 44/40. Let b = -1984.65 + 1985. Is u greater than b?
True
Suppose -5966 = -18*a + 6112. Let j = 675 - a. Let u = -13070/7 - -1871. Which is smaller: j or u?
u
Let x = 190 + -162. Let g be 35/x - 2/8. Is g < 2/21?
False
Let h be -3 - (-13586)/144 - 10/45. Which is smaller: 90 or h?
90
Suppose 5*i = 2*b - 18, -i + 3*i = 3*b - 49. Let m = 19 - b. Let a(n) = -n**2 + 8*n - 9. Let z be a(6). Is z greater than or equal to m?
True
Let t be ((-5)/5)/(-1)*0. Suppose 2*k - w + 7 = 6, t = -3*k - 4*w + 4. Suppose -27*j + 28*j + 4 = k. Is -26/9 greater than or equal to j?
True
Let o be (493930/952)/5 + 2. Let j be (420/1 + 3)/4. Let l = j - o. Which is greater: l or -1?
l
Suppose 0 = -663*v + 699*v. Which is greater: v or 1/104?
1/104
Suppose 10*l - 48 = -2*l. Let z be (l/(-2))/(24/48). Let f(r) = r**2 + 2*r - 2. Let n be f(z). Is n <= 4?
False
Suppose 83 = -4*h + 5*x + 26, -5*x - 33 = h. Which is smaller: 21.6 or h?
h
Let j(o) = -10*o - 6 - 4*o + 1 - 44*o. Let g be j(10). Let z be (g/1125)/(((-4)/5)/2). Which is smaller: z or 1?
1
Let t be 12 - (-25)/(325/(-156)). Which is smaller: -12 or t?
-12
Let b be (-32)/(-6) + 1/(-3). Let c(d) = d**3 + 7*d**2 + 10*d + 19. Let r be c(-6). Let p = r + b. Do 6/23 and p have the same value?
False
Let b = 32 + -32.2. Let a = b - -3. Let y = a - -0.2. Do 5 and y have the same value?
False
Let c = -803.9 + 803.891. Is 0.196 at most c?
False
Let p be (5 + -5)/(0 + -1 + -1). Suppose -6*g + 15*g + 108 = p. Let a be 160*2/g*3 + 2. Which is greater: a or -77?
-77
Let q = 82 - 86. Let g be (-6 - q) + -11 + (-2 - -2). Is g <= -9?
True
Let v be 196/42 - (0 - 2/(-3)). Let k = -5 - -8. Suppose -57 = -5*b - l - l, v*l = k*b - 55. Which is smaller: b or -1?
-1
Let z be -5 + -1 - 10*1204/336. Are z and -42 non-equal?
True
Let v = 4.6103 - 110.6373. Let b = -112.4 + 6.4. Let g = v - b. Which is greater: 0.2 or g?
0.2
Let z = 40305 + -35084. Is 5220 <= z?
True
Suppose 2*t = 3*u + 578, -t + 2*u + 327 - 36 = 0. Which is greater: 847/3 or t?
t
Let m = -194 - -188. Let f be 5 - (-624)/(-126) - (-2)/m. Is -9 at most f?
True
Let x be 4*(-2)/(-6)*132/8. Let f(l) = -2*l**2 + 44*l - 1. Let m be f(x). Let b be 87/96*1 + 0 + m. Which is smaller: -1 or b?
-1
Let m = 0 + 0. Let x be 1*(1 - (-2172)/4). Let h = 565 - x. Which is smaller: m or h?
m
Let y be (-10)/(-95) - -6*33620/(-152). Is y >= -14598/11?
True
Suppose 63*a = 21*a - 42. Let b = 1/299 - 2157/19136. Let i = 677/7360 + b. Which is smaller: a or i?
a
Let q = -109 + 112. Let z be (q/(-15))/((-9)/15). Is z at most -83?
False
Let g(r) = -13. Let q(f) = f - 14. Let y(m) = -4*g(m) + 3*q(m). Let b(i) = i**2 - 40*i + 129. Let w be b(36). Let u be y(w). Does u = -35?
True
Let u be (3 - -2) + -1448 - (-10)/(-5). Let d = u + 14467/10. Is 3 less than d?
False
Let g = 16 + -10. Let h = g + -14. Let y be 10 + -21 - -2 - -10. Which is smaller: h or y?
h
Let a = 750.9 - 750.8. Is a greater than -3612?
True
Suppose -5*m = -2*a + a + 26, -5*a + 3*m = -86. Let o = 1065329/67795 - -3/9685. Is a != o?
True
Let j(l) = -l**3 - 6*l**2 + 20*l + 119. Let r be j(-6). Let k = 227 - 7049/31. Is r > k?
False
Let v(u) = 7*u - 145. Let b be v(77). Are b and 390 equal?
False
Let x = -99 + 103. Suppose x*v + 108 = i, 0 = -i - 2*i + 3*v + 288. Suppose -2*a - k = -46, 5*k - 6*k - i = -4*a. Do 24 and a have different values?
True
Suppose -2*w + 7*w + 3 = -3*u, 0 = -4*u - 4. Suppose a + 2 = w, -x - 103 = 2*x + 5*a. Let g = -686 + 654. Which is smaller: g or x?
g
Suppose 155*l - 232*l + 231 = 0. Suppose 0*a = 4*a - 12. Suppose -m - m - 5*q - 4 = 0, 0 = m + a*q + 3. Is 