21 + 36/17. Which is bigger: s or q?
q
Suppose 3*q = -2*u + 21 + 7, q = -3*u + 7. Let i = 8 - q. Which is smaller: i or -5/4?
i
Let l = 0.1 - 0.1. Let z = -205.1 - -205. Is l at least as big as z?
True
Let x(y) = -y**2 - 2*y - 24. Let s be x(0). Which is smaller: s or -22?
s
Let u = 329 + -2321/7. Which is bigger: u or -4?
u
Let y be 32/5 - (-12)/(-30). Let c = 0 + y. Let r = 7 - c. Is r < 2?
True
Let g be 9/15 + (-92)/220. Which is smaller: g or 0.4?
g
Let x(p) = -p**3 + p**2 + p - 1. Let k be x(2). Suppose -4*q = 3*g - 1, g = q - 4*g - 29. Suppose -25 = 5*u - 5*d, 5*d = -q*u - 6 - 5. Which is bigger: k or u?
k
Let l = -0.3 + 0.5. Let s be 1/((-1)/(-2)*-3). Which is bigger: l or s?
l
Let d be -4*(0 - 1) + -2. Let j be (4 - (4 - 2))/d. Is -3/20 equal to j?
False
Let b = -533/33630 + -1/590. Do 0 and b have different values?
True
Let d(x) = -2*x + 6. Let u be d(6). Suppose 4*z - 2*y = -26, 4 = -z - 5*y + 3. Is z smaller than u?
False
Let g be 75/9*10/25. Which is smaller: 4 or g?
g
Let n = 974/55 + -94/5. Is n at least as big as -1?
False
Let t be (-2)/(-5) - 48/(-30). Suppose 3 = 4*p + 4*h - 13, -p = -h + t. Let z be p/5 + (-69)/195. Is 1 at least as big as z?
True
Let d = -0.34 - -13.34. Let r = -8 + d. Let w = -5 - -4.8. Is r at least w?
True
Let y = 272/2943 + -2/109. Suppose 10*t - 12*t = 0. Is t < y?
True
Let n be ((-16)/(-220))/(1/(-5)). Let i be 1/3 + (16/(-3))/4. Is n at least i?
True
Let i = -1942/3 - -661. Which is greater: i or 15?
15
Let n be 400/2610 - 4/18. Suppose -4*v = -2*v + 5*f - 3, 9 = -4*v + 5*f. Is n bigger than v?
True
Let t be (-20)/8*8/(-10). Let x be 0/(-1)*1/2. Let y be 0 + 3 + -1 + x. Are t and y unequal?
False
Let s = -39 - -41. Is 4/3 equal to s?
False
Let s(y) = y**2 - 7*y. Let z be s(6). Let f(r) = r**3 + 5*r**2 - 7*r - 8. Let i be f(z). Which is smaller: i or 2?
i
Let k be 8/2*(-15)/10. Let t be 22/(-30) - k/15. Is t != 1?
True
Let b = 5.03 + -0.03. Which is greater: -0.1 or b?
b
Suppose 4*c + 2*t = -0*c + 6, 5*c - 9 = -3*t. Is -6 less than c?
True
Let t be -4*((-10)/4)/5. Suppose -t*u = 6 + 14. Let y be 2/(-1 - (-6)/u). Is 0 at most y?
False
Let f(o) = -o - 4. Let p be (0/(-1*2))/(-1). Suppose p*t + 4*t = -12. Let h be f(t). Which is smaller: h or 0?
h
Let r be ((-11)/(-2) - 5)*2. Let w = 0.2 + -0.4. Is w greater than r?
False
Let x be (1 - 0)/((-1)/1). Which is smaller: x or -2?
-2
Let q = 8.6 - 10. Let p = -4.4 - q. Let d = 0.1 + -1.1. Is p <= d?
True
Let b = -2 - -3. Let y(v) = -v**2 - 10*v - 6. Let t be y(-9). Suppose z + t*z = 0. Which is smaller: b or z?
z
Let z = 5 - 16. Let q = z + 35/3. Is 0 at least q?
False
Let t be 4 + (3 - (441/44 - 3)). Which is smaller: 1 or t?
t
Let a = -1.6 + 0.9. Are 1/3 and a equal?
False
Suppose o = 1, 3*o - 2*o = -3*w + 28. Is 9 > w?
False
Let o = 6.81 + 0.19. Which is bigger: 0.1 or o?
o
Suppose 5*w + 5*c = 2*w + 7, -5*w - 2*c - 1 = 0. Which is smaller: w or -4?
-4
Let o be (8/20 - -1) + -1. Which is bigger: o or 1?
1
Suppose 0*a + 8 = 4*a. Let u = 5 - a. Let i be u/6*2/7. Which is smaller: i or -2/7?
-2/7
Suppose 0 = -4*i - 5*c + 21, -2*i + 5*c - 28 = i. Which is smaller: 1/193 or i?
i
Suppose 3 = -m + 2. Do m and 2/11 have different values?
True
Let c = 0.59 - 0.49. Which is bigger: -60 or c?
c
Let i = 0.22 - -0.43. Let u = i - 0.7. Let c = u + -0.05. Which is smaller: c or -2?
-2
Let l be (-16 + 4)*2/(-4). Let f(x) = -x + 8. Let r be f(l). Let u be (-6)/(-4)*r/5. Which is bigger: 0.1 or u?
u
Let h = -23 - 4. Let p be 21/h*2/7. Suppose -g + 3 = y - 0, -5*g - 9 = -3*y. Does g = p?
False
Let y = 2 + 0. Suppose -5*k - 13 = 5*s + 2, -s + y = -4*k. Which is greater: k or 0?
0
Suppose 36*h - 38*h + 14 = 0. Which is greater: h or 2?
h
Let s be (-282992)/(-3372) - 2/(-4). Let t = 115/281 + s. Let y = -85 + t. Which is smaller: 0 or y?
y
Let j = -0.6 + 80.6. Are j and -1/3 equal?
False
Let r = 0.3 + -0.2. Let q = 7 + -10. Let b = 3.2 + q. Which is smaller: r or b?
r
Let w be ((-2)/(-6))/((-3)/6). Is -35 smaller than w?
True
Let t = -20.9 + 21. Which is smaller: -9/4 or t?
-9/4
Suppose -2*l - 10 = -3*v + 3, -2*v + 3*l + 12 = 0. Do 4 and v have different values?
True
Let d = -0.23 + 0.21. Let w = 0.07 + d. Is w bigger than -0.1?
True
Let v = 1.53 - -0.47. Which is smaller: 1/4 or v?
1/4
Let v = 17 - 17. Let g = v - 2. Which is greater: g or 3?
3
Let g be 6/(21/6 - 2). Suppose 2*j + 4*k = 12 + 16, 3*k - 71 = -g*j. Let u be (-2)/j*-2*3. Which is bigger: u or 0?
u
Suppose 0 = 3*o + 2*o + 1340. Let z = o + 1873/7. Suppose -24*p = -25*p + 1. Is p equal to z?
False
Let z(o) = o**2 + 7*o + 5. Let x be z(-7). Suppose 5 = -0*n - x*n. Let q = -2 - n. Is q <= -1?
True
Let m = 13 + -10. Suppose 4*x + 5 = -m. Which is greater: 1 or x?
1
Let f(q) = q**2 + 5*q + 1. Let n be f(-5). Suppose -3*i - 5*y + 8 = -2*i, y - 1 = 0. Let k = -3 + i. Which is greater: n or k?
n
Let n = -1815 + 7349/4. Do n and 22 have different values?
True
Let c = 0.023 - 0.023. Let t(q) = -q**2 - 6*q + 3. Let r be t(-6). Which is greater: c or r?
r
Let y = 6.11 - 0.11. Let r = y + -6. Is r at most as big as -2/5?
False
Let h be -3 - (2 - (-1281)/(-285)). Let d = 2/19 + h. Is d greater than 1?
False
Let a(r) = r + 1. Let w be a(0). Do -1/11 and w have different values?
True
Let c be (-4)/(-22) - (-64)/132. Is c smaller than -1/17?
False
Let u be (-1)/(-5) - 248/40. Let h be 9/(-78)*8/u. Is h smaller than 0?
False
Suppose 0 = h + 2*m - 8, m = -4*h - m + 44. Let s = 26 - h. Is 14 at least s?
True
Let x be 22/(-6) - 5/15. Is x != 1/5?
True
Let y = -14 - -10. Let s be (-2 - y) + (-12)/15. Which is bigger: 0 or s?
s
Let x = -119 - -227. Let y = x - 863/8. Which is smaller: 1 or y?
y
Suppose 0 = 3*r - 0 - 6, 4*s - 2*r + 52 = 0. Let o be ((-16)/6)/((-4)/s). Let c be (o/(-100))/(6/(-10)). Which is smaller: -1 or c?
-1
Let p = -25/16 - -97/144. Which is smaller: p or 0?
p
Let k = 4 - -8. Suppose k = -5*i + 2. Let g be (2/3)/(6/9). Is g < i?
False
Let r be -1 - (26/(-6) + 4). Which is bigger: r or -0.1?
-0.1
Let q be (21/(-63))/((-2)/48). Let r = -0.06 - 1.94. Which is smaller: q or r?
r
Suppose 3*f + 20 = 4*u, 4*f = u + f - 5. Suppose 3*z = u*z. Is -3 not equal to z?
True
Suppose 4*d = -5*q - 8 - 15, 2*d + 49 = 5*q. Let g = d - -11. Which is smaller: 1/3 or g?
g
Let i = -1641/680 - 18/85. Which is smaller: i or -4?
-4
Let w be (-4)/18 - 136/(-459). Let u be (-3)/(-6)*(-1 + 3). Which is bigger: w or u?
u
Suppose 0 = 2*m - 0*m + 12. Let i be (m/15)/(1/(-5)). Is 2 greater than i?
False
Suppose -4*x + 11 = -3*x. Suppose 0 = 5*r - 5*i + 10, x = 5*i + 1. Which is bigger: 2/9 or r?
2/9
Let v be 2/(-6)*(0 + -3). Suppose 24 = 5*s - v. Suppose 5*r - 3*f + 2 = 0, s*f + 3 = 2*f. Is r less than or equal to 0?
True
Let r = -115 - -1042/9. Do 2 and r have different values?
True
Let c be (-13)/(-15) - (-4)/(-6). Let n be ((-9)/6)/((-6)/16). Let b be (-15)/(-9) - n/6. Which is smaller: b or c?
c
Suppose 2*p = 5*p + 3. Is -2/129 greater than or equal to p?
True
Let c(x) = -x**3 + 28*x**2 - 27*x + 44. Let v be c(27). Which is greater: 87/2 or v?
v
Let t = -91 - -70. Is t at least 3?
False
Let o be (1/7)/(4/12). Which is greater: o or -2?
o
Let y be (-5)/6*4/(-10). Let q = -41 - -41.3. Which is greater: y or q?
y
Let k(d) = -d**2 + 6*d - 9. Let g be k(6). Is -28/3 equal to g?
False
Suppose -3*l + 2*l = -4. Suppose -l*t + 8 = -4. Is 7/2 equal to t?
False
Suppose 23 = 4*u + 19. Let y(n) = -5*n**2 + 4*n + 2. Let s(v) = -v**3 + v**2 + v - 1. Let i(h) = s(h) + y(h). Let x be i(-5). Is x greater than or equal to u?
True
Let m(g) = g**2 + 10*g + 8. Let c be m(-9). Let q be 0 - 0 - (3 + -3). Let n = q + 1. Which is smaller: c or n?
c
Let s = 8 - 9. Let d = 27 + -29. Which is smaller: d or s?
d
Suppose 0 = c + 1 + 18. Is -19 < c?
False
Let x = 195/2 + -97. Are x and 10 unequal?
True
Let g = -29 + 28. Are g and -1 unequal?
False
Suppose -5*s + 34 = 4*x, -2*x + s = 3*x - 28. Suppose 0 = -3*q - 5*t + 17, q - 15 = -5*t - x. Suppose -6 - 6 = q*y. Does -2 = y?
False
Let i = 3 - 2.9. Let j = 1.06 - 0.26. Which is smaller: i or j?
i
Let a = -20 - -19.9. Is -0.1 < a?
False
Let u = -0.05 + 0.46. Let q = -0.4 + u. Let t = -1.99 - q. Is t smaller than -2/5?
True
Let l = 26 + -26. Which is smaller: 1/29 or l?
l
Let c = -0.05 - 6.95. Let g = 7 + c. Are -3 and g equal?
F