3*c - 36 = 0. Let r(w) = 35*w + 486. Let d be r(-14). Is d <= c?
False
Suppose -48*q + 40 = -43*q. Suppose 5*u = u + 4*y + 8, q = u + 5*y. Which is bigger: u or -7?
u
Let a be (0 - 2*1)/(-109 + 106). Let i be (8/(-16))/(3/(-6)). Is a <= i?
True
Let p = -223 + 222. Is -2/343 greater than p?
True
Let l(o) = -8*o**3 - 5*o**2 + 11*o - 30. Let s be l(3). Is 2/9 greater than s?
True
Let l = 26.4 + -27. Let o = l - -0.7. Is -9 <= o?
True
Let d = 324 + -330. Is d less than -9/2?
True
Let m = -69553/1472 + 1/1472. Let y = m + 47. Is 40 at least as big as y?
True
Let t(z) = 5*z**2. Let r be t(2). Let p = -33 + r. Let j = 9 + p. Is j less than or equal to -5?
False
Suppose 5*z + 5*u - 185 = 0, 3*z - 3*u = 2*u + 119. Suppose 5*l = -4*r + 59, -4*r + 4*l = -z - 30. Which is bigger: 17 or r?
17
Let x = 3 - 5. Let m be 1 - (37/(-33))/(14/(-42)). Is x <= m?
False
Let n be (1/3)/((-91)/1482). Which is greater: -4 or n?
-4
Suppose -7*x - 5*h = -653 + 1790, -h = -3*x - 481. Do -812/5 and x have the same value?
False
Suppose 4*c - 3*c + 9 = 2*n, 2*n = -c - 1. Let p = 7 - 7.1. Is p at least as big as n?
False
Let h = 11/13 + -151/117. Which is bigger: h or 2?
2
Let a = 3629/9 - 403. Which is bigger: -38 or a?
a
Suppose -21 - 11 = -4*u + 5*k, -5*u + 35 = -5*k. Let v be u*(-5 - -4) + 5. Is 18/11 at most as big as v?
True
Suppose b = w + 3, 5*b = 7 + 8. Let s be 6/(-576)*10/(-15). Which is bigger: w or s?
s
Suppose 6*m + 54*m = -60. Let v be (3084/(-350))/(32/30). Let l = v - -58/7. Which is smaller: l or m?
m
Let f be (-27)/(-306) - (3 + (-7)/2). Which is greater: f or 1?
1
Let w be 1 - 217/(-7) - 5. Suppose -4*y - v - 340 = -3*v, 0 = 4*y + 4*v + 328. Let d be y/(-26) - w/9. Is d less than or equal to 0?
False
Let b be (-18 - 960/(-50)) + 8032/(-10). Is b smaller than -802?
False
Let a = -48 - -53. Which is bigger: 9/2 or a?
a
Let o = -3.557 + -0.223. Let j = 0.22 - o. Let k = -3 + j. Do 0 and k have different values?
True
Let u be -8*(0 - 2/(-2)). Let o be u - (-4 + 1 + 3). Let z = -9 + 0. Which is greater: o or z?
o
Let c = 12 + -11.93. Let j = -342 - -343.07. Let g = c - j. Is g < 0.01?
True
Let b = -0.0098 + 1.0098. Is b at least as big as -44?
True
Let q = -319 - -319.2. Which is smaller: -92 or q?
-92
Suppose j + 0*j - 8 = 0. Suppose 5*x - j = -3. Let z be (-1 + 4)/(x/(-3)). Which is greater: 1 or z?
1
Suppose -17 = 3*d - 3*p + 5*p, 2*d = -p - 13. Which is smaller: -20 or d?
-20
Suppose -45*o - 60 = -35*o. Let z = -1 - 5. Is o bigger than z?
False
Let p = -2038 - -1049. Let b = 4919/5 + p. Which is smaller: -6 or b?
-6
Let a = -24 + 27. Suppose 2*k + 5*h = 20, h + 3*h + 7 = a*k. Is k >= 4?
True
Suppose u - 5*o = 0, 5*u - o = -6*o + 30. Suppose -3*z + 0*d = u*d - 13, 0 = -3*z - 3*d + 9. Is z > 2/23?
True
Let i be (-12)/21 - (-144)/252. Which is bigger: i or -4/81?
i
Let q = 742 - 24493/33. Is 1 greater than or equal to q?
True
Suppose 5*a = -d - 13, a = d - a - 22. Suppose -9*m - d = -13*m. Does 0 = m?
False
Let k = 453 + -486. Let s = 31 - 62. Is s >= k?
True
Let x be (-6)/3 + 2*3. Suppose -x*i = -i + 9. Let h be (-9)/(2*i/(-6)). Is h not equal to -7?
True
Suppose 4*a = 2*w - 660, 0*a + 314 = -2*a + 5*w. Is a at least as big as -166?
False
Let y(l) = 6 - l**2 + 4*l**2 - 19*l + 13*l. Let p(v) = 6*v**2 - 11*v + 11. Let j(t) = 4*p(t) - 7*y(t). Let b be j(1). Which is greater: b or -2?
b
Let d(c) = -2*c - 8. Let q be d(-6). Suppose -3*j - q + 37 = 0. Let i = 2 - j. Is i at least as big as -9?
True
Let q(u) = -u**2 + 11*u - 15. Let j be q(11). Let p = j - 4. Are p and -20 nonequal?
True
Let q be (0 - (-3)/(-18)) + (-4606)/12. Which is greater: -383 or q?
-383
Suppose i - 10 = 4. Let h be ((-7)/i)/((-205)/(-4)). Which is bigger: 0 or h?
0
Let r = 1 + -1. Let m = 780 - 83458/107. Is m >= r?
True
Suppose 14*a = -80 - 18. Let t = a - -6. Which is bigger: t or 26?
26
Let d be -30 - (4 - -1) - 0. Which is greater: d or -40?
d
Let x = 14 - 14. Suppose -p + 1 = -x. Let j = -3443/13 + 265. Do p and j have the same value?
False
Let t = -29819651/897351 - 1/69027. Which is bigger: t or -32?
-32
Suppose 3*z + 433 = 13. Let t = z + 136. Is -4 less than or equal to t?
True
Let d = -4 - -10/3. Let h = -380/7 - -1914/35. Is h at least as big as d?
True
Let q(b) = b**3 + 10*b**2 + 31. Let h be q(-9). Is h < 111?
False
Let l = -2533061/621 + 4079. Let m = 3688/11799 - l. Which is smaller: 0 or m?
0
Suppose 0 = -2*w + 11*w - 9. Is -2/543 >= w?
False
Let f(i) = i**2 - 6*i - 1. Let x be f(4). Let a be -6 + (8 - 5) + -6. Is a less than or equal to x?
True
Suppose -4*r + 3*r - 1 = 0. Let d be (3 + (-7 - -5))/((-71)/(-2)). Which is greater: r or d?
d
Let b = -7 - -10. Suppose -5*v - 7 = b, -7 = -5*w + v. Are 2/31 and w equal?
False
Let c(t) = t**2 + 27*t + 229. Let r be c(-20). Are r and 444/5 equal?
False
Let j = -205473/58 - 35075949/1160. Let h = j - -33789. Let r = h + -43/5. Do r and 0 have the same value?
False
Let j be 1/(8 - (2 - -7)). Which is bigger: j or -2/127?
-2/127
Suppose -2*t = -d - t + 31, 0 = d - 3*t - 29. Suppose -5*p + 129 + d = -s, 5*s = 20. Is 33 >= p?
True
Let u = 1764 + -517. Suppose 5*d + u = 407. Let y be d/(-16) + (-2)/4. Which is greater: y or 8?
y
Let c be 896/(-60) - -2 - (-9)/15. Let f = 25 - 36. Which is bigger: f or c?
f
Let a be (7/(-3))/(7/(-2)). Let t = 13 - 9. Is t equal to a?
False
Suppose 3*i - 16 = -2*c, i + 0*c - 2*c = 0. Let s(d) = -d**3 - 3*d**2 + 4*d + 2. Let a be s(-4). Let x be 9/a - (-9)/(-18). Is x > i?
False
Let s = -160 + 160. Let r be 5 - (2 - 3)/(-1). Suppose r*d = v, v - 25 = 5*d + 6*v. Which is smaller: s or d?
d
Let j = -41.8 - -41.8. Which is greater: -257 or j?
j
Let i be (1 - 1)/(-1 - (1 + -3)). Suppose 4*f - 5*r - 25 = i, -17 - 8 = 5*r. Is f greater than -1/84?
True
Let m = -11.13 - -11.637. Let y = m - -0.063. Are -0.1 and y equal?
False
Let j = -299 - -298. Which is greater: j or -3?
j
Suppose -2*f = -3*f. Let s = 27/26 + 2545/78. Let r = -34 + s. Is r equal to f?
False
Suppose 23*g = -23 - 0. Which is smaller: g or 1/246?
g
Let q(n) = n**2 - 3*n + 6. Let c be q(2). Let h = 25 + c. Is h < 28?
False
Let s = -0.046 + 31.046. Let d = -12 + s. Which is smaller: d or -0.2?
-0.2
Let k = -257.2 - -257. Which is bigger: k or 22?
22
Let d be ((-24)/36)/(2/(-27)). Let t be (-3 + d/6)/6. Let z(r) = -r**2 + 14*r - 12. Let g be z(13). Is t less than or equal to g?
True
Let w = 2/5491 - -19730/6133447. Which is bigger: 0 or w?
w
Suppose 4 = -f, -4*m + 3*f + 44 = -0. Let w be 22/m + 4/16. Suppose -4*x - 4*u = -12, -w*x + u - 6*u = -7. Which is smaller: 2 or x?
2
Let t = 1537 - 1536. Are t and -1/2609 equal?
False
Let h be (-62 + 64)*19/(-2). Which is greater: h or -32?
h
Let m = 1.265 - 9.265. Is m less than 0.13?
True
Let c be ((-30)/(-9))/(55/30) + -2. Let n = 26 + -23.2. Let t = n + -3. Do c and t have the same value?
False
Suppose -6*b + 2*b = 0. Suppose b*h + h = -4. Which is greater: h or -22/7?
-22/7
Let g be (5/(-195))/((-1)/30*-5). Is 23 not equal to g?
True
Suppose 2*v = -0*v. Let u be ((-32)/360)/(2/(-10)). Which is bigger: u or v?
u
Suppose -3*s + 14 = -o, -2*o = 2*s + o + 9. Which is smaller: -39 or s?
-39
Let j(c) = c**2. Let n(f) = 58*f**3 + 2*f**2 - 2*f - 1. Let w(b) = 2*j(b) - n(b). Let u be w(-1). Which is bigger: 58 or u?
58
Let a(g) = 28*g**2 - 7*g + 37. Let j be a(3). Is 268 at least j?
True
Let l = -0.59 - 0.01. Let c = 9.4 - 10.7. Let z = l - c. Is z smaller than -0.1?
False
Let q be (28/(-8) - -4)/((-2)/72). Let d = 94/5 + q. Is -0.1 >= d?
False
Suppose -x - l + 21 = 0, 4*x - 10 = 2*l + 68. Suppose x = 5*c - 75. Is c equal to 17?
False
Let w = 52 + -87. Let m be w/(-49) + 3/(-7). Are m and 2/5 equal?
False
Suppose 907*p + 18 = 898*p. Suppose -4*k + 4*c = -0*c + 64, 2*c = -4*k - 46. Which is bigger: k or p?
p
Let v(s) = 5*s**2 - s + 2. Let q be v(2). Let z be (-8)/q + 269/(-40). Let u = z - -71/8. Which is smaller: u or 1?
1
Let z = -6 - -1. Let j be 0 + (3279/822 - (3 - -1)). Let l = j + -3005/822. Which is smaller: l or z?
z
Suppose -27 = -4*o - 3*v - 8, -17 = -2*o + v. Let q = -8 + o. Let z be 3/14*1/3. Which is bigger: q or z?
z
Suppose 4*r = -3*j - 530, 0*j - 268 = 2*r + 3*j. Let w = 131 + r. Which is bigger: w or 3/5?
3/5
Suppose 0 = -2*b - 2*m + 14, 3*b + 5 - 1 = 2*m. Suppose b*c + 18 = 8*c. Suppose 0 = 2*h +