 bigger than t?
True
Suppose 3*i = 4*i - 6. Let c be (8/(-12))/((-2)/i). Suppose 2*o = 7*o - 4*j - 1, -3*o + j = -c. Is o < 0?
False
Suppose -u + 6 = 2. Which is smaller: u or 5?
u
Suppose -3*c = -c - 94. Let b = -31 + c. Let x be (21/(-16))/((-12)/b). Which is greater: x or 3?
3
Let n be 9/(-12) - (-26)/(-8). Let d = n + 4. Which is greater: d or 1/4?
1/4
Suppose -i - 9 = 2. Do -6 and i have different values?
True
Let v(d) = -d**3 + d**2 - 6. Let i be v(0). Suppose -47 = 4*n + 5*l + 10, 5*n + l = -45. Do i and n have the same value?
False
Let o be (2 + 38/4)*4. Let h = o - 27. Which is greater: 20 or h?
20
Let o = 13 + -23. Let w = 28 - 20. Let y be (w/o)/((-7)/35). Is y less than or equal to -1/2?
False
Suppose t = -13 + 33. Let m = t - 21. Which is greater: 2/53 or m?
2/53
Let s(m) = -m**3 + 3*m**2 + 2*m. Let p be s(4). Let y(q) = q + 6. Let d be y(p). Let t be 0 - 0 - d/7. Is -1 less than t?
True
Let i be (24/(-4))/((-1)/3). Suppose -2*f + 24 = -4*r, f + i = -5*r - 5. Do r and -4 have different values?
True
Let d be (0*(-3)/9)/(-2). Let l be d + (10/(-3) - -3). Suppose 0 = -4*t + 2*x - 5 - 5, x + 2 = -5*t. Is t <= l?
True
Let o(y) = -4*y - 108. Let b be o(-27). Is b at least -2/199?
True
Suppose -v + 0*v = q - 3, 5*v + q = 35. Suppose -5*d + 21 = -2*d. Is d not equal to v?
True
Let q = -15956012 + 10388103. Let f = -7210442539/1295 - q. Let s = f + 2/185. Is -0.1 bigger than s?
True
Let m(u) = -u - 13. Let f be m(-13). Is 1/5 equal to f?
False
Let g be -1 + 1*(-1)/1. Suppose -2*j + 4*j + 2 = 0. Which is greater: j or g?
j
Let j = 12476/27 + -462. Which is bigger: j or -1?
j
Let g = 4 - 2. Let y = -16 - -20. Suppose -y*r = -g*r. Which is bigger: r or -2/3?
r
Let r be 1*(2/(-2) + 6). Let t be r/(-2)*12/15. Which is greater: t or -1?
-1
Suppose 2*c - t - 5 = 0, 0 = c - 2*c - 2*t - 10. Is -4/43 bigger than c?
False
Let g = -12 - -14. Suppose 0 = -g*w - w. Is -5 at most as big as w?
True
Let y = -6.7 - -0.7. Let b = -8 - y. Suppose 3*g + 4 = 1. Is b < g?
True
Let q be 15441/(-70) - (-14)/49. Let j = -220 - q. Is -1 bigger than j?
False
Suppose 4 = -4*z - 0*z. Let l = 1/6 - 5/6. Is z != l?
True
Let q(b) = -4*b + 1. Let k be q(-1). Suppose 0 = 5*u - 4*m - 31, 0*u - u + 11 = -2*m. Suppose -5*d + k*p - 5 = 0, u*d = 2*p - 5*p - 3. Is -2/7 smaller than d?
False
Let q(z) = -9*z + 26. Let x be q(3). Is x less than 0?
True
Let s = -1 + 2. Let y be (3/6)/((-22)/(-4)). Which is greater: s or y?
s
Suppose -o + 1 = -2. Let v(n) = -2*n**3 + 3 - 2*n**3 + 8*n**2 + 7*n + 5*n**o. Let t be v(-7). Is 2 != t?
True
Suppose 4*c - 8 = 0, -3*u - 5*c = -4*c - 8. Which is greater: 3/4 or u?
u
Suppose -3*y + 7 = -4*h, 0 = -5*h - 3*y - 2. Do h and -3 have different values?
True
Suppose 0 = q + 3*a - 8, -5*q = -4*a + 3*a - 8. Suppose 45 = -2*j + 5*j. Let f be (8/(-54))/(10/j). Which is smaller: f or q?
f
Let p be (-48)/3*4/(-4)*1. Are p and 16 nonequal?
False
Let w(p) be the third derivative of p**6/120 + p**5/10 - p**4/24 - p**3 - 7*p**2. Let n be w(-6). Is n < 2?
True
Let a be ((-1)/(-2))/(3/(-108)). Let n be 488/(-2034) + (-4)/a. Let r = n + -105/452. Is r not equal to 0?
True
Let o = 0 - 0.5. Let s = o - -0.4. Let t = s - -1.1. Is -2 < t?
True
Let z be (-4)/6 + (-2)/(-3). Let g = -1 + 0. Let u = g + 2. Which is bigger: u or z?
u
Let b(o) = o**3 + 3*o**2 - 12*o - 1. Let g be b(-5). Does 9 = g?
True
Let u = 33 + -34. Is u < -4?
False
Let t = 20 - 13. Is t at least -0.2?
True
Let w = 101/2 + -52. Is -4 less than or equal to w?
True
Let j = -2 - 1. Let y = 5 + j. Is y less than 0?
False
Suppose -5*j - 6 - 4 = 0. Suppose -4*v + 3*b + 1 = 0, 4*b + 2 - 4 = 2*v. Let c be 3 - 4 - (v - 0). Is c not equal to j?
False
Let f be 4/(-14) + 844/14. Let c be f/(-25) - -1*3. Which is smaller: c or 2?
c
Let g = 60 + -178/3. Is 1 > g?
True
Let k = 2 - 2. Let i = k + -1. Let q = -392/9 - -44. Which is bigger: q or i?
q
Let c be -1 + (-9 + -2)/(-1). Suppose 4 = 3*w + c. Let q be 1*(0 + -1) + -2. Which is greater: q or w?
w
Let y be 3/(-18) + 6/(-12). Which is bigger: -0.7 or y?
y
Let o = 13/2506 + 385079/162890. Let h = 36/13 - o. Let f = 0.02 - -2.98. Is h less than f?
True
Let w = 23 - 70/3. Let b = 22/15 + -191/120. Which is greater: w or b?
b
Suppose 5*v - y = -8 - 9, 0 = v + 5*y - 7. Let h = v + 2. Let k be (h/(-1))/((-2)/6). Which is bigger: -1 or k?
-1
Suppose 0 = 2*j + 16 - 6. Let h = j + 6. Let n be h/4 + (-11)/76. Which is smaller: n or -1?
-1
Let v(a) = a + 17. Suppose 3*c = r - 39, -2*r + 30 = -0*c - 2*c. Let h be v(c). Is h smaller than 5?
False
Let i = -0.02 - -0.82. Let k = 1.1 - i. Let p = -0.7 - k. Is 4 greater than p?
True
Let a(k) = -k**2 - 2*k. Let l = -1 + -2. Let u be a(l). Suppose -2*x - 7 = b - 0*x, b - 2*x = -3. Is u > b?
True
Let k be (2*-12)/(-4) - -1. Which is smaller: k or 5?
5
Let p = 1.8 - -0.2. Let w = 4 + p. Are 1 and w non-equal?
True
Suppose -4*g - 2*b + 20 = 2*b, -3*b + 5 = -2*g. Which is smaller: g or 3?
g
Let b = -762/7 + 736/7. Let i(p) = p**3 - p - 2. Let v be i(2). Let x = v + b. Which is smaller: 0 or x?
0
Suppose -u = -0*v - 5*v + 24, 0 = 3*u + 12. Suppose 5*i = v*i + 3. Is 0.2 equal to i?
False
Let o = 33.93 - 34. Let q = 1.9 + -2. Which is smaller: q or o?
q
Let x = 13/17089 - 105746875/187979. Let i = 562 + x. Which is bigger: 0 or i?
0
Let j be -1*(3 - 1 - 2). Suppose j = 2*o - 6. Is 3 at least as big as o?
True
Suppose 4*o = 2*u - 84, 7*o + 60 = 4*o + 3*u. Which is smaller: 2 or o?
o
Suppose -2*q + 75 = 3*q. Let f be ((-2)/5)/((-6)/q). Is 0 >= f?
False
Let b = 0.5 + -0.8. Is b greater than or equal to 3?
False
Let x = -0.2 - -0.9. Let m = -0.35 - 0.05. Let n = m + x. Is n != -2/9?
True
Suppose 4*v - 5 = -4*y + 31, 35 = 4*y + 3*v. Suppose 0 = -2*b + 6, 27 = d + b + y. Are 17 and d unequal?
True
Let w be 3/3*(4 - -1). Suppose -2*v + 7 = -w*q - 8, 0 = -3*q - 9. Are v and 0 equal?
True
Suppose -2*g + 43 = -3*g - 2*f, -2*f = -10. Do g and -52 have different values?
True
Suppose -4*n + 199 = 199. Which is smaller: -1/4 or n?
-1/4
Let s = -46/117 + 8/13. Which is smaller: s or -7?
-7
Suppose -4*g + 5*g - 7 = 2*u, -3*g = 2*u + 3. Are 3/67 and g nonequal?
True
Let v = -3 + 3. Let i = 0.2 + 2.8. Let s = i + -4. Which is bigger: s or v?
v
Let v be (-2)/((49 - 4)/3). Suppose 3 = w + 4. Which is smaller: v or w?
w
Let g = 106 - 105. Which is smaller: g or 1/3?
1/3
Suppose y - 1 = 4, 2*w - 3*y = -17. Is w less than or equal to -1?
True
Let f = -109/2 - -54. Which is bigger: 23 or f?
23
Let n = 2399081/33 + -72705. Let m = -54/11 - n. Is -0.1 at least as big as m?
False
Let h be 6 + 0 + -3 - 3. Let v = h + -1. Does v = 0?
False
Let h = 8 + -6. Let v = 0.1 - 0.3. Which is smaller: v or h?
v
Let j = 0.11 + 0.02. Let m = j - -0.87. Which is bigger: -4 or m?
m
Let a = 1.7 - -0.3. Let d = -1 - -1. Are d and a nonequal?
True
Let f = -23 - -69. Is 0.1 less than f?
True
Let m = -0.166 + 0.046. Which is smaller: -2/7 or m?
-2/7
Let j be (-12)/(-9)*(-30)/25. Let d be 0 - 0 - (-12)/(-4). Which is smaller: d or j?
d
Suppose -2*y + 3*y - 1 = 0. Let c be ((-2)/39)/((-2)/6). Does c = y?
False
Suppose 3*m - 59 = 5*b - 21, 2*b = -2*m - 12. Is 3 greater than b?
True
Let r = -6 + 10. Suppose -i - 16 = 3*x, r = i - 0*i - x. Which is smaller: -2/7 or i?
i
Suppose 16 = 2*r - 4. Which is bigger: r or 11?
11
Let m = -514.98 - -509. Let n = -0.08 + 6.08. Let t = n + m. Is 0 equal to t?
False
Let d(z) = -6*z**3 - z**2. Let q be d(-1). Suppose -q*p = l + 8, -l - 3 = -3*p + l. Is -1 greater than p?
False
Suppose -8 = 4*q - 3*t, 0 = -5*q + q + 5*t - 16. Let y = 4 + -2. Suppose -u = -2*u + y. Which is greater: u or q?
u
Let g be (-1)/(-2)*0/(-4). Let v = g + -1. Let b = 3 + -2. Which is smaller: v or b?
v
Suppose -3*k - 36 = 3*y, -3*y + 2*k = -23 + 59. Which is greater: y or -11?
-11
Let x(h) = -19*h**3 - 2*h - 1. Let d be x(-1). Let g be (-2)/(-5) - (-32)/d. Which is smaller: g or 1?
1
Let t be (-8)/(-20) + (-4)/35. Let c be 1 + (-16)/7 - -1. Is t less than c?
False
Let i be -1 - (-4)/(-20)*0. Which is bigger: i or -1/92?
-1/92
Suppose -4*l - 24 = -7*l. Suppose -3*y = -6*v + v + l, 2*y = -v - 1. Which is bigger: 6/7 or v?
v
Let y be (-6)/36 - 85/(-6). Let g = y + -12. Is g < 3?
True
Suppose 7*m - 2*m = -2*j - 5, -4*j = -m + 21. Is m greater than 2/39?
True
Let t = 169 + -65. Is t at