Let m(i) = 31*i - 64. Let a be m(6). Are 124 and a equal?
False
Let p = -11 + 11. Suppose c + 3*c = p. Suppose 5*s - s - 4 = c. Which is bigger: s or 1/2?
s
Let v(j) = -74*j - 40. Let i be v(3). Is -260 > i?
True
Suppose 9 = 2*q - 4*a - 7, 2*q + 3*a + 5 = 0. Suppose 0 = -q*f + 6*f - 0*f. Let x be 2/(-8) - 34/(-168). Is f greater than x?
True
Suppose 0 = 18*a - 15*a + 3*i + 9, -4*i = a + 12. Is 2/59 at least a?
True
Suppose -5*w - 16 = 3*j, 3*j + 0 = -4*w - 11. Let g be (0/w)/(3 + -1). Let s be (-2 + 4)*(1 + g). Is 1/2 bigger than s?
False
Let i = -405 + 399. Which is greater: -5 or i?
-5
Let u be ((-15)/5 + 2)/((-1)/3). Suppose u + 27 = 10*m. Is m equal to 6?
False
Let m = 25.2 + -26.1. Which is bigger: 2/11 or m?
2/11
Suppose -9*b - 20 = 430. Is b greater than -51?
True
Let j = 141 - 26. Let l = j - 99. Let o be -2*(0 + 30/(-4)). Is o <= l?
True
Let i = -38 + 53. Suppose 2*l - i = -n, -5*l + 2*n = -l - 10. Is 6 less than l?
False
Let k be 31/(-20) - (-3)/4. Suppose -4 = -s - 1. Suppose -s*i = -i. Which is smaller: k or i?
k
Let u = 10 + -17. Let z be (4/(-2))/(-8) + (-164)/16. Which is greater: z or u?
u
Let x = -4.07 + -12.93. Does x = -0.1?
False
Let t = 7976606363/141245839805 + -2/13515055. Let p = -1/1493 - t. Is 1 <= p?
False
Let o(r) = 2*r**2 - 80*r + 76. Let w be o(39). Which is bigger: -203 or w?
w
Let y = -21 - -24. Let f = y + -1. Suppose -f*g + 2 = -4. Is 3 >= g?
True
Let d be (-4)/(-2 + -10)*9. Let k be (84/(-22) + 4)/d. Let h be -6*2/(-4) + -3. Is k > h?
True
Suppose -i - 4*m - m = 11, 0 = -2*i + 2*m - 46. Let a be (-36)/i*(4 - -3). Let c = -13 + a. Is 0 smaller than c?
False
Let f = -8.1 - -3.9. Let k = 3.2 + f. Let d = 0.2 - 0.4. Which is bigger: k or d?
d
Let y be (-1)/(-2) - (-1 + (-100)/8). Let k be y - 10 - 11/1. Is -7 less than k?
False
Suppose -5*g + 57 = -148. Which is greater: 42 or g?
42
Let g = 0.015 + -1.195. Which is smaller: 4 or g?
g
Let m(l) = l**2 + 23*l + 26. Let y be m(-20). Is y not equal to -32?
True
Let x(v) = 5*v - 14. Let f be x(5). Let o be 2*(-1)/(-1)*2. Suppose -9 = h + 4*g - 3*g, f = h - o*g. Which is greater: -6 or h?
h
Let f = 37.1909 - 0.0909. Let h = f - 37. Is h greater than 0.35?
False
Let g be 1/((-130)/(-392)) + -1 + -2. Is -1 greater than or equal to g?
False
Let w = -246979/1330 + 1300/7. Is -1 >= w?
False
Let m = -429 - -1717/4. Are 25 and m equal?
False
Let v = -31/6 - -167/30. Suppose 3*a = -3*s - 4 + 1, -4 = 2*a + 3*s. Which is smaller: v or a?
v
Let i be (-10)/15 + -2 + (-23)/(-3). Suppose r + 2*r = -i*m + 284, -2*m + 2*r + 104 = 0. Which is greater: m or -2/5?
m
Suppose -26 = 4*d - 5*q, -2*d - 30 = 2*d - 3*q. Suppose 33*z = -23*z - 336. Which is bigger: z or d?
z
Suppose 0 = 11*j - 11. Suppose 0 = -6*l + 3*l - 3. Which is smaller: l or j?
l
Let v be 7/(-3) + (-1)/(-3). Let n = -114242/43945 - 3/8789. Is v equal to n?
False
Let u(j) = -j**3 - 7*j**2 + 2*j + 5. Let w be u(-7). Let t be (w/(-96))/(1/4). Let d be (1*(-1)/(-1))/(-1). Which is bigger: d or t?
t
Let b be (-4*(-9)/6)/2. Suppose r = 3*r - 2*d - 8, -b*r + 8 = d. Which is greater: r or 5?
5
Let s = -1.6 - -3.6. Let u = 4 + s. Let b = 112/3 - 38. Which is bigger: b or u?
u
Let x be (1/((-1)/25))/(-14 + 13). Is x < 17?
False
Let p = -21 - -22. Let g be (1 - p)/(-3) - 4/42. Suppose 0 = 3*y - 4*y. Does g = y?
False
Let x = 0.072 - -52.928. Are -1.5 and x nonequal?
True
Suppose 0 = y - 5*p - 38, -5*y - p = -24 - 36. Suppose -4*i + 55 = 11. Which is greater: i or y?
y
Let c = 12.8 - 1.8. Let z = c + -11.32. Let s = -0.22 - z. Is -3 smaller than s?
True
Let z = 1588 - 1185. Which is bigger: z or 404?
404
Let d be (192/80*1)/((-2)/(-45)). Do d and 53 have the same value?
False
Let w = -0.069 - 10.931. Let g(h) = h**3 + 3*h**2 - 3*h + 4. Let c be g(-4). Is w != c?
True
Let f = 1 + 0. Let q = -295 - -5020/17. Which is smaller: f or q?
q
Let q = -1154 + 1190. Which is bigger: q or 25?
q
Let b be (-26)/65 + (-194)/(-10). Suppose -f - 2*f - 2*t = 14, 5*f + b = t. Does f = 0.09?
False
Let j = 15 + -12.8. Let o = j - 2. Let k = -4455 - -4452. Is k at least o?
False
Let h(n) = -10 - 58*n**3 - n + 4*n**2 + 1 + 59*n**3. Let b be h(-3). Is b greater than 27/7?
False
Let u = 9 - 5. Let s(h) = -2*h**2 - h. Let v be s(0). Let o be (u + (-9)/2)*v. Which is bigger: o or -1/53?
o
Let h be (5 - -9068)*(5/4 + -1). Let r = h - 2255. Which is smaller: r or 14?
r
Let g be 2/8 - (-459)/36. Which is smaller: -5 or g?
-5
Let o = 29 + 5. Let k = -30 - -55. Let y = -25 + k. Are o and y non-equal?
True
Let t(y) = y**3 - 6*y**2 - 9*y + 6. Let g be t(7). Let b = 10.5 + -10.58. Let l = b - -0.18. Which is smaller: l or g?
g
Suppose i - 1041 = o, -4*o = o + 5*i + 5245. Let z = o + 65833/63. Which is smaller: z or -1?
-1
Let m = 6 + -2. Suppose 6 = 5*f - m. Let p be (-2 + 28/8)*f. Is 3 not equal to p?
False
Suppose -u + 143 = 136. Let p(z) = -9*z - 23. Let w be p(u). Which is bigger: -87 or w?
w
Suppose -22*m + 24*m - 10 = 0. Suppose -3*v + m*v - 25 = -a, 4*a - 4*v - 76 = 0. Which is smaller: a or -0.1?
-0.1
Suppose 229 = -15*b + r, -5*b - 76 + 13 = 3*r. Suppose k - 5*k + 28 = 0. Let m = k - 21. Which is smaller: m or b?
b
Suppose -4*w = -2*w + 4*p + 78, 3*w = 4*p - 157. Let c = w + 98. Which is smaller: 50 or c?
50
Let h = -1835.09 + 1835. Which is smaller: -64 or h?
-64
Let u(f) = -f**3 - 19*f**2 + 4*f - 5. Let j be u(-10). Let c = -14168/15 - j. Let a = c + 1/5. Is 1 bigger than a?
True
Let r = 28/25 + -289/325. Let q = 0 + 0. Is r at least as big as q?
True
Let j be (-7)/(-3) - (-7)/(-21). Let l be (2 - 3) + -3 + 4. Suppose 2*h - 2 + 4 = l. Which is smaller: h or j?
h
Let b = -11.12 + 0.12. Let g = -206 + 205.9. Which is greater: g or b?
g
Suppose -5*v - 10 = 5*s + 5, -v + 4*s - 8 = 0. Let y be 10/(v + 5)*1. Are y and 11 nonequal?
True
Let w be -2 + ((-18)/(-10))/1. Let h(p) = 2*p + 15. Let j be h(-6). Suppose -j*s + k = 1, 0*k = s - 4*k + 4. Is w smaller than s?
True
Let y be (-226)/(-1632) + 44/(-374). Let o = -1 + 1. Which is greater: o or y?
y
Suppose 5*b + 4 = -4*o - 0*b, 1 = -o - b. Let j = 413 + -412.59. Which is smaller: o or j?
o
Let y = 440 + -439.8. Is y greater than or equal to 340?
False
Let g = -351 + 376.8. Which is bigger: -1/3 or g?
g
Suppose -3*f + 4*f + 2 = 0. Let g be 2484/(-315) + 0/f. Let p = g + 58/7. Which is smaller: 12 or p?
p
Let o = -29 - -48. Let k = o + -24. Let l = 66 - 65. Are k and l nonequal?
True
Let n be ((-74)/(-10) - 8)*25. Is n > 3?
False
Let w = 16 - 12. Let g = -10 - -10. Are w and g equal?
False
Let c = -1996 - -405189/203. Which is bigger: c or -1?
c
Let p = 12.133 + -0.133. Do 0.6 and p have different values?
True
Let z = 21 - 34. Suppose -4*v - 1673 = -413. Let x be 4/7 + 54/v. Is z equal to x?
False
Let h = -632 + 756. Which is smaller: 1114/9 or h?
1114/9
Let h be -11 + 0 + 0 - -3 - 2. Let l = -11748/5 + 2341. Which is smaller: l or h?
h
Let z = 5.1 - 0.1. Let n = -4 + z. Let r = 648 + -653. Which is greater: n or r?
n
Let a = -137 - -85. Let g = 35 + a. Let x = g - -15. Do x and -9 have the same value?
False
Let o = -133 + 35. Let r be (-77)/o - 2/4. Is r > 0.7?
False
Let z(d) be the third derivative of -1/24*d**4 - 6*d**2 - 7/6*d**3 + 0 + 0*d. Let w be z(-7). Is w >= -4?
True
Let b = 0.13 - 5.13. Which is bigger: b or 4?
4
Suppose -2*d + h + 8 = 0, -5*d - 5*h + 0*h = -5. Let x be d/(-3 + 13257/4404). Let w = -296 + x. Is w != -2?
True
Let y = 252 + -268. Which is smaller: y or -5?
y
Let d be (-1)/12 - (-83115)/(-540). Which is smaller: -150 or d?
d
Suppose 13*q = 21*q - 24. Suppose -69 = 8*m + q. Which is greater: -49/5 or m?
m
Let r = 9.1 - 9.16. Let y = 0.06 + r. Which is smaller: y or 0.23?
y
Let x be 12/(-8)*1*68/6. Let p = x - -29/2. Is -2 bigger than p?
True
Suppose -918 = 6*v + 28*v. Let t(w) = -3*w**2 + 6*w - 4. Let j be t(4). Which is greater: j or v?
v
Let p(g) = -g**2 + 3*g. Let w be p(3). Let m be 4/(-36) - 16/342. Is m <= w?
True
Let k be -5 + 0/(-1) + 1. Suppose -27*y - 8 = -23*y, 0 = -4*c - 3*y + 298. Let a be 30/k*c/57. Is a not equal to -9?
True
Let l be (-6)/(-36) - 23/(-6). Suppose 4*z = 2*t - 10, -15 = -l*z - 4*t + t. Let d be 2/5*(-5)/(-13). Which is bigger: z or d?
d
Let d be 0*2/(2 + -4). Let k(z) be the first derivative of z**2 - 42*z + 19. Let q be k(22). Are d and q non-equal?
True
Let 