58 + h. Which is greater: k or 0?
0
Let g = 120 + -181. Let f = -34 - -96. Let k = f + g. Are -2/213 and k equal?
False
Let v be 30/150 - -1*(-9)/(-5). Let n be (v + (2 - 2))*-53. Which is smaller: n or -107?
-107
Let q = 75584 + -2418311/32. Which is greater: q or 12?
12
Let g = 71.8 + -67. Let w = g + -10.9. Let a = w - -6.142. Which is smaller: a or -0.1?
-0.1
Let j = 139.4 + 0.6. Let v = 139 - j. Is v at least 46/9?
False
Let h be 42/44 + -3 + 2. Let x(f) = f**2 - 4*f + 3. Let z be x(3). Suppose 3*s + 10 = -2*r, z*s - 15 = -4*s + 3*r. Is h > s?
False
Suppose 4*m - 3*o = -5 + 36, 5*m - 38 = 4*o. Suppose 4*f = -2 - 18, 5*c - m = 3*f. Which is greater: -1/145 or c?
-1/145
Let q be -6*6/4 + -2. Let a = -352.6 - -4.6. Let x = 346 + a. Do q and x have different values?
True
Let v be (-20)/30*30/(-50). Is 5258 at most as big as v?
False
Let k(c) = 4*c**3 + 86*c**2 - 8*c + 1. Let d be k(-17). Is 5340 greater than or equal to d?
True
Let f = -62465/2 - -33037. Are f and 1804 unequal?
True
Let c be (13107/(-12))/((75/700)/3). Is c >= -30583?
True
Suppose -18*u - 234 = 558. Which is bigger: 11 or u?
11
Let b = -19 - -20. Let r = 2463/1033 - 19740910/127059. Let g = 153 + r. Is g != b?
True
Suppose -2343*c + 2285*c = -1508. Let l(b) = b**3 + 7*b**2 + 2*b - 7. Let q be l(-6). Are c and q nonequal?
True
Let g(k) = -101*k + 45. Let m be g(-8). Let i = m - 520. Do i and 332 have different values?
True
Suppose 20*r = -5*r + 307 + 68. Which is smaller: -22 or r?
-22
Let f be (2322/(-24))/(((-15)/(-16))/5). Let q = 509 + f. Which is smaller: 22 or q?
q
Let a = -121 + 120. Let t = 12010.39 + -12062. Let u = t - -0.61. Which is greater: a or u?
a
Let i be (-7 + 130)/(-15 - -12). Are i and 0.68 nonequal?
True
Let p = -15731/110 + 1065/22. Let a = 128 - 221. Let o = a - p. Which is bigger: 1 or o?
o
Let n be 4/(-62) + (10 - (-9037518)/(-909664)). Is -1 at least n?
False
Suppose 0 = 11*t - 14*t - 4*h + 6601, 0 = -5*t + h + 10994. Are 0.1 and t unequal?
True
Suppose 4*s + 3 = 7. Let o be 50/175 + s/(7/(-268)). Which is bigger: -1 or o?
-1
Let z = 3 + -2. Let x = 18485/39 + -474. Let f = 5/819 - x. Which is bigger: z or f?
z
Let h(d) = -d**3 + 1 - d + 25*d**2 - 13*d**2 - 15*d**2. Let c be h(-3). Suppose -8 + 18 = 5*v, 4*v + 48 = c*s. Which is smaller: 0 or s?
0
Let r = 154.1 - 143. Let h = 27 - 16. Let x = r - h. Which is smaller: x or 0.2?
x
Let n(h) = 1215*h**2 - 8*h + 6. Let y be n(1). Do y and 1214 have different values?
True
Suppose -2*d - 3*t + 32 = 0, -5*d = -0*d - 5*t - 80. Suppose s + 23 = d. Let j be (28/(-6))/(s + (-1100)/(-156)). Is -91 bigger than j?
False
Let c = -10004 + 10410. Is c at least as big as -0.1?
True
Let n = -427 + 423. Let l be n - (-5 - (-21)/35). Which is greater: 818 or l?
818
Let x(z) = 0*z**2 + 12*z + 12*z + 1 - 25*z + 2*z**3 + 0*z**2 - z**2. Let k be x(-1). Is 121 less than k?
False
Suppose -8*k - 8686 = 35*k. Is k greater than -182?
False
Let n = -43.969 - 0.031. Let g = 43.12 + n. Let m = g - -0.8. Which is bigger: 5 or m?
5
Let w be 203480/(-648) - -6 - 1. Let y = w - -309. Which is smaller: 0 or y?
y
Suppose 1259 - 98 = -4*h - 3*o, -2*h = -o + 573. Let u = -332 - h. Which is bigger: -45 or u?
u
Let v = -142 + 206. Suppose -2*w + 6*g - 3*g + v = 0, -w = 4*g - 10. Is w equal to 28?
False
Let g = -0.67 - 43.33. Let q = g + 44.5. Let v = -0.5 + q. Are -0.02 and v equal?
False
Suppose -5*z + z = -z. Let f(c) = z*c + 26 + 4*c - 3*c + 0*c. Let j be f(-19). Is j smaller than 6?
False
Let f = -44346 + 44345.86. Is 185 less than f?
False
Suppose 2*b = -5*s - 242, -b - 114 = 53*s - 54*s. Which is smaller: b or -1409/12?
-1409/12
Let s = 101 + -64. Let j = -12 + 54. Let u = j - s. Is u > 2/3?
True
Let x be (-5)/((2 - 407/176)*4). Which is bigger: x or -703?
x
Let i = 5.293 - 4.563. Which is smaller: 2/5 or i?
2/5
Let s = 247.17 - 247. Let t = s + -229.17. Which is greater: 0.1 or t?
0.1
Let b be (-11)/2*200/(-550). Let r = 17 - 15. Suppose -r*x = z, -5*z + 2*x = -z + 10. Which is bigger: z or b?
b
Let n be -4 + -1 + 9/(-32)*104/(-78). Let f = 6 + -10. Which is greater: n or f?
f
Let c = -25406 - -25406. Which is smaller: c or -4/18547?
-4/18547
Let a = 7674 - 7676. Suppose -3 + 0 = -u, -5*n + 3*u = -31. Is a < n?
True
Let h(c) = -36*c**2 + 190*c - 191. Let t be h(1). Is -322/9 smaller than t?
False
Let n = -8 + 1. Let l(c) = c**2 + 6*c - 15. Let d be l(n). Let s be d/(-120)*(67 + 2). Which is greater: s or -0.1?
s
Suppose 69 = 4*j + n, 0*j + 4*j = -4*n + 60. Let f = 1392 + -1378. Let b = j - f. Which is greater: 2 or b?
b
Let a be ((-2)/(-5))/((-4)/(-40)*1). Let f(v) = 2*v**3 - 5*v**2 - v + 2. Let y be f(a). Let g be y/8 + -2 + -3. Which is smaller: g or 0?
0
Suppose 3*z = -z - 2*m + 14, -5*z = -2*m - 4. Let t be ((-108)/4)/(z/(-18)). Are t and 244 equal?
False
Suppose 2*m - 147 = -5*m. Let y(x) = -103*x + 106*x - 7 - m. Let b be y(9). Is -1.8 >= b?
False
Suppose 0 = 3*a - u + 1587, -25*u + 27*u = -2*a - 1042. Which is greater: a or -523?
-523
Suppose -x = 4*m - 9, -5*m + 426 - 413 = 3*x. Is x at least -2/4571?
True
Let d be (-29)/(-2)*-3 - -1. Let i = 1206077/28167 + -371/1374. Let y = d + i. Is 0 greater than or equal to y?
False
Let u be 7/(42/(-158)) - 18/(-54). Suppose -5*i = 5*y + 118 - 3, -y + 2*i = 35. Which is greater: u or y?
u
Let q be 0 - 1/(1/(-10)). Suppose -38*n + 33*n = q. Let z be 21/(-168) + n/48. Is z not equal to 1?
True
Let i = -76 - -82. Let n(y) = 5*y**3 - 16*y**2 - i + y + 20*y**2 - y**3 - 2*y**3. Let t be n(-3). Which is smaller: -2/5 or t?
t
Suppose -23*i = 175 + 101. Let j(p) = 12*p + 119. Let n be j(i). Is -29 equal to n?
False
Suppose 0 = 2*c + 6, 2*p + 3*c = -p - 3. Let z(t) = 3*t**3 - t**2 + 4. Let m be z(p). Suppose -16 + m = w. Which is smaller: 5 or w?
5
Let w = -0.068 + 2.698. Let b = -10.63 + w. Is b at most 2/9?
True
Let c = -281 + 290. Let r be 6/c*(-15)/10. Are r and -2/141 equal?
False
Suppose -87 - 42 = 3*h. Let y = -17 - -27. Suppose -5*u + 215 = -y*u. Is u less than h?
False
Let p = -7.5 + -171.5. Let x = p - -179.02. Which is greater: -0.11 or x?
x
Let d = -2.322 - -2.3. Let i = 3.5 - 3.622. Let l = i - d. Which is smaller: l or 14?
l
Let x(g) be the third derivative of -g**5/60 + g**4/24 + 11*g**3/6 - 11*g**2. Let l be x(-5). Let d = 16 + l. Are d and -19/5 non-equal?
True
Suppose -22 = -2*g - 4*b + 32, -3*g - 4*b = -91. Is 79 greater than g?
True
Let m = 7960 - 7960. Are m and 2/5745 equal?
False
Let t = -2286 + 2413. Are 130 and t equal?
False
Let w(t) = -t**3 - 22*t**2 - 119*t - 1170. Let l be w(-19). Let z(j) = -j**3 - 6*j**2 + 3. Let q be z(-6). Is q bigger than l?
False
Let c be 2/1 + (-1 - -8). Let b = -372822 + 2609815/7. Is c at most as big as b?
False
Let o(n) = -62 + 127 + n**3 - 4*n - 61 - 2*n**2. Suppose -3*d + 10 = f, 5*d + 3 = -5*f + 23. Let w be o(d). Which is smaller: w or 2/257?
2/257
Let v = -3435 - -13371. Suppose -9*w + 3123 = v. Is w greater than -758?
True
Suppose -85*c - 145*c + 1565394 = 68*c. Which is smaller: c or 5251?
5251
Let i(g) = 19 + 0*g - g + 13 - 35 + 6*g**2. Let y be i(-1). Let a = 37 + -33. Are a and y equal?
True
Let k = 3 - -2. Suppose k*o - o + 2447 = 3*d, 5 = d. Let h = -94238/155 - o. Is h smaller than 0?
False
Let z be (-2422)/909 + 3 + (-1)/4. Let a = z - 2/909. Let l be 0 - ((-15)/(-6))/5. Which is smaller: l or a?
l
Let z(j) = -2319*j**3 + 8*j**2 - 4*j - 9. Let r be z(-2). Suppose r = 51*h - 3092. Which is greater: h or 0.1?
h
Let o be ((-44668)/130 + 28)*(-40)/6. Is o greater than 2102?
True
Let f(j) = 3*j + 89. Let c be f(-17). Let o(m) = 6*m - 13. Let t be o(3). Suppose -h + 191 = t*a, 106 = 5*a - h - 93. Which is bigger: c or a?
a
Let r(s) = -s + 8. Suppose 2*c - 4*m = m - 15, 0 = 2*m + 2. Let b be r(c). Suppose 0 = 5*x - v - 79, -4*x + 5*v - 981 + 1019 = 0. Is b at least x?
True
Suppose 11*c - 2*c + 3276 = 0. Let a = c - -178. Are -186 and a nonequal?
False
Suppose -4*b + 4*w - 288 = 0, 27*w - 30*w + 376 = -5*b. Is -89 not equal to b?
True
Suppose 27 = -107*f + 80*f. Is 6/719 > f?
True
Let c = 57390 + -57391. Let a be 22/8*(-8)/(-2). Let r be 2/1 + (-24)/a. Which is smaller: c or r?
c
Suppose 15 = 152*g - 149*g, 5*g = -5*y - 19290. Which is smaller: y or -3862?
y
Suppose 3*j - j = 3*t + 71, 5*j + t = 169. Let y be ((-24)/(-14))/(j/238). Wh