 f = t. Is b < t?
False
Let s = -35421481/1061 + 33385. Which is greater: s or 0?
s
Let u = -504 + 472. Is u >= -32?
True
Suppose 4*u - 4*i = 3*u - 20, -5*u + 3*i - 32 = 0. Which is smaller: u or -13/3?
-13/3
Let p = 59 + -82. Is -27 less than or equal to p?
True
Let y = 0.55 + -0.66. Let h = 15.11 + y. Let t = 0 + -0.1. Which is greater: h or t?
h
Let v = -17763/16 - -1111. Is 1 smaller than v?
False
Suppose -3*x + d + 205 = -0*d, 2*x = -5*d + 165. Let v be 24*1/x*5. Suppose -3*c - c = -12. Is v at most as big as c?
True
Let u = -2 + 3. Let b = 14888/21 - 709. Is u less than b?
False
Let i = -5.6 - -55.6. Let d = i - 30. Let o = 25 - d. Is o bigger than -2/9?
True
Let b = 0 + -4. Let p be (b + 4)/(2 - 5). Is p < -2/19?
False
Suppose -17*t - 16 = -21*t. Let z(v) = v**3 - 6*v**2 + 14. Let w be z(t). Are w and -18 non-equal?
False
Let l = 17 - 4. Let k = l + -13. Let j be (-5)/((-5)/(-4)) + k. Do j and -13/5 have different values?
True
Let f = -71 - -643/9. Is -3 < f?
True
Suppose 20*t + 57 - 137 = 0. Suppose -n - 12 = -5*n. Is t greater than or equal to n?
True
Let v(l) = 16*l**2 - 20*l - 58. Let m be v(-4). Which is smaller: m or 280?
m
Let g = 12307973/610 - 20177. Is 0 > g?
False
Let l be (-16)/(-120) - (-28)/15. Let s = 18 - l. Let r = s + -82/5. Which is greater: r or 0.05?
0.05
Let s = 180/109 + 28089/218. Are s and 132 nonequal?
True
Let g(f) = 10*f**2 - 2*f - 5. Let t be g(-1). Is t bigger than 5?
True
Let m = -9.1615 + 0.1615. Is m < -13/2?
True
Let k = -0.3 + 0.3. Let r = -0.4 - k. Let v = r + 0.41. Is 0 > v?
False
Let b = -34021 + 64485. Let a = b + -213950/7. Let p = -100 - a. Which is smaller: p or -2/3?
-2/3
Let b = -101.57 + 101. Let x = 93 + -94. Which is greater: x or b?
b
Suppose -4*z - t + 3 = 0, -4*z + 2*t = -2*t + 12. Which is smaller: 1/622 or z?
z
Let i = 37 - 161/5. Suppose -5*g = -26 - 4. Is g >= i?
True
Let z = 952 + -918. Is 37 <= z?
False
Let i = 60 - 92. Let k = i - -31. Which is bigger: k or -19?
k
Let s be (3 + -9)*16/(-12). Suppose s*x - 6*x = 28. Suppose x = 2*g - 0. Are g and 5 nonequal?
True
Let x = -793 + 714. Which is greater: x or -72?
-72
Let u = 9.6 - 9. Let j = u + -2.6. Which is bigger: j or -1/4?
-1/4
Let x(y) = -3*y**2 - 32*y - 19. Let f be x(-10). Which is greater: f or -5/64?
f
Suppose 0 = -4*s + l + 462 - 1388, 0 = s + 2*l + 236. Is s <= -233?
False
Let l = -38 - -27. Let r = l + -3. Which is smaller: r or -13?
r
Let a = -3162 - -3166. Is 19 not equal to a?
True
Suppose 131 = -7*j + 138. Let t = 1951618/5015 - -1776/295. Let b = -395 + t. Is j less than b?
False
Let o = 6 + -4. Suppose 0 = -4*n - 2 - o. Let m be (1 - 3/2)*6/3. Are n and m unequal?
False
Let k be ((-493)/(-68) - 8)*(-8)/27. Let m = 1.07 - 0.17. Is m greater than or equal to k?
True
Suppose -3*z - 9 = 3*m, -5*z - 16 = 2*m - z. Suppose 5*k + 27 = -v, -3*v + 4*k = -m*v - 18. Is v >= -7?
True
Let k be 53/11 + -1 - (-2)/11. Suppose -3*m = 2*m - 3*v + 3, 4*v - k = 4*m. Do -3/8 and m have different values?
True
Suppose -61*p - 5*c - 10 = -62*p, -p - 3*c = 6. Are -1/5 and p nonequal?
True
Let b(u) = u - 3. Let m be b(2). Let h be ((-27)/(-12))/(-3)*-8. Let o be 2*(-13)/h + 2. Is m < o?
False
Let t be (-23)/((-1265)/(-22)) + 284/10. Suppose 3*r + 39 + 30 = 0. Let q = r + t. Which is smaller: q or 0?
0
Let h(f) = f**3 + 4*f**2 + 2*f - 2. Let m be h(-3). Suppose -m = 2*o + 9. Are -13/3 and o equal?
False
Let w = -29 + 15. Let p(u) = -7*u - 13. Let i(y) = 2*y**2 - 4*y + 2. Let h be i(1). Let d be p(h). Do w and d have the same value?
False
Let g be (1/1 + 1)*-2. Let i = g + 4. Suppose -a - 5*o + 1 = -o, i = 3*o. Which is smaller: 4 or a?
a
Suppose 2*k - 3*k = 0. Suppose q + k = 3. Suppose 0 = -4*f + 4*i + 8, 34 = -q*f - 0*f - 5*i. Which is greater: f or -5?
f
Let o = 1481/1826 + -53/66. Is o less than 1?
True
Let y(s) = 8*s - 1. Let w be y(1). Suppose -3*v = -v. Let f be 5 - v - 3/(-1). Which is bigger: f or w?
f
Suppose -408*w = -383*w. Let c = -6951/13 - -535. Which is smaller: w or c?
w
Let u = -0.122 - 54.878. Let r = 54.7 + u. Is r greater than -7?
True
Let l = -13220 + 13215. Let h be 0/(-2 - 0/(-2)). Which is smaller: l or h?
l
Let v be 43219/(-54230) + 16/20. Which is greater: 1 or v?
1
Let m = 54.9 + -6.9. Let v = 50 - m. Is v less than -0.3?
False
Let y be (-5)/(11/(1089/(-45))). Is y smaller than 26?
True
Let i = -20 - -22. Suppose i*j - 34 = 2*g, -5*j + j = -5*g - 85. Let c = g + 32. Which is bigger: 14 or c?
c
Let l = 1 - 0.6. Which is smaller: l or -11?
-11
Let y = -132 + 146. Suppose 15*z = z - y. Is -2/9 less than z?
False
Let p(y) = y**3 + 6*y**2 - y + 18. Let d be p(-6). Does 166/7 = d?
False
Let h = -0.075 + 3.375. Let d = -3 + h. Is d != 1?
True
Let t = -3667/2 + 1993. Is t bigger than 159?
True
Let x be 6/(-15)*(-10)/114. Suppose 0 = -m + 2*m. Which is smaller: m or x?
m
Suppose g - 3*g + 2*d + 552 = 0, 3*g - 834 = 5*d. Let m be (1*4)/((g/(-18))/7). Is -3 less than m?
True
Let f = -2291 + 2208. Are f and -86 unequal?
True
Let q = -29 + 43. Let p be (30/q - 2)*-3. Let c = 1.01 + -2.01. Is p < c?
False
Suppose -4 = -3*k + 8. Suppose -4*u - 4 = 2*b - 0*b, 1 = u. Let s = b + 7. Are k and s nonequal?
True
Let z be 1 - 250522*3/(-3411). Let m = -664/3 + z. Let p = 5692/2653 - m. Which is smaller: 3 or p?
p
Let c = 10439/90 + -116. Let a(m) = m - 9. Let k be a(10). Which is smaller: c or k?
c
Let y = -58/73 + 3757/4453. Is y at most as big as -1?
False
Let v = -41 + 25. Let y(x) = -x**2 + 43*x - 42. Let f be y(42). Which is smaller: f or v?
v
Let r = 127 - 270. Is 0 greater than r?
True
Let i = 18 + -20. Let l = i - 3. Let f = 71/5 + -487/35. Is l at most f?
True
Let s be 2/(-5) + (141/15 - 0). Let q be (-2681)/(-819) + -3 - 2/s. Is q less than -1?
False
Suppose -36 = -3*u + u. Suppose u = -a + 3*a. Is a less than 1/3?
False
Let n = 2/113 + -119/339. Let k = 29 - 27. Let m be (-5)/k*22/(-55). Is m greater than or equal to n?
True
Suppose -3*r = r + 16. Suppose -5*g - 52 + 227 = 0. Let v = g - 39. Is r >= v?
True
Let r = 78 + -114. Let v = r + 36. Which is smaller: -2/435 or v?
-2/435
Let y = -2 + 3. Let l = 104 + -97. Which is smaller: y or l?
y
Let y be (2 + -2)*11/(-22). Which is smaller: y or -8/21?
-8/21
Let m(p) = -p**2 - 14*p - 22. Let z be m(-12). Let t be (-1)/(-14)*(6 - z). Is t at most as big as -2/5?
False
Let i be (54/(-4))/((-6)/(-8)). Let k(o) = -o**2 + 18. Let x be k(6). Are i and x equal?
True
Let k(q) = -q**3 - 3*q**2 + 17. Let p be k(0). Let y = -9 + p. Is y < -0.1?
False
Suppose -3*l + 12 + 5 = -5*a, 0 = 2*l - a - 9. Suppose z = -l*w + 6, 0 = 2*w + 5*z + 6 - 0. Let u be (-31)/(-28) + (-3)/12. Which is smaller: w or u?
u
Let n be ((-300)/275)/(6/4). Let p(v) = -v + 5. Let z be p(7). Which is bigger: n or z?
n
Suppose 0 = m + 4*i - 16, 2*m - 3*i - 84 = -8. Let d be -6*(m/(-12) - -1). Let k be (d/(-140))/((-2)/7). Which is bigger: 0.2 or k?
k
Let i = -2/15 - 1/5. Let y = -6.84 + -0.16. Let b = y - -6. Do b and i have the same value?
False
Suppose 5*g - 90 = 5*j, 11*j + 19*g = 6*j + 30. Which is bigger: -100 or j?
j
Let f = 721 - 6476/9. Which is smaller: 2 or f?
f
Let c = -3949 + 647627/164. Is 1 > c?
True
Let q = 415 + -417. Let w = -0.09 + 0.18. Is q < w?
True
Let h be -3*(1 - 0)*-1. Suppose -3*i = b - 7, -5*i + h*i + 2 = -2*b. Which is smaller: 2/3 or i?
2/3
Let a be 1/(-1) + -12 + 16. Suppose 0 = 5*x + a*t + t - 18, -5*x - t = -12. Is x bigger than 2?
False
Let f = 231 - 230. Is f greater than 2?
False
Suppose 3*o + 4*h + 3 = 2, -o - 3*h + 3 = 0. Let f be (o/6)/(1/(-39)). Let p = f + -19. Is p bigger than 5/7?
False
Let t = 34430 + -722768/21. Let q = t + -37/3. Is 2 smaller than q?
False
Suppose -15 = -5*g, -11*f + 12 = -10*f + 2*g. Is f at least 86/15?
True
Let p = 4307 + -4319. Let a(i) = -i + 3. Let k be a(6). Is p greater than or equal to k?
False
Let b be 3/(-8) - 1/1. Let r be (-1540)/704 - (-6)/32. Which is bigger: b or r?
b
Let f = 5334/13 - 410. Is f bigger than -1?
True
Suppose -3*i + 10 = 4. Let d = 20.42 - 21. Let b = -0.58 - d. Which is greater: i or b?
i
Let c(j) = -4*j + 116. Let s be c(29). Let h be ((-6)/24)/(4/6). Is s greater than or equal to h?
True
Suppose -6 = -3*s - 0. Let h = 1 - s. Let x be 4/(3 + 111/(-15)). Which is smaller: x or h?
h
Let p be 9/(-4)*(-320)/60. Let h be (11/(-2)