et h = o + 11. Is h <= z?
False
Suppose 1951*u - 1950*u + 4 = 0. Is 3 != u?
True
Let h be 2 - -4 - (-156)/16. Is 15 equal to h?
False
Let g(r) = 12*r + 23. Let v be g(-2). Let c = 4173 - 12632/3. Let j = c - -36. Is j at least v?
False
Let b be -5*2*(-2)/(-10). Suppose -7*u + 45 = -4*u. Let m be u/24*(-28)/21. Which is smaller: m or b?
b
Let c = 3.76 - 7.86. Which is smaller: 2/13 or c?
c
Let a = -375 + 383.35. Let y = a - -0.65. Do y and 2 have different values?
True
Let q = -371 + 370. Which is smaller: -69 or q?
-69
Suppose 4*m - 7 - 13 = 0, -2*t + 47 = -3*m. Let b = t + -26. Suppose 0 = 2*c + 4*o, -o = -b*c - 2*o. Which is greater: -21 or c?
c
Let p = -745 + 744. Is p at most 1/347?
True
Let f = 207389 - 1447942/7. Let l = f + -537. Is 2 at least l?
False
Let f = -44.3 - -27.3. Which is smaller: -2/5 or f?
f
Suppose 4*d + 5 = o - 6, -3*o + 3*d + 15 = 0. Suppose 0 = -r + o*q + 14, -17 = -3*r + 5*r + 3*q. Is -2/89 equal to r?
False
Suppose 58*a - 65*a + 147 = 0. Which is greater: a or -44?
a
Suppose 5*f - 9*f = -16. Suppose -4*q = -f*z - 5*q + 61, -z + 28 = -4*q. Which is smaller: 0 or z?
0
Let y = 60.5 + -45.5. Which is bigger: -1/6 or y?
y
Let b = -841/6 - -5939/42. Which is bigger: 1 or b?
b
Suppose 5*a + 3284 = -2*d, 5*a + 2752 + 536 = -4*d. Is a equal to -656?
True
Suppose d + 3 = 0, -3*y - 2 + 26 = -5*d. Suppose 5*f + 2*t = 62, f = -2*t - y*t - 6. Is f at least 13?
True
Let i be (636/54 + (-2)/(-9))*-1. Let f be -2*(-4)/i - 44/(-48). Is -0.1 < f?
True
Let k = 14.01 - 15.01. Is -487 at least as big as k?
False
Let o be (1 - 36 - 2) + 1. Suppose -12 = 4*b + 16. Let j be o/(-10) - (-14)/b. Which is smaller: 1 or j?
1
Suppose -9*t + 13*t = -112. Let p be (-2)/3*(1 + t/34). Suppose 4*q + 5*w - 11 = 0, -2*q = -3*q + w - 4. Is q bigger than p?
False
Suppose -10 - 10 = 5*t. Let d be t/(-14) + ((-14707)/294)/(-11). Which is bigger: 6 or d?
6
Let s(h) = -13*h**2 + 6*h + 10. Let l be s(-3). Is l at most -125?
True
Suppose f - 5*s = 4*f - 1054, 5*f + 2*s - 1763 = 0. Suppose r = -3*r + 3*j - f, -5*r - 440 = -4*j. Let c be 3*(r/48 - -2). Does 3 = c?
False
Let h = -694 + 307. Which is greater: -388 or h?
h
Let c be (0/(8 - (4 + 1)))/(-4). Which is bigger: c or 535?
535
Let j be 8/(-532)*(1 + 5 + -13). Let i(u) = -u - 3*u + 0 - 6 + u**2. Let f be i(5). Is f < j?
True
Let t be (-96)/80 + (-4922)/40. Are 1/4 and t non-equal?
True
Let w(t) = -5*t**2 - 3*t - 5. Let u be w(-4). Let n be (-9 - (-2 + -4)) + (-71)/1. Which is smaller: n or u?
n
Let r = -93.9933 - 0.0067. Is -1/3 at least r?
True
Let v = -22.998 - 0.002. Let d = v - -22.14. Let n = 0.14 - d. Which is smaller: n or -1/6?
-1/6
Suppose -o = 2*o - 2*r + 9, -5*o - 5*r = 15. Suppose -s - 9 = -4*s. Suppose 0*m + s*m = -12. Is o != m?
True
Let t(a) = -12*a + 3. Let i be t(-3). Let w = 274/7 - i. Let m be 0*((-5)/(-2) - 3). Which is smaller: m or w?
m
Let r = -497 - -512. Which is smaller: r or 12?
12
Suppose x = 6 - 8. Let v be ((-68)/8)/(x/(-4)). Which is greater: v or -16?
-16
Let y(b) = -b**3 - 4*b**2 + 27*b - 15. Let n be y(-7). Which is smaller: -55 or n?
n
Let a = -3848 - -1400671/364. Is a less than or equal to 0?
True
Let a(g) = -g**3 - 36*g**2 - 67*g + 11. Let c be a(-34). Are c and -122/5 nonequal?
True
Let y = 17 + -11. Suppose -y*g = -2*g. Let i be 0/(4 - (g + 2)). Are -1/28 and i equal?
False
Let c = -0.59 + 0.3. Let q = c + 0.19. Is 4 >= q?
True
Suppose -4*g = 3*k - 73, k - g = 2*g + 7. Suppose -30 - 65 = -5*i. Is k greater than or equal to i?
True
Let d = 43 - 171/4. Let z(w) = w**3 - 3 + w**2 + 50*w + w**2 - 54*w. Let o be z(-3). Are d and o equal?
False
Suppose 0 = 126*b - 124*b. Suppose 0 = 3*v - 4*y + 6*y + 37, b = 5*v + 4*y + 65. Is v at least -8?
False
Suppose n + 34 = -6. Suppose 121 = -5*c - 14. Let v = c - n. Is v < 13?
False
Let k(s) = -s**3 - 6*s**2 + 5*s - 9. Suppose -4*m - q - 40 = -16, -10 = 2*m + q. Let t be k(m). Suppose -4*h + 5 = -3*h + 2*n, 0 = -t*h - 4*n + 13. Is 2/7 < h?
True
Let b(m) = -158*m + 2. Let w be ((-8)/8)/(-1 + 2). Let o be b(w). Let k be 4/3 + o/30. Which is bigger: k or 6?
k
Let o be (-61778)/(-36735) - (-4)/(-30). Do 2 and o have different values?
True
Let f(k) = k**2 - 2*k - 20. Let a be f(6). Let n be (-21)/18*(4/21)/a. Which is smaller: n or 1?
n
Suppose 6*v + 12 = 2*v. Let q(x) = 9*x + 7. Let l(d) = 4*d + 3. Let h(w) = -7*l(w) + 3*q(w). Let y be h(v). Is y <= 3?
True
Let c = 4.58 + 2.42. Which is bigger: 0.3 or c?
c
Suppose 0 = -4*u + 3*u + 2*q + 4, -u + 3*q = -6. Which is smaller: -12/73 or u?
-12/73
Let m be -20*9/(135/6). Let b be ((-12)/(-18))/(2/m). Do b and -4 have different values?
True
Let j = -120 - -227. Let i = j - 92. Suppose -5 = 3*b - 2. Is i at most b?
False
Suppose 0*o = o - 2*y + 6, o + 9 = 3*y. Suppose o = m - 2*m. Suppose g + g + 3*h - 13 = m, h = -3*g + 9. Does g = 3?
False
Let u be (10/6)/(85/612). Let v(m) = m**2 + 8*m + 9. Let y be v(-7). Let t = y - -11. Which is greater: t or u?
t
Let g be 13/(-15) - 4/30. Which is bigger: g or 1/12?
1/12
Let g be (-31 - -5)*1/(-2). Suppose -2*h = -5*d + 2*h + 31, 0 = d + 4*h + g. Let p be 2*2/(-6)*-3. Which is smaller: d or p?
p
Let m = 1046/1617 - 20/33. Do m and -1 have different values?
True
Suppose y + 3 = -c, -3 = -663*y + 664*y. Let k be 8/(-26)*(-2)/(-8). Does k = c?
False
Let j be 2/(-16) - 667/(-8280). Suppose 0 = 4*s - 6 - 14. Let b = -5 + s. Do b and j have the same value?
False
Let x = 17 - 20. Is -24 at most as big as x?
True
Suppose -4*l + 3*l = -9. Suppose l - 33 = -3*b. Let q be (7/(-2))/(4/b). Are -7 and q unequal?
False
Let j = -135752/9 + 15106. Which is smaller: 21 or j?
21
Let x = 148009159962636/935 + -158298623485. Let p = -56680 - x. Let u = p + -12/55. Is 0 less than u?
False
Let r(d) = -d**2 - 2*d + 3. Let x be r(0). Suppose 15 = -x*u + 36. Let v be 9/(-7) - (-2)/u. Are -8 and v equal?
False
Let h(m) = 7*m**2 + 2*m. Let f = -22 - -20. Let o be h(f). Is 25 at least o?
True
Let n be ((-22)/(-77))/((-114)/14). Which is smaller: n or 0?
n
Let z = -353 + 345.25. Let o = 0.05 + 0.2. Let y = z - o. Is y bigger than -2/5?
False
Let f = -93 + 89.3. Let h = -4 - f. Which is smaller: -1 or h?
-1
Let w = 25 + -44. Let n = w + 4. Which is bigger: -3/5 or n?
-3/5
Let l = 113 - 63. Let h = 151/3 - l. Let p = -0.01 - -0.31. Which is smaller: p or h?
p
Let n = -1.5 - -0.5. Let a = 450.05 + -450. Which is greater: a or n?
a
Suppose -4*m - 1258 = -2*z, 3*z + 0*z - 1931 = -5*m. Is 636 at most as big as z?
True
Let d = 45539/1355 + 52/271. Let s = d - 163/5. Does s = 1?
False
Suppose 2*k - 2*j = 8 + 20, 25 = -5*j. Suppose 5*h - 34 - 16 = 0. Are k and h equal?
False
Let g = 966 - 1149. Which is smaller: g or -184?
-184
Let g be ((-80)/120)/(2/(-27)). Which is greater: g or 4.3?
g
Let s = 0 + 34. Let k = s - 22. Is k < -2?
False
Let x = 673 - 675.3. Is x <= 8?
True
Let q be 2 + (-4181)/(-10) - 1/(-2). Let d = 422 - q. Is 0 at least d?
False
Let n be 4/10 - 144/10. Let x be 22388/2310 - (-4)/n. Let b = x - 102/11. Which is smaller: b or -1/2?
-1/2
Let q(d) = 56*d - 743. Let n be q(13). Which is smaller: 0.2 or n?
n
Let i = -3 + 9. Let o(w) = w**3 - 5*w**2 - 8*w + 12. Let l be o(i). Let p(u) = -u**3 + 3*u**2 - 2*u + 1. Let z be p(2). Which is bigger: l or z?
z
Let c(d) = 9*d + 143. Let x be c(-16). Is x less than or equal to 0.0191?
True
Let x be (12/8)/(12/(-16)). Let z = 65/43 + 2341/215. Let j = z - 511/40. Is x at least j?
False
Let j(m) = -5*m - 70. Let i be j(-13). Which is smaller: 5 or i?
i
Suppose -91*t + 891 = -8118. Do t and 100 have the same value?
False
Let y be (-285)/(-20)*(-32)/(-12). Which is smaller: y or 39?
y
Let c = -714.56 + 715. Is c less than -0.2?
False
Let w be (1 + 0)*-4 - 4. Suppose 67 - 11 = 2*n + 2*o, 0 = -n - 2*o + 24. Suppose 0 = -x - 3*x - n. Are x and w equal?
True
Let p be (-23 + 22)/(1/(-5)). Let c be p + (1 - (3 - 0)). Is -7 < c?
True
Let d be (-6)/(-15) - 6/(-10). Let c = 1252/9 - 138. Which is greater: d or c?
c
Let s be 48/390*(1 + (-6)/(-4)). Which is smaller: s or 0?
0
Let x be 4*-2*(-781)/22. Suppose 3*r = -239 + x. Does 13 = r?
False
Let d(c) = -c**2 + 5*c - 3. Let i be d(5). Let m = -112/55 - -18/11. Is i less than m?
True
Suppose -3 = -d + 10. Let g(i) = -i - 1. Let h be g(-2). Suppose h = j - 12. Is d less than or equal to j?
True
Let d 