3 > z?
True
Let p = 65 + -63.34. Let a = p - 1.46. Which is bigger: -66/7 or a?
a
Suppose -38*d + 327 = 51*d - 92*d. Which is bigger: -81 or d?
-81
Suppose 4*x = 4*z - 0 - 4, -5*x - 37 = 3*z. Let d(m) = -m**2 - 3*m + 17. Let o be d(x). Let y be (-6)/10 - 12/(-15)*o. Which is smaller: y or 7?
y
Let h = 105 - 81. Let l = 3.7 + 21.3. Let o = h - l. Which is smaller: o or -3/19?
o
Suppose 0 = 5*o - 10*o + 4*g + 10, g = 3*o - 6. Is o at least 1139?
False
Let j = 39 + -15. Let h be (-13)/4 + 6/j. Let f be h/(-2) + (-30)/12. Is 2/9 bigger than f?
True
Let b = 1944 - 1948. Is 0.85 at least as big as b?
True
Let q = -702 - -1206. Suppose 0*n = -8*n + q. Is n at most as big as 61?
False
Let b = -650 + -1326. Which is greater: b or 1/3?
1/3
Let d = -1817/21 - -440/7. Let g = -24 - d. Is 70 >= g?
True
Let a = -716.94434 + -0.15566. Let b = a - -717. Is -53 greater than b?
False
Let v = -36 + 38. Let x(w) = w**3 + w**2 - 2*w - 4. Let m be x(v). Suppose -2*j + 0*c = m*c - 6, 3*j = 3*c. Which is smaller: 2/207 or j?
2/207
Let t(c) = -104*c + 6062. Let u be t(58). Is u less than or equal to 115/4?
False
Let q = 0.15872 + 0.04128. Let o = 0.23 - 0.14. Let j = o + 3.91. Does j = q?
False
Let k be ((-138896)/6)/4*(-480)/320. Is 8679 <= k?
True
Suppose 2*m + 2*c = 16, 2*m - c = -5*c + 26. Suppose v + 9 = -3*l, -m*v + 10 = -5*v - 4*l. Let o = -67/6 + 13. Is v greater than or equal to o?
True
Let a(k) = k**3 - 10*k**2 + k - 22. Suppose 5*b - 50 + 11 = 2*v, 2*v = -b + 15. Let y be a(b). Is y bigger than -95?
True
Suppose -4*k + 28 - 6234 = -n, -3*n + 4659 = -3*k. Is -1551 smaller than k?
False
Let u be (-16204)/72837 + (-10)/(-945)*21. Is -1 at most as big as u?
True
Let v = -89.78 - 290.12. Let j = -380 - v. Do j and -218 have different values?
True
Let c = -368751/25 + 14727. Which is smaller: -23 or c?
c
Let r be 10 - ((-66960)/250)/(-27). Is -477 smaller than r?
True
Let w = -19.63 - -20.764. Which is smaller: w or 0.1?
0.1
Let p = 40 - -205. Let k = 245.3 - p. Is k less than 9?
True
Suppose 0*g = -3*g - 18, 4*u + g + 4814 = 0. Is u at most -1204?
False
Let d(o) = 94*o**2 - 2*o - 1. Let c be d(-1). Let i be (-6)/(-15)*3995*53/901. Which is smaller: c or i?
i
Let x(g) = -11*g**2 - 6*g + 22. Let a be x(-5). Let q = a + 221. Which is smaller: q or 2/5?
q
Let s(j) = -6*j**2 + 33*j - 71. Let l be s(5). Which is greater: l or 7?
7
Let w(u) = -2*u**3 - 5 + 19*u**2 - 4*u - 5 - 6*u**2. Let r be w(6). Suppose -4 = 5*o + 6. Which is smaller: o or r?
o
Suppose -2*t + 5*i = -5 - 23, -4*t - 4*i = 0. Let s be 23/t + 3/(-4) - 2. Suppose 0*g + 3 = 4*n + g, -3*g = -s*n + 21. Is n less than or equal to 2?
True
Let h = 80 - 409/5. Let m = -0.649 - -0.849. Is m greater than or equal to h?
True
Let f(t) = -t**2 - 2*t + 2. Let b be f(-3). Let y be (b - 1) + -5 + 2. Let n = 4202 - 4199. Which is bigger: y or n?
n
Suppose 193*y - 198*y - 2*m + 15651 = 0, -3*m = 21. Which is bigger: y or 15662/5?
y
Let a = -0.6 + -0.55. Let x = -12.25 - a. Let d = x - -11. Which is smaller: d or 9?
d
Let o = -223855 + 19475660/87. Are 4 and o nonequal?
True
Let t(u) = -37*u - 863. Let f be t(-22). Is f < -383/8?
True
Suppose -2*c + 58 = 56*c. Which is smaller: c or -17/55?
-17/55
Let g = -1384742785052152/241947 - -5723331081. Let v = -2/2349 + g. Is -1 != v?
True
Let o = -10 - -25. Let i be (-2)/5 - 309/o. Let v = i + 14. Which is smaller: -4 or v?
v
Let c(i) = i**2 + 5*i + 1. Let s be c(0). Let o be -4 + (9776/612)/4. Which is smaller: s or o?
o
Let h = 1046 - 4179/4. Let r(i) = 4*i - 6. Let o be r(2). Is o greater than h?
True
Suppose 61*s - 60*s = 1. Let r(p) = -13*p**2 - 2*p + 1. Let u be r(s). Is -64/5 greater than or equal to u?
True
Let k = 50392 - 957436/19. Suppose 26 = 3*m - 2*m - 5*r, 3*m = -r - 2. Which is smaller: m or k?
k
Let o(h) = -h**2 + h + 1. Let l = -11 + 10. Let g be (2/l*1)/(-6 - -8). Let j be o(g). Is -2/19 > j?
True
Let l be 114/7 + (-8)/28. Suppose 183*p - 357 = 162*p. Which is smaller: p or l?
l
Let x be ((-9)/(18/8))/(-3)*-9. Let d be (35/3)/(2/(-12)). Let n be 9/27*x/d. Are n and 0 non-equal?
True
Let q = 327719/33 + -9935. Which is smaller: -4 or q?
q
Let y be ((-8)/(-10))/(2/(-2170)). Let k be (-14)/(-9)*((-4324)/y + -5). Let j = k - -2/9. Which is smaller: j or -1?
-1
Let h(q) = q**3 - 49*q**2 - 21*q - 1448. Let g be h(50). Let n be 62/24 - 1/4. Is g < n?
True
Let r be (-224 + 18)*(-60)/40. Let b = 500 - 190. Do r and b have different values?
True
Let q = 7150.97 + -7151. Which is greater: q or -6.7?
q
Let k = -16.08 + 202.22. Let x = k + -186. Is x greater than or equal to 7/6?
False
Let y be (9/(-5316))/((-36)/48). Suppose 2*w - 20 = 4*o, -4*w = -9*o + 5*o - 20. Which is bigger: w or y?
y
Let o = -6451286 - -8225388794/1275. Let d = o + 2/425. Is d bigger than -1/18?
False
Let v(u) = u**2 + u. Let n(p) = 10*p**2 + 8*p + 2. Let a(f) = -n(f) + 6*v(f). Let y be a(-1). Let s be 4 + 4/(-4) + y. Is s <= -1?
True
Let j be (2 - -10 - -1) + 4*-1. Suppose j*t = 35*t - 1508. Do t and 59 have the same value?
False
Let q be (2/(-6) - 0)*(-630)/10. Let c(l) = -24 - 17*l + 9 + 3. Let j be c(-2). Which is greater: j or q?
j
Let w = -25.7 - -24.7. Let r = -44.2 - -6.2. Let t = r - -37.2. Which is greater: t or w?
t
Let d(t) = -49*t**3 + 3*t**2 - 4*t + 3. Let m = -69 + 70. Let f be d(m). Which is smaller: -41 or f?
f
Let v = -144 + 144.61. Let d = 11 + -11. Suppose d*h - 2*h = 0. Which is smaller: h or v?
h
Let n = -8351 - -1311113/157. Let b = n - -4378/471. Suppose 0*k = k - 9. Which is bigger: b or k?
b
Let z = 229 - 227. Suppose 0 = z*y - 16*y - 1050. Which is greater: -77 or y?
y
Let d = 444 + -444.03. Let s = -0.97 - -1. Let j = d - s. Is 0.3 >= j?
True
Suppose -l - 30 = 4*y, -4*l = 18*y - 16*y + 162. Suppose 3*o - 41 = 4*o. Which is greater: l or o?
o
Let s = -1507 + 1507. Is -3/574 > s?
False
Let d be (1 - 85) + (-4 + 4 - 2). Let h = -54 - d. Are h and 32 unequal?
False
Let p = -4034 + 5396. Which is bigger: p or 4082/3?
p
Let z = 17249 - 17247.9. Which is smaller: 105 or z?
z
Let d = 15 + -4. Suppose 0 = -d*g - 2 + 13. Let q be (2 - 1) + 6/(-8). Are q and g equal?
False
Let q be (-11 + 10)/(1/(-4)). Suppose -1 = y, -3*j - 162 = -0*j - 3*y. Let h be (11/j)/(q/30). Is h greater than or equal to -1?
False
Let x = -99169 - -99171. Let q be 8/(-1 + 2 + 0). Is x at most as big as q?
True
Let v = -1084.044 + 1087. Let p = -0.044 - v. Let i = -0.552 + 0.452. Is p >= i?
False
Let b = 13 - -151. Let j(u) = -u**2 + 15*u + 10. Let m be j(16). Let w be ((-6)/b)/(m/16). Is w less than 1?
True
Let j = -604 - -1059. Let y = j + -501. Which is smaller: 2/11 or y?
y
Let p(o) = -o**3 - 12*o**2 - 13*o - 16. Let h be p(-11). Let w = 19 + -2. Suppose -14*m = -w - 81. Is m > h?
True
Let r be ((-62)/16 + 2)*(-276)/230. Is r <= -28/13?
False
Let w be (0 + -6)*-2*77/44. Suppose -80 = -4*q - x, 2*q + x - 6 = 34. Which is bigger: q or w?
w
Let w = 25.3 + -26. Let b = -0.4 - w. Let n = 2 - -2. Do n and b have different values?
True
Let o = -1252 - -1369.2. Let y = 2.8 + o. Let r = 63 - y. Which is bigger: r or 1/2?
1/2
Let x be ((-11032)/(-21))/(-4)*6. Let s be (1/2)/(x/8). Which is smaller: 0 or s?
s
Let d(g) = g**2 + 95*g + 1024. Let y be d(-85). Which is smaller: y or 172?
172
Suppose -1464*o = -1467*o - 14307. Are o and -4770 non-equal?
True
Let i be (-11)/(-6919)*34 + 817/(-740). Do i and 0 have different values?
True
Let m(t) = -8*t**3 - 3*t**2 + 2*t + 14. Let h be m(-3). Let b = h - 1369/7. Is b at most 2?
True
Suppose 6*o = o - 2*l, -4*l = 0. Suppose -2*g - 5*h - 98 = -38, o = 2*h - 4. Let c = 6 + g. Is c bigger than -28?
False
Let f = -391/28 - -26/7. Let j be 275/125 + (-1 + -1)/10. Suppose -i + j*i = 4*l + 7, 5*i + 53 = -2*l. Do f and i have different values?
True
Let j = -7.6 + 7.487. Let l = j - 57.887. Is l less than or equal to 3/7?
True
Let b = -1694 - -2398. Suppose -2*j = 2, -b = -3*y + j - 52. Is 218 not equal to y?
True
Let u be (-4)/10 - 307/(-630). Let x be (-6*(-5)/180)/(6/2). Let g = u + x. Are 0 and g nonequal?
True
Let q = -0.2375 + 0.3775. Let v be 4/(24/14) - 2. Is v at most as big as q?
False
Suppose 3*q + q + 232 = 0. Let m = 7 - q. Let t be (-3 - m/(-25)) + 198/470. Is t bigger than 1?
False
Let n = 390 + -387. Suppose 2*d + n*v = 7*d - 80, 0 = -4*d - 3*v + 37. Is 13 grea