t + 15 = -1, -t = 0. Which is smaller: 28/11 or q?
28/11
Let v be 6*23/207*2/15620*-9. Is -1 equal to v?
False
Let w be (-970)/(-5)*(-1 - (-3 - -1)). Suppose 2*u - w = -2*m, -5*m - 4*u + 470 = -2*u. Let o = m - 110. Is -19 smaller than o?
True
Let a = 1.8 - 2. Let g = -74568.18 + 74568. Which is smaller: g or a?
a
Let p be (-22 - 6) + 19 - 1896/(-142). Is 4 not equal to p?
True
Let u(s) = 380*s - 6060. Let q be u(17). Is 434 < q?
False
Let a(r) = -4*r**2 + 1226*r + 16910. Let k be a(-14). Which is smaller: k or 3?
k
Suppose 0 = 5*i + 4*o - 114069, -464*i - 5*o = -460*i - 91266. Is -1 greater than i?
False
Suppose 14*k + 4075 + 3709 = 0. Which is bigger: -2773/5 or k?
-2773/5
Let m be (8/(-4) - 2) + 9. Suppose -4 = m*w - 14. Is w > 13/10?
True
Let g(j) = j**3 - 7*j**2 + 15*j - 31. Let o be g(5). Let n = 31 + -63/2. Is o at least as big as n?
False
Let v = 12/143 - -1084/715. Let k = 13 + -9. Let l = 6 - k. Which is bigger: l or v?
l
Suppose x = -2*d + 13, 0 = d - 2*x - 6 + 7. Let t be ((-7)/(-21))/(((-10)/12)/d). Let j = 3/17 - 131/68. Which is greater: j or t?
j
Let y(h) = -4*h + 80. Let z be -25*(-3)/((-30)/(-8)). Let c be y(z). Are -6/241 and c unequal?
True
Let i = 531 - 288. Let j be 0 + -16*(i/(-84))/(-9). Which is smaller: -5 or j?
j
Let y(w) = -w**2 - 5*w + 41. Let c be y(-9). Let a be c - (-789)/(-6) - 1/(-2). Let t be 16/(-72) - 118/a. Which is bigger: 0.1 or t?
t
Suppose 0 = 4*k + 4*i + 68, -3*k + 18*i - 75 = 15*i. Which is bigger: -59/3 or k?
-59/3
Let a = 1/36 - 415/36. Let f = -12 - a. Let t = -7 + 6.2. Is f < t?
False
Let s be 1/((-4)/(-12)) + 625/(-1). Let g = s + 626. Which is bigger: g or 9?
9
Let a(f) = 15*f - 107. Let p be a(9). Let h = 12 - p. Is h at least -18?
True
Let d be (-84)/(-147) + 41883/(-2)*26/(-273). Is d at most as big as 1?
False
Let z(c) be the second derivative of 2*c**3/3 + 12*c**2 + 41*c + 1. Let b be z(-6). Are 1/156 and b unequal?
True
Suppose y + 4*h = 7, -3*y + 0*y = -3*h + 9. Let s be y + (51 - 10/(-5)). Which is smaller: 50 or s?
50
Let s(n) = 2*n**3 + 22*n**2 + 15*n + 4. Let o be s(-10). Suppose -5*a = -3*g + o + 78, 4*g = 5*a + 131. Which is bigger: -30 or a?
a
Let g = -74.41 + -1.59. Let k be 0/(3 + (155/(-30) - (-3)/18)). Which is smaller: k or g?
g
Let v be 12/(68/(-17)) + 1286. Do 1291 and v have the same value?
False
Let c be ((-106)/212)/(1/(294/589) + -2). Is c >= -105?
False
Let q = -0.6 - -0.5. Let a = -83/132 + 7/33. Let r = a + 7/4. Which is smaller: q or r?
q
Let q = -1.35 - -1.25. Is q not equal to 43/32?
True
Let z = 52204091/355432 - 2/44429. Is 146 less than z?
True
Let l = -233 + 224. Let x be (-216)/44 - l/(36/8). Which is smaller: x or -3?
-3
Let y = -0.0151 + 0.2151. Which is greater: y or -0.2346?
y
Let y = -0.449 - -0.349. Let u be 1 + 0 - (5 + (-131)/32). Which is smaller: y or u?
y
Let r(y) = 17 + 18 + 12 - 5*y + y**2 - 53. Let p be r(-8). Let o be 49/p - (0 - (-30)/44). Which is greater: o or -1/7?
-1/7
Suppose 0 = -d + o - 320, 832 = -5*d - 2*o - 768. Is d greater than -0.2?
False
Let m(s) = 29*s - 25. Let p be m(1). Let g be 7/21 - ((-52)/(-21))/p. Let v = -78/49 - -36/49. Which is smaller: g or v?
v
Let o = -195 + 197. Suppose -o = -l + 3*l. Which is smaller: 2/269 or l?
l
Let g be (-7)/((-42)/(-12))*6/(120/7990). Is g >= -797?
False
Let j = -327639928/115 - -2849062. Let m = j - 1751246/91195. Let k = 6/61 - m. Which is bigger: k or -3?
k
Suppose 0*r + 40 = r. Suppose -16*q = 40 + r. Does q = 13?
False
Let z = 77/296 - 146917/2664. Let w = 55 + z. Suppose 7*g = 5*k + 2*g + 15, 5*k = -3*g + 17. Is k < w?
False
Let p = -159.32 - -177.32. Is -11.5 >= p?
False
Let k be (76945126/1025936 - 75)*(8/(-6) + 0). Do k and 0 have the same value?
False
Let z = 87.22 - 87. Let p = z - 1.74. Let a = -1.5 - p. Which is bigger: 0.06 or a?
0.06
Let o = 55 - 44. Let h = o + -10. Is h equal to -2/527?
False
Let h be (2/1)/((-20)/80). Let d(p) = 8*p + 31. Let i be d(h). Let g = i + 33. Is g at most -2/7?
False
Suppose 0 = 3*w + 4*h - 80, -2*w - 35 = -4*w + h. Suppose -5*u = 5*r - w, -6*r = 3*u - 8*r + 13. Is u greater than or equal to 12/175?
False
Suppose 0 = 14*x + 33*x - 719 + 672. Let h = -14.3 + -7.3. Is h greater than x?
False
Suppose 4*g + g = g. Suppose -2*k = 4*v - 244, 3*v + g*k = -k + 182. Suppose -24*d + 20*d = -v. Which is greater: d or 55/4?
d
Let l = -81 + 15. Let o = l - -59. Which is greater: -0.1 or o?
-0.1
Let c = -82 + 82. Let d be 1856/4 - (4 - c). Let b be d/(-245) + 1 - -1. Is 1 != b?
True
Let y = 5292 - 16724/3. Let l = -284 - y. Let o(u) = u**2 + 8*u - 1. Let t be o(-8). Is t bigger than l?
True
Let a = -0.227 - -50.727. Let h = 110.5 + a. Is h <= -1?
False
Let m(n) = n**2 - 18*n - 30. Let z(o) = 5*o + 5. Let h be z(3). Let g be m(h). Let j be 2*(-18)/g - (-10)/(-25). Is -2 greater than j?
True
Let t = -53.1608 + 53.16. Are t and 22 unequal?
True
Let m = 308 + -160.7. Let u = m + -146. Let w be 2/8 + 1/28. Is u < w?
False
Suppose -2*w - 9*s + 4*s = 0, 0 = -2*w + 4*s. Suppose w = 4*y - 14*y - 60. Let x be 10/(-2 + 0/2). Is x not equal to y?
True
Let y = 624 + -668. Let k = -26 - 15.5. Let i = k - y. Is i bigger than 0.1?
True
Let x = -45.1 - 2.9. Let v = x - -26. Let t = v - -23. Is -3 at most as big as t?
True
Let r = -92 - -94. Let d be -170 + (-5 + r - -1). Are d and -171 nonequal?
True
Suppose 23 = q + 18. Suppose q*c + 10 = 20. Suppose c + 10 = -6*n. Is n < -1?
True
Let d = -7.26 + 7. Let x = 0.296 + d. Let o = x - 0.136. Which is greater: o or 0.25?
0.25
Let i(j) = 3*j**2 - 54*j - 13. Let l be i(18). Let d(n) = -n**3 - 13*n**2 - 14*n - 21. Let y be d(l). Which is bigger: y or 162?
162
Let k be (1 - (-11 + 4)) + 7. Let i = -29 + 19. Let r be 12/30 + (-146)/i. Is r greater than k?
False
Let l be ((-2623882)/54)/(36/12). Let z = l + 16197. Which is smaller: 0 or z?
0
Let k = -0.7484 + 0.7044. Do 5 and k have different values?
True
Let w = 2871 + -2855. Which is bigger: 10 or w?
w
Suppose 3*t + 14 = -10. Let n be 0/(6*4/t). Are -1/385 and n equal?
False
Let t be 4/7 + (-1818)/5656. Is t != -206?
True
Suppose -v = 2*l - 59, 3*v + 0*l - 4*l = 137. Let w = v + -43. Suppose 5*i - 3 = w*i. Is i equal to -14?
False
Let v be ((-1630)/(-15))/(3/9). Which is smaller: 327 or v?
v
Let o = -21.3 - 1.7. Let f = o + 22.79. Let m = 0.01 + f. Which is bigger: -1 or m?
m
Let m = -11.1 - -11. Let p = -1.29 - -1.03. Let y = -0.16 - p. Is y less than or equal to m?
False
Let t = 14 - 29. Suppose -3*u + 321 = -48*g + 53*g, g + 3 = 0. Let q be (-3)/2*u/12. Which is bigger: t or q?
q
Let n = -3360 + 3070. Which is bigger: n or -294?
n
Let f be (-872)/6*((-9)/(-8) + 333/888). Which is smaller: -250 or f?
-250
Suppose -2*d - 2*q = 2*q - 10, d + 5 = 3*q. Let z be (d/(-28))/(6550/(-400)). Which is smaller: -1 or z?
-1
Let a be (2*3/18)/(36/648). Suppose -12 = u - 3*z, -a*u - 2*z + 8 = -9*u. Which is smaller: -1/122 or u?
-1/122
Let i be (-45)/(-5) - -6 - (-1 - -1). Suppose -2*n + 19*n - 221 = 0. Which is smaller: n or i?
n
Suppose z = 5*i - 16, -3*z + 2*i - 16 = 3*i. Let d(r) = 3*r + 9. Let x be d(z). Let s = -6 + x. Do -15 and s have the same value?
True
Let x = 181631/42 + -12973/3. Are -311 and x equal?
False
Let b = -104.9 - -66.6. Let p = 37 + b. Let r = -10/29 + 148/261. Is p at most as big as r?
True
Let n be 0 - 2/7 - (-2289)/6468. Let k = n + -1/44. Let p(j) = -j**3 + 6*j**2 + 7*j + 1. Let b be p(7). Is k bigger than b?
False
Let d be ((56/21)/4)/(46/(-1863)). Let k be 0 + (-4)/2 - -2. Suppose -2*j - 4 = k, -2*t - 54 = 5*j + 8. Which is smaller: t or d?
d
Let o be 375/2*461/5532*(-1532)/(-10). Which is smaller: 2395 or o?
o
Let n = 138 - 692/5. Let f be (-750)/6 + 5 - (-18)/(-6). Are n and f equal?
False
Let u = -327.037 + 327. Is u less than or equal to -15?
False
Suppose 0*y + 3 = -3*y. Let x = 352/181 - 47239/26245. Let p = -9/58 - x. Do y and p have the same value?
False
Let k = -87977/35 - -12906/5. Which is bigger: k or 67?
k
Let z(c) be the second derivative of -c**3 + 65*c**2/2 - 38*c. Let f be z(9). Let r be (f*-2)/(-1 - -3). Which is greater: r or -12?
r
Suppose -9154 + 2980 = 14*g. Let t = -442 - g. Suppose 2*s + 0*q + 9 = -q, 0 = 5*q + 25. Which is smaller: s or t?
s
Let w(h) = -h**2 + 12*h + 17. Let o be w(15). Let n = 10 - o. Is 38 at most n?
True
Let y = -834 + 8