2 = 3. Is g smaller than s?
True
Suppose m + 17 = -u, -u + 0 = -m + 23. Let z = 2700 - 2704. Which is smaller: z or u?
u
Let n = -10.36 + 12.85. Let h = -2.51 - n. Let d = 63 + -317/5. Is d != h?
True
Let m(d) = -2*d**2 - 134*d - 1702. Let j be m(-15). Is -141 greater than or equal to j?
True
Suppose 0 = -3*w + 5*m - 11016, 6*m + 11010 = -3*w + 10*m. Does w = -3662?
True
Let a be (507/9 + -2)/(16/240). Let h = a - 8967/11. Is -15/17 > h?
False
Suppose 832 - 90 = 5*a - 2*q, 0 = 5*q - 20. Let d be (-42)/a*6/(-7). Let g = -2.9 + 3. Is d >= g?
True
Suppose -3254 + 25041 + 18541 = -71*n. Is -570 greater than n?
False
Let t = 0.887 - 25.887. Is t > 1?
False
Let g(q) = -2 - 40*q**3 + 21*q**3 - 3*q**2 + 4*q**3. Let w be g(-2). Which is greater: 107 or w?
107
Let b be (-479 - 8)/((-138)/(-22) + -6). Which is greater: b or -1785?
-1785
Let x(h) = 39*h + 471. Let q be x(-12). Is 82/39 greater than q?
False
Suppose -12*k - 524 = -8*k. Let z = 133 + k. Suppose v - 190 = -2*v - t, -4*v = z*t - 250. Which is smaller: 64 or v?
64
Let b = -47 - -158. Let o = b + -1219/11. Suppose -1445*u + 1439*u = -6. Which is smaller: o or u?
o
Let o = -11/30 - -1/30. Let w = 0.0095 - 1.8895. Which is bigger: w or o?
o
Let l be (-4)/((-12)/(-3))*(-37)/(-37). Let p be ((-1)/(-1))/((-89)/(-6)). Is p greater than l?
True
Let k(x) = 3*x**2 - 44*x - 14. Let c be k(15). Suppose 9*f - s = 10*f - c, -f = 5*s - 1. Is f at most 189?
True
Let x(g) = g**3 + 14*g**2 - 57*g - 34. Let k be x(-17). Let j = 746/11 - k. Let t = 0.11 + -0.13. Is t bigger than j?
True
Suppose 1138 = 4*n + 302. Let j = 218 - n. Suppose 5*i + 5 = 2*y, 0 = 3*i + 1 + 2. Which is smaller: j or y?
y
Let d = -33125 + 662337/20. Let j = -17/5 - d. Which is smaller: 7 or j?
j
Let a = -18269 - -18258. Suppose -3*i = -11 + 5. Let c be 2 + -4 + -6 - i. Is c at most as big as a?
False
Suppose 2*n = 4*n. Let c be ((-45)/(-9))/(1 - n). Let q = -65 + 67. Do c and q have different values?
True
Suppose -3*h + 10 = 5*i - 0, -5*i - h + 20 = 0. Let k(u) = 8 - 46 + 27 - u + 19. Let p be k(i). Which is smaller: p or 8?
p
Let o(c) = -c**3 - 20*c**2 + 19*c + 6. Let d be o(-17). Let i be (d/(-6))/(-8) + 5. Is -19 greater than i?
True
Let x = -99 + 62. Let w(b) be the second derivative of 4*b**3/3 - 5*b**2/2 + 20*b + 1. Let f be w(-4). Is x < f?
False
Suppose 2*z = -2*p + 3*z - 4, -3*p = z + 11. Let i(l) = -l**3 - 31*l**2 - 120. Let x be i(-31). Let c be ((-15)/(-12))/(45/x). Are p and c unequal?
True
Suppose 48*a = 54*a - 276. Is a bigger than 46?
False
Let c = 4626.3 + -4627. Is -206 bigger than c?
False
Let b = -1240 - -1735. Which is bigger: b or -3/4?
b
Suppose 11*b - 15*b - 6 = -2*w, 4*b = -5*w + 1. Let x be (b - (-8)/5)/((-87)/(-290)). Is -27 != x?
True
Suppose h + b = 7, -h - 3*b + 10 = -b. Suppose -5*s - 7 = -2*r + 19, -h*r = s + 14. Which is bigger: -35/6 or s?
-35/6
Let r = 11403 - 11391. Let v(q) = -2*q + 4. Suppose 43 = -5*u + 18. Let z be v(u). Which is smaller: z or r?
r
Let p(h) = -50*h + 199. Let y be p(4). Is 9/95 bigger than y?
True
Let u = 27.3 + -351.3. Let i = -353 - u. Let l = 488/1757 + 2/251. Does l = i?
False
Let n = -62810 - -79580278/1267. Which is smaller: -1 or n?
-1
Let b = -20807 + 20830. Is b at most as big as -18?
False
Let k be 0*2/(-14) - (-12)/2. Let t(q) = -3*q**2 - 7*q + 51. Let y be t(k). Is -101 smaller than y?
True
Suppose 250 = -4879*g + 4929*g. Let f = 3.68 + -0.18. Let q = 3 - f. Is g not equal to q?
True
Suppose -2*w + 3*r = -0 - 1, -3*r - 7 = 4*w. Let f(z) = -4*z**2 + 293*z + 768. Let k be f(76). Is k != w?
True
Let a(p) = -3*p - 25. Let d = -6 - -9. Let k be 3 + (d - 12 - 1) + -1. Let b be a(k). Which is smaller: -13/8 or b?
-13/8
Let q be 11/((-286)/(-4)) + ((-1816560)/(-195))/2. Which is bigger: 4660 or q?
4660
Let c(d) = -d**2 - 2*d. Let i be c(-2). Suppose -5*p - 1435 = -5*f, -f = -0*f + 2*p - 272. Suppose -f = 26*u - 74. Are u and i nonequal?
True
Let v = -47.8065 - -0.0065. Let z = 42.8 + v. Which is smaller: z or 4.5?
z
Let z = 51 + -30. Let v be (4 - 1363/340)*(-14)/z. Suppose 5*l = 1 - 6. Which is smaller: v or l?
l
Let h = 25 + -25. Suppose -n + 8*p - 3*p + 18 = 0, -3*n + 5*p + 34 = h. Let k = 26 - n. Are k and 18 non-equal?
False
Let b(c) = 2*c**3 + 551*c**2 - 814*c + 4761. Let d be b(-277). Let l(v) = v - 6. Let m be l(5). Is m less than or equal to d?
True
Let k(c) = -c**2 - 4*c + 3. Let g be k(-4). Suppose 3*h + 10 = g*x + 2*h, 15 = 4*x - 3*h. Let m = 4300/11 + -388. Is m bigger than x?
False
Suppose -3354 = -608*l - 13690. Let n(b) = 18*b**3 - 2*b - 1. Let p be 1*(-1 + 0 + 0). Let a be n(p). Is l at most as big as a?
True
Let t be (696/56 + -6 - 6)/((-12)/(-3884)). Is 139 equal to t?
False
Let n be -8 - 10/8*(-494)/65. Which is smaller: -41.3 or n?
-41.3
Suppose 4*b = -56 - 40. Let y be (-13)/(((-13)/(-26))/(-2 - 20/(-8))). Which is smaller: y or b?
b
Let d(f) = 4*f - 306. Let y be d(19). Is y > 2?
False
Let z be 6/(-3)*(-8)/12048. Let m = -1523/12801 + z. Which is greater: 0.69 or m?
0.69
Let c = 22415 - 24117. Is c less than 0.1?
True
Let z = -291 - 121. Let b = z - -414. Is -197 at least b?
False
Let n = 1147 - 1284.9. Let o = -144 - n. Let d = 72.1 + -72. Which is smaller: d or o?
o
Let d be 1 - ((-9)/(-15) - 26/(-65)). Is d greater than 16/461?
False
Let k be (-20)/(-18) + 281/(-2529). Which is smaller: k or 7/1887?
7/1887
Let c(f) = 4*f**3 - 4*f**2 + 9. Let u be c(2). Suppose -58 = -j + 3*h, 3*h = 5*j + u - 255. Which is smaller: j or 42?
42
Suppose -46*s = -144*s - 882. Is s >= -126/13?
True
Let i = -9.84 + 113.14. Let z = -108 + i. Let f = 3.7 + z. Which is bigger: f or 0.2?
0.2
Suppose 108*v + 9030 = 237*v. Let o = -25 + 97. Is o less than or equal to v?
False
Let r = -5821 - -5826. Which is greater: r or 111/28?
r
Let v = 0.045989 + -36.268989. Let h = 36.3 + v. Are -1 and h nonequal?
True
Let b be 1 + ((-18232)/105)/4. Let w = b + 297/7. Suppose -4*t - 2*v = -6, -23*t = -27*t + 4*v. Is w > t?
False
Let p = -0.5778 + 6.5778. Let m = 7.6 - 7. Let t = m + -0.59. Is t <= p?
True
Let d(f) = f**3 - 14*f**2 + 158*f + 134. Let z be d(15). Which is smaller: 1 or z?
1
Let h = -23130 + 23125. Is h >= 10.68?
False
Suppose 0 = -v + 6*z - 10*z - 28, -v = -5*z - 17. Let s(c) be the third derivative of c**4/3 - 2*c**2. Let m be s(-1). Do m and v have different values?
False
Let r be (33/(-18) - -2)/(64/16416). Which is greater: r or -0.2?
r
Let y(l) = -4*l**3 + 20*l**2 - 9*l - 75. Let c(k) = 5*k**3 - 20*k**2 + 10*k + 75. Let v(g) = 5*c(g) + 6*y(g). Let q be v(-20). Which is smaller: q or 43/7?
q
Let x = -13.1 + 13.021. Let k = x - 0.002. Let p = k - -3.081. Is -16 > p?
False
Let t(b) = -3366*b + 6. Let c be t(-1). Let z be (3 - (-13)/(-5)) + c/45. Which is smaller: 74 or z?
74
Let s = 1/5702 - 17195/507478. Let x(t) = t**2 + t. Let m(q) = q**2 + 6*q - 8. Let b be m(-7). Let i be x(b). Which is bigger: i or s?
i
Let c(g) = 70*g**2 - 640*g + 22. Let y be c(9). Which is smaller: 19 or y?
y
Let w(b) = b - 16. Let x be w(14). Let g be (-5)/x*(-90)/25. Which is smaller: g or -8?
g
Let t = 22 + -19.4. Let q = t - 2.7. Let z = q + -1.2. Are -2 and z equal?
False
Suppose 1 + 0 = f, -3*v + 4*f = -59. Let b = 74 - 48. Suppose -4 + b = c. Which is smaller: v or c?
v
Let h = -14.741 - -10.741. Which is greater: h or -80?
h
Let n = 2063 + -2061. Do n and 2245 have different values?
True
Let b = 2910 + -14458/5. Let k = 3639 - 3621. Let y = b - k. Which is bigger: y or 0.19?
y
Let m be (-1 + -3)*(-1755)/20. Let w = -352 + m. Which is smaller: w or 295?
w
Let o be 38/(((-5)/(-330))/1). Let q = 32626/13 - o. Suppose -16 = -4*u, 5*t - 2*u + 0 = 2. Are q and t equal?
False
Let m be ((-8)/(-14))/(2/469). Let f = m + -194. Which is greater: -63 or f?
f
Let v = -154 - -304. Let j be 262/v + 35/(-21). Suppose 4*h = 202 - 198. Is h less than or equal to j?
False
Let u = -1951 + 1952. Which is greater: u or 1/7564?
u
Suppose -3*j - 23 = -5*i - 154, -127 = 4*i + 5*j. Let t be (-7)/4 - (-1)/(-4). Let h be i + (4 - (1 + t)). Is -21 less than h?
False
Let w = -21 - -27. Let l = w + -5. Let b = -190 - -190.32. Which is greater: b or l?
l
Let v = 713 - 741. Let x = v - -28. Is x < -11/46?
False
Let m = -17 - -54. Let u be 157248/4312 - (-2)/(-11). Is m less than u?
False
Suppose 22 = 5*m + 2. Let b be 33/(