q and l non-equal?
True
Let l = 10 + -7. Let j(g) = -6*g. Let c be j(-5). Let s = -28 + c. Are l and s equal?
False
Let l be 32/10 - (48/60)/(-1). Let z = -0.02 + -0.2. Let f = -0.08 + z. Is f at least l?
False
Let l = -410.3 - -386. Let g = l + 24. Does -4.6 = g?
False
Suppose -53 - 41 = 4*w - d, -4*d + 123 = -5*w. Which is smaller: 56 or w?
w
Let o = -11614 - -11556. Is -74 less than o?
True
Let c = -8 + 13. Suppose -4*j - c = j. Suppose 6*u - 11*u - 6 = -3*u. Which is smaller: j or u?
u
Let u(a) = -a**2 - 8*a + 9. Let w be u(-9). Let j be ((-72)/(-264))/(15/(-100)*2). Which is greater: w or j?
w
Suppose -5*c - 115 = -75. Let g be (33/(-594))/((-2)/c). Let k(t) = -t**3 - t**2 - 2*t - 1. Let j be k(-1). Is j greater than g?
True
Let b be 19*(5/10)/(26/(-28)). Let l = b + 1366/117. Is l < 1?
False
Suppose -8*n - 987 + 1059 = 0. Is n not equal to 384/43?
True
Let t(n) = -n**2 + 85*n - 751. Let o be t(10). Which is greater: -2/133 or o?
-2/133
Suppose 630 + 711 = 9*o. Suppose -19*a = -20 - 2830. Which is smaller: a or o?
o
Let j = -29.33 - 22.67. Let x = 0.313 + 52.087. Let s = j + x. Which is smaller: 0.05 or s?
0.05
Suppose 0 = -4*w - 5*l + 1669, -9*w + 4*l + 1660 = -5*w. Let k be ((-2)/(-5))/(3 - w/140). Is 10 >= k?
False
Suppose 9*h - 1135 - 13519 = -8*h. Is -2 at least h?
False
Suppose 0 = -m - 430 + 433, g + 447 = -m. Is g greater than or equal to -454?
True
Let b = -209 - -414. Let o = b - 215. Which is bigger: -2 or o?
-2
Suppose o + 9291 = 5*m, 4*m + 3*o - 1450 - 5960 = 0. Are 1859 and m equal?
False
Let x = -2 - -3. Let v = 63 - 58. Let q be v + 330/(-318) - 4. Which is bigger: x or q?
x
Let t(v) = -43*v - 1. Let x be t(0). Which is bigger: x or 1/2268?
1/2268
Suppose -4*d - 17 = b, -b - 24 = 2*b + 3*d. Let l(x) = 6*x + 3. Let h be l(b). Let s be 5 - (1748/(-16))/(-23). Are h and s equal?
False
Suppose -2*s - 558 = -260. Let n be s/(-25) + (-252)/42. Which is bigger: -0.2 or n?
n
Let b be (-16)/6*163809/(-18). Let a be 1 + b/(-6066) + 3. Let g = a + -36374/33363. Is -2 >= g?
False
Let o(g) = 4*g**2 - 15*g - 15. Let f be o(-1). Suppose -5*c = f*b - 240, -4*c + 0*b + 171 = -b. Is c >= 42?
True
Let t = 922.34 - 922.3. Which is bigger: t or -144?
t
Suppose -4*q = -2*u + 172, -4*u - 5*q = -3*q - 324. Let j be 0 + -172 + (-656)/u. Do -180 and j have the same value?
True
Let o = 26.841 + -0.041. Let l = -18.8 + o. Is l <= -2/69?
False
Let v be 4/(-22)*1 - ((-277506)/88)/81. Which is greater: 0.3 or v?
v
Suppose -4*d = -2*y + 22, -3*y + 5*d = 4*d - 13. Suppose 4*h = -3 + y. Suppose h = -j + 16 + 5. Is 21 less than j?
False
Suppose -9129 + 1821 = 12*x. Let n = x + 653. Which is bigger: n or 47?
47
Let x = -0.14 + 0.04. Let p = -71 - -101. Let k = -25 + p. Which is smaller: k or x?
x
Let h(g) be the third derivative of 7*g**4/24 + 29*g**3/2 - 98*g**2. Let l be h(-12). Let a = 93/2 + -45. Is l < a?
False
Let f = 3681 + -14725/4. Which is bigger: f or -666.8?
f
Let x be (-48)/((-16)/2) + -820. Let b = x + 582. Is b equal to -232?
True
Let a be (-2)/(-15) - (-14432)/(-99015). Let p = -634/805 + a. Which is greater: p or -0.01?
-0.01
Suppose 0*z - 5*z + 15 = -4*i, 5*z - i = 15. Let x(y) = y**3 - 3*y**2 - y - 3. Let g be x(z). Let w be ((-4)/(-117))/((-4)/g). Which is greater: -1 or w?
w
Suppose -2*g = -5*c - 3774, 2*g + 214 = -5*c - 3532. Are c and 1/3 equal?
False
Suppose -4*p = -5*b - 14, 2*p + 16 = -b + 2. Let s be 30/6 - 0*2/b. Let j = -47 - s. Is -53 equal to j?
False
Let f = -22159 + 22095. Suppose -2*j + v + 10 = 131, j + 5*v = -55. Which is greater: f or j?
j
Let v = 46 - 50. Let m be (-2)/((-3 - -7)/v). Suppose -3*y = -2*a - 21, -18 = 2*a - 4*y + m*y. Are a and 4 nonequal?
True
Let i = 76/41 + -1058/615. Is i greater than -2/1937?
True
Suppose -2*s = -11*z + 8*z - 2733, 2*z - s = -1821. Which is bigger: -907 or z?
-907
Let d = -511/3 + 473/3. Suppose 52 = -3*q - 2*m + 4*m, 4*q - 4*m = -76. Is q < d?
True
Let u = 447 + -452. Let p be u/2*-4*(-4)/10. Which is bigger: p or 27?
27
Let p be -13*(-152)/(-2470) + 1596/(-5). Is -320 not equal to p?
False
Let h = -18 - -17.98. Let q be 2 + (-2 - (-48 - 6/(-3))). Let m = q + -51. Are h and m nonequal?
True
Let r = 7.08162 - 0.08162. Is 328 at most as big as r?
False
Let v = 17 + -12. Let t = -2.44 + v. Let q = 0.44 + t. Which is bigger: -0.1 or q?
q
Let s(f) = 2*f**3 - 3*f**2 + 7*f - 4. Let l be s(3). Suppose 4*x + l + 28 = -2*t, x - 5*t = -18. Is -14 greater than or equal to x?
True
Let s = -1252 - -1845. Suppose -35*z + 34*z + s = -5*y, 0 = -5*z - 10. Are y and -120 nonequal?
True
Let x = 17238685/124 - 139020. Which is smaller: x or 2?
x
Let b be (32/(-6))/(2/(-3)). Let j be 66*(180/b + 1). Let i be j/(-222) - 12/(-4) - -4. Is 1 greater than or equal to i?
True
Let h(q) = -q**3 - 36*q**2 - 43*q - 81. Let b be h(-35). Let z be (0 - -2) + 193 + -6. Suppose 0 = -l + z - b. Which is smaller: l or -11?
-11
Let p = -0.03 - -2.03. Let g = 7603 - 7624. Is p equal to g?
False
Let r = -12543 - -63318/5. Is r at most 121?
True
Let y(f) = 470*f**2 - 3*f + 1. Let m be y(-1). Let j = m + -475. Is 1/247 at most j?
False
Let i be (4/(-148))/(10/96). Let j = i - -8949/2405. Which is smaller: 2 or j?
2
Let i = 5297 - 5295.22. Which is greater: -0.06 or i?
i
Suppose -3*q - 20583 = -3*q + 9*q. Which is greater: -2286 or q?
-2286
Suppose -11 - 3 = -7*m. Suppose 3*n + 11 = o, -2*o - m*n = -4*n - 10. Which is greater: 4 or o?
4
Let j be (76 - 0) + (11 - 15). Let o be ((-284046)/j)/(-7) - 1/4. Let b = 568 - o. Which is bigger: b or -1?
b
Let m be ((-24)/(-32))/(3/28)*-1. Let s be (2092/(-300) - m)*-1. Which is greater: 3 or s?
3
Let f(b) = -1259*b + 3777. Let z be f(3). Is 1/10362 <= z?
False
Let u = 551.8 - 550. Is 59 >= u?
True
Let h be (((-6)/(-68))/(-3))/(-1). Let s be -173 + (3 + -2)*-2. Let p = -176 - s. Is p != h?
True
Suppose -3*q = 4*z + 13185, 4*z = 5*q - 4*q + 4379. Let d = -180040/41 - q. Do -1 and d have the same value?
False
Let v be (-630)/(-168) - 2*2. Let l = 81.1 - 7.1. Let q = l + -134. Which is bigger: q or v?
v
Let p(d) = 2*d**3 - 12*d**2 + 13*d + 13. Let w be p(4). Which is bigger: w or 1/31248?
w
Let p(q) = -2*q + 12. Let j be p(0). Suppose 2*r - j = -2*r. Suppose 42*x - 60*x = -72. Are r and x non-equal?
True
Suppose 0 = -6*n - n. Let i be (-3)/8 - ((-540)/105)/12. Which is smaller: i or n?
n
Let q = -1201 - -1203. Suppose -l = -3 + 1. Suppose y + 0*y = -2, -l*i = q*y + 4. Is i less than or equal to 2/53?
True
Suppose 0 = -5*i - 39 + 34. Let p be ((3/9)/1)/i*369. Is p less than or equal to -122?
True
Let s be -8*(-24 - 4)/2. Let u = 94 - s. Suppose -2*h + 5*y = h + 12, 5*y - 20 = -5*h. Are h and u unequal?
True
Let z be 1 - (-1522)/8 - (-4)/(-16). Let a = 219 - z. Which is smaller: 29 or a?
a
Let n = -79 - -81. Let z be (n - 10)*(-2)/16. Let w be (-8)/(-16) + ((-21)/18)/z. Which is greater: w or 5/7?
5/7
Let q = 15 - 15. Let z be q - ((-12)/3 - 31). Let o be (-2)/(-10) + (-22)/z. Which is bigger: -1 or o?
o
Let c = -235247747/2022137 - 4444/6763. Let s = -117 - c. Let x = s + -285/2093. Is x equal to 0?
False
Let m be (-300)/4400*(-1)/3. Let a = -92 - -92. Are a and m nonequal?
True
Let k(z) = -4*z - 2. Let h be k(10). Let r = h + 46. Let j be r + -46*5/60. Does 5 = j?
False
Let g(p) = -53 + 2147*p - 2174*p + 242. Let i be g(7). Which is greater: i or -5/88?
i
Let b = -179.9176 + -0.8824. Is -2 equal to b?
False
Let z = 6.128 - 5.128. Let o be (0 - (-1)/(-433))*-3. Let c = o - 4357/3897. Which is bigger: z or c?
z
Let h = -3732.62 - -3732. Is h < 3?
True
Suppose -3*c - c = 0. Let q be 3/(-2)*(-588)/126. Suppose q*r = -c*r + 105. Is r at least 72/5?
True
Let g = 591/10 - 699/10. Let o = g - -2307/215. Is 0 >= o?
True
Let y = 25926561/13 - 1993359. Are y and 992 unequal?
True
Let x = 28 - 19. Let w be ((-1)/(x/93))/(154/(-21)). Is 1 > w?
False
Let x(s) = -2*s**2 - 3*s + 20. Let b be x(4). Let y be 52/b + -5 + 100/15. Let z = -1 - -1. Is z > y?
True
Let o = 2110.9 + 3221.1. Is 0.1 not equal to o?
True
Let y be -14*(-12)/(-8)*(-8)/28. Suppose 24 = -y*j + 18. Is 3/65 >= j?
True
Let v = 5719 + -5754.4. Which is greater: -3 or v?
-3
Let y be 4/(10/(-225)*3). Let m be ((-48)/y)/(1/(-10)). Let t be m/6 - (-16 + 13). Is 3 greater than t?
True
Let h(a) = -a**3 + 3*a**2. Let n be h(3). Let t be (-26)/189