t?
r
Let o be (-3)/9 - 1/(-4). Which is bigger: 0 or o?
0
Let s(b) = -b - 5. Let z = -3 - 3. Let r be s(z). Is -1/4 equal to r?
False
Let l = 14 + -13.9. Is l < 4?
True
Let a(v) = 3*v**2 + 2*v + 13. Let u be a(-6). Let w = -2181/20 + u. Which is bigger: -1 or w?
w
Let l = -12 - -24. Suppose 0 = -2*v - 0*v - 4. Let d be -2*(0 - v/l). Is d smaller than 0.1?
True
Let d be (3 - (-1 - -8))*1. Let c = 7 + d. Is c >= 3?
True
Suppose 3*g + 14 = 5*g. Let y be (-69)/(-9) - (-6)/(-9). Suppose 0 = 3*q + 3*d + 6, 5*q + 4*d + y + g = 0. Which is bigger: -7 or q?
q
Let k = -26 - -39. Does k = 16?
False
Let l = 3 + -1. Let r be 1/(-2)*4 + 8. Suppose -2*c = -r*c + 12. Which is bigger: c or l?
c
Let r(j) = 2*j - 7. Suppose 0 = -d + 2*i, -4*i - i = 2*d. Suppose z = -d + 5. Let s be r(z). Which is smaller: s or 2?
2
Let q be (-9)/6 - 26/(-4). Suppose 5*b = 4*d - 36, -q*d + 16 = -4*b - 20. Is 4 not equal to d?
False
Let y = -235 + 235. Let o = 1/3 - 2/3. Which is smaller: y or o?
o
Suppose -2*s + 4 = -6*s. Which is greater: -2/3 or s?
-2/3
Let t(p) = 3*p + 3. Let w be t(4). Is w at most 15?
True
Suppose -2*a - 134 = -52. Is a > -81/2?
False
Let w = 21 + -14. Suppose -m = 3*m + 5*p - 1, -3*m = -4*p + w. Which is bigger: -2 or m?
m
Let t be ((-12)/16)/(-3)*0. Which is greater: -2/121 or t?
t
Let h(o) = o**3 + 7*o**2 - 9*o - 1. Let f be h(-8). Let p be 1/(-1)*(-2)/f. Which is bigger: p or 1?
1
Suppose 13 = -5*t + 6*t. Is t smaller than 2?
False
Suppose 0 = -3*h + h. Let m be (-3)/(-4) - (-8)/(-16). Is h at least m?
False
Let v = -3 - -2. Let p = 17/10 - 73/40. Are p and v equal?
False
Suppose -p + 3*q = -1, 2 - 1 = p + 3*q. Which is greater: -6/37 or p?
p
Let q = 2/359 - 1799/718. Let s = -3 - q. Is -3 smaller than s?
True
Let v be (170/(-75))/((-2)/20). Let w = -22 + v. Which is smaller: 3/4 or w?
w
Let y = -13 + 67/5. Let v(s) = -s**2 - 2*s + 1. Let z be v(-3). Let k = z + 2. Which is smaller: k or y?
k
Let p be (0 - 8) + (-5 - -7). Let a be -1*3*p/9. Suppose 2*l + 0*l = 2. Is l less than a?
True
Suppose 36 = -2*n + 4*n. Is n greater than 17?
True
Let v = 2/219 + -886/1095. Let y(w) = w**2 - 3*w - 1. Let n be y(3). Let a = n + 1. Which is bigger: v or a?
a
Suppose -6*v + 35 = -v. Let g(d) = -d**2 + 11*d + 5. Let s be g(11). Is s at least as big as v?
False
Let o(s) = s**3 + s**2 - 2*s + 3. Let t be o(2). Let b = t + 6. Is 18 at most as big as b?
False
Suppose 3*b + 23 - 5 = -d, 0 = 4*d. Let s(p) = -p**3 - 5*p**2 + 6*p - 2. Let f be s(-6). Let n be b/(-1 + -2) - f. Is 5 less than or equal to n?
False
Let u = 7.3 + -0.3. Which is smaller: u or -0.1?
-0.1
Let u = 133 - 128. Is 2/31 at least u?
False
Let z = 9 - 6. Suppose 2*v + 3*m = 7 + z, 0 = -m + 2. Suppose -v*q - 6 = q. Which is greater: -3 or q?
q
Let t be (-2)/(-2) - 6/10. Is -2.2 bigger than t?
False
Let r(y) = 0 + 1 - y**2 + 1 + y + 4. Let x be r(0). Is 5 greater than x?
False
Let l(j) = 2*j**2 - 3*j + 3. Let y be l(2). Suppose -4*c = -y*c. Let b be (-2 - c) + (-3 - -6). Which is smaller: 1/3 or b?
1/3
Let i = 6.7 - 6.5. Are -2/7 and i non-equal?
True
Let f be (-63)/2*(-8)/12. Let w be f/6 - (-1 - -4). Is -0.1 less than w?
True
Let g be (-2)/(2 - (-6)/(-2)). Let p be ((-1)/g)/(4/(-8)). Which is bigger: 8/7 or p?
8/7
Let r be (((-18)/24)/3)/(3/6). Let x be ((-8)/(-12))/(14/(-2)). Is x greater than r?
True
Suppose -3*n - 4*h + 45 = 0, 2*n - 5*h + 1 - 8 = 0. Let f = 9 - n. Suppose r = 4, -12 = 4*j + 5*r - 28. Which is smaller: f or j?
f
Let z = 69 - 142. Are -72 and z unequal?
True
Let j be ((-12)/(-144))/(2/(-6)). Is j at most as big as 0?
True
Suppose 0 = -3*i + 3, -3*f = -i + 61. Let g be 36/f + 4/10. Is -1 >= g?
True
Let l(s) = s + 1. Let f be l(-5). Suppose 6*h + 26 = h + 2*m, -5*m + 19 = -h. Is f smaller than h?
False
Let y(i) = -i**3 - 2*i**2 + 2*i - 3. Let d be y(-3). Let l = 537/35 + -76/5. Which is bigger: d or l?
l
Suppose w = -11 + 4. Is -8 greater than w?
False
Let i be -2*((-8)/16)/((-2)/80). Is -41 greater than or equal to i?
False
Let v be (-24)/8*2/(-6). Is v not equal to -6/19?
True
Let t = -23 - -29. Is t < 4?
False
Suppose 18 = 5*k - 7. Suppose d + d - 4 = c, -4*d - c = -20. Suppose 0 = -5*g, k*m - d + 14 = -4*g. Which is smaller: -1/2 or m?
m
Let m = 0.26 - 0.16. Is 0 <= m?
True
Let h(p) = 2*p + 3. Let a be h(3). Is 8 at least as big as a?
False
Let n be 3 - 12641*(-1)/560. Let i = -3/112 - n. Let s = i - -26. Do s and -1/3 have different values?
True
Let p = -0.1 - -0.1. Let c = p + 1. Let f = -43 + 43.03. Are c and f equal?
False
Suppose 3*k = -20 - 1. Let x(l) = l + 6. Let n be x(k). Let a be -4 + 2 + 3/1. Which is greater: n or a?
a
Let w = 0.14 + 4.86. Let c = 4 - 9. Let g = c + w. Which is smaller: g or -1?
-1
Let w = -92 - -82. Which is greater: 0.1 or w?
0.1
Suppose -2*q + 0 = -2. Let d = -4 - -3. Let i be 2/(-8) - d/(-28). Which is greater: i or q?
q
Suppose 0 = 4*b - 5*k - 33, 3*b + 4 = 4*b + 3*k. Let p = b + -9. Which is greater: -3 or p?
p
Let g be 29/4 + 2 + 3 + -2. Are 10 and g equal?
False
Let m be (-91)/(-28) + 1/(-4). Suppose 3*j - m - 5 = -2*d, -5*j = 3*d - 12. Does 1 = d?
False
Let v(j) = -4*j**2 + 3 + 2 - 4 - 2*j**3 + 3*j**2. Let b be v(-1). Let k be 4/40*5/b. Which is smaller: -1 or k?
-1
Let t be (2/6)/(2/3). Let p = -2231/5992 - 2/749. Are t and p nonequal?
True
Let j = 0.45 - 5.65. Let l = -2.2 - j. Is 0 != l?
True
Let f = 11 + -57/5. Is -5/3 at least f?
False
Let z be 34/5 - (-1)/5. Let i = 11 - z. Are 5 and i equal?
False
Let p = -29 - 54. Let s = -251/3 - p. Let t(q) = -4*q - 8. Let l be t(-2). Which is smaller: l or s?
s
Let v = -44 + 44. Which is bigger: -2/5 or v?
v
Let r be 0/(2 - 1 - -1). Suppose 8 = -r*d + 2*d. Let s(i) = -i + 4. Let j be s(d). Which is greater: j or -0.1?
j
Let u(x) = -6*x. Let n be u(1). Suppose -2*l + k = 12 + 3, 5*k - 45 = 4*l. Which is bigger: n or l?
l
Let m(c) = -c**2 - 7*c - 5. Let g be m(-6). Let b = 5.9 - 1.9. Which is smaller: g or b?
g
Let t = 28 - 8. Suppose 5*r - t = 0, 3*m = -r - 0*r - 8. Which is smaller: m or -6?
-6
Suppose 0 = p - 5*p. Which is bigger: -3/10 or p?
p
Suppose 0*s + 2 = -2*h + 2*s, -5*h + s = 17. Is h not equal to -10/3?
True
Let q = 16 + -14. Let o = 0.35 + 0.05. Which is bigger: o or q?
q
Suppose 2*t + 15 = -3*p, 5*t + 3*p + 40 = -2*p. Which is smaller: t or -10?
-10
Let a be (-120)/(-140)*(-1)/(2/(-7)). Suppose 0 = -5*i + 67 - 7. Suppose -a = -v - i. Is v greater than or equal to -9?
True
Let r be ((-12)/14)/(-6 - (-6471)/1071). Is -21 less than r?
True
Let t = 9 + -9.2. Which is greater: t or 0?
0
Let f(l) = -l - 8. Let w be f(-4). Let b be 0 - w/(-16)*0. Which is bigger: b or 1?
1
Let h(t) = -t**3 - 2*t**2 + t. Let s be h(0). Is s at least -4?
True
Let j = -9 + 14. Suppose 4*b + 5 = -o, 2*o + 5*b + j = -2. Which is smaller: o or 0?
o
Let k = 8 + -8. Let n = 0 + 1. Suppose -6 = -c - 4*q, 2*c - 2*q + n = 3*q. Is c at most k?
False
Let y be (-2)/(-1 - -3)*0. Let l = 35 - 211/6. Is y <= l?
False
Let h be (-2)/(-142)*-286 + 4. Which is bigger: h or -1?
h
Let i(j) = j + 6. Let d be i(-3). Suppose -d*p + 2 = -7. Let y be (1 - p)*2/2. Is y smaller than -2?
False
Suppose 0 = 2*d - 7*d + 3*y - 35, 4*y = -5*d. Let t be (-2 + 3)*-1*5. Let w = t - d. Is w < -2/29?
True
Suppose 0 = r + 4*z - 32, 3*z - 4 + 8 = r. Let y = r - 23. Which is smaller: 2 or y?
y
Suppose -2*y + 2 + 2 = 0. Let b be y/(-6)*(2 + -5). Suppose b = -4*q + 5. Which is bigger: q or 1/4?
q
Let l(f) = -2*f + 3. Let q be l(2). Let a be (q - -5) + (-1 - 2). Is 1 <= a?
True
Suppose s + 0*l = 2*l + 3, s = -2*l + 7. Let h = 1 - s. Do -4 and h have the same value?
True
Let s be (-8)/(-126) + (-2)/7. Let b be 34/(-15)*(-10)/(-48). Let o = s - b. Which is smaller: 0 or o?
0
Let g = -3 + 3.1. Let q = g - 0. Is q less than or equal to 1?
True
Let t = 52 + -91. Do -1 and t have different values?
True
Let v = -11 - -10.6. Let b = 0.1 - -0.3. Let y = b + v. Which is bigger: -1/4 or y?
y
Let n be -1 + 3 + 39/(-12). Is 2 <= n?
False
Suppose 4*l - 2*z = 16, -3*z = 2*l + 6 + 2. Let q be (0 + -1)*(1 + l). Suppose -3*a = 4*c - 6*a + 1, -c - 14 = 2*a. Is q greater than or equal to c?
True
Suppose 4*j = j. Is j less than or equal to 1/2?
True
Let l be 3/(-9) + (-20)/(-6). Let m = 4 - l. Is m at least as big as 2?
False
Let q = -0.2 - -0.1. Suppose -3 = -5*r - 23. Is r no