0?
False
Suppose 16 = 4*y, 5*y - 12 - 13 = 5*d. Let x = 119566/141 + -848. Is x smaller than d?
False
Let k be -9*(-5 - (9 - 1)). Which is greater: 119 or k?
119
Let w = -451 + 450. Is w less than or equal to 8?
True
Let w(a) = 2*a**2 - 22*a + 3. Let c be w(11). Suppose 4*p = 2*x - 16, -c*x = 2*x + p - 7. Is x less than or equal to 4?
True
Let g be (-12)/28 - (0 + 1248/28). Let b = g + 8. Which is smaller: -38 or b?
-38
Let j be 3/(-5)*30/(-9). Let w be (-2)/(-1)*(4 - 6). Let k be (0 + (w - -3))/1. Is j <= k?
False
Suppose -3*d = -73 + 76. Is 6/59 != d?
True
Suppose 5*g - 2*l - 77 = 0, -3*g - 58*l + 54*l = -67. Let s(j) = j**2 - 7. Let n be s(5). Suppose g*h = n*h. Is 28 at most as big as h?
False
Let w = -42.12942 - -0.09942. Let n = 42 + w. Is n not equal to -3?
True
Let o = -0.2 - -0.5. Let b = 491 - 497. Which is smaller: o or b?
b
Let b = -3293/94 - -35. Is 0 != b?
True
Suppose 4*a - 6 = 2*a. Let p be (-10)/(-26)*a/5. Suppose -7*y = 6*y - 13. Is y < p?
False
Let q = 13 - 22. Let n = q - -15. Let w be (-1 - (-8)/n)*-15. Which is bigger: w or -2?
-2
Let n = -2 - -6. Let h = -0.2 - 0. Let a = -0.3 - h. Which is bigger: a or n?
n
Let y(d) = d**3 - 99*d**2 - 2*d**3 + 108*d**2 - 21 + 2*d. Let q be y(9). Which is smaller: -7 or q?
-7
Let x = 0.206 + -94.206. Let q = 122 + x. Is -0.1 not equal to q?
True
Suppose -130 + 419 = z. Suppose -z + 71 = 2*j. Let s = j - -765/7. Which is greater: s or 1?
1
Let g = 95 + -61. Suppose 0 = -3*s - 3*i + 5*i + 41, 3*s = -5*i + g. Suppose 0 = -3*d - k + 11, 3*k - s = -7*d + 3*d. Which is greater: 0 or d?
d
Let v be 4598/304 - 2/16. Let s = -35 - -49. Which is smaller: s or v?
s
Suppose -x = 4*i + 2 - 1, 3*i = -4*x - 4. Suppose 5*c - 3 - 7 = i. Let a be c*(-3 + 31/10). Is 1 at most as big as a?
False
Let c = -12621/4 - -3155. Suppose -3 = 2*a - 1. Which is greater: a or c?
c
Suppose 0*a = -2*a + 5*q - 13, -4*a = -4*q + 32. Let m be 3*21/a*-1. Is m != 20/3?
True
Let l = 14 + -12. Suppose -80 = l*o - 7*o. Let u = 11 - o. Is u at least as big as -4?
False
Let l be (-58)/(-18) + 8/(-36). Let b be l/(-1) + 7 + 0. Let z = -5 + b. Is -2 bigger than z?
False
Let k(g) = 4*g**3 - 52*g**2 + 2*g - 28. Let x be k(13). Which is smaller: x or -33/31?
x
Suppose -5*f - 3*c - 67 = 0, 19 - 58 = 3*f + 3*c. Let m = -27 - f. Let i = 12 + m. Which is greater: -1/10 or i?
-1/10
Let b = -8 + 14. Suppose -3*t + 39 + 25 = 4*v, -4*v = 2*t - 44. Suppose -5*d + t = -0. Is d bigger than b?
False
Let d = -1981/12 - -165. Let s be 2*2/(-1) - -4. Suppose 0 = 7*z - s. Which is smaller: z or d?
d
Let j = -3781/50149 - -7/517. Let p = -1855/194 - j. Is -11 <= p?
True
Let k(x) = -x**3 + x**2 + x - 1. Let l be k(1). Let m be (-1)/(l - 1) - 3. Let b(s) = -2*s**2 + 25*s + 40. Let z be b(14). Is z >= m?
True
Suppose -4*l - l = -4*s + 2, -10 = -4*s + l. Suppose s*u + 40 = -2*u. Does u = -6?
False
Let n(g) = 0*g - 2*g + g + 5. Let f be n(7). Let s be 4*4*(380/70 + -6)/4. Which is greater: f or s?
f
Suppose -5*z = 3*y - 6*y - 72, 3*y + 12 = 0. Suppose 0 = b + z + 6. Let v = b - -15. Which is greater: -5 or v?
v
Let g = -3 - -2.8. Let a = 2/20723 - -7232323/41446. Let l = a - 171. Which is bigger: l or g?
l
Let n = 25 + -4. Let f = -20.92 + n. Let z = 6.08 - f. Which is smaller: -0.2 or z?
-0.2
Let o = -209/3 - -68. Let u(i) = -3*i + 5. Let f(g) = -3*g + 6. Let r(j) = 6*f(j) - 5*u(j). Let v be r(4). Which is smaller: v or o?
o
Let y(n) = -11*n**2 + 6*n - 4. Let b be y(3). Let f = -429/5 - b. Suppose 0 = -2*z + 6*z + 4. Is f smaller than z?
False
Let h be 27/54*((-4)/(-1) - (-63)/(-18)). Let f = 0.1 + -1.1. Let c = -8 - f. Do c and h have different values?
True
Let p = 4651/15 - 310. Which is smaller: p or -1?
-1
Let y = -18 - -12. Let c be (y/10)/(8/(-40)). Is -1 >= c?
False
Let b be (-126)/12075*5/45. Which is smaller: b or 1?
b
Let d = -2760 + 1410361/511. Which is bigger: d or 0?
d
Let w = 4 + -4. Let i = -12474/32651 + 40/103. Are i and w nonequal?
True
Let q = 1037/3 - 345. Which is smaller: q or 0.0548?
0.0548
Suppose -4*w - 5*c + c = -32, -23 = -4*w - c. Suppose -w*m + 28 = y - 2*y, -3*y = -2*m + 45. Suppose -5*f + 4*f = 14. Which is smaller: y or f?
f
Let k = 327 + -326.1. Which is smaller: 0.13 or k?
0.13
Suppose 0 = -17*b + b - 208. Which is greater: b or -11?
-11
Let l be -6 + 2 + (0 - 28). Let h = l - -25. Let w be 2/h + 0/10. Is 1.2 equal to w?
False
Suppose 0 = -4*h + 595 + 117. Which is bigger: 179 or h?
179
Suppose -5*k + 1728 = 3*j, 2*j - 5*k = -k + 1174. Let o = j - 5243/9. Which is smaller: -1 or o?
o
Suppose -36*o + 12*o = 48. Is -77 at least o?
False
Suppose 4*m - 12 = 2*h, 0 = -2*m - 3*h + 3 - 5. Suppose m*v + 18 = 2*b, 6*v - 2*v = -5*b. Which is smaller: 7 or b?
b
Let t be -5 + (-20)/12*-3. Let v = 67/9 - 5311/711. Which is smaller: t or v?
v
Let n(j) = j**2 + 27*j + 54. Let w be n(-25). Suppose 2*x - g + 3 - w = 0, 5*x - 4*g - 7 = 0. Which is bigger: x or -1/7?
-1/7
Let g = -159 - -154. Let r = -7 + -2. Which is greater: g or r?
g
Suppose -4*l + l + 3 = 0. Let g be (-4 - (l - 6))/((-2)/(-20)). Which is greater: 6 or g?
g
Let r = -1009/2510 + 1/502. Which is smaller: r or -1.64?
-1.64
Let n = 0.039 - 20.039. Is n >= 0?
False
Let z = 88 - -76. Which is bigger: z or 173?
173
Suppose 0 = -24*z + 19*z - 25. Let c(r) = -2*r**2 - 6*r + 6. Let h be c(z). Let s be (-37)/(-2) - (-7)/h. Is s bigger than 17?
True
Suppose q = -42 + 35. Is q > -2?
False
Let c be (8 - 3/1) + (-894)/174. Is c bigger than -4?
True
Suppose 0 = p - 2*p + 5. Suppose 4*u - 3*a + 2 = -7, p*u - 2*a = -6. Let o = -581/5 - -116. Is u < o?
False
Suppose -3*r + u - 33 = -3*u, 0 = -5*r + u - 55. Let m = r - -8. Let b be (-1)/m + (-23)/33. Which is smaller: 1 or b?
b
Suppose g = -3*g - 32. Let h(o) = 5*o + 57. Let i be h(-9). Suppose -u - i = 3*x, 2*x - x - 5*u + 20 = 0. Which is greater: x or g?
x
Let m = 894 + -886. Let b = -9 + 16. Is m <= b?
False
Let u = -0.13 + -3.87. Let c = u + -11. Let t = c + 13. Is t bigger than -1/5?
False
Let w be (-2)/(-3) - 7534/15. Let l = w + 499. Suppose 0 = 5*o - 2*o - f + 2, -5*f = 3*o + 26. Is o not equal to l?
True
Let x = -32 - -51. Suppose -4*h - 2*h = -102. Which is smaller: h or x?
h
Let r = 6.3 - -5.7. Let p = -4.81 - 7.23. Let a = p + r. Is a smaller than -1/4?
False
Suppose 4*z = 3*h + 70, 0*h + 3*h = -3*z - 84. Let w = 43 + h. Let a = -15 + w. Which is smaller: 12/5 or a?
a
Let i be -5 + 156/30 + (-15789)/(-25). Let b = -632 + i. Which is smaller: b or -1?
-1
Let d be 3818/460 + -3*(-16)/(-60). Suppose 2*h + 2*v = 5*h - 19, -2*h + 12 = -2*v. Which is greater: d or h?
d
Let y = -629/5 - -28969/230. Which is bigger: 0 or y?
y
Let d be (20/30)/(2/(-6)). Let s = 855 - 821. Which is bigger: d or s?
s
Let h be -4*((-4*4)/4 - -2). Let u(d) = d**2 + 2*d - 2. Let r be u(-3). Let g be r + (-4 - h)/3. Is 4/5 smaller than g?
False
Let i = 1619 + -1616.022. Let j = -0.022 - i. Is j < 10?
True
Let n be ((-16)/80)/((-3)/6). Do -15.4 and n have the same value?
False
Let s be (-1)/(-3)*-1*-3. Let h be (-1344)/(-1540) + (-6)/22. Is h at most as big as s?
True
Let s(c) = c**2 + 39*c + 98. Let w be s(-35). Which is smaller: -46 or w?
-46
Let d = -60 + 51.5. Let g = -8.2 - d. Is g less than or equal to 1/3?
True
Let r be (9/(-6))/((-6)/(-32)). Let l = -446 + 449. Which is bigger: r or l?
l
Let i be ((-15)/6 + -2)/(12/(-32)). Let v(u) = 2*u - 16. Let x be v(8). Which is greater: i or x?
i
Let x be 1324/264 + -3 - 1/(-6). Is x > 11?
False
Let j be 5/4 - 2093/1716. Is j > 1?
False
Let j be 5 + 40/18 - (35 - 28). Let t(f) = -f**2 + f. Let v be t(1). Which is greater: j or v?
j
Let k = 704 - 404. Is 301 greater than or equal to k?
True
Suppose 6*t - 28*t = 22. Are t and -7/5 equal?
False
Let p be 16/(-56) + ((-1744)/(-6006) - 0). Which is smaller: 1 or p?
p
Let l(s) = 4*s + 7. Let t be l(0). Are -0.04 and t nonequal?
True
Let f be ((21/28)/(27/(-168)))/1. Is -1.6 equal to f?
False
Let y = 55 - 223/4. Let b(m) = m**2 + 3*m + 3. Let c be b(-3). Let x be c*(-2)/12*4. Which is smaller: x or y?
x
Let b(j) = -5*j**2 - j. Let q be b(-1). Let p(i) = -i**3 - 4*i**2 + 2*i + 6. Let y be p(q). Let a be -5 + 5/(60/44). Which is bigger: a or y?
a
Let w = 1.37 - 1.46. Which is greater: w or -0.1?
w
Let u(l) = -1 + 5*l + 366*l**3 - 5*l**2 + 0 - 367*l**3. Let x be u(-6).