4
Suppose -9*v - 2700 = 60*v + 3165. Which is greater: -30 or v?
-30
Suppose 0 = 147*m - 141*m - 16350. Is 2725 less than or equal to m?
True
Suppose 2*h + 3 - 17 = 0. Let k be (11550/4004)/(3/8). Which is smaller: k or h?
h
Let z(t) = -t**2 - 15*t + 3. Let m be 4*(3 + 27/(-4)). Let r be z(m). Let a be 59/(-1 + -1 + r). Which is greater: a or 60?
60
Let g = -14 + 21. Suppose g*z - 261 = -2*z. Which is smaller: z or 30?
z
Let b = 10806 + -10129. Which is smaller: b or 675?
675
Let m be 40/3*(-57)/(-38). Let h(t) = 23 - 1 - 20*t**2 - 13 + 30 - 2*t + t**3. Let g be h(m). Is g < 1/76?
True
Suppose -3*k = 3*f + f + 648, -2*k - 433 = 3*f. Let v = -200438 - -200226. Is v not equal to k?
False
Let a = -15/14 - -8/7. Let s = -41 - -45. Suppose -3*q - 4 = -s*q + o, -4*q = -3*o - 12. Is q less than or equal to a?
True
Let p(y) = -y**2 + 5*y - 5. Let m be p(3). Let s be (2/3)/m + (0 - 1). Which is smaller: 0.1 or s?
s
Let n = 5520.1 + -5520. Is n equal to -2920/9?
False
Let r = 587561/172 - 3416. Which is bigger: r or 0?
r
Suppose 6*t - t + 4*v + 3 = 0, t - v = -6. Let h be (t + 5)*38/4. Is h not equal to 1/3?
True
Suppose -4*x = -0*x - 36. Suppose -3*m = x*m - 7*m. Let q(n) = -2*n + 13. Let a be q(m). Which is smaller: 10 or a?
10
Let g = 388 - 357.1. Suppose 0*z = 28*z + 41*z. Which is smaller: g or z?
z
Let k = -138820 + 3469974/25. Is -22 smaller than k?
True
Let z = 4316820/53 - 81445. Is 5 not equal to z?
True
Let z = -297.88 + 60.83. Let c = -237 - z. Are c and 7 nonequal?
True
Let k be (-29 + 441/15)/((-2)/(-5)). Is 18/1777 greater than k?
False
Let a be (10/((-28500)/(-45)))/(7/(105/1098)). Are 1 and a equal?
False
Let l = -8376440966/637 + 13149835. Let g = l + -9/637. Is 5 less than g?
True
Let o = -1.417 + 95.317. Let d = o + -94. Which is greater: 210 or d?
210
Let l be ((-36)/(-8) + 1)*(62 - 66). Does l = -16?
False
Let d = -110 - -421. Let a = d + -215. Does 97 = a?
False
Let r = -0.51 + -1.09. Let z = 12.4 - r. Let w = 125 - 623/5. Is w >= z?
False
Suppose i = -5*y + 3*y + 4, 2*i + 3*y - 7 = 0. Let p be 844/(-12) - i/(6/(-1)). Is p != -69?
True
Let v(k) be the second derivative of 2*k**3/3 - 17*k**2/2 + 12*k. Let m be v(5). Suppose -1 = 4*p + 2*o + 5, m*o = 3*p. Which is bigger: p or -20/13?
p
Suppose -1039 = 4*n + 181. Suppose -1219 = 4*r - z, 5*r + 5*z + 922 + 583 = 0. Which is bigger: r or n?
r
Let p = 98.68 + -0.68. Let o = p + -63. Let n = -35 + o. Which is greater: n or 8?
8
Let y = 73.672 - -0.668. Let h = 75 - y. Let t = h - 3.66. Which is bigger: t or -14?
t
Let d be (1*40/(-28))/((-2)/7). Suppose 0 = d*r - 69 - 6. Let f(j) = -j + 15. Let q be f(r). Do q and 1/5 have the same value?
False
Suppose -120 = -193*x + 185*x. Let o(h) = 6*h - 94. Let m be o(x). Which is smaller: m or -64?
-64
Let c = 7667 - 7670. Are 13.29 and c nonequal?
True
Let u be (-36)/120 + 185/950 - (-3808)/437. Are -1 and u non-equal?
True
Let s = -125.6 + 118. Let z = -6.6 - s. Let d = 0.1 - 0.1. Which is smaller: d or z?
d
Let h = 28 + -24. Suppose -u + h*u = 9. Suppose 4*y + 20 = 0, 0 = u*g - 4*y - 0 - 2. Which is smaller: -5 or g?
g
Suppose 64 - 24 = 5*i. Let c(q) = -2*q**2 + 11*q + 39. Let f be c(i). Which is greater: 3/259 or f?
3/259
Let k = -110 - -153. Suppose w - 4*w = -129. Is k > w?
False
Let s = -1/15656 - 438217/2364056. Which is bigger: s or 0?
0
Suppose 72 = 2*v - 6*v. Let u = 18 + v. Suppose c - 5 = u, c + 0 = -4*z + 9. Which is smaller: z or 2?
z
Suppose 3*y - 15 = -3*q, -3*y - 5 = -3*q - 20. Suppose q = -34*v + 27*v. Which is smaller: v or 4/93?
v
Suppose 5*w = 0, 388 = 5*s + w + 923. Let q(z) = -36*z + 1. Let g be q(3). Is s < g?
False
Let a = 1144 - 1147. Are a and -21/5 nonequal?
True
Let p = -0.2 + 1.2. Let w = 433.9321 - -0.0679. Let y = w - 423. Are p and y non-equal?
True
Let c(d) = 11*d**2 - 8*d - 15. Let u be c(-2). Let z be u/(-10)*(-296)/15. Let b = z + -1681/20. Which is greater: 1/3 or b?
b
Let y be (60/45)/(12/(-9)). Let p be (-10)/135*y - 0. Does 0 = p?
False
Let f(c) = c**3 + 55*c**2 + 54*c + 22. Let q be f(-54). Suppose -383 = -q*g + 3687. Is 185 less than or equal to g?
True
Let a(j) = 2*j**2 - 29*j + 758. Let d be a(21). Which is smaller: 1030 or d?
1030
Let u be ((-5075)/14)/(-25)*-1*8. Let o(m) = -12*m**2 + 3*m + 2. Let n be o(-3). Which is smaller: u or n?
u
Let d(f) = f**3 - 10*f**2 - 7*f - 31. Let h be d(14). Suppose -4*k + 2*a + 3*a = h, -4*k - 2*a = 634. Is k < -161?
False
Let s be -1*6 + (-3)/((-27)/(-72)*-10). Is -5/2 > s?
True
Let l(y) = 50*y + 4256. Let z be l(-85). Are 244/39 and z equal?
False
Let a be 3*3/(-9) + (0 - 4). Let k be 5/(-1)*a*(-18)/30. Is -7 bigger than k?
True
Suppose 20*y = -1102 - 4598. Which is smaller: -1424/5 or y?
y
Let w = 197 + -202. Let z be (-616)/(-1 - 3)*(-5)/w. Which is bigger: z or 155?
155
Suppose -5*l = 5*d + 182 + 13, l = 4*d - 24. Let w be (-46)/l + 4/24. Is w at most 1?
False
Suppose -181*j + 88*j - 2976 = 0. Is j at most -32?
True
Let j = -0.081 + -0.004. Let s = j - 0.015. Let c = -3295/21 - -157. Which is smaller: s or c?
s
Suppose -94 = 91*o - 36*o + 39*o. Which is smaller: 62/173 or o?
o
Let i = 6274.7 + -6274. Which is smaller: 0.383 or i?
0.383
Let d(h) = -27*h - 295. Let n be d(-11). Suppose n - 7 = 5*j. Do j and -13/33 have the same value?
False
Let b = -313/8 + 39. Let r = 20455 + -20465. Which is greater: r or b?
b
Let p be (2 + -48)/((26/(-273))/(-1)). Which is smaller: p or -494?
-494
Let i(r) = -14*r**2 + 62*r + 486. Let d be i(-7). Which is bigger: d or 2/43?
2/43
Let v(n) = 25*n**2 + 367*n. Let f be v(-3). Which is smaller: -874 or f?
f
Let q = 453 + -453. Suppose -39*j + 29*j - 130 = q. Which is smaller: 1 or j?
j
Let g = 19030 - 7003049/368. Is 0 < g?
False
Suppose o + 15 = -5*w, -o + 2*w = -2*w - 12. Let z be 445/(-15)*(-1 + o). Which is bigger: z or 30?
30
Let y be (-76)/(-22) - (22/(-2) + 2990/286). Suppose 5*g = t + 32, 0*t - 5*t + 43 = 4*g. Let f be (-9)/(-2) + g/(-28). Which is bigger: y or f?
f
Let a be (88*-1 - -1)*110/(-99). Let t = a - 2600/27. Which is smaller: t or -1?
-1
Suppose 6*b - 15 = 15. Suppose 0 = -5*l + r - 16, 0 = -15*l + 11*l - b*r - 36. Let p = -31/5 + 17/10. Which is bigger: p or l?
l
Let o = -383.3 - -1.3. Let y = o + 380. Is 0 at least y?
True
Let o be (30/(-276))/(9/(-18)). Which is bigger: o or -1?
o
Suppose -35*k = -34*k - 12. Let q be (1 - 6/18)/((-68)/k). Is 0 at least q?
True
Suppose 5*z = -2 - 3, -z + 85 = 2*c. Suppose 307 - c = 4*d. Let u = d + -66. Is u < -1/115?
False
Let m = 1.393 - 12.576. Let t = -11.1 - m. Let j = t - 0.183. Which is greater: -5/3 or j?
j
Let i = -132 - -2124. Is i >= 1994?
False
Let o = -269 - -268.886. Let y = 0.51 + -0.624. Let n = o - y. Which is smaller: 65 or n?
n
Let v = 7712.1 - 7713.1. Let t = -336.24 - 0.76. Which is greater: t or v?
v
Let p(r) = -180*r + 361. Let z be p(2). Are z and 1/863 equal?
False
Let u(n) = -n**2 - 5*n + 105. Let l be u(8). Let v be -1 + l - 65/195. Which is bigger: -138 or v?
v
Let u(l) = l**3 - 2*l**2 + l + 2. Let o be u(0). Suppose 266 = 8*s - 4*s - o*i, 0 = -2*s + 3*i + 143. Is s greater than or equal to 62?
True
Suppose -54*y = -59*y + 115. Suppose z = d, -4*z + 2*d - 3*d + 20 = 0. Suppose -4*j = -92 + z. Is j equal to y?
False
Let t be -8 + -7*(-782)/833. Suppose 0 = 5*f + n + 3*n - 6, 3*f - 2*n = -14. Which is greater: t or f?
t
Let v = 4.35 - 239.35. Let h = v + 291. Is h equal to -5?
False
Suppose 15*s + 748 = 83*s. Let o(a) = -4*a**2 - a. Let c be o(-3). Let j = s + c. Is -20 at most as big as j?
False
Let y = -4097/11 + 66305859/178024. Which is greater: -1 or y?
y
Let q(c) = -4*c - 5. Let j be q(-4). Suppose 2*k = 3*k - j. Let g be ((-4)/(-20))/(21/1050). Is g > k?
False
Let g be (-405)/(-189) + 9/12*-4. Which is smaller: -0.025 or g?
g
Suppose -242*m - 7941 = 47235. Are -204 and m unequal?
True
Suppose 43*k - 42*k = 5*s + 41084, -3*s + 4*k - 24630 = 0. Do s and -8219 have the same value?
False
Let v be (108/(-33))/4 - -1. Let b = 81 + -82. Let p be 8 + -9 + b + (-3)/(-1). Which is smaller: p or v?
v
Let l(v) = -v**2 + 6*v - 3. Let o be l(5). Let d be (0 + 2)*7/o. Suppose 4022*m - 3744*m = 1390. Which is bigger: d or m?
d
Let a be 24/11 - (-20)/(-110). Let v(u) = 3*u**3 + u**2 - 2*u + 1. Let w be v(a). Let g = w - 23. Are g and 4/5 non-equal?
True
Let a