-255)*3 - (-60)/(-510). Which is bigger: 150 or q?
150
Suppose -119 - 23 = c - 5*o, 2*c + 4*o + 340 = 0. Let k = 161 + c. Do 1/6 and k have different values?
True
Suppose -178*v + 174*v = 5*f + 9459, 3*v + 3785 = -2*f. Do f and -1890 have the same value?
False
Suppose -q + 5*z = 3, 0*z = 5*q - 4*z - 90. Let d be (-6)/7*(-77)/q. Suppose -2*v = 4*l + 6, -d*l - 2 = -3*v + 2*l. Are -1/148 and v non-equal?
True
Let t = -528 + 528. Suppose t = -56*a + 49*a + 2527. Do 360 and a have the same value?
False
Let w(q) = 63*q**2 + 2*q + 2. Let x(z) = -2*z**3 + z**2 + 2*z - 2. Let n be x(1). Let b be w(n). Suppose -6*l = -b + 15. Is l <= 7?
False
Let l = 6423818/797 + -8060. Let w = l - -6390/5579. Let v = -138 - -139. Which is smaller: w or v?
v
Suppose 33 = -4*b + 221. Suppose 23*g = 7*g - 96. Let f be (g - -10 - (2 - 0)) + 45. Are b and f unequal?
False
Let i(x) = -4*x**3 + 72*x**2 + 68*x - 83. Let t be i(22). Are -6332 and t unequal?
True
Let h = 6465 + -6464.8. Is -13.62 greater than or equal to h?
False
Let l = -8.6 + 22.8. Let v = 9.5 - l. Is -1 <= v?
False
Let d be 6446/6454 - (-4 + 5). Which is greater: -1 or d?
d
Let y = -357 + 357. Suppose 0*t = -4*t + 12. Suppose -3*r + 3*z = 0, -r + t*z = -5*r + 28. Is y > r?
False
Let y(c) = -56*c + 1343. Let f be y(24). Are -21/40 and f nonequal?
True
Let k be ((-4)/78)/((-120)/(-90488)). Let h = 2/585 + k. Let r = h + 39. Which is bigger: -1/4 or r?
r
Let b = -5438 + 516637/95. Which is bigger: b or 1?
1
Let l = 4105 + -4077. Which is smaller: -32 or l?
-32
Let n = -5026 + 4853. Let u = 35 - 207. Which is smaller: u or n?
n
Suppose 0 = 3*a + 58*q - 59*q - 3, 1 = a + q. Which is greater: 116/75 or a?
116/75
Let l(q) = q**2 + 22*q + 20. Let w be l(-21). Let v be 4 - 7 - 3/(-1). Suppose k - 5*k = v. Which is smaller: w or k?
w
Let n be (1 + 0)/(-6 - -7). Let h be (-2)/(-4)*-6*57/(-9). Suppose 5*f - h - 6 = 5*g, -3 = g. Which is smaller: n or f?
n
Let c = 153 + -159. Let j be c/((-72)/(-15)) - 394/(-136). Which is smaller: 3 or j?
j
Suppose 45*w + 6*w = 85068. Is w at most 1668?
True
Let t = -2439 + 4622. Is t != 2180?
True
Let l = -28545 - -28542. Suppose -3*j + 260 = j. Which is smaller: l or j?
l
Let y be 5*6/(2 - 8). Let x be ((-7)/2 - -4)/(y/630). Is -67 != x?
True
Let w be -6 - -2 - ((-5 - -1) + 409). Let h = w + 382. Is h equal to -27?
True
Suppose -9*k - 324 = -15*k. Is 59 at least k?
True
Let s = 16.73 + -16.53. Which is bigger: s or 1.98?
1.98
Suppose -u + v = -1732 - 2453, u + 3*v - 4157 = 0. Is u < 4178?
False
Let l(i) be the second derivative of -4*i**3/3 + 28*i**2 + 32*i - 1. Let y be l(7). Which is greater: -319 or y?
y
Let r = 21.9 - 23.96. Let f = -2.06 - r. Which is bigger: -2/21 or f?
f
Let q = -11.9 + 12.15. Let s = q - -1.15. Let l be 2/(-8) - 11/(-12). Which is smaller: l or s?
l
Suppose q + 11*h = 4*h - 28, q - 3*h - 12 = 0. Which is bigger: -8642 or q?
q
Let j be 3290/(-14) + 1 + -2. Let q = j - -264. Which is bigger: 26 or q?
q
Suppose w + 4*n - 3 = 9, -w - 3*n = -9. Suppose w*y + y + 4*y = 0. Suppose -3*g = -y*g - 3. Is 21 at most g?
False
Let h = -171 + 171.53. Let m = h - -0.47. Is m at least as big as -0.06?
True
Let y = -0.01 - -0.11. Suppose -51*s + 18*s + 6435 = 0. Suppose 0 = 92*a - 105*a - s. Which is smaller: a or y?
a
Let h(a) = 2*a**2 - 12*a - 144. Let q be h(12). Suppose 4*k - 5*t + 1956 = q, 0 = k - 5*t + 112 + 392. Is -484 greater than k?
False
Let z = 38050 + -38051. Which is smaller: 4188 or z?
z
Let w = -2949 - -2950. Which is greater: 2/34131 or w?
w
Let a be -172*(120/(-18) + 6 + (-356)/(-48)). Which is smaller: a or 0?
a
Let u be (-1654)/(-6) - 35/21. Suppose -u - 156 = -43*r. Which is greater: 2 or r?
r
Let x = -0.12 - -0.347. Is x smaller than 0.027?
False
Let p = 9.3 + -0.3. Let g = p - -4. Let b = g - 21. Which is smaller: b or -1?
b
Let l(u) = -u**3 - 81*u**2 - 75*u + 239. Let a be l(-80). Which is smaller: a or -153?
a
Let a = 78.0249 + -0.1249. Let i = a - 78. Let g = 17 - 18.2. Which is smaller: g or i?
g
Let z be (-70)/(-6)*(-490)/(-1617). Which is smaller: 4 or z?
z
Suppose 7*k - 3 = -33 - 5. Which is smaller: 32.5 or k?
k
Suppose -3*g + 57 = 3*p, 3*p - 3*g - 19 = 20. Let j be (8/(-3))/(((-21)/(-63))/(-1)). Which is smaller: p or j?
j
Let x(s) = -s**2 - 2*s - 4. Let v be x(-5). Let o = v - -19. Suppose 2*z = m - o*m - 166, 2*m - 251 = 3*z. Is z less than -81?
False
Suppose -6 = -3*i + i - 2*o, 5*o - 15 = 0. Let y(r) = r**2 - r + 21. Let a be y(i). Suppose -64 = 13*x - 220 - 91. Which is smaller: a or x?
x
Let z be (52/6)/((-14)/(-6)). Let l be (-5)/1*4/(-10). Suppose 0 = l*s + 5*r - 3 + 2, -r = s - 2. Does s = z?
False
Suppose 0 = -3*r - 12, -3*d - 4*r + 14 = -9*r. Let m be 0/(4 - d - 4) - 4. Which is smaller: m or -16?
-16
Suppose 6*a = 3*a. Let n = 1229/2 - 638. Let f = 243/10 + n. Which is greater: a or f?
f
Let m = 1822/21525 - 4/861. Which is smaller: m or 15/4?
m
Let m(k) = -k**3 + 39*k**2 + 3*k - 129. Let i be m(39). Let j be ((-132)/16)/((-2)/(64/i)). Is j < -21?
True
Suppose 2*m + 28 = -5*v + 2*v, m = -v - 9. Let d be 2*-1*(-5)/v. Is 1/95 at most as big as d?
False
Let f(y) = -4*y**3. Let d be f(-1). Suppose -d*q + 1191 = -3*k, 5*k = -4*q + 7*q - 907. Suppose 957 = 17*x + q. Which is bigger: x or 38?
x
Let h = 9046 + -9110. Let w = 121 + -179. Let n = w - h. Which is bigger: n or 5?
n
Let i = 11 + -4. Let k be 360/(-50) - 650/(-50). Which is greater: i or k?
i
Let d(t) = -t**3 - 7*t**2 - 13*t - 2. Let l be d(-3). Let q be -1*(2898/(-2889) + l). Are q and 0 unequal?
True
Let r be (-17 + 10386/(-126))/((-6)/28). Which is smaller: r or 465?
r
Let p = -24 - -24. Is -632 != p?
True
Suppose 4*z - 13 - 9 = 3*r, 5*r - 5*z + 35 = 0. Let i = -24 - -29. Suppose -i*v + 0*v - 1 = -2*x, 3*x = -3*v - 30. Is r less than or equal to x?
False
Let x = -814.7 - -781. Let a = 33.655 + x. Is -1/2 < a?
True
Suppose -4*v + 5*v + 20 = 0. Let x be 0/(3 - 5) + (-1)/v. Let z(f) = f - 5. Let g be z(6). Is x bigger than g?
False
Let w = -62503 - -62461. Let x = 9 - 6. Which is smaller: x or w?
w
Let i be (-2)/3 - 12/(-27)*(-144)/(-96). Is -3/16001 <= i?
True
Let o be 535/1 + (-138)/(-46). Let c = -533 + o. Let u(r) = -r - 2. Let d be u(-6). Which is smaller: c or d?
d
Let w = 33.99 + -34. Let l = 3.8558 + 0.1442. Which is greater: w or l?
l
Let f be (3 + 16)/((-2)/(-2)). Let r(m) = m - 7. Let d be r(f). Let i be (24/(-10))/((-1)/5). Is d smaller than i?
False
Suppose 4*i - 5*v = -28, 2*v = -2*i - 3*v - 44. Let f(k) = -17*k - 49. Let l be f(i). Are l and 155 unequal?
False
Suppose 2*r = 0, 4*i + i - r = -15. Let l = -34657/4 - -8613. Let f = l - -191/4. Is i at least as big as f?
True
Let u be (3 + 0 - 3)/(-1). Suppose -f - 2*l = -10 - u, 2*l = 10. Let z be 1/(-15)*2*-51. Is f > z?
False
Let o = -5785 + 4349. Which is smaller: o or -2?
o
Suppose 22 = -2*u - 18. Let g = -9 - u. Let a(t) = t**2 - 4*t - 21. Let v be a(g). Which is greater: v or 55?
v
Suppose g + 5*t = 55, -2*g + 89 = -0*g + 3*t. Let n = g - 35. Suppose -n*m = 61 - 11. Is m greater than or equal to -12?
True
Let w(l) = -2*l**2 - 12*l - 14. Let v be w(-3). Let r(s) = s**3 - 5*s**2 + 8*s - 20. Let i be r(v). Are -2/5 and i equal?
False
Let q = -12 + 21. Suppose 0 = 10*g - 13*g + q. Let w be 0*(-1 + g/2). Is w less than or equal to -2/13?
False
Suppose y - 54 = -142. Let c = 32 + y. Let q = c - -57. Which is smaller: 14/13 or q?
q
Let r = 60144 - 60118.791. Let x = r + -25.1. Let y = -9.109 + x. Is 1 at most as big as y?
False
Let m = 29348 - 21393. Which is greater: m or -2/7?
m
Suppose 0 = 4*v + 6*v + 4370. Let y = -310 - v. Is 128 at least y?
True
Suppose 133*i = 138*i - 10. Let r be (-8 + i)/(3 + 196/(-68)). Is r > -52?
True
Let c = 15506126/66781 + -72/6071. Let z = 232 - c. Is 0 bigger than z?
True
Let r(d) = d**3 + 6*d + 1. Let g be r(-4). Let j = g + 88. Let k be (-1)/(3 - j) + 9/2. Is -0.4 less than k?
True
Let i = 269/4 + -811/12. Let y(p) = -p**2 - 7*p + 2. Let o be y(-5). Which is smaller: i or o?
i
Let w(t) = 3*t + 3. Let m be w(0). Suppose -2*a + 10 = 4*n, m*n = -2*a + 2 + 4. Let f be (-30)/(-25)*50/n. Is f equal to 14?
False
Suppose -4*h - 3*l + 9 = -13, -2*h + l = -6. Suppose 3*i = h*w - 11402, -i - 2*i + 5710 = 2*w. Let p = -31408/11 + w. Which is smaller: -4 or p?
-4
Let b = 7336 + -7338. Which i