 37, 5*x - 55 = 3*m. Let k be m/(-70) - 117/(-7). Let n(t) = t**3 - 18*t**2 + 15*t - 11. Let d be n(k). Which is smaller: -43 or d?
d
Let i = -2423 + 2424. Which is bigger: i or 1387?
1387
Suppose -4*r + 4 = -2*f, 2*f + 10 = 2*r - 4*r. Let h be (-698)/f*(-288)/45 + 3. Let s = -1105 - h. Which is bigger: s or 10?
10
Let v(j) = 170*j + 682. Let o be v(-4). Which is bigger: o or 101?
101
Let h(o) = -o - 3. Let i = -54 + 52. Let t = -4 - i. Let l be h(t). Is -2/225 bigger than l?
True
Let t = -60818/16731 - 2/1521. Let z = t + 222/55. Let m(n) = n**3 - 69*n**2 + 175*n + 1562. Let c be m(66). Do z and c have different values?
True
Let w = 12 - 22. Let m = w + 25. Suppose -m*c + 10 = -5*c. Is 2/79 less than or equal to c?
True
Suppose 2*d + 51 = -d. Suppose 5*j + 77 = 3*p - 10, 3*p + 3 = 0. Are j and d equal?
False
Let w = -25 - -35. Let d be (2 - 2) + 3 - w. Let x(v) = -2*v**2 - 17*v - 36. Let g be x(-6). Which is smaller: g or d?
d
Let m = 735 - 727. Is m smaller than -0.282?
False
Let c = 8223 + -10170. Is c < -1/3?
True
Let r be 18997/(-33) + -4 + 1/(-6)*2. Which is greater: -577 or r?
-577
Suppose 2*m = -3*m - 25, 9*m + 6575 = 5*t. Is 1305 at least as big as t?
False
Suppose g - 2*g + 1770 = -5*s, -2*g = s + 365. Let r(c) = -356*c**2 + 436*c + 438. Let o be r(-1). Is s bigger than o?
False
Let d be (-8)/(-12) - 2853/4131. Which is smaller: 1 or d?
d
Suppose -3*y - 17*y = -22 + 42. Which is smaller: y or -0.547?
y
Let s = 345.14 - 292.94. Which is smaller: s or -3.6?
-3.6
Let x be 1*(4 + (-16)/4). Suppose x = -4*s - 3*f + 9, s + 2*f = -0*f + 6. Suppose j - a - 15 = -s*a, 0 = 4*j - 2*a - 50. Which is smaller: 11 or j?
j
Let m = -586 + 640. Let o = 5.1 + 53.9. Let i = m - o. Which is smaller: i or 1/8?
i
Let n = 4836 - 4810. Is 236/9 greater than or equal to n?
True
Let o(k) = 48*k**3 + 15*k**2 + 40*k - 1. Let w be o(-5). Is w bigger than -0.2?
False
Let o be (0 + -6)/(-2)*5/3. Suppose -4*y = -0*s - 2*s + 70, 2*s - 69 = o*y. Let p be ((-7)/3 - -3) + s/3. Is p >= 13?
True
Suppose -16*k - 1624 = 42*k. Is -88 greater than k?
False
Suppose 25 = 3*b + 2*b. Suppose 5*p = -6 - 24. Let i be p/18*30/(-2). Is b <= i?
True
Suppose -o - 25 = 3*c, 3*o = c + 8 - 3. Let l = c + 2. Let j be ((6 - 2)*1)/((-3)/l). Which is bigger: j or 5?
j
Let m(w) = -24*w**2 - 8*w + 16. Let o be m(3). Let l be -1 - (o/80)/(2/30). Is 40 < l?
True
Let p = -298 - -254.2. Let l = p + 37.8. Is l smaller than 20?
True
Let o be 16/(-14)*2 + (-58 - -60). Is 1348 at most o?
False
Suppose -3*z + 0*s - 4*s + 36 = 0, -5*s = 5*z - 60. Let c be (6/12 - 0)*z. Is c > 45/7?
False
Let w(a) = -2*a + 10. Let i be w(4). Suppose i*f - 8 = -2. Suppose -4*r - 31 = f*g, -4*r - 7 = g + 14. Do -6 and g have the same value?
False
Let w = 929 - 963. Is w at most -1/2?
True
Let n = 0.03564 - -15.96436. Are n and 1/8 nonequal?
True
Suppose -4*g - 1955 = 3*x, -10*g + 8*g + 2 = 0. Let o = x - -670. Is 22 <= o?
False
Let l = 0.018 - 6.018. Let m = 426.1 + -426. Is m not equal to l?
True
Let i = -8.7496 - 0.2504. Let w be -1 + (-7)/((-35)/2). Which is smaller: i or w?
i
Let g = 2526/5 - 512. Let n = -0.81 + 0.71. Is g smaller than n?
True
Let p = 517 - 516. Suppose -j = -b - 12, -9*j + 12*j + 4*b - p = 0. Which is smaller: j or -2/21?
-2/21
Let c = -478.9 + 461.6. Is c at least as big as -19?
True
Let h(z) = 10*z - 172. Let m be h(18). Let a(p) = -2*p + 57. Let f be a(m). Does f = 2/9?
False
Let i be (-2 - (-1396)/(-318)) + 6. Let u = i - -316/795. Is u less than or equal to 1?
True
Let w = 3.52 - -0.48. Let z = -86/51 + 293/204. Is z > w?
False
Let n = -3 + 39. Let s be 0 + 1 + 4 + n/(-6). Let o be (s - -17) + -15*(-8)/40. Does o = 19?
True
Let k = -3843/3692 + 78/71. Let z be 8*1/10 + (-140)/175. Which is greater: k or z?
k
Let b be -1 + (-1 - -1) + (-11)/(-11). Suppose 0 = 3*t - 8*t - 5*y, 2*t + y - 2 = b. Suppose 0 = -a + 3*p + 2, 5*p + t = a + 2*a. Are -25 and a nonequal?
True
Let h = -4227.2 + 4228. Is h >= -0.2?
True
Let a = -5238 - 2729. Is -7966 equal to a?
False
Let g(p) = -p**3 + p + 4. Let b be g(0). Suppose 7*a + 166 = 54. Let l be (b + a/1)/((-66)/8). Which is greater: 1 or l?
l
Let k = 79 + -108. Let y = 32 + k. Let d be (18/(-12))/(4*(-12)/(-64)). Which is bigger: y or d?
y
Let u be 1 + -1 - (-5 - -3). Let p = 93/170 - 4/85. Is p > u?
False
Let f = 10/7919 - 27492/34313027. Is 0 at most as big as f?
True
Let b = -23 + 35. Let c(z) be the first derivative of z**4/4 + z**3/3 - z**2/2 - 2*z + 6. Let t be c(0). Is t <= b?
True
Let i = -0.052 + -62.948. Let j = i - -63. Let s = -20 - -59/3. Is j greater than s?
True
Suppose 0 = -71*t - 372 + 727. Are 116/7 and t equal?
False
Suppose 0 = -2*t - 4*s + 8, 5*t + 0 = -4*s + 8. Let y be ((-1053)/65 - -15)*10/(-64). Is t not equal to y?
True
Suppose -2*s + 60 = -4*s. Let k = -66 + 661. Suppose 188 = -27*i - k. Which is bigger: s or i?
i
Let v = 284 + -230. Suppose 22*w + 54 = v. Is 4 >= w?
True
Let d(i) = -2*i**2 + i - 1303. Let g be d(31). Is -3193 < g?
False
Let j = 23106 - 23094. Which is bigger: -427 or j?
j
Let q be (-8)/18 - 300097/(-387). Which is greater: q or -3?
q
Let u = 1 + -3. Suppose 2*a + 13 = 1. Let j be 30/(-125)*10/a. Is u bigger than j?
False
Let h = -0.972 + -0.028. Let r = -1.7 + 1.9. Are r and h non-equal?
True
Let r = 9039 - 9026. Let i = 4.89 - -0.11. Let g = 4.9 - i. Is g less than r?
True
Let c = 19255 - 19254. Which is smaller: c or -4/10573?
-4/10573
Suppose 2*t - 172 = -2*t. Suppose 330*b - 298*b - 1600 = 0. Which is bigger: b or t?
b
Let a be ((-676)/(-195))/((-272)/(-170)). Is -8.7 less than a?
True
Suppose 4*m - 4*l = -1728, 377*l + 2118 = -5*m + 375*l. Is m not equal to -424?
True
Let k be (-4299)/2*(9/(-39) + (-426)/(-1170)). Which is greater: k or -286?
-286
Let c = 499/1160 + -7/232. Which is smaller: 481 or c?
c
Let v = -39113/13 - -3009. Which is smaller: v or 19?
v
Suppose -k + 2*a - 46 = 0, a = -4*k + 47 - 276. Which is bigger: k or -282/5?
k
Let y(v) = 85*v + 7. Let c be y(-6). Let p = -918 + c. Let d = 14197/10 + p. Which is smaller: 0 or d?
d
Suppose 6*w - 16 = 50. Suppose -5*m = -4*l + w, -16*l = -17*l + 4*m + 11. Which is smaller: l or -4/59?
l
Let j be 21/182*2/(-33). Which is smaller: j or 0?
j
Suppose 3414 = -12*f - 654. Let k = f - -338. Let r = 136 - 1767/13. Are k and r nonequal?
True
Let w = -4523/58 - -78. Let g be (93/(-261))/((-4)/3). Let m = g - w. Which is smaller: m or 6/17?
m
Let j be (-8)/(-14) + 96/(-168). Suppose 11 = -3*t + 5*t - h, j = 2*t - 4*h - 14. Is t not equal to 45/7?
True
Let t = -9/13835432 - 36876490045529/3970768984. Let q = 9287 + t. Which is smaller: 1 or q?
q
Let z = -7 + 12. Suppose -188 + 303 = 23*i. Is z less than i?
False
Let n(i) = -1220*i + 8217. Let h be n(11). Is 1/3 less than h?
False
Suppose -33*y = -19*y - 252. Let m = -12 + y. Let h be 34/m*(-36)/(-4). Is h greater than 1/3?
True
Let r(o) = 2*o**2 + 0*o - 2*o + 2 - o**2. Suppose -27 = -84*b + 57. Let x be r(b). Which is greater: 0.26 or x?
x
Let b(x) = 5*x**3 + 27*x**2 + x + 6. Let z be b(-5). Which is smaller: z or 152/3?
152/3
Let h(b) = 13*b + 1. Let k be h(1). Let a = 24171 + -24172. Is k equal to a?
False
Let i be (-10 - 6/(-1)) + (-3561)/(-931). Let z = 6/49 + i. Let h(o) = -o**3 - 2*o**2 + 4*o + 3. Let s be h(-3). Which is smaller: z or s?
z
Let t be ((-87)/(-9) + -7)*3. Suppose -t*r = -28 - 60. Are 12 and r nonequal?
True
Let s = -26.5 - -54. Let g = s - 14.8. Let c = g + -14.7. Which is smaller: c or 19?
c
Suppose -688 = -26*z - 11972. Let h = z - -442. Suppose -6*v + 3*v + 27 = 0. Is h < v?
True
Let f = -390 + 389.797. Let y = f + -0.097. Is y > 22?
False
Let d be ((8/(-4))/230)/(12/(-5436)). Let m = 8151 - 187502/23. Let j = m - d. Which is smaller: j or -4?
j
Let r be -644*(-5)/80 - -6 - (-6)/8. Are r and 17 non-equal?
True
Let o(f) = -3*f - 22. Let x be o(-9). Suppose 5*z - 5*v - 80 = -0*z, -5*v - 32 = -z. Suppose 3*h + 3*i = -12, 2*h + h = x*i + z. Is h at least as big as -6?
True
Suppose 5*a + 34 + 321 = 0. Suppose -4*g - 4*x = 56 + 252, 3*g + 183 = 5*x. Are a and g equal?
True
Let n = -1905 - -1903. Let g = -28 - -19. Let l = g + 2. Which is greater: l or n?
n
Let l be ((-8)/(-2) + -52)*6. Let n = 3164/11 + l. Let i(h) = -h. Let f be i(1). Which is smaller: f or n?
f
Let g = 6.2556 + 1.9034. Are -1 an