 4*n**2. Let q be h(4). Is 3/2 less than q?
True
Let d be 1*-7 - (-9 + 5). Is d > 0?
False
Let l(o) = -3*o**2 + 10*o - 1. Let f be l(3). Which is smaller: -0.28 or f?
-0.28
Let x = 2 - -1. Suppose -v = -x*v. Does v = 0.3?
False
Let n = -35 + 35. Which is smaller: n or 1/9?
n
Suppose 4*x = -5*q + 26, 0 = -q + 4 - 2. Let z be (4/15)/(x/(-6)). Let t = 8.081 + -0.081. Is z equal to t?
False
Let j = -8.21 + 0.21. Which is bigger: -0.1 or j?
-0.1
Suppose 0*a + 2*a + 8 = 0. Let m = -16 - -13. Which is greater: m or a?
m
Suppose 3*v = 7*v + 8. Suppose -7 - 5 = 4*b. Is v >= b?
True
Let v = -739/3 - -244. Are v and -1/2 unequal?
True
Suppose 8 = 4*q - 0. Let d be (-1)/(-4)*2 - (-5)/2. Which is smaller: d or q?
q
Suppose 0 = f - 3 - 1. Suppose 0*z = -f*z + 12. Suppose 0 = -4*o - 5*v + 3, 0 = o + z*v - 6. Are -2 and o unequal?
True
Let w = -251/6 + 42. Suppose -4*p + 4 + 0 = 0. Which is smaller: w or p?
w
Suppose -5*l + 130 + 165 = 5*a, 5*a = 3*l - 217. Suppose 3*r - l = -r - 4*n, -4*r + 3*n = -36. Is 11 greater than r?
False
Let f(g) = g**3 + 7*g**2 + 5*g - 8. Suppose 3*i + 28 - 10 = 0. Let y be f(i). Let s(k) = -k**3 - 8*k**2 - 8*k - 9. Let n be s(-7). Is y greater than n?
False
Let r be (-2 - -1)/(4 + -5). Is 1/2 at least as big as r?
False
Let r = 0.01 + -0.41. Suppose 3*t - 2 = 4. Is t <= r?
False
Suppose 7*q - 9 = 4*q. Let y = 28 + -27. Which is smaller: y or q?
y
Let b = -2 - -1. Let v(r) = -2*r - 2. Let m be v(0). Let k be m - (-4 - -4)/3. Which is greater: b or k?
b
Let i be (-2)/2 + (-2)/(-6). Let u be -121 + ((-3)/3)/1. Let p = u + 612/5. Are p and i nonequal?
True
Let i be ((-32)/(-6))/((-1)/(-3)). Let d = 1331/2 - 649. Let b = d - i. Is b at most -1?
False
Let h be ((-4)/(-200))/((-3)/32). Let t = 3/25 - h. Let q be (-20)/315 - 2/9. Are q and t equal?
False
Let u be ((-18)/(-27))/((-2)/3). Do u and 1/7 have the same value?
False
Let t be (-1 + 0)/(-4) + -1. Let b(f) = -f**2 - 12*f - 11. Let g be (-22)/4*(1 - -1). Let l be b(g). Which is bigger: t or l?
l
Let q be 22 - (1 + -2 + 3). Suppose 2*d + 2*d = q. Are 5 and d equal?
True
Let p be 3 - (110/(-8))/(-5). Which is smaller: p or -0.1?
-0.1
Suppose 0*u = 3*u - u. Which is bigger: 0.2 or u?
0.2
Let j = -8 - -7. Which is greater: -0.02 or j?
-0.02
Let u = 2.8 - 2.64. Let s = -0.16 + u. Which is smaller: s or 1/4?
s
Let d = -44 + 17. Let j = d + 38. Which is bigger: j or 10?
j
Let p be 2/(-4) - (54/(-12) - -5). Which is smaller: 1/52 or p?
p
Let u = 10 - 5. Suppose q - u = -4*q. Which is smaller: 1/14 or q?
1/14
Let l = 15 + -15. Which is smaller: 2 or l?
l
Let c(i) = -1 + 2*i - 2*i + 2*i + 3*i + i**2. Let s be c(-5). Is s > -2?
True
Let x = -5 - -6. Let t be (1/x)/((-14)/4). Is -2/7 less than or equal to t?
True
Let s = -3 - -5. Which is greater: s or 6/11?
s
Let s = -7 + 8. Let o be -1 - s/(1/(-4)). Which is bigger: o or 0?
o
Let f = -76/265 - 6/53. Let n = -15 + 17. Suppose -3*d + n = -d. Is f less than d?
True
Let u = -322/3 - -115. Are 7 and u equal?
False
Let b(j) = j**3 - 4*j**2 + j - 8. Let q be b(4). Which is smaller: q or -3?
q
Suppose -4*q + 5*t + 34 + 12 = 0, 0 = 2*q - t - 26. Let z = q - 12. Is z != 1/2?
True
Let h = 8 - 8. Let t = -4.7 + 5. Let c = t - -5.7. Is h less than c?
True
Let f = -4 - -6. Let v be (0 + -4)/(3 + -1). Let a be (-8)/v*2/24. Is f less than or equal to a?
False
Let l(s) = 6*s**2 + 2 - s**2 - 4*s**2 + 6*s. Let f be l(-6). Suppose 2*c + 0 = -f. Which is smaller: 0 or c?
c
Let f = 178 + -187. Which is smaller: 0 or f?
f
Suppose -f - 4*f + 5 = 0. Let k = -893/87 + 31/3. Is k equal to f?
False
Let m be 2/(2/2 + 1). Let g = 181/315 + -1/315. Which is greater: m or g?
m
Let t = 10 + -6. Suppose -4*g = 16, s = -t*s - 4*g - 6. Let q = 6771/11 - 615. Which is smaller: q or s?
q
Let w be 1 - (28/(-4) - 0). Suppose -3*c - c - w = 0. Is -4/7 not equal to c?
True
Let n = 49 - 247/5. Let v = -4 - -2. Let u be 1/(-10)*-2*v. Is u < n?
False
Suppose 5*q - 10*q = 0. Let w = 2 + q. Is w at most as big as 2?
True
Suppose -t = -3*t + 14. Is 5 less than t?
True
Suppose -21*h = -27*h + 12. Which is smaller: 7 or h?
h
Let s = -1 + 0.7. Let p = s - 0.7. Let q = -17 - -17.2. Does p = q?
False
Let s = 5 - 6. Let a = 2 + s. Are a and -2/7 equal?
False
Let t be -1 - -1 - (-2 + 32). Is t not equal to -30?
False
Suppose -r - 6 = -4*r. Let o = r + -1. Is 1 > o?
False
Let p = 500 + -35498/71. Are p and 1 equal?
False
Suppose -4*y + 5*z - 8 = -0, 4*y - z + 8 = 0. Let d = y - 0. Let p be (d - (-1 + 0))*-1. Is p at most as big as 3?
True
Let h be 325/52*2/10. Is h at most as big as 2?
True
Let o(a) = -3*a + 2. Let b(s) = -1. Let j(p) = -b(p) - o(p). Let g be j(3). Suppose -g = -3*l - 2. Which is bigger: 2/3 or l?
l
Let p(n) = -n**3 + 3*n**2 - 2. Let s be p(3). Let b(y) = -y**2 - 3*y - 2. Let a be b(s). Let o = -17/36 - -11/9. Is o >= a?
True
Let l(v) = -v**3 + 12*v**2 - 6*v. Let x be l(5). Let b = x - 583/4. Is -2 >= b?
False
Suppose 2*o + 2 = -2. Suppose 0*g - 5 = 2*w + g, w + 5*g + 16 = 0. Is o less than w?
True
Suppose n - 21 = b, 0 = 3*n - 2*b - 19 - 41. Suppose -f + n = 3*d, 0*f = 2*f - 2*d - 4. Let q = 4 - f. Is q at most -2?
True
Let j = -0.2 - -0.16. Let u = -1.96 + j. Suppose -4 = -4*t - 3*o, -5*t - o - o = 2. Do t and u have different values?
False
Let r(m) be the third derivative of -m**5/60 + 11*m**4/24 - 3*m**2. Let h be (-11 - -2)/(-3) - -8. Let p be r(h). Which is greater: -1 or p?
p
Suppose 3*t - u = -5*u - 101, 0 = 5*t + 3*u + 150. Let v be 3840/t + -1 + 0. Let x = 143 + v. Are x and -1 equal?
False
Let k(h) = 2*h**2 + 6*h + 2. Let c be k(-4). Suppose 4*w + 3*b - 3 = 3, -2*b = -2*w + c. Is w != 3?
False
Let x = 2 - 1. Suppose 3*r - 4*u + 20 = -9*u, 4*r - 4*u = -48. Let n be ((-8)/18)/(r/3). Which is greater: n or x?
x
Let s = 19 + -12. Suppose 2*r = -5*j - 2*r + 118, -3*j - 2*r + 70 = 0. Suppose -5*w - 4*c + 1 + 37 = 0, 0 = 5*w - 4*c - j. Which is greater: s or w?
s
Let s be -1 + (-5 - -1)/2. Let f be 3/(-1)*(s + 1). Suppose 2*q = -2*a, 3*a - f = 2*a + 5*q. Is a at most as big as 1?
True
Let r = 69891 + -978963/14. Let s = 35 + r. Which is bigger: s or 0?
s
Let v be ((-179)/3 - 0) + (-5)/15. Let c be 4234/70 + (-2)/7. Let s = c + v. Is s greater than 0.1?
True
Let c = 16 - 10. Suppose 80 = -h + c*h. Suppose 0*t + h = -4*t. Is t at least as big as -5?
True
Let v be (1 - 0)/(4/(-20)). Let m be (-1)/v - 6/30. Which is smaller: 1/2 or m?
m
Let b(d) = -d + 1. Let o be b(0). Let l = 3 + -1. Let m = l - o. Which is bigger: 0 or m?
m
Let x(v) = v + 11. Let m be x(-8). Suppose 2*f = m*f. Suppose 2*n - 3 = o, 5*o - 7 + 32 = f. Is n less than -0.02?
True
Let k be 2/5 - (-3878)/30. Let a = -472/3 + k. Let b = a + 28. Which is smaller: b or -4?
-4
Suppose 2*i = 1 + 5. Suppose -2 + i = b. Let o(d) = 4*d**2 - 1. Let j be o(b). Is 3 < j?
False
Suppose 8*h = 12*h - 48. Which is greater: h or 13?
13
Let v = 20 - 13. Which is greater: 9 or v?
9
Let a be (4/6)/(16/(-24)). Does 1/25 = a?
False
Let f = -64 - -78. Is f greater than 13?
True
Let t = -12 + 6. Which is smaller: 1/2 or t?
t
Let o = 11 - 10.04. Let w = 0.04 + o. Is w greater than or equal to 1?
True
Let k be 9 + 1 - (-1 - -2). Suppose 24 = 3*b + k. Is 6 not equal to b?
True
Let m = -83782/59 + 1420. Which is smaller: 1 or m?
m
Let q = -0.01 - 0. Let h = 0.11 + q. Do 0.2 and h have different values?
True
Let t = 67 - 68. Which is smaller: t or -0.2?
t
Let l = -982/35 - -174/7. Let t = l - 3/10. Let m(g) = 5*g**3 - 3*g**2 - g + 2. Let r be m(-1). Which is bigger: t or r?
t
Let a(b) = 2*b**3 - b**2 - 2*b + 2. Let p be a(1). Which is greater: p or 3/10?
p
Let d = 5 - 5. Which is greater: d or -2/27?
d
Let c be 4/(-98)*(-63)/27. Suppose -5*b - 4 = -b. Is b at least c?
False
Let o = -2 - -7. Let m = o - 1. Suppose -k - 1 = m*t - 4, 3*k - 4*t = -7. Which is bigger: 2/19 or k?
2/19
Let j = 0.8 + -5.8. Let a = j - -5. Is -0.2 at least as big as a?
False
Let w = 23.6 - 18.6. Let j = -21 - -22.9. Let u = 2 - j. Which is smaller: u or w?
u
Suppose -12*i + 333 + 3 = 0. Is -1 bigger than i?
False
Let r be 3 + (-2 - (-1)/1). Let g = 0.03 - -0.27. Let l = g + -0.3. Is r smaller than l?
False
Suppose 0 = -5*k - 3 + 23. Suppose k*j - 16 = -3*x - x, 0 = 3*j - 4*x + 2. Are 0 and j unequal?
True
Suppose 9*j - 4*j - 9 = -m, m + 5 = 2*j. Is -2/13 at least m?
