 i + t. Do -1 and j have different values?
True
Let f = -39 + 39. Which is smaller: 0.8 or f?
f
Let n = -20 + 23. Let b be (7/n)/1 + -3. Which is smaller: b or 15?
b
Let d be 2/(-4) - (-5)/2. Suppose g - 14 = -5*t, 8 = d*g + 3*t + 1. Which is bigger: g or 1?
1
Let y(k) = k**2 - 1. Let z be y(0). Let b(j) = 2*j + 3. Let g be b(-3). Let i be 0/(-3 + (-3)/g). Which is greater: z or i?
i
Let y be 3/(-2) + 10/8. Is y equal to 12?
False
Let h be (2/(-3))/((-2)/9). Let r be 0 + h/(-9)*-3. Let l be (r/(5/(-2)))/(-1). Is 1 < l?
False
Let b(z) = z**2 + 9*z + 12. Let r be b(-8). Let q be (r/15)/(2/(-5)). Let t = 2 - 2. Which is greater: t or q?
t
Suppose 3*i - 18 + 64 = -5*g, -5*i + 5*g - 10 = 0. Which is greater: -16 or i?
i
Let y be 1 + 1 + (1 - 0). Suppose t = y*a - 14, -2*a = -5*t + 2*t. Which is bigger: 0 or a?
a
Let b = 0 + -0.2. Let k be (-3*(-5)/(-30))/(-1). Is b equal to k?
False
Suppose -12 = 4*m - 4. Let o be m + (-1 - -10)*-1. Let d be (-2)/o + 1 + -1. Which is smaller: 0 or d?
0
Let r be ((-2)/4)/(4 - (-28)/(-8)). Which is smaller: -2/417 or r?
r
Let v(n) = -n**2 - n + 2. Let d be v(-2). Suppose 0*t - t = d. Let y(q) = -q**2 - 5*q + 7. Let w be y(-6). Is t greater than w?
False
Let f be 42/(-15) - -3 - (-2)/(-3). Are f and 0 equal?
False
Let s = 373/156 - 30/13. Which is greater: 1 or s?
1
Let m = -52/3 + 18. Let s = 12.2 + -12. Which is greater: s or m?
m
Suppose -76 = -4*p - 3*m, 3*m = -3*p + 4*m + 70. Let l be p/16 - (1 - 0). Which is smaller: -1 or l?
-1
Let r = 16 - 14. Which is greater: 4/3 or r?
r
Let r(b) = -b**3 - 6*b**2 - 5*b + 2. Suppose 11 = 3*p - 4. Suppose 4*k - 4*y = -28, 2*k - k - p = -5*y. Let o be r(k). Which is smaller: o or 1?
1
Suppose 5 = -11*u + 6*u. Let g be -1 + (-1 - (-1)/1). Let b = u - g. Which is smaller: b or 3/4?
b
Suppose -2 = -4*h + 2*y, 0 = 4*h + y + 13 - 0. Let q be (h/(-2) + 0)*1. Is 2 at most as big as q?
False
Let s be 1 + (15/(-6))/5. Let o = -0.034 + -2.966. Is o less than s?
True
Let u be (-6)/(-40) - (-3)/12. Let c(d) = -d**2 - 5*d + 6. Let g be c(-6). Which is bigger: g or u?
u
Let a be ((-14)/(-12) - 1)*1. Is 1 equal to a?
False
Suppose 0*f + 4*f = 0. Suppose p = -4*p + 15. Let o = 3 - p. Is f >= o?
True
Suppose -4*a - a + 15 = 0. Let k be 2/(-3)*-6 - 2. Which is bigger: k or a?
a
Let f(h) = h**3 - 8*h**2 + 2*h - 4. Let q be f(8). Which is greater: q or 0?
q
Let o = 66 + -67. Is -2/117 <= o?
False
Suppose -4*o + 3*o = -15. Let b be (6/15)/((-3)/o). Suppose 3 + 6 = -3*j. Which is bigger: b or j?
b
Let c(k) = -k - 5. Let b be c(-3). Let f = b + -2. Let i be 3/f - (-3)/(-12). Which is greater: -4/7 or i?
-4/7
Let b(h) = h**3 + 8*h**2 + 7*h. Let d be b(-7). Suppose -5*m + 25 = -d. Suppose 0 = m*i - 3 + 8. Is -2/9 > i?
True
Suppose 3*m - 6 = 9. Let z be -2 + m - (-591)/(-195). Let l = 59/195 - z. Is l at least as big as 3?
False
Let h be 4*(45/(-6))/(-5). Suppose 0 = -l - 2*l - h. Is -3 greater than l?
False
Let w be ((-1)/5)/((-8)/(-30)). Are w and 0 equal?
False
Let f(n) = -n + 16. Let t be f(15). Suppose 3 - t = -x. Is -2 greater than x?
False
Let o = -5 + 5. Let q = o - -12. Let d be 9/(-4) - q/(-6). Does d = -1?
False
Let d = 8.9 - -1.1. Let t = d - 10. Let a = t - -0.1. Is a bigger than 0.1?
False
Let y(p) = 2*p - 1. Let m be y(-4). Let t be 1 + 4/(-2) - m. Suppose 3*u - 4*k = t + 11, -2*u + 3*k = -14. Which is smaller: -1 or u?
-1
Let o be (4*-1)/((-24)/18). Suppose 4*u = -39 + o. Which is greater: u or -8?
-8
Let y = -0.1 - 1. Let j = y - -0.86. Let i = -0.04 - j. Which is bigger: -1/2 or i?
i
Suppose -2*u - b + 43 = -36, -u - 2*b + 38 = 0. Let s = u - 159/4. Which is smaller: s or 2?
s
Let k = -4 - -4.09. Let t = -0.97 - k. Let x = t - -0.06. Which is smaller: x or 2/19?
x
Let q be 1 + (1 - 1) - 0. Let b(c) = c**3 - 12*c**2 + 10*c + 16. Let v be b(11). Suppose v*i = 4*l - 7 + 3, -2*l - i + 2 = 0. Do l and q have the same value?
True
Let z = 8 + -1. Is 7 bigger than z?
False
Let b = -0.11 + 0.21. Is b equal to -1?
False
Let c be (-8 - -6)/((-4)/2). Let b = -2 - c. Let y = -1 - b. Which is smaller: 3 or y?
y
Let k = 41 - 41. Are k and 1 non-equal?
True
Let o be (18/(-15))/(6/(-20)). Suppose 3*m = 2*x + o, -2 - 8 = 4*m + 5*x. Is m at most 0?
True
Let p(q) = q**2 + 54. Let t be p(0). Let i be (8 - 5)/(t/(-4)). Are -1 and i unequal?
True
Let v = 1 - 1. Let n(d) = -d**3 - 8*d**2 - 2*d - 11. Let c be n(-8). Suppose -4*k + 7 = -c. Is k at most v?
False
Let q = -96 + 107. Do q and 11 have different values?
False
Let l be (-34)/10 + 18*(-11)/(-66). Let u be (1/(-3))/((-2)/6). Let k = u - 1. Is k bigger than l?
True
Let s(q) be the third derivative of 0*q**3 + 0*q + 1/24*q**4 - 4*q**2 + 0. Let c be s(2). Do 2 and c have the same value?
True
Let d = 14 + -13. Is d equal to -6/13?
False
Suppose -6*s + 8 = -2*s. Suppose -s*v + v = -1. Let i = 0.1 - 0. Which is bigger: i or v?
v
Let o be 11/(-171) + 12/54. Let w = o + 29/57. Which is smaller: w or -1?
-1
Let w be (-4)/((-4)/(-3))*(-2)/6. Which is smaller: -3 or w?
-3
Suppose 9 = -2*o - 5*h, o + 4*h = 3 - 12. Let x = 15 - 11. Which is smaller: x or o?
o
Let o(h) = -6*h**2 + 6. Let z be o(2). Which is smaller: -19 or z?
-19
Let x be (-3 + 123/24)/3. Let g = x - 3/8. Which is greater: g or -2?
g
Suppose 0 = 5*u - j - 63, 0*j - 21 = -u + 3*j. Let c(f) = -f**2 + 11*f + 13. Let x be c(u). Is x equal to 1/9?
False
Let q = -2 + 0. Let n be -1 + q + (3 - 1). Let m = 1 + n. Which is greater: -0.2 or m?
m
Let i = -807.99 + 803. Let w = -0.29 + 0.3. Let o = i - w. Is -1/4 greater than o?
True
Let f = -337/184 + 265663/1288. Suppose u = 4*u - 615. Let n = f - u. Which is smaller: -1 or n?
-1
Let o = -383 - -537. Let v = 1235/8 - o. Let k be (0 - 1) + -1 + 1. Which is smaller: v or k?
k
Let z be (-4)/(-3)*(-3)/(-2). Let i be 4/(-14) - 32/(-14). Is z != i?
False
Let r be (24/(-56))/((-4)/(-14)). Which is greater: r or 2/11?
2/11
Let t = 0.03 + -0.33. Is t != -0.2?
True
Let x be ((-5)/(525/10))/(-1). Which is smaller: 0.1 or x?
x
Let c(h) = h**2 - 4*h - 13. Let i be c(-4). Let s = 8 - i. Which is greater: s or -9?
-9
Let d = 10 - 10. Suppose d*k = 4*k. Is k greater than or equal to 2?
False
Let d be (10/(-4))/(33/6). Let a = d + -1/22. Are a and -2 equal?
False
Suppose 2*t + 0*t = -2. Let b = 204 - 1024/5. Which is smaller: t or b?
t
Suppose 0*u - u = 0. Suppose 3 = 3*s - u. Which is smaller: s or 1/3?
1/3
Let d = -2.7 + 2.5. Let w = 64 + -257/4. Which is bigger: w or d?
d
Suppose 5*f + 164 = u - 5, 4*f - u = -136. Let c be (-2)/(-11) - (-72)/f. Which is smaller: -3 or c?
-3
Suppose 3*i = -2*k - 110, -2*i + 4*k = -k + 105. Is -39 smaller than i?
False
Let q be (-3)/12 - (-50)/8. Let o(j) = -j**3 + 6*j**2 + j - 8. Let x be o(q). Let r be 9/12 + x/4. Which is greater: r or 1/3?
1/3
Let d be (-60)/(-9) - (-1)/3. Is d greater than or equal to 11/2?
True
Let f = -1 - -2. Let y = -25 - -25.3. Which is bigger: f or y?
f
Let p = 1/2 - 2/3. Suppose 4*u = 4*o, 3*o = -2*o + 2*u + 6. Suppose o = -5*y + 7. Which is smaller: y or p?
p
Let t be 130/15*3/4. Let l = t + -95/14. Which is smaller: 2/7 or l?
l
Let u(b) = -3*b. Let y be u(7). Let c be (-24)/35 - 6/y. Which is smaller: c or -2/3?
-2/3
Suppose 0*m - m = 0. Which is smaller: m or 10?
m
Let p be (-3)/(1/(8/60)). Which is greater: p or 46?
46
Let n = 5 - 5.5. Let k = n - -0.4. Which is smaller: k or -0.13?
-0.13
Suppose 3*l + 58 = -5. Is l <= -21?
True
Suppose 6*r - r + 4*v + 13 = 0, -3*v = -2*r + 4. Suppose 1 = -2*d - 1. Let a be 2/(-3)*d/3. Do a and r have different values?
True
Suppose 2*z + 194 = 4*o, -2*o + 5*z = 2*o - 197. Suppose -o = 4*c - 2*p - 2*p, 4*c - p = -63. Is c bigger than -17?
False
Let c(x) = 0 + 4 - 3*x + 4*x. Let o be c(-3). Suppose -5*a = 3*t - 20, 2*t - 7 = -2*a + o. Are t and 2/9 nonequal?
True
Let j = 0 - -0.2. Suppose 2 = 5*y + 12. Is j > y?
True
Suppose -5*t + 3 = -7. Suppose q + t = 7. Let h = 18 + -12. Which is bigger: h or q?
h
Let g = -3 + 6. Suppose g*z = -z + 4. Suppose 4*r = 5*t - 4 + 9, -2*t - 2 = 3*r. Is t at least z?
False
Let k = 2920/3 - 974. Let m = 1 - 0. Let z = m + -0.9. Is z at least k?
True
Let z be 2/(-6)*-7 + -2. Let i = -902/9 + 100. Is z greater than i?
True
Suppose 21*b = 20*b - 38. Which is bigger: -37 or b?
-37
Let j = 1773/28600 + -1/2200. Is j bigger than 0?
True
Suppose 4*y 