an or equal to t?
True
Let n = -5 - -24. Let j be 34/(-102) - n*(-1)/27. Is j at most as big as 0?
False
Let h = -1703.1328 - -1701.6. Is h equal to -1?
False
Let s = 24 - 11. Let k = 234.1 - 247. Let u = s + k. Which is smaller: 7/2 or u?
u
Let t = -139 + -101. Let j = 232 + t. Let p be 3/(-6) + (-10)/(-4). Which is greater: j or p?
p
Suppose -10*p + 1145 = 5*f - 5*p, -5*f - 2*p = -1136. Suppose 233 + f = -2*t + k, -2*t - k - 465 = 0. Do t and -231 have the same value?
True
Suppose -3*k - 114 = -3*t, 0 = k - 5*t + 28 + 26. Let l be (k/(-2295))/(8/10). Which is bigger: 0 or l?
l
Let a = 2662 + -2664.18. Does a = -7?
False
Suppose 100 = -4*c - 2*m, -c - m - 2*m - 25 = 0. Let h = -247 + 297. Let u = 26 - h. Which is smaller: c or u?
c
Let i be 2*(324/8)/3. Let d be (104/2)/(-6 + 8/1). Suppose 25 = i*z - d*z. Which is smaller: z or 27?
z
Let m = 4652 + -4786. Is -17 < m?
False
Let a = 284 - 203. Let z = a + -55. Is z at most 24?
False
Let v be -6*6/18 + ((-1450)/15)/(-2). Which is smaller: 10 or v?
10
Suppose -3*y + 5*s - 5 = s, 0 = 2*y + 2*s - 20. Is -836 not equal to y?
True
Let y(z) = -23 + 8*z - 1 - 5 - 3*z. Let g be y(6). Are g and -8/95 equal?
False
Let o be (-235 - 2)*(-9 + 10). Let l = o + 248. Is l equal to 13?
False
Let f = -4484 - -4446. Are -40 and f equal?
False
Suppose 0 = -2*i - 5*o + 320 - 81, -2*i = -5*o - 269. Suppose 4*r - 168 = 3*l, 0 = -4*r + r + 2*l + i. Which is smaller: r or 7?
7
Let x = -0.8617 + 0.8617. Which is smaller: x or -8?
-8
Let k(w) = -9*w**2 + 21*w + 1. Let x be k(2). Suppose -264 = -13*n + x*n. Is 44 at most n?
True
Let s = -5449 - -5427.9. Is s bigger than 5?
False
Let t(b) = -42*b + 54. Let y be t(-13). Let d be 1/(-2)*y/(-135). Is d equal to 1?
False
Let p = -117 + 116.802. Let u = -4704.998 + 4705. Let j = u - p. Do 1 and j have the same value?
False
Let b be (-11932272)/7920 + (2/15)/(2/(-6)). Is -4523/3 bigger than b?
False
Let u = -161 + 113. Let h = -5/68697 + -12983713/274788. Are h and u equal?
False
Let i be (-31851)/35862 - (2 + 9/(-6)). Let p = i - -60/43. Which is smaller: p or 0?
0
Let b(r) = 1465*r**3 - 2*r**2 + r + 2. Let t be b(1). Is 1465 greater than or equal to t?
False
Let o = 32 - 73. Let f = 0.083 - -39.317. Let v = o + f. Is -1/4 at least v?
True
Suppose 0 = x + 1, 5*b - 3*x = 2*x + 45. Let m be 3/(84/b) - 6/21. Is 6/13 at least as big as m?
True
Suppose -3 = -7*o + 25. Suppose 2*s + o - 22 = 0. Let z = -24 + s. Is -14 <= z?
False
Let m(j) = 6*j**2 - 30*j + 8. Let h(t) = 2*t**2 - 10*t + 3. Let g(i) = -7*h(i) + 2*m(i). Let q be g(7). Let d = q + 25. Are -9 and d nonequal?
True
Let n(d) = -2*d**3 - 12*d**2 + 43*d + 136. Let c be n(16). Which is smaller: c or -1/3?
c
Suppose 206 = -7*d - 39. Let c be ((-20)/d + (-208)/70)*15. Is -37 >= c?
False
Let j = -13097 - -13096. Which is greater: j or -54/203?
-54/203
Let w = 2848/3513 + -559/1171. Let p = 216 - 88. Which is bigger: p or w?
p
Let u = -3 + 1.9. Let l = u - -1. Suppose 2900*r - 2862*r = 912. Which is bigger: r or l?
r
Let r(n) = n**3 + 46*n**2 + 245*n + 182. Let g be r(-40). Suppose 0 = -v - 1 + 6. Which is smaller: v or g?
g
Let r = -20491 - -20769. Is 1117/4 less than or equal to r?
False
Suppose -955*j + 1007*j = -9584 - 16104. Are j and -495 non-equal?
True
Let m = 58241/15582 - 157/42. Which is greater: m or -5?
m
Let c(w) = -2*w**2 + 21*w - 15. Let h be c(6). Let x = -33 - -74. Which is greater: h or x?
x
Let k = -3257 + 3267. Which is bigger: k or 46/5?
k
Let t = 76262/66105 - -1/5085. Are t and -91 nonequal?
True
Let o(c) = 4*c**3 + 5*c**2 - 87*c + 601. Let t be o(8). Which is smaller: 6817/3 or t?
6817/3
Suppose -3*q - 331 = -4*b, -2*q - 15 = -2*b + 151. Let w = b + -80. Suppose w*n - l + 2*l = 18, 0 = 5*n - 5*l - 30. Is n > -3?
True
Let v be 3*(-8)/180 + (-9)/(1080/32). Is -569 greater than v?
False
Suppose 7*j + 5 = 2*j. Suppose -3*l + 34 = b, -l - 23*b + 30 = -25*b. Which is greater: l or j?
l
Let l = -1130.52 + -35.48. Is l > 1/4?
False
Let k = -27 - -46. Suppose -13*i + k*i - 156 = 0. Suppose 4*s = -5*m - i, -3*s - 31 = 5*m - 4*s. Is -6 smaller than m?
False
Let z = -58520532 - -27212061961/465. Let k = 157/5 - z. Is -1 at least as big as k?
False
Let d be 0*(-1 - ((-6)/1 + 4)). Let l be ((-8)/(-618))/(2/3). Is l at most d?
False
Let f(x) = x**3 - 23*x**2 + 41*x - 12. Let u be f(21). Let y be (-212)/(-6) - (1 + 1). Let d = y + u. Is -0.07 less than or equal to d?
True
Let x = -28467 + 28466. Which is greater: -73 or x?
x
Let v = -57 + 61. Suppose 5*s - x + 12 = 0, -v*x = -3*x - 2. Let f = -1 - s. Which is smaller: f or 8/11?
8/11
Let b be 5/(10/12) - -16. Let v(k) = -k**3 + 10*k**2 - 8*k - 6. Let j be v(9). Suppose 5*n - 4*s = n + 80, -2*n = -j*s - 38. Is n < b?
False
Let m be -1 + -1 - (-294)/(-3). Let q be 14/8 - (-75)/m. Is -19/11 smaller than q?
True
Suppose -453*l + 456*l = 9. Suppose l*s - 2 = y + 4, 19 = 4*s - 5*y. Is 1/90 > s?
False
Let x be 7/(-9) - (5 - (-129)/(-27)). Suppose 2*a = -a - 1068. Let f be ((-716)/a - 2)/(-2). Which is bigger: x or f?
f
Suppose 3*j - 4*a + 18 = j, -25 = 5*j - 5*a. Let l = 32608533/58 - 562216. Is l > j?
True
Let b be (17/17)/(2/(-4) - 0). Let d be (-1 + (-1)/b)*(-4)/(-10). Let j(i) = 2*i**2 + 4*i. Let g be j(-2). Which is greater: g or d?
g
Let q = 39.1136 + -39.1. Let g = 0.1236 - q. Are 3/7 and g unequal?
True
Let f = -5005.9 + 5006. Is 3/3635 bigger than f?
False
Let p(u) = 4*u + 31. Let d be p(-10). Let m = d - 7. Let w = -15 - m. Is w != 2/21?
True
Let o = 18.947 + -19.7. Let q = o + 0.553. Is q bigger than 122?
False
Let r = -7.25 + 6.4. Let j = r - 87.15. Let y = j + 85. Is y at least as big as 0.4?
False
Let w be (14 - 25) + (-15)/((-1650)/1180). Let t = -5.4 - -5. Let x = t - -0.6. Does w = x?
False
Let u be (-92)/(-7)*((-2210)/(-8) + (-1)/(-4)). Is u at least as big as 3634?
True
Let d be 3/(-18)*42/28. Let w = 35.9 - 38. Let m = w - -2.26. Does m = d?
False
Let o = -0.27891 - 0.22109. Which is greater: o or 387?
387
Let l be 2*14*(-106)/8. Suppose -92 = 3*u + b + 1021, 3*u + 1119 = b. Is l > u?
True
Let r = -1.0112 + 1.0112. Which is bigger: -445 or r?
r
Let k = 2843 + -2735. Which is smaller: 1 or k?
1
Let h = -19537 - -19650. Are h and 116 non-equal?
True
Let o(u) = -u**2 - 5*u - 3. Let f be o(-4). Let m be (-120)/(-4) - (f - 5). Let z = 287/550 + -6/275. Which is smaller: z or m?
z
Suppose -4*i - 13240 - 2892 = -113*i. Which is greater: i or 150?
150
Let n = -672017/2910 + 3464/15. Is -0.1 less than or equal to n?
True
Let v(k) = -k**2 - 32*k + 118. Let b be v(-35). Let m(a) = -13*a + 168. Let u be m(b). Let s be 2 - 3/(36/29). Does s = u?
False
Let j = 106/19 + -7469/1349. Let k(g) = 9*g**2 + 72*g. Let m be k(-8). Is j > m?
True
Let r(g) = g**2 - g + 3. Let m be r(-4). Let x = m - 28. Let s = x - -42. Which is smaller: 38 or s?
s
Suppose 3*n = -4*g + 5168, -3*g + 3333 = 2*n - 542. Which is smaller: 1290 or g?
g
Let w(g) = 14*g - 99. Let z be w(7). Suppose d + 5*i + 123 = 0, -4*d + 3*d + 2*i = 102. Let s = 5399/50 + d. Which is greater: s or z?
s
Let j = 8264 - 90910/11. Are j and 269 equal?
False
Let u = 392 + -351. Let x be (u + 3)/2 + 2 + 2. Let p = 11 - -15. Is x equal to p?
True
Let m(k) = 21*k**3 - 3*k**2 - 6. Let u(f) = -f**2 - 1. Let j(a) = -m(a) + 4*u(a). Let q be j(-1). Let o = 22 - q. Which is greater: -1/76 or o?
o
Suppose 0 = 4*b + 4*l - 27 - 137, b - l - 49 = 0. Let d be b/9 + 0 + 122. Is d < 126?
False
Let v = 0.0907 - 142.0907. Let b = 128 + v. Which is smaller: 0.2 or b?
b
Let p = 226 - 4061/18. Let l = -296962 + 296962. Which is smaller: p or l?
l
Suppose -35*k + 31*k = -52. Suppose -22*g - 23*g = -k*g. Is g at most as big as 10/81?
True
Let f = -12 + 14. Suppose -5*h - 3 = 3*i, 0*h + i = h - 1. Suppose g + f = h, v - 3*g = -2*v + 9. Which is smaller: -2/25 or v?
-2/25
Let z = 929 - 602. Let v = z + -244. Is 2 bigger than v?
False
Let m = -18.3 - -184.3. Let o = -178 + m. Which is bigger: 10 or o?
10
Suppose -18*m = -11*m. Let c be (-1)/5 - (-366)/30. Let l be (-2)/c - 161/(-1470). Which is greater: m or l?
m
Suppose 13*h + 238 + 308 = 0. Let w be 4 - (1666/1662 + h/(-14)). Is w smaller than -1?
False
Let b be (-122)/2013 - (813/(-13959))/1. Which is bigger: 0 or b?
0
Let c = 72263/642960 + -81/752. Which is bigger: -1 or c?
c
Let w(r) = -116*r 