j(3). Which is greater: i or 559?
559
Suppose -4679*h = -4653*h + 118040. Which is greater: -1/4 or h?
-1/4
Let o = -1995 - -2028. Which is smaller: 22 or o?
22
Let y = 1474591206/592375 + 22488/4739. Let m = -2494 + y. Is m >= 0?
True
Let t = -14.282 + 14.2. Let z = t + -43.918. Is z equal to -1/3?
False
Let w be (2 - (1 + 2))/(1196/(-1287)). Let l = -16517/644 + w. Is l <= -25?
False
Let h = -3 - -4. Let d = 15704/156411 + -27/1931. Is h at most d?
False
Let y = -17544 + 18317. Do 1 and y have different values?
True
Let l = -35/108 - -2/27. Let x = -73598 - -14351569/195. Let j = x + 2/15. Are l and j unequal?
True
Let v be 3/(-4)*1430 + -5. Let g = v + 174539/162. Which is smaller: 0 or g?
g
Let p(u) = u**3 + 4*u**2 - u - 1. Let o be p(-3). Suppose 10*t = o*t. Suppose t = 3*q - 14*q + 11. Which is smaller: -29 or q?
-29
Let w = 48 - 45. Suppose n = 3*b - 23, w*n = -0*n - 3*b - 21. Let a = n + 10. Is -1 smaller than a?
False
Let z(p) = 2*p - 45. Let a be z(22). Let c be a - 0 - 540/(-21942). Let b = -22/23 - c. Which is smaller: 0 or b?
0
Suppose 711*g = 715*g + 4*a - 7924, -2*a = 3*g - 5941. Which is bigger: 1978 or g?
g
Suppose -2744 = -45*i + 5536. Let t = -11 + 23. Suppose 4*b = 2*q - i, 4*q - t - 212 = 5*b. Is -47 bigger than b?
True
Let g(l) = -l**3 + 36*l**2 - 296*l + 97. Let j be g(12). Which is smaller: 2/289 or j?
2/289
Let k(x) = -x**3 - 3*x**2 + 28*x + 97. Let r be k(-4). Is -15/172 < r?
True
Let l = 538 + 82. Let h = l - 620. Is h bigger than 2/99?
False
Let k(s) = s**2 + 22*s - 4563. Let d be k(-74). Does d = -713?
False
Let z be (-82402)/(-78) + 30/45. Let g = z + -1057. Is g equal to -1?
False
Let h = 257 + -312. Let u = h + 52. Are u and -17 unequal?
True
Let k(z) = z**3 + 18*z**2 + 17*z + 7. Let f be k(-17). Suppose 2*a + 3*p = a + 2, -4*a + 3*p - f = 0. Let n = -0.12 - 0.04. Which is greater: a or n?
n
Suppose 45 + 390 = -x - 5*c, -c = 3*x + 1277. Let s = -2977/7 - x. Is 214 != s?
True
Let m = -1/13164 + 88141/5015484. Which is greater: 1 or m?
1
Let m = -247 + 273. Let u(q) = -q**2 + 23*q + 76. Let f be u(m). Is 24 less than f?
False
Suppose 11*m - 82 = -27. Let k be (m/15)/((2/(-2))/(-39)). Which is greater: 7 or k?
k
Let w(j) = j**2 + 3*j - 22. Let i be w(4). Let c(u) = u**3 - 4*u**2 - 10*u + 18. Let q be c(i). Which is greater: -1/4 or q?
q
Let p = 1 - 2. Let n = p + 0.9. Let k = 179/150 + -9/25. Which is greater: n or k?
k
Let a be 261/(-261) + (2 - 2). Is a >= -1/5547?
False
Let h be (15/(-155) + 0)/(6/8). Let z = -114 + 113. Is h at most as big as z?
False
Let j = -3004.5 - -382.5. Do j and 0.1 have different values?
True
Let d = 90 - 90. Let l(w) = w**3 - 8*w**2 + 10. Let m be l(8). Let q(k) = -k**2 + 11*k - 9. Let r be q(m). Is d >= r?
False
Suppose -4*c = 2*u, u + 2*u + 4*c = 4. Suppose 5*h + 0*h = u*h. Let j be 1*(-21)/10 - (h - 3). Which is greater: 1 or j?
1
Suppose -9*u = -31*u - 18*u + 38000. Which is greater: u or 942?
u
Suppose -c + 3 = 8. Let v be c + 231/49 + (-4)/(-14). Let t = -587/3900 + -1/300. Which is smaller: t or v?
t
Let u be (2 - (-1)/((-459)/1341))*-7. Is 5 bigger than u?
False
Let k = -13.85 - -13.95. Let v = -37.1 - -39. Let p = v - 15.9. Which is greater: k or p?
k
Let n(h) = -17*h - 150. Let o be n(-9). Let k be (10/o)/(6/45). Which is smaller: 155/6 or k?
k
Let f = -41 - -574. Let m = f - 533.04. Is m <= 15?
True
Let g be (-5 + 4)/((-88)/(-340) + 18/(-90)). Is g bigger than -374?
True
Let b be 1/(-8) - (-1468170)/(-28080). Which is greater: b or -51?
-51
Let o = -294 - -291. Let l be (394 - (o - (-4 - 0)))/3. Is l greater than or equal to -2/9?
True
Let v = 10.5 - 34. Let c = 42 + v. Let x = c - 5.5. Do x and 1 have the same value?
False
Suppose -78*t + 74*t = -1486388. Let z be 15/30 + t/(-874818). Let a = -2/8253 - z. Are -1 and a unequal?
True
Let c = -26.09 - 95.91. Which is bigger: 1 or c?
1
Let i(j) = 4*j**2 - 2*j - 2. Let v be i(-1). Let c = 0.9317 + -0.4317. Is c greater than v?
False
Suppose -69*v = 80*v + 29*v + 45390. Which is smaller: -248 or v?
v
Let x be -2 + (111/39 - 6/(-39)). Suppose 21 = g - 5*i, 4*i - x = -5*g - 12. Let s be 1/(-2) + (-85)/(-182). Is s < g?
True
Suppose -5*y = 4*v - 1753, 11*v = 2*y + 7*v - 690. Suppose -5*i = y + 546. Which is smaller: -180 or i?
-180
Let v be 12/(-4)*10254/54. Which is smaller: v or -571?
-571
Let a = 64 - 59. Let g be (6 - -57)/(a/((-10)/4)). Let w = g - -1069/34. Is -1 < w?
True
Suppose 0 = -14*r + 6*r - 32. Let n be (2/r)/(7/(-1666)). Let c = n - 3450/29. Which is greater: 0 or c?
c
Let f = -17075 + 11979. Do f and -5094 have the same value?
False
Let q be (-4)/(-21)*(-450)/(-600). Are -7/26 and q unequal?
True
Let a = -0.106 - -0.406. Let b = 8 - -6. Is a greater than b?
False
Let k(t) = -28*t**2 - 110*t + 42. Let c(g) = 10*g**2 + 37*g - 14. Let x(l) = 8*c(l) + 3*k(l). Let a be x(-9). Let z be 2/8 + 19/4. Is a > z?
False
Suppose -5*u + 4*x - 230 = -1031, -3*x + 145 = u. Is u at most 470/3?
False
Let l = 36103/27 - 1337. Suppose -20 = -5*x - 0*x. Suppose 3*s = -o + s + 9, x*o + 16 = 5*s. Which is bigger: l or o?
o
Let t = -5330 + 5330.2. Is t less than 1145?
True
Let p = -4284 - -4284.08. Is p at most as big as -13?
False
Let s(u) = u**2 + 8*u - 97. Let z be s(-14). Suppose -13*a + 8*a = 25. Which is bigger: a or z?
a
Suppose 7*r - 3*d - 25 = 8*r, d = 5*r - 3. Suppose -5*w + 28 = -6*w. Which is smaller: w or r?
w
Let w be 2 + 8/6 + 2. Suppose -3*p + 0*p + z + 3 = 0, -2 = -2*p - 2*z. Let d be 4 + p - (-2 + 2). Which is smaller: d or w?
d
Suppose 5*o - 8020 = -5*m, 3*m = -2*o - 2415 + 7224. Is 4804/3 bigger than m?
True
Let g be (916/(-6))/((-7)/(-147)*14). Let z = g - -241. Is 38/3 < z?
False
Suppose 7469 = -2*f - 5*r, -4*r - 4552 = 5*f + 14146. Let m = f - -609950/163. Let g = m - 529/1630. Is g > -5?
True
Suppose 0 = -62*o - 50*o - 896. Which is smaller: 114 or o?
o
Let t be (-4)/18 - (-10 + 805/63 - 14). Which is smaller: t or 35?
t
Let y = 1.5281 - -6709.4719. Which is smaller: y or 1?
1
Let t be ((-30)/(-8))/(22/(-16)). Let m be (-2)/6 + (44/6 - 4). Suppose 0 = -i + 5*n - 14, n = -3*i + m*n - 16. Which is bigger: t or i?
t
Let s = -94 - -99. Suppose 0 = -4*j - t + 16, s*j - 5*t - 20 = -0*j. Suppose 5*v + o + 5 = 4*v, -j*v + 5*o - 11 = 0. Which is smaller: -12 or v?
-12
Let d(b) = -5 + 3 + 16 - 8*b. Let q be d(-7). Let u be (-13 + q)*(-4)/42. Are -4 and u equal?
False
Suppose 603 + 1685 = 93*x - 2548. Is x at most as big as -1?
False
Let a be ((-1 - -5) + -3)*-1. Suppose -180 = -2*z + 208. Let t be ((-198)/z - -1)*(28 + -27). Which is greater: a or t?
t
Let r be 2*587/(-4) + 28/(-168). Which is smaller: r or -1/2?
r
Let k = -413/9 + 45. Suppose -8*x + 442 = -62. Let h = 62 - x. Which is smaller: h or k?
h
Let m = 9342 + -9343. Is -2/4635 bigger than m?
True
Let k = 4811 + -8689. Which is greater: k or -3877?
-3877
Suppose -69 = -2*a - 5. Let r = a + -26. Suppose -5*z - z - r = 0. Which is smaller: -1/26 or z?
z
Let q = -5 + 422. Which is smaller: 2082/5 or q?
2082/5
Let r be (-9)/54*273/(-8). Let n = r - 10363/1808. Which is greater: 1 or n?
1
Let h = -6928594809/29129 + 237859. Which is greater: 0 or h?
h
Suppose 43*p = -21033 - 31943. Which is greater: p or -1233?
p
Let g(o) = 38*o - 1753. Let a be g(80). Is 1287 <= a?
True
Let q be ((-8)/574)/(-1*6/(-7)). Is 81 equal to q?
False
Suppose 170*v - 175*v + 3721 = -3*i, 0 = -i + 5*v - 1257. Which is greater: -1230 or i?
-1230
Suppose 0 = 2*a - 5*i - 13, -a - 24*i = -21*i + 10. Is a greater than or equal to 7/59?
False
Let j(o) = 66*o - 4157. Let c be j(63). Is c less than or equal to -2/27523?
False
Let f be (12/18*-357 + 7)*(-2)/699. Is f greater than 1?
False
Suppose 2*p + 0*p = -g - 2, -g = -3*p - 23. Suppose 0 = g*j - j - 35. Suppose 5*f - 170 = -j*w, -2*w = -w + 1. Is f bigger than 35?
False
Let b = -2912112/19 - -153269. Let t be 2/(-4)*(0 + 0). Is t not equal to b?
True
Let v = -0.0133 + 1085.0133. Which is greater: 0.2 or v?
v
Let t = -1860 - -1528. Is -332 at most t?
True
Let z(h) = h**2 + 3*h + 2. Let t be z(-2). Let f = -2027 + 3098. Let s = 953 - f. Which is bigger: t or s?
t
Let d(i) = 6*i + 10. Suppose 7*k + 355 = -30. Let a be 84/(-22) - 1/(k/(-10)). Let t be d(a). Is -15 > t?
False
Suppose 23*v + 2581 = 28. Let t = v - -47. Let p = 23 + -67/3. Which is bigger: