least as big as 2/9?
False
Let z = 1336/3 - 101527/228. Is z < 1?
True
Suppose -4*g - 9 = 5*w, 4*g + 4*w = -9 + 1. Let a = 11.1 + -11. Let c = 0 - a. Is c at most g?
False
Let t = -41/546 - -9/91. Which is bigger: t or 0?
t
Let x = -130/3 + 560/13. Let o = x + -1/13. Is -1 at least o?
False
Let v be -15*(1 + 14/(-6)). Suppose -4*y = v, -4*o - 4*y - 13 = y. Let r = 28 + -26. Which is greater: o or r?
o
Let s be (1 - 0)*(18 - 16). Are s and 14/11 equal?
False
Let p = -1428/2497 + 6/227. Are p and 0 equal?
False
Let a(h) = -h**2 - h + 2. Let f(m) = -m**2 + 6*m. Let t be f(6). Let o be a(t). Let k be (o - 1 - 1)/2. Is -1/6 smaller than k?
True
Let b be (134/(-64))/(-1) - 2. Let s be (-3 + (-68)/(-16))/(-8). Let z = b - s. Which is smaller: 1 or z?
z
Suppose -3*f = -f + 4*t - 36, t = 1. Is f less than 17?
True
Let x = 3 - -12. Let d = x - 14.9. Are -1/2 and d equal?
False
Suppose 7*s = 5*s + 16. Is s at most as big as 8?
True
Let q be (-2 + -3 + 6)*0. Suppose q = -5*l + 3*b - 0*b - 13, b = 3*l + 11. Let x = l - -4. Which is smaller: 1/5 or x?
x
Let z = 8 + -11. Let b be (-6)/(-4) - (-4)/8. Let a be ((-2)/b - 0)*0. Is a at least z?
True
Suppose 0*v - 9 = v. Let b = 131 - 141. Which is smaller: v or b?
b
Suppose -2*a + 0 + 5 = 3*o, -4*a + 5*o = 45. Is a smaller than -0.4?
True
Let n be (-4)/10 + (-2 - -2). Let v = 0.07 + 4.93. Let z = -4 + v. Which is greater: n or z?
z
Let p be (43/(-99))/(19835/173). Let g = p + -1/3967. Let m = -8/45 + g. Is m != 0.1?
True
Suppose 0 = -13*w + 10*w + 3. Let i be (-6)/(-45)*6/4. Is w greater than i?
True
Let q = -686/99 - -64/9. Is -1 at most as big as q?
True
Suppose 1 - 33 = 4*n. Let i = 10 + n. Suppose -i*f = 2*f + 4. Do -3 and f have the same value?
False
Let i = 1 - 4/5. Let f be 5/3 - 2/3. Suppose -f + 0 = -w, n - 2*w = -3. Is i greater than n?
True
Let s be ((-2286)/(-27))/(-2 - 0). Suppose 0 = -3*h + b + 127, 2*b = -b + 15. Let n = s + h. Which is greater: 1/4 or n?
n
Let w = -8/105 + 58/455. Which is smaller: -1 or w?
-1
Let u = -3/46 + 11/874. Which is smaller: -1 or u?
-1
Let u be (-38)/9 - 4/(-18). Let r(b) = -5*b**3 + b**2 - 4. Let h be r(0). Is u >= h?
True
Let n(c) = -c**2 - 7*c. Let j be n(-7). Suppose 12 = 3*u - j*u. Let v(k) = k - 3. Let w be v(u). Is w not equal to 1?
False
Let c(q) = -q**3 - 5*q**2 + 7*q + 6. Let j be c(-6). Let v be (-6)/33 - 2194/3784. Let x = 1/86 + v. Which is smaller: x or j?
x
Suppose 0 = 7*p - 2*p - 30. Suppose -p*c + 2*c = 0. Let o = -2/31 + -15/248. Is o smaller than c?
True
Let c = 0.1 + -1. Let u = 1 + c. Which is smaller: u or -4?
-4
Let i be (4/10)/(4/10). Is -4/5 greater than i?
False
Let y = 7508/63 + -1130/9. Let x = 20/3 + y. Which is smaller: x or 1/2?
x
Suppose 3*n + n - 136 = -5*g, -4*g - 2*n + 110 = 0. Let a = g - 28. Which is bigger: a or 3?
3
Let v = -28.12 - -28. Do v and -3 have different values?
True
Let h(g) = 8*g + 17. Let l be h(-5). Which is bigger: -22 or l?
-22
Let y be (-11)/33*0/1. Let v(p) = -p**2 - p + 2. Let s be v(y). Is 2 less than or equal to s?
True
Suppose -2*p - p = -15. Suppose p*i - 9 = 1. Is i less than 0?
False
Let z be (1 - (6 + -3))*(7 + -2). Is -5 bigger than z?
True
Let l = 1.9 + -2. Let x = -1.1 - l. Is x at least -1?
True
Let f(v) = -v**3 + 2*v**2 + 6*v - 7. Let k be f(3). Suppose t + 6 = 3*t. Suppose -t*s + 1 + k = 0. Which is smaller: s or 1/4?
1/4
Let i = -2 + 2.1. Let y = -2.7 - -3. Let t = y + -0.4. Which is greater: t or i?
i
Suppose 0 = -4*g + 4 - 0. Which is smaller: 2/15 or g?
2/15
Let f = 1153/7 - 165. Does 0 = f?
False
Let m = 0.08 - 0.07. Let u = -0.09 - m. Is 4 smaller than u?
False
Let w = 2.047 + -0.047. Let l = -2 - -3. Let d = w + l. Which is smaller: -2 or d?
-2
Suppose 3*b - 5*l = -122, 0*b + 3*l = -4*b - 182. Is 1/2 != b?
True
Suppose 19 = 5*u - 1. Does 4 = u?
True
Let u = 28/277 + -200467/1939. Let w = u - -103. Which is bigger: 2/7 or w?
2/7
Let s be (-14)/7 - (1 - 1). Let r be (-1)/(-1)*(-9 + 2). Let c = r + 6. Are s and c unequal?
True
Let d be (-52)/(-14) + (-2)/(-7). Suppose -3*j = -d*j. Suppose -3*u + 4 = -5*h, -u + 3*h = -j*h. Which is greater: -1 or u?
u
Let l = -0.4 - 0.1. Let t = -3 + 2.5. Let w = l + t. Does w = 0.1?
False
Let p be 705/(-300) + (-4)/10. Which is bigger: -3 or p?
p
Suppose -7*m = -5*m + 4. Which is bigger: m or -3?
m
Let a = -47 - -21. Is a equal to -26?
True
Suppose 16*s - 11*s = 15. Is 16/5 smaller than s?
False
Let y be (-1 + -10)/((-5)/5). Is y < 11?
False
Let j = 32 + -14. Is j less than 18?
False
Let s be (-4)/22 - (-414)/99. Which is smaller: s or 0.4?
0.4
Let v be (-1)/4 + (-27)/(-12). Let l = 2 - v. Let k = l + 0. Which is bigger: -1/4 or k?
k
Suppose 0 = o + f, 20 = -f - 3*f. Suppose 4*i + 2*r - o*r + 2 = 0, -4*r + 11 = 3*i. Which is smaller: i or 1/3?
1/3
Let c = 4 + -3. Is 2/121 greater than or equal to c?
False
Let i = -13.06 - -0.06. Let g = 13.1 + i. Is -0.5 bigger than g?
False
Let a be (-4)/(-6) + 296/132 + -2. Is a greater than or equal to 0?
True
Suppose 5*s + c = -0*s + 14, 5*c + 8 = s. Suppose 2*q = 7 - s. Let w = -4 + q. Is -3 greater than w?
False
Suppose 5*v = v. Suppose v = -9*j + 7*j + 16. Let d = j + -5. Which is smaller: 4 or d?
d
Let g(w) = -2*w**2 - 2*w - 3. Let h be g(-3). Is -59/4 <= h?
False
Let u(v) = v**3 + 7*v**2 - 8*v + 3. Suppose -d + 2*d + 8 = 0. Let g be u(d). Is 5 <= g?
False
Let h be -7*(-2 + 0)/2 - -1. Which is smaller: h or 4?
4
Let b = -6 - -5.8. Is -3/17 greater than b?
True
Let c = -21 - -14. Let v = 8 + c. Are -4/11 and v unequal?
True
Let v(t) = -6*t - 17. Let g be v(-7). Is g less than 25?
False
Let g be -3 + 3/(3/37). Suppose -g = t + t. Let c = -31/2 - t. Which is greater: 0 or c?
c
Let p = 2 + 1/4. Let u(r) = -r**3 - 6*r**2 - 7*r - 9. Let y be u(-5). Is y less than p?
True
Let c be 4 + 3 + 2 + -5. Suppose -o + 16 = o - 4*t, 5*t + 18 = 2*o. Is c equal to o?
True
Let x = -10.3 + 10. Let v = 2 + -2.2. Let d = x - v. Which is smaller: -0.3 or d?
-0.3
Let j be ((-10)/3)/((-6)/(-9)). Is j at least -15/4?
False
Let a be 9/2*(-6)/9. Let c be (-1)/a + 33/63. Which is smaller: 0 or c?
0
Suppose -2*c + 4*v - 2 = 0, v - 35 = -5*c - 7. Suppose y + u + 3 - c = 0, 0 = u - 1. Which is greater: 1/14 or y?
y
Let p(t) = -4*t + t + 3*t + t + 2. Suppose 0 - 6 = 3*k. Let y be p(k). Which is smaller: y or -1/4?
-1/4
Let s = 3 - -1. Suppose -s*v = -2*o + 4*o - 16, v - 2 = -o. Suppose -v*i = -i + 5. Which is bigger: i or 4?
4
Let h(c) = -5*c**2 - 6*c + 2. Let q be h(-2). Which is smaller: 0 or q?
q
Let t be (-57)/12 - -4 - 0. Is t != 0.2?
True
Let s = -22 + 21. Which is smaller: s or -2/11?
s
Let g = 4 + -6. Let x(w) = -w**2 + 6*w - 1. Let f be x(6). Which is smaller: g or f?
g
Suppose 2*l - 6*l + 8 = 0. Suppose 3*s = -l*s. Suppose -6*j + 2*j = s. Which is greater: 2/7 or j?
2/7
Suppose -4*x + 14 = 2. Let t be (-3)/(3 + (2 - x)). Is t greater than or equal to 1/2?
False
Let y = 0.1 - 0.01. Is y less than -3?
False
Let j be 2*(-1)/((-4)/(-6)). Let c = j - -3. Let n = -149 - -1045/7. Is n != c?
True
Let r = 20/161 - -739/161. Let w = -92/21 + r. Let o be (-50)/40 - (-1)/4. Which is smaller: w or o?
o
Let q = 27 - 11. Suppose 0 = -3*d + 7*d - q. Which is smaller: 2 or d?
2
Let n = -0.3 + 0.1. Let r(w) = w**2 + w - 1. Let k be r(2). Let d = k + -4. Is d at least n?
True
Let f = 0.17 - 0.17. Which is smaller: -0.03 or f?
-0.03
Let z(p) = 2*p + 39. Let y be z(-19). Let m = 16152/41 - 394. Which is greater: m or y?
y
Let a = -0.3 + 0.4. Let y = -442/25 + 2552/25. Let u = y + -84. Is u less than or equal to a?
False
Let r = -23 + 14. Suppose -2*m - 21 = 3*n, 2*m = 6*m + 2*n + 38. Is m at least r?
True
Let m = 242 + -204. Is 35 greater than or equal to m?
False
Let p = 13.04 + -13. Is -0.2 > p?
False
Suppose 0 = -4*o + 6*o - 8. Let x be (-9)/1*o/(-18). Are x and 13/4 unequal?
True
Let t be (-8)/6 - (-1)/3. Let i be (t - -3)/(-6 + 1). Which is greater: i or 4?
4
Let j = 2/489 + 28843/1956. Which is smaller: 15 or j?
j
Let r(m) = m**3 - 8*m**2 - 8*m - 5. Let f be r(9). Which is greater: 5 or f?
5
Let q = -47 + 43. Are -3 and q nonequal?
True
Let b = -4 + 4. Suppose b = 4*n + 5*o + 3, -2*n + 10 + 11 = -5*o. Does 3/2 = n?
False
Let b be -7 - 25/(-5) - -3. Is 1/112 equal to b?
False
Let w = 19 + -30. Is w greater than or equal to -12?
True
Let j be (-2)/72 + 4/(