uppose 6*i + t = 68. Is b greater than i?
True
Let r be 2 + 1/(4/(-136)). Let m = -30 - r. Let k(a) = -a + 3. Let q be k(m). Are -2/33 and q equal?
False
Let g = -9040 - -8227. Which is smaller: -810 or g?
g
Let p(y) = -3*y + 33. Let g(t) = t**3 - t**2 + 4*t - 1. Let n be g(2). Let m be p(n). Suppose m = 4*u + 35 + 9. Is u less than or equal to -10?
True
Let m(l) = -45*l - 50. Let p be m(-1). Which is smaller: -286 or p?
-286
Let z = 24.009 - 0.209. Let k = 24.2 + z. Which is smaller: k or -1?
-1
Let q = -133 + 186. Suppose 25*y = y + y + 1196. Do y and q have the same value?
False
Let w = 14.573 - -5.427. Which is greater: w or 0.34?
w
Let m(l) = l**3 - 3*l**2 + 3*l - 2. Let i be m(2). Suppose i*f = -f - 22. Suppose 1162*p = -182*p - 29568. Do p and f have the same value?
True
Let b = -4341/2 + 1905. Is b <= -266?
False
Let a = -62 + 64. Let o be (576/39)/(-6) + a. Which is smaller: 0.1 or o?
o
Let x = -4467 - -4516. Is x equal to 26?
False
Suppose -5*z - 33 - 112 = 2*p, 0 = -2*z + p - 49. Let a(l) = l**3 + 29*l**2 + 52*l - 53. Let x be a(z). Which is smaller: 4 or x?
x
Let k be 220/66*(-3348)/60. Is -173 at most as big as k?
False
Suppose 7*v + 21 = -7*v + 7. Do 2/9233 and v have the same value?
False
Let i = 4776 - 9525. Let d = 242209/51 + i. Which is smaller: d or 1?
d
Let g be (6*25/(-450))/(14/6 + -2). Is g <= 1/1210?
True
Let c = 6155 - 6156. Is c at least as big as 3/1619?
False
Let a be 8 + (-30)/(105/(-15) - (-110)/12). Is a >= -6?
True
Suppose 2*y - 489 + 119 = -2*g, y = 4*g - 750. Is 1497/8 not equal to g?
True
Suppose 85*b - 84 = 71*b. Let k be (5/(15/b))/(-165). Which is bigger: k or 0?
0
Suppose -120*y + 3396 = -1033 - 971. Which is greater: y or 41?
y
Suppose 0 = -26*i + 171 + 1237 - 316. Is -15 less than or equal to i?
True
Let n = -982 + 878. Is -91 less than n?
False
Suppose 3*x - 3*d - 36 = 0, 10*x - 30 = 5*x - d. Let m be 2/13*36018/828. Are x and m equal?
False
Let u = -4211 + 4105. Is u at most -104?
True
Suppose 1145*x - 1163*x = -792. Let b = -2.8 + 3.8. Which is smaller: b or x?
b
Let t(a) = 2*a**3 - 103*a**2 - 272*a + 115. Let w be t(54). Let k = 94134/11 + -8552. Which is smaller: k or w?
k
Let f = -12 - -38. Suppose f = 9*u - 46. Let v be -14*(-2 - (4 - 36/u)). Which is smaller: 22 or v?
v
Let c = 247.63 + 0.87. Let l = -249 + c. Is l != 4?
True
Let d be (48/(-4) + 1421/119)*(-12)/(-50). Which is smaller: d or -1?
-1
Let h be -23 - -23 - 3/(-6)*1*-2. Which is smaller: h or -9/997?
h
Let l be 3*(0 - 1)*(-10 - 1424/(-144)). Which is smaller: l or -3881?
-3881
Suppose 306 - 1030 = -4*b. Suppose -6*t - 809 = b. Does -165 = t?
True
Suppose 3*d + 5*i = 2, 4*d = -2*i + 86 - 74. Let g be (-3)/(9/(-249)) + 1. Suppose 11*w = d*w + g. Is 8 >= w?
False
Let x = -1528 + 1643. Is 125 < x?
False
Suppose -2*i - 2 = -0, -2*y - 3*i + 23 = 0. Let s be 4/(y + -1)*18/1. Which is greater: s or 14/3?
s
Suppose 59*q = 63*q - 48. Suppose -b + 5*b = -4*u + q, 0 = 3*u + 4*b - 13. Is u at most as big as 1/12?
True
Let a(c) = -508*c + 7111. Let p be a(14). Which is bigger: p or -76/115?
-76/115
Let a = -1152 - -1151. Is 2/5041 < a?
False
Let j be ((-3096)/(-301))/(28/1029). Is 379 greater than or equal to j?
True
Let t = -1101 - -628. Let o = 473.7 + t. Which is smaller: o or -1.8?
-1.8
Let g be -3 + 2 - 3 - -7. Suppose 0 = r - g - 1. Let x be 1/r*(13 - 14). Is x bigger than -3/2?
True
Let s = -6993 - -7001. Is s at most as big as -17?
False
Let q = 6.16 - 0.16. Let p = q - 6.6. Suppose 144*l - 1524 = -237*l. Which is greater: l or p?
l
Suppose -2*p = 3*p - 55. Suppose -p*m + 4*m + 7 = 0. Let c be (4 - (-176)/(-29)) + 1 + m. Which is bigger: 0 or c?
0
Let v be (1159840/(-88908) - -6) + 7. Let n = v - -5/93. Is 1 less than or equal to n?
False
Let q = -46.96008 - 0.03992. Which is greater: 14/17 or q?
14/17
Suppose 1078*x = 1112*x + 63410. Which is greater: x or -1863?
-1863
Let f = 0.55 - 42.55. Let n = -44.07 + -0.93. Let x = f - n. Which is smaller: x or 0.11?
0.11
Suppose -4*q = 0, -3*p = -p - 4*q - 4. Let g be (-3)/(-18)*(1/2 - p). Are 60/11 and g equal?
False
Suppose -4*j + 0*x + 5*x = -24, -4*x - 12 = -2*j. Let y be 20/j*-1*6/(-330). Is y greater than or equal to 1?
False
Let x = -225.269 - -225.1. Let w be 3*-1*2/12. Do x and w have the same value?
False
Let s be (-62)/51 + 1/3. Let j(g) be the second derivative of -g**3/6 - 14*g**2 - 8*g. Let p be j(-26). Which is smaller: p or s?
p
Suppose 2 = 2*m + j, 70*j = -4*m + 65*j + 10. Which is bigger: m or -3/203?
m
Suppose -x - 62 = -2*d - 5*x, -191 = -5*d - x. Suppose 5*u = -d + 44. Which is greater: u or 5?
5
Suppose 77 = 24*o - 25*o. Let x = o + 82. Let a(k) = -k**3 + 2*k**2 + 6*k - 14. Let w be a(x). Is -60 at least as big as w?
False
Let m = -99520/7 - -5178967/364. Let q be (-1)/(26/(-170) - 0). Let o = m - q. Is -0.1 at least as big as o?
False
Let m(c) = -2*c**2 + 45*c - 9. Let s be m(22). Suppose s = 9*b - 8*b. Suppose w = b - 13. Is 1/56 > w?
True
Suppose -184*l + 64 = -192*l. Let a be 1182/693 - (-3)/(132/l). Is a less than 2?
True
Let d be (-5 - (0 - 6)) + (-398)/(-16). Is d less than 25?
False
Suppose 15*a + 2 = 14*a. Let c be ((-512)/(-96))/(a/3). Which is smaller: c or -7?
c
Let p be 3821/372 - (-5 - -4). Let x = p + -45/4. Let u = 0.0311 - 0.2311. Which is bigger: u or x?
x
Let j = -3.3925 - 1.6075. Which is greater: j or -0.0756?
-0.0756
Let k = -35.5733 - -35.6. Let q = 0.2267 - k. Is -38 at least q?
False
Let o = -84116/183013 + 88/197. Which is smaller: 1 or o?
o
Suppose 3*k - 16 + 16 = 0. Let c = 86 - 84. Suppose -x = -c + 12. Which is bigger: x or k?
k
Let o be (-3)/9 + (-28)/6. Let p be 1/o - 27/15. Let t(n) = -10*n**2 + 152*n - 38. Let a be t(15). Are p and a equal?
False
Suppose -51*g + 61*g = 1460. Is 149 equal to g?
False
Let m(j) = 6*j + 43. Let x be m(-7). Suppose 0 = 8*v - x + 1. Suppose -5*f - t + 2*t + 235 = v, 4*f + t = 188. Which is bigger: 48 or f?
48
Let m be (26/(-143))/((-8)/33). Which is bigger: m or -179?
m
Let y be ((-6)/(-27))/((-3)/36). Let c be 795/(-1272)*212/(-10) - 12. Is c at least as big as y?
True
Let h(y) = -12*y + 129. Let b be h(12). Let o = 35 + -21. Let x = o - 13.9. Is x equal to b?
False
Suppose -3*d - 7040 = -8*d. Let p = d + -136574/97. Let q = 5810 + -5810. Is p at least as big as q?
True
Let l = -9964 - -12586. Which is smaller: l or 1?
1
Let x(y) = -2*y + 1. Let a be x(-6). Suppose 4*d - 1 = -a. Let c = 15 + -20. Is c <= d?
True
Let o(w) = -6*w + 12. Let s be 2/(-8) + 100/16. Let j(t) = 5*t - 12. Let z(k) = s*j(k) + 4*o(k). Let p be z(4). Which is greater: 3/2 or p?
3/2
Let t be (-2014)/(-10) + 36/(-90). Suppose 12*f - t = 9*f. Let a = -190 + 258. Which is bigger: a or f?
a
Let i be 12 - 1/3*228360/(-80). Are 963 and i equal?
False
Let x = -0.485 + 0.5545. Let t = x + 0.1305. Is -3.7 bigger than t?
False
Suppose 13 = -a + 18, -5*b + a = -2240. Which is smaller: 448 or b?
448
Let k = 170.2 - 171.233. Let b = 4 - 4.033. Let r = b - k. Do 6/5 and r have different values?
True
Let m = 331 + -330.3. Let y = 0.2 + 0. Let s = m + y. Is 2 equal to s?
False
Let w = 611 - 387. Suppose -22*d + w = -14*d. Do d and 31 have different values?
True
Suppose -3978 = 3*u + 3*f, -u = 1367*f - 1363*f + 1302. Which is smaller: u or -1332?
u
Suppose 5*p = -l - 1632, 1216*p - 1215*p - 5*l + 368 = 0. Is -12 > p?
True
Let i = 15809 - 15522. Which is bigger: i or 284?
i
Let w be (-21)/(-15) + -1 - (-12)/(-5). Let p be ((-100)/6 - 0)*(1 - w). Let r = -58 - p. Is -8 greater than r?
False
Suppose 137 = 3*y - 5*p, -2*y + 5*p + 18 = -80. Which is bigger: y or 7/4?
y
Suppose -12*c = -48*c - 24*c - 380460. Which is greater: c or 2?
2
Let h = -468386.6 + 468386. Let c = 400 - 20402/51. Let k = -12/17 - c. Which is smaller: h or k?
k
Suppose -6*a + a - 283825 = -5*r, -2*a + 170285 = 3*r. Let n be (4/9)/2 - 12461/r. Which is greater: n or -1?
n
Suppose 45 = -5*l - 325. Let n be 2/(-4) - 925/l. Suppose 5*f - 15 = 0, -f = -0*y + 4*y - 47. Which is smaller: y or n?
y
Let d = -23 - -16. Let b(l) = l**3 - 5*l**2 + 4*l - 8. Let x(w) = 2*w**2 + 8*w + 12. Let y be x(-2). Let a be b(y). Is a <= d?
True
Suppose 0 = 5*r - 30 + 10, -5*n + 4*r = 641. Let g = -121 - n. Suppose -4*z - 8 = g*z. Which is smaller: z or 4/31?
z
Let y(g) = 12*g - 3 + 0 + 5*g + 2*g**3 - 1 - 9*g**2. 