se 8*d - 338 = 6*d. Is 171 smaller than d?
False
Suppose 5 + 10 = 3*i. Suppose 4*a - 3*a - i = 0. Suppose 0 = -4*o + a - 1. Is o at most 1?
True
Let m = 24/67 + -4743/335. Does m = -13?
False
Let u = 42065/23 - 1828. Which is smaller: u or 3/2?
u
Suppose 0 = 3*y - 3 - 9. Suppose 0*l = y*l. Let d = 2 + -3. Is l greater than d?
True
Let y(z) = 44*z + 1 - 22*z - 27*z. Let h be y(1). Which is bigger: h or -2?
-2
Suppose 5*s + 20 = -3*n - 0*s, 0 = -n - s - 4. Let w = -73/125 + -2/125. Let a = w + 59/115. Which is smaller: n or a?
a
Let q be (-512)/(-1152) + (-13)/9. Which is greater: q or -2/2401?
-2/2401
Let o be 0 + -7 + (1 - -3). Let w be ((-2)/(o - -4))/1. Suppose 0 = -c - 1 - 3. Is c at most as big as w?
True
Suppose 4*b - 1076 = 2*l, -9*b = -6*b - l - 805. Which is smaller: 263 or b?
263
Let u be (3/15)/(2/44) + -4. Let w = 543471/199 - 2731. Which is smaller: u or w?
w
Suppose -3*a = 3*i + 24, 2*a + 2*i + 17 = -i. Which is bigger: 0.26 or a?
0.26
Let b be (-3)/(-1) - 4/4. Suppose 3*m = 2*c - 32, -2*m = b*c - 7*m - 40. Let s be (-21)/(-66) + c/55. Are 1 and s equal?
False
Let r = 4142/2893 - -6/263. Let w = 107182/64779 + -1/29445. Let c = w - r. Which is smaller: c or 0.1?
0.1
Suppose 2601 - 976 = -25*b. Are 1/3 and b nonequal?
True
Let w = -15 + 37. Which is bigger: 13 or w?
w
Let u = 114002 + -882261480/7739. Are u and 0 equal?
False
Let s(v) = 4*v + 8. Let q be 1 + -3 + 4 - -8. Let g be s(q). Suppose -3*w - w = -g. Which is smaller: w or 13?
w
Let p be 5 + -1 - (-1 + 2) - 18. Let n = -25 - -47. Let f = n + p. Is 7 bigger than f?
False
Let r = 140/13 + 669/26. Let b = -505/14 + r. Which is bigger: -0.2 or b?
b
Let r = -0.093 - -131.093. Let y = -132 + r. Is y <= 0.32?
True
Suppose 2*t = 4*w + 12, 5*t = -5*w - 8 - 7. Let f be (w/9)/((-10)/(-12)). Let y = -1 + 5. Is y greater than f?
True
Let r be ((-10)/4)/((-300)/240). Which is smaller: -0.111 or r?
-0.111
Let w = 67904 - 877111/13. Let v = w - 433. Which is bigger: v or 0?
v
Let f be 52/(-130) + 11/15. Which is bigger: -29 or f?
f
Let o(w) = -3*w**3 - 8*w**2 - 7*w - 11. Let y be o(-3). Is y > 5?
True
Suppose 29*b = 3434 - 679. Which is smaller: 96 or b?
b
Let a = 2.031 - 0.031. Let g be 8411/(-91) - (-3 + 0). Let x = g + 89. Which is greater: a or x?
a
Suppose -f - 7602 = -4*f. Suppose o + 4*o = -p - f, 2*o + 1016 = 2*p. Let v = o + 6588/13. Which is greater: v or -1?
v
Let a(w) = 18*w**3 - 5*w**2 + 6*w - 1. Let f be a(-7). Let m be (-1 - -2) + f/33. Let s = m + 195. Is s < -1?
False
Let p = -11 - 0. Suppose -5*b - 3 = w + 18, -3*w - 3*b = 39. Is w at least as big as p?
True
Let q = -29 - -44. Suppose -2*w - q = 3*u + 45, -3*w = 4*u + 79. Which is smaller: -21 or u?
u
Let x be 5191048/6*(-2 - 1875/(-936)). Let n = -2773 + x. Which is bigger: n or 0?
0
Suppose o = -3*o - 5*f - 2, 4*f = -o - 6. Let d(a) = -3*a + 7. Let i be d(-6). Suppose -o*c + 11 = -2*n - 19, c = -3*n - i. Which is greater: -9 or n?
-9
Let n = -130 + 138. Are n and -3 nonequal?
True
Let x be 5/(-1) - (0 + -4). Is x > 1/47?
False
Suppose -6*t - 36 = 36. Is t greater than -64/5?
True
Let s be (1/4)/((-3)/(-36)). Let k be s - (-4)/16*-4. Let v = k + -2. Is v != 8?
True
Suppose 2*n + 69 = 57. Let x be (3/(-384))/(9/n). Are x and -1 non-equal?
True
Let j be 1/(-4) + 25/4. Are j and 141 equal?
False
Let c = 2988 + -14938/5. Let p = -3 - -2.6. Let y = -0.2 - p. Is c >= y?
True
Let u = -350 - -340. Is -17 > u?
False
Let p = 15.2 + -25.1. Let t = p + 10. Let y = 0.17 - 0.06. Which is smaller: y or t?
t
Let m = 11162/33 + -856/3. Let d = m - 53. Is 1 <= d?
False
Let o = -865/4488 + -15/136. Which is bigger: o or 0.2?
0.2
Let u be (-4 - 32/36)*20/(-40). Which is smaller: u or 3?
u
Let t = -310 - -191. Which is smaller: t or -120?
-120
Let y = 722/1665 + 2/185. Suppose 0 = -16*s + 17*s - 1. Let b be (-4 + 4)/(-1 - s). Does b = y?
False
Suppose 0 = -5*w + 40 - 5. Let g = 9 - w. Let b be -1*0*g/(-6). Which is bigger: 4 or b?
4
Suppose -22 = -5*u + 3. Let z = -1 + u. Suppose 3 = -v + z. Which is smaller: 3 or v?
v
Let l(q) = q**2 - q + 3. Let d be l(4). Suppose 2*t + d = -t, 4*s - t - 125 = 0. Which is bigger: s or 31?
31
Let x = -35/3 + 461/39. Let w = -20/39 - x. Suppose -7*n + 4 = 18. Is w > n?
True
Let p be (0 - -2 - (12 + -10))/1. Let h = 0.06 - -1.44. Which is bigger: p or h?
h
Let z = -1786/223 + 8. Which is smaller: 0 or z?
z
Let s = 1/2 + -3/4. Which is smaller: 2/7 or s?
s
Suppose 0 = -4*y - 0*y - 3*c + 120, -y + 19 = -2*c. Suppose 4*h + 2*s = 2*h + 2, 3*s + y = 3*h. Let i be (2/h)/(35/(-25)). Which is greater: 1 or i?
1
Let o be 0 - (9/((-27)/(-222)) + 1). Let j = o + 224/3. Which is smaller: 3/19 or j?
j
Suppose p - 4*r - 8 = 0, -p + 3*r = -0 - 6. Is p at most -4?
False
Suppose 4*f = -8 - 44. Is f < -13?
False
Suppose -2*j + 11 - 1 = 0. Suppose j = a + 6. Which is smaller: 0 or a?
a
Let a be (53 + 1031)*(2 + 6/(-4)). Which is greater: 543 or a?
543
Let w = -22 - 27. Is w smaller than -47?
True
Let g = 6993/2017772 - -2/7529. Which is smaller: g or -0.1?
-0.1
Suppose -2*r - r = 3, 3*w - 5 = 5*r. Let y be ((-96)/(-1))/(15/20). Let x = 642/5 - y. Is x less than or equal to w?
False
Let i = 1546 + -40201/26. Is 0 greater than i?
True
Let p be 1*(-14)/(-2 + 0). Let a be -1 + (-1)/1 + p. Suppose -a*u + 11 = -x, x + 4 + 3 = 3*u. Which is bigger: 1/5 or x?
1/5
Let q(h) = 5*h - 10. Let w be q(5). Suppose 2*u - 3*m = 43, -2*m = -3*u - 0*m + 57. Is w at most as big as u?
True
Let k(a) = -a**3 - 4*a**2 + 3*a + 8. Let p be k(-7). Let d = -81 + p. Let i be 6/(-15) - d/30. Which is bigger: i or -2?
-2
Let m be 464/140 - (-6)/21. Let s = m - 188/55. Which is greater: s or 0.1?
s
Let y = -1200 + 1202. Let p = -0.1 + 0.5. Which is bigger: p or y?
y
Let l(j) = -j**2 + 6*j + 38. Let f be l(12). Are -5 and f non-equal?
True
Let x(m) = -13*m + 1. Let s = -1 + 2. Let q be x(s). Let z(g) = g**3 + 13*g**2 + 12*g + 1. Let l be z(q). Which is smaller: l or 4?
l
Let y(f) be the third derivative of f**5/60 - 5*f**4/24 - f**3/3 + 5*f**2. Let x be y(5). Let j be -3 + x*14/(-20). Do -1 and j have the same value?
False
Suppose -6*q = -308 - 22. Suppose 0 = -4*r - 0*t + 5*t - 46, -5*t + q = -5*r. Is r smaller than -12?
False
Suppose 3*m = -0*m + 78. Let o = -43 + m. Let p = o + 18. Is p < 4/9?
False
Let x(m) = 24*m**2 - 13*m + 3. Let z be x(1). Let l(d) = 15*d**2 + d + 1. Let g be l(-1). Which is smaller: z or g?
z
Let z be 10/(-6)*-1*1. Let r(k) = 153*k - 457. Let y be r(3). Which is smaller: y or z?
z
Suppose 4*z - 2 = 6*z. Let l be (z - 3) + (-1878)/(-471). Is l >= 1?
False
Let d(h) = 4*h**2 - h - 2. Let t be d(2). Let w be (-192)/340 + t/15. Is 0 at least w?
False
Let w(l) = 4*l**3 - l. Let v be w(1). Suppose 6*k - 5 = 4*k + 5*c, v*k - 3*c - 3 = 0. Is k greater than -3/133?
True
Let p be ((-12)/(-10))/(12/40). Suppose 3 + 1 = p*v. Let z = -2/153 - -932/1071. Which is bigger: z or v?
v
Let w = 8 - 9. Let u be w + 0 + (-15 - -15). Is u less than -6/11?
True
Let a be 12 - ((-12)/3)/4. Suppose -1 = 4*k + 3*x + 8, -5*x + a = 2*k. Let f be (-6)/(-9)*k/4. Is f less than 0?
True
Suppose -2*z - 5*k = 333, 5*k + 16 - 11 = 0. Is -163 >= z?
True
Suppose -6*d + 2*d = 12, 0 = c + 3*d + 45. Which is smaller: -149/4 or c?
-149/4
Suppose 25*d - 21*d + 3*q = -11, -7 = 3*d + q. Which is smaller: d or 142?
d
Suppose -k - 1 - 1 = 0. Let g be ((-18)/14)/(6/k). Which is greater: 0.2 or g?
g
Let g(s) = -7*s + 51. Let q be g(1). Is 41 at least q?
False
Let x be 408/200 - (-7)/(14/(-4)). Which is smaller: x or -1?
-1
Let o be (-10)/(-12) + 2/(-6). Let d = 11 + 35. Let j = d - 54. Is j smaller than o?
True
Let x = 0.115 - 0.192. Let m = x - -0.127. Does 0 = m?
False
Let q = -709 + 866. Does q = 157?
True
Let c(t) = 9*t - 6. Let q(y) = -2*y + 2. Let n(a) = -5*c(a) - 21*q(a). Let r be n(-6). Which is greater: 4 or r?
r
Let p(n) = n**3 + n**2 - n + 1. Let h be p(4). Let z = h + -23. Is z greater than or equal to 54?
True
Suppose -3*n = 4*p - 30, -7 = 4*n - 15. Is p less than or equal to 37/5?
True
Let a be 10/(3 + 2) + 10. Let i = -25 - -15. Let t(m) = -m**2 - 11*m + 1. Let d be t(i). Which is bigger: a or d?
a
Let s = -1088459/3409 - -2235/7. Which is smaller: s or -1?
-1
Let s be (7 - 282/42)*-7 + 87. Are 85 and s equal?
True
Let y = 548/553 - -12/79. Is 0 at most y?
True
Let 