r equal to -1?
True
Suppose 3*h - 2 - 4 = -3*r, 2*h - 4 = 5*r. Let p(c) = c**2 + c + 1. Let d be p(2). Which is greater: d or r?
d
Suppose -27*p + 25*p - c = -7, -2*p - 23 = -5*c. Let d = -24 + 13. Does p = d?
False
Let b(q) = 4*q - 5. Let l be b(4). Let z(v) = -v**2 + 10*v + 12. Let x be z(l). Is 2 less than x?
False
Let b = -475/2 - -257. Let u = b - 199/10. Let l = -1 + 0.9. Is l < u?
False
Let i = 899 + -899.3. Does i = -18/7?
False
Let b = -474 + 448. Which is greater: -32 or b?
b
Suppose 2*l - 1 = -3*d + 4*d, -5*d = l + 27. Which is smaller: d or -4?
d
Let z be (-2)/(-9) + (-288)/(-162). Which is greater: z or 3?
3
Suppose -36 + 14 = -2*s - 22. Let o = -25/6 - -6. Is o at least s?
True
Suppose 5*k - 16 = -q, -4*q + k - 83 = -8*q. Let h = -23 + q. Let n be (h - -1)*(1 + -1). Which is smaller: n or -4?
-4
Let k be 3/((-6)/(-4))*-26. Suppose 2158*a - 265 = 2163*a. Are k and a equal?
False
Let g be 747/12 + (-4)/16. Let p = 67 - g. Is 0 greater than or equal to p?
False
Suppose -4*n + 3*n = -2*t - 4, -5*t = 0. Suppose 3*u + 12 = 4*m + u, u + 4 = m. Let c be m - (-3 - (-2 - n)). Is c > -4/7?
False
Let i = 34 - -2. Let a = i - 55. Is a at most -19?
True
Let m be 1/(-2) - (-8)/12. Suppose -3*j = -2*w + 10, 26*j + 3*w = 22*j + 15. Which is greater: m or j?
m
Let l = 777 + -778. Let r be ((-1)/(-38))/(2/(-48)). Is l less than r?
True
Let k(c) = -c**3 - 6*c**2 + 8*c + 9. Let t be k(-7). Let h be -13 + 12 + 4/2. Which is smaller: t or h?
h
Let r = 53 - 20. Let c = 31.5 - r. Which is smaller: 1 or c?
c
Let q = 56/23 + -329/69. Is -3 >= q?
False
Suppose -m + 3*d = -9, 0*m - 4*d - 12 = 4*m. Do m and 0 have the same value?
True
Let w = -1.7 + -1.3. Let f = 2.54 - 2.38. Which is smaller: w or f?
w
Let x be ((-1)/(-66))/((-30)/135). Let n = x - -117/22. Which is smaller: n or 6?
n
Let p = 1 - -2. Suppose 2 = -p*q + 2*k + 3*k, -4*k + 3 = -q. Suppose -2 = -u - q. Which is greater: 2/11 or u?
u
Let l = -3 - -6. Suppose 0 = -9*w + 420 + 741. Suppose 127*b = w*b. Which is smaller: l or b?
b
Let w = 3 + -2. Let q = w - 1.2. Suppose 26*m + 195 = 221*m. Is q bigger than m?
False
Let k = -146/2775 - -8/75. Suppose 0 = -3*s - s + 8. Suppose -4*w + s*w - 10 = -q, 25 = -4*q - 5*w. Which is smaller: q or k?
q
Suppose -2*w + 21 = -5*w. Let s(i) = -5*i**2 + 14*i + 12. Let g(n) = -4*n**2 + 13*n + 11. Let x(m) = 6*g(m) - 5*s(m). Let k be x(w). Which is smaller: k or 0.3?
k
Suppose d = -4*d - 20, 0 = -5*z + 2*d + 18. Suppose -j - n - 4 = 3*n, n + z = 0. Let m(x) = -x**3 + 6*x**2 + 3*x - 14. Let q be m(6). Is q > j?
False
Suppose 31*h - 32*h = -3, 3*d + 4*h + 330 = 0. Is 0.2 less than or equal to d?
False
Suppose 40*c + 168 = 32*c. Which is smaller: c or -12?
c
Suppose -88*x - 92 = -92*x. Is x equal to 25?
False
Suppose 13 = 2*o + 29. Let b be 2/o - 14/(-8). Does 4 = b?
False
Let u = 0.2 + -5.2. Let r = 18 + u. Let w = r - 12. Which is bigger: 0.3 or w?
w
Let l be (-112)/49 - 4/(-14). Let q be 0 + (-22)/(-12) + l. Let b = 1 + -2. Is b at most as big as q?
True
Let d be (-4)/(-7) - (-4898)/(-6293). Let x be 0/(-2)*(-2)/(-4). Which is greater: d or x?
x
Let a(v) = 2*v**2 - 10*v + 6. Suppose -f = -3*y - 15, 4*y + 2 = -f - 4. Let o be a(f). Suppose -2*r + o = r. Is 6 less than r?
False
Let b = 6.67 + 0.13. Let t = -0.8 + b. Is 4 at most as big as t?
True
Let t be (-993)/9*1/(-2). Which is smaller: 55 or t?
55
Let w = -25 - -13. Which is greater: -144/11 or w?
w
Suppose 12*n - 365 + 137 = 0. Let w(x) = x**3 - 20*x**2 + 20*x - 18. Let c be w(n). Let h be -1*(-1 + (-26)/(-22)). Which is bigger: c or h?
c
Let w = -2102 - -1892. Is w bigger than -211?
True
Let u = 35 - 35. Suppose u = -m - 5*m - 90. Is -16 at most as big as m?
True
Let k be (-248)/(-54)*93/(-62). Which is bigger: -6 or k?
-6
Let w = -0.018 + -19.982. Let r = w + 20.05. Which is bigger: 0.1 or r?
0.1
Let h be (-1 - 0)*4/6. Suppose 3*m = -3*r - 9, 8 = 2*r - 0*r - 5*m. Let t be (-6)/480*-5 + (-1 - r). Which is bigger: h or t?
t
Let y be (-1)/((-162)/15)*(-136)/(-255). Is 0 at most y?
True
Let q = 2239 - 3738. Which is bigger: -1498 or q?
-1498
Let m = -612 - -6089/10. Which is greater: -2 or m?
-2
Let y be 1 - 1/(-6 + (-2287)/(-379)). Which is smaller: y or -27?
y
Let s be 5/(95/(-3))*10/3. Which is bigger: -1 or s?
s
Let v be (20*(-16)/(-200))/(10/(-7)). Which is bigger: v or -2?
v
Let d(y) = 2*y**2 - 23*y - 461. Let j be d(22). Suppose 16 = f + 3*f. Let k(b) = b**3 - 3*b**2 - 3*b - 2. Let o be k(f). Which is bigger: o or j?
o
Let t be ((-4)/12)/((-14)/(-12)). Is t at most as big as -0.167?
True
Let m(j) = j**2 + j - 3. Let d be m(0). Let b = -1566 - -1559. Is d at least b?
True
Suppose -x - 36 = -7*x. Suppose -5*g + 10*g - x*g = 0. Which is smaller: g or 1/18?
g
Let d = -94606 - -645759/7. Let j = -2350 - d. Are 6 and j equal?
False
Suppose 20 - 4 = 2*a + 3*r, -2*r - 59 = -5*a. Suppose 5 = -b, -p + 5*b = -a - 9. Which is greater: -72/13 or p?
p
Let h(v) = -v**3 - 8*v**2 + 4*v. Let n be h(-6). Let p be n/(-10) - (-6)/15. Let r = 24 + -24. Which is bigger: p or r?
p
Let m = -1377 - -1384. Which is smaller: 1.5 or m?
1.5
Suppose -3*b + 14 = n + 9, -2*b = n. Let p = -10 + -3. Are n and p non-equal?
True
Let x(a) = a**3 + 3*a**2 - 9*a. Let m = 7 - 11. Let f be x(m). Let p be 2/5 + (-12)/f. Which is greater: p or 1?
1
Let a be 0*((-442)/91 - -5). Which is greater: 9/34 or a?
9/34
Let d = 1163 - 1161. Is d less than 12.51?
True
Suppose 5*q + 80 = -5*y - 0*q, -3*q + 36 = -4*y. Let u = -10 + 23. Let s = u + y. Is 5/3 at most as big as s?
False
Let c = -3 - -2.96. Let u(x) = 35*x + 7. Let z be u(-4). Let f be z/(-273) - 2/13. Is c != f?
True
Let z be (14/28)/(-1 - 10/(-8)). Suppose -o = y, z - 3 = 4*y + 5*o. Is 13/6 < y?
False
Suppose 7029 = 21*f + 12*f. Are f and 213 equal?
True
Suppose h + 0*h - 117 = 0. Let a be 4/(-26) + 1071/h. Suppose 5*r = 3*d - a, 0 = -r - 2*r - d - 11. Which is smaller: r or -2?
r
Let c = -27.1 - -27.2. Is c > -138?
True
Let p be 10/(-4) - (-2 - 1). Suppose m + 0*m + 3*d - 1 = 0, 5*m = -5*d + 5. Suppose 0 = o - 2*c - m, 5*c = -4*o + o + 3. Is o equal to p?
False
Suppose -3*f = -5 - 13. Suppose 68 = -f*g + 8. Is -12 at most g?
True
Let m be 4/38*(1 + -4). Let r = 1/525 - -523/1050. Do m and r have the same value?
False
Let l be (-4560)/(-102942) + 4/126*3. Is 1 greater than l?
True
Let h be (0 - 0/(-1))/1. Let f = 447/5 - 89. Which is bigger: h or f?
f
Suppose 5 + 56 = 5*d + m, 2*m - 26 = -2*d. Which is greater: 11 or d?
d
Let l = -19.8 + 23.75. Let r = 0.05 + l. Let i = -7 + r. Which is smaller: -0.1 or i?
i
Suppose 50*q + 36 = -214. Let j be 4/6 - (-13)/(-15). Which is smaller: q or j?
q
Suppose -29*c + 1506 = 520. Which is greater: c or 6?
c
Let a(r) = -25*r - 365. Let f be a(-7). Is -190 not equal to f?
False
Let q be 7/((-143892)/(-6834)) - 1/3. Which is greater: q or 0?
0
Suppose -5*j + 10 + 20 = 0. Let h(u) = u**2 - 6*u + 2. Let n be h(j). Suppose 2*a - 18 - 1 = -5*z, 4*z = a + 10. Is n <= z?
True
Let z = -6 + 8. Suppose 579 - 187 = 2*j. Let i be (-14)/j*1*z. Is 0 at least i?
True
Let r(d) = 2*d - 3. Let h be r(4). Suppose 0 = -h*w + 159 - 759. Let t be w/(-371) - (-4)/(-14). Which is smaller: t or -1?
-1
Let z(j) = -j**2 + j + 1. Let b be z(-1). Let w be -2*(4 + 1572/(-392)). Do b and w have the same value?
False
Let k = -43560479/35370 + 495761/262. Let i = k + -1982/3. Let f be ((0/(-1))/2)/(-1). Is f at least i?
True
Let l be -66 - -2 - 12/(-4). Let p = l - -51. Which is smaller: p or -0.1?
p
Let v = 1 + 0. Suppose 5*m - 15 = 3*o + 16, -2*m + 20 = -5*o. Suppose 2*s + m = 7*s. Is v at most as big as s?
True
Suppose 50 = -3*o - 124. Is o smaller than -60?
False
Let f = -2193 - -471501/215. Is -1 < f?
True
Suppose u - 4*h = 14, -4 = 7*u - 3*u + 4*h. Suppose 2*j = -u, -2*t - 4*j + 69 = -47. Which is smaller: 1/2 or t?
1/2
Let g be ((-1)/4)/(9/(-180)). Suppose -4*w = -2*u - 4 + 22, w = -2*u + 3. Is g bigger than u?
True
Suppose 1080 = -10*b - 2*b. Is b bigger than -89?
False
Let w = 1158 + -1158.661. Let i = w - 12.319. Let b = i + -0.02. Which is smaller: b or -2/3?
b
Let d = 16 + -10. Suppose d + 9 = 5*f. Suppose -5*u - 4*q - 11 = -4*u, f*q = -9. Is u >= 2/83?
True
Suppose o = -0*o. Let g be o/5 + (-2)/(-30). Let m be 4/(-6)*(-39)/26. Which is greater: g or m?
m
Let q = -263.879 + 264. Le