 11 = -4*z, -6*z = 2*q - 3*z - 22. Let f be (24/q)/((-36)/(-90)). Which is bigger: 23 or f?
23
Suppose 2*z - 459 = -z. Suppose z = -3*t + 15. Let a = 50 + t. Is a > 4?
False
Let w be (-3)/26*8/6. Let k(b) = 24*b - 4. Let y be k(-12). Let n = -291 - y. Which is smaller: w or n?
w
Suppose 3601*v = 3561*v - 40. Which is smaller: v or -46/19?
-46/19
Suppose 4*n = 3*u - 9538, 0 = -509*u + 512*u + 6. Is -2385 at least as big as n?
True
Let o be 113 + (-4 - (1 + -2)). Suppose -2*k = -2*f + 166, -2*f = -k - o - 61. Is f >= 87?
True
Suppose -s - x - x = 0, -3*x - 36 = -3*s. Suppose 13*g + 83 = -s. Is g less than or equal to -11?
False
Let w = -168.4 - -199. Let t = -23.6 - w. Let f = 56 + t. Is f < -2/5?
False
Let i = 2340.389 - 2341. Does i = -0.1?
False
Suppose 0 = 961*r - 957*r - 3436. Which is bigger: r or -0.2?
r
Suppose -485*u + 41499 + 48226 = 0. Let r = 79 - -105. Which is bigger: r or u?
u
Let k be -317 + 46 + 3*(-2 - -4). Let h = k + 133. Is h <= -132?
True
Let r = 64.958 - -0.042. Let m = -71.6 + r. Let z = -1.6 - m. Is -3 greater than z?
False
Let w = -72935/4 - -18237. Which is bigger: -5/34 or w?
w
Let o = 6311 - 8876. Is o > -2565?
False
Let o(h) = -h**2 - 9*h + 2. Let t be o(-7). Suppose 1661*i + 3*y = 1659*i + 7, 14 = 3*i + 4*y. Is t at least as big as i?
True
Let y be (1 + (-234)/230)/(81*86/17415). Which is smaller: y or -26?
-26
Suppose d = 5*b + 4, 0 = 3*d - 4*b + b - 12. Suppose 0*m - d*m - 3*j = 153, -4*j + 199 = -5*m. Let n = m - -36. Are -12/5 and n nonequal?
True
Let u = 2481.13 + -2466. Let z = u - 0.63. Let l = -19.5 + z. Is 1/2 > l?
True
Let v be 3 + ((-1)/(-1) - 1)/1. Suppose -8*f - 80 = -v*f. Let a = 370/23 + f. Is a less than -1?
False
Let y = 68 - 27. Suppose 4*k + 230 = 5*a - k, 5 = -k. Are y and a nonequal?
False
Let b = -133 + 194. Let q be (-1 - (-1)/3) + b/105. Do q and 1 have the same value?
False
Suppose 2*k = 4*h - 3*h + 48, -4*k + 96 = -4*h. Let f(n) = 16*n + 0*n - 88 + 32. Let x be f(5). Is x <= k?
True
Let l be 1 - 10/(-25)*-55. Let x be l/(-30)*(-68)/119. Which is greater: -97 or x?
x
Suppose -2*o = -11*f + 19*f - 652, 5*f - 964 = -3*o. Are o and 336 equal?
False
Let t = -44 + 25. Let u = -55 + t. Let z = -78 - u. Which is greater: -0.3 or z?
-0.3
Let p be 2/(-4) + (-14)/(-4). Let m = 158 - -155. Let h = -303 + m. Which is smaller: p or h?
p
Let z(r) = -10*r**2 + 14*r + 20. Let n be z(-5). Let k be (-7)/((-63)/n)*12/(-8). Do 48 and k have the same value?
False
Suppose 3*k - 35 - 37 = 0. Let r = -261.1 + -1.9. Let l = r + 263. Is k >= l?
True
Let x be (-12)/(2/(16/(-12))). Let o = x + 39. Suppose -o*a = -46*a - 2. Is a less than or equal to 6/7?
False
Let f = 88.76 + 33.24. Which is smaller: -2 or f?
-2
Let l = 0.65 + 22.05. Let n = 21.7 - l. Which is bigger: n or 2/175?
2/175
Suppose -3*z + 3*c + 1594 = -8426, -4*z = 2*c - 13396. Is 3345 greater than z?
False
Suppose -2*l + 44 = -86. Suppose -37 = -14*j - l. Does j = -3/5?
False
Let t(r) = -11*r + 53. Let d be (-3)/(1*4/(-8)). Let i be t(d). Which is smaller: i or 0.3?
i
Let z = -95.0963 + -2.9037. Is 6.2 greater than or equal to z?
True
Let n = 88 + -796/9. Let v(f) = -f + 37. Let s be v(-5). Let y = -43 + s. Which is smaller: n or y?
y
Let o be (-10725)/(-110000)*25964/225. Let q = 18475 + -34640627/1875. Let h = o + q. Are h and 11 unequal?
True
Let s be ((-12)/8)/(2/172)*2240/840. Which is smaller: s or -0.4?
s
Let x be (-8 - (-3 + -8)) + -5. Let r be (x/(-4))/((-49)/(-5831)). Is r at most 59?
False
Let g = -10238 - -10655.92. Let z = g - 418. Let j be (-4)/(-18) - 1/45. Which is greater: z or j?
j
Suppose 4*k = 3*l - 14, -3*l + 5*k = -11 + 1. Suppose -q = -4, -63*q = x - 64*q + l. Which is greater: x or 65?
65
Let c = -846 - -846.58. Let i = 10.5 - 11.92. Let d = c - i. Is d less than or equal to 2.7?
True
Let s = 43120 - 43118.0241. Let k = s - -0.0241. Which is bigger: 66 or k?
66
Let n = 57 - 27. Let x be n/165 - (-405)/11. Suppose -3*i = -x - 14. Is i at least 17?
True
Let l = 116.8 - 116.2. Are l and -20/31 equal?
False
Suppose 0 = 76*o - 72*o + 20. Suppose c = -4*f + 2*f + 14, -7 = c - 5*f. Suppose c*b = 10*b + 4. Is o < b?
True
Suppose 0 = 5*n - n. Suppose -2*h + h = n. Let c be (13/(-338))/(3/(-6)). Which is smaller: c or h?
h
Let q be (-122591)/(-98) - 8/(-14). Let c = q - 57665/46. Let a = 2 + c. Is -1 >= a?
False
Let b(w) = w**3 - 5*w**2 + 7*w - 9. Let h be b(4). Let m be 4 + -1 + -1*h. Let t be 1 + ((-3)/(-3) + m)*-1. Which is smaller: -79 or t?
-79
Let i be 0 - 3/(1*-1). Let y = -1446 + 1491. Suppose 0 = y*n + 16 - 151. Is n > i?
False
Let m(v) = -7*v - 6. Let j(g) = -g**2 + 5*g - 2. Let o be j(5). Let r be m(o). Let q be (34/(-45))/(9/(-90)). Which is greater: q or r?
r
Let o = 154 + -151. Suppose o*r + 117 = -b, 2*r + b + 51 = -27. Is -38 at most r?
False
Let t be 25107/8368 + 48 + (-2550)/50. Are 1 and t unequal?
True
Let h(c) = -198*c - 2376. Let b be h(-12). Which is smaller: b or -2092?
-2092
Let m(t) = t**2 + 5*t - 13. Suppose 3*r - 1 = -22. Let l be m(r). Suppose -o = -0*o + l. Are o and -3/2 unequal?
True
Let m(u) be the first derivative of -u**2/2 + 4*u - 11. Let d be m(3). Let r = 1078 - 1075. Which is greater: r or d?
r
Let w(v) = 3*v**3 - 16*v**2 - 13*v - 3. Let c be w(6). Let n be (-10 - -7) + (-732)/c. Is 77 > n?
False
Let t(b) = 113*b - 638. Let c be t(5). Which is smaller: -78 or c?
-78
Let i(z) = -6*z + 84. Let x(d) = d - 17. Suppose 24*m - 25*m = 11. Let y(h) = m*x(h) - 2*i(h). Let a be y(11). Is 31 equal to a?
False
Let y = 30 - -106. Let i = -139 + y. Are i and -9 nonequal?
True
Let w be (24/(-10) - -2)*112700/(-280). Which is smaller: w or 1775/11?
w
Suppose 4*p - 17 = -4*y + p, -2*y + 4*p - 8 = 0. Let s be ((-2)/(-3))/(6*y/9). Do 3.4 and s have the same value?
False
Let n(q) = -9*q**2 - 1075*q - 483. Let d be n(-119). Which is smaller: -371 or d?
-371
Let u = -3081 - -3061. Is -20 != u?
False
Let t = -201 - -195. Let d be 4/16*(-201)/t. Is 9 equal to d?
False
Suppose -13*s + 7*s + 162 = 0. Let f be -1 + (-105)/s + 6. Is f smaller than 0?
False
Suppose -m + 5 = 13. Let f be m*(-22)/(-6) - (-4)/(-4). Is f bigger than -30?
False
Let g be (1 - 25)*(32 - (-131215)/(-4100)). Is -1 > g?
False
Let s(p) = 6*p**2 + 7*p - 3*p + 8 - 7*p**2. Suppose -9 = -m - 4. Let u be s(m). Is u < -1?
False
Let w = -0.3 - -1.3. Let z = 0.9949 - 143.9949. Which is bigger: z or w?
w
Let t be 324/63 + (-3)/21. Let v be -4 - (20/28 - t). Are 2.49 and v unequal?
True
Suppose 3*m = -m - 88. Suppose 2*y = 2*o + 7 - 21, 0 = y - 3*o + 15. Let i(z) = 9*z + 6. Let a be i(y). Does m = a?
False
Let y = -361/2 - -177. Let p = -203 + 61. Let b = 428/3 + p. Is y bigger than b?
False
Let o(d) = 2*d**2 - 58 - 54 + 18*d + 130. Let k be o(-8). Suppose 5 = -v + k*g, 3*g + 0*g = -2*v - 31. Is -11 bigger than v?
False
Suppose 0 = -16*c - 30 + 462. Let v be ((31*6)/(-2))/(c/(-18)). Is v < 61?
False
Let j(p) = p**3 + 3*p**2 - 11*p - 9. Suppose 25 = -21*f + 16*f. Let t be j(f). Is t < -24/5?
False
Let f = 9928 + -9927.8. Suppose -v = z - 6*v - 27, 25 = 3*z - v. Which is greater: f or z?
z
Let f = 736 + -370. Let q = f + -357. Suppose -d = -r - 2*d + 3, 0 = -4*r + 3*d + 47. Is r > q?
False
Let l = -1.34 + 0.69. Let r = l - -3.05. Let o = r + 0.4. Which is greater: o or -0.1?
o
Let d be 95/285*(-157)/7. Which is greater: -7 or d?
-7
Let q(j) = j**2 + 25*j + 25. Let s be q(-23). Let h = -6 + 48. Suppose -2*v - h = -0. Is v equal to s?
True
Let t be 12 - (-2982)/(-392)*7. Which is smaller: 0.1 or t?
t
Suppose -2167 = 6*p - 3*p + 4*y, -2181 = 3*p - 3*y. Let s be p/(-95) - 2 - 3. Which is smaller: 2 or s?
2
Let g = 3.247 + -5.247. Let i = -2.02 + 0.02. Let b = 1.4 + i. Which is greater: g or b?
b
Let y = -3515 + 200356/57. Which is bigger: y or -14?
y
Let m = 12344 - 49375/4. Do 2669 and m have the same value?
False
Let u be 4 + 238/((-63)/9). Let d be (-207)/300 - (-5)/((-200)/u). Is 0 < d?
True
Let v be (-200)/3900 - 6/(-117). Which is greater: v or 23/36?
23/36
Let u = -354148/23 - -1757424855/114149. Let c = u - 2/709. Is c bigger than -3?
True
Suppose 5*c + 268 = -a, 27 + 23 = -c + a. Let w = 51368 + -51420. Which is greater: w or c?
w
Let w = -76.11 - -77. Let v = 0.58 - w. Is v less than -3?
False
Let b = -250.95 - -251. Let x = b - 0.35. Is 6/31 not equal to x?
T