is smaller: 1 or r?
1
Suppose 5*c = -3*k + 156, -3*c = -7*c - k + 129. Does 33 = c?
True
Let h = 1 + 2. Suppose -h*m = m + 16. Is -4 <= m?
True
Let i = -15 + 4. Is i > -10?
False
Let i = 42.7 - 38. Let o = i + -2.6. Let f = o + -2. Which is bigger: -3 or f?
f
Let b = 0.3 + -0.2. Let r = 0.2 - b. Which is smaller: -2 or r?
-2
Let y be -4 + -6 + 3 + -22. Which is smaller: y or 1?
y
Let a(r) be the second derivative of -r**5/20 + r**4/12 + r**3/2 - r**2 - r. Let s be a(2). Let d be -1*16/36 - 1/(-9). Which is greater: s or d?
s
Let u = 5.6 - 4.6. Let a = 14449/3 - 4773. Let s = a - 43. Which is bigger: s or u?
u
Suppose -y - 38 = y. Let q = y + 4. Are q and -15 unequal?
False
Let n = -0.437 + 0.037. Which is smaller: n or 12?
n
Let a = 3 - 3. Let z(m) = m**3 + m**2 - 4*m - 3. Let w be z(-2). Suppose 5*f + 10 = a, 3*r - w = 2*f + 3. Is r at least -1?
True
Let w(u) = u**2 + 6*u + 7. Let b be w(-5). Suppose b*o = 3*o + 9. Let l be 60/(-9) - 6/o. Which is smaller: l or -5?
l
Let k be 9/15 - (-6)/(-10). Suppose 5*j = 2*j + 3. Let z be (j/(-2) + 1)*2. Do k and z have the same value?
False
Let f = 43 - 22. Let w be (4/f)/1*3. Which is bigger: w or 1?
1
Suppose 3*r + 18 = 5*p, 0 = 5*p + 4*r - 2 - 9. Suppose -15 = p*g - 0. Let d = -5 - g. Do 2/7 and d have different values?
True
Let z = -3 - -5. Let s(v) = v**3 - 3*v**2 + 2*v. Let i be s(z). Let y = 6 + -5. Is y equal to i?
False
Suppose 0 = -2*z - z + 12. Let s = 6 - 5. Which is smaller: z or s?
s
Let p(d) = -4*d. Let y(m) = 5*m + 1. Let h(q) = -3*p(q) - 2*y(q). Let n be h(2). Suppose f - 3*f - 2*g = -12, 4*g - 14 = f. Is n at most f?
True
Let p = -17 - -19. Is p bigger than -2/15?
True
Suppose 16 + 8 = 4*r. Which is smaller: 8 or r?
r
Suppose 5*n = -3*c - 22, -c + 11 = -4*n - 10. Which is bigger: 3/2 or c?
3/2
Let y = -0.9 - -0.9. Let f = 0.4 + y. Which is smaller: f or -1?
-1
Let b = -41/9 - -44/9. Which is smaller: b or 0.9?
b
Suppose 2*j - 1 - 15 = 3*p, -j = 5*p - 8. Is j <= 8?
True
Suppose -1 = m + 2. Suppose 4 = -3*p - 8. Let u be (p + 1)/((-6)/(-4)). Is m less than u?
True
Suppose 2*r = -3*j - 6 - 1, 4*r = -20. Let i = j + 1. Suppose k - i*u = 3, -2*k - 6 = 4*u - 2*u. Is 2/5 smaller than k?
False
Suppose -8 = -5*m - 3. Let j be 2/(-8) - 7/4. Let w = j - m. Is -3 at least w?
True
Let k = 0.599 + -0.099. Which is smaller: k or -2?
-2
Let f = -0.5 + 0.3. Let i = 0.3 - f. Let r = i + 0.5. Is -0.3 smaller than r?
True
Let z be (-27)/(-36)*(-4)/(-3). Suppose 2*y - 10 = 5*c + 4, -4*y + 6 = c. Let t be (y/(-12))/(2/(-6)). Is t at least as big as z?
False
Let j be (-14)/(-63) + 2/(-9). Let p be 85/(-261) + (-2)/(-9). Let n = -44/145 - p. Is n != j?
True
Let v(d) = -d**3 + 7*d**2 + 7*d + 8. Let f = 13 - 5. Let g be v(f). Is 0 at least g?
True
Let x be 1*(-52)/(-20) - 2. Suppose -5*y = -2*y. Which is smaller: x or y?
y
Suppose 8*k = 3*k - 80. Is -16 greater than k?
False
Let v = -1.3 - -6.3. Which is bigger: -1 or v?
v
Suppose -47*o - 3 = -44*o. Is -2/97 at most o?
False
Let v = 31 + -25. Let p = 3.1 - 3. Which is greater: v or p?
v
Suppose 0 = n - 14. Which is greater: -2/5 or n?
n
Let l = 14 + -7.5. Let g = l + -7. Which is greater: g or 1?
1
Let p = 4 - 6. Let n be (2 - 3 - p)*-1. Which is greater: -2/21 or n?
-2/21
Suppose 3*p = a - 3*a + 4, 3*a - 6 = 3*p. Suppose u + 0*u = 5, p = i - 2*u + 25. Let v be (-10)/i - (-2)/15. Which is greater: v or 0?
v
Suppose 25*w + 2*w + 54 = 0. Suppose 0 = -5*g + 5 - 0. Which is smaller: g or w?
w
Let p be (-3)/(-9)*(45/10 + 0). Is 4 > p?
True
Let z(o) = -o + 13. Let s be z(7). Which is greater: s or 4?
s
Suppose -10*w = -4*w + 30. Suppose -5*s + 2*s - 9 = 0. Which is bigger: s or w?
s
Let n be 34/(-10) + 2/5. Let f be n/9*16/4. Which is greater: 0 or f?
0
Let m be (-23)/3 + (-5)/15. Let o = m + 12. Which is greater: o or 5?
5
Suppose 0*m - m = 0. Let n = 1/9640 + -578413/125320. Let k = 232/39 + n. Which is greater: k or m?
k
Suppose -5*m + 25 = 20. Let l be 22/(-26) + (-1 - -2). Is m at most l?
False
Let p = -0.5 - 1.7. Let r = p - -2.6. Is r smaller than -2?
False
Suppose 38 = c - 27. Let y be c/(-20) - (-2 + -1). Which is smaller: y or -2?
-2
Let n = 9 - 8.4. Let b = n - 0.7. Which is smaller: -3 or b?
-3
Suppose 0 = a - 6*a + 5. Let b be (132 + a)*(-12)/10. Let n = b + 159. Which is smaller: n or 0?
n
Let h be 39/66 + 3/(-6). Which is smaller: -1 or h?
-1
Let n = -257 + 1796/7. Is 0.1 less than or equal to n?
False
Suppose 0 = 2*y - 0 - 12. Suppose 5*f - 3*f - y = 0. Suppose f*g - d - d + 13 = 0, -3*g - 5*d = -22. Which is smaller: 2/11 or g?
g
Let n = -27 + 137/5. Let x = -4 - -3. Is x < n?
True
Let s = -0.3 + 0. Let j = s - 1.7. Is 0.3 > j?
True
Let g be 1*3/5 - 1. Let b = 6 - 2. Let m = 4 - b. Are g and m non-equal?
True
Let w be 0/1 + (-20)/(-4). Let v be ((-10)/(-12))/w*1. Do v and -1 have the same value?
False
Let u be 3/(12/16) - -5. Let k = u + -12. Let m = 5 - 9. Is m smaller than k?
True
Let x be 0/(-2) + 5 + -3. Suppose -6*v + 8 = -x*v. Is 8/9 < v?
True
Suppose 9*r - 133 = 2*r. Is 19 < r?
False
Suppose 3*c - 3*x + 72 = 0, -4*c - 96 = -0*x + 2*x. Let n = c + 18. Let z = 2 - 1. Is n at most z?
True
Suppose 29 - 3 = -2*l - 4*y, 0 = 4*y + 16. Let p be 6/(-15) + (-362)/l. Let q be 4/(-10) + p/(-45). Which is smaller: q or -6/5?
q
Let g = -1/259 + 782/1295. Let u be 3 - (-14)/(-4)*1. Is u at most g?
True
Let r = 68 + -66. Do 8 and r have different values?
True
Let s = 13 + -19. Let i = s - -7. Let q = 0 + -0.2. Is i <= q?
False
Let y = -1 - -2. Let v = 274/119 - 27/17. Which is bigger: y or v?
y
Let j be (7 + -9)/(-2 - 63/(-33)). Which is smaller: 19 or j?
19
Suppose i + 2*r + 4 + 6 = 0, -r - 5 = -3*i. Suppose i = a - 3*a - 2. Which is greater: 1/9 or a?
1/9
Suppose -2*x - 2 - 1 = w, 1 = 3*x - 4*w. Let u = -22 + 31. Is u greater than or equal to x?
True
Let b be 2 - (2 + -2 - 2). Which is smaller: b or 9/2?
b
Let q(s) = -s**3 + 17*s**2 + 18*s + 1. Let p be q(18). Let i be 4/(-10) + 48/(-5). Let z be 1/i*(2 - 4). Which is smaller: p or z?
z
Let p be (16/24)/((-6)/(-27)) + -51. Which is greater: -49 or p?
p
Let a be 24/14 - 2/(-7). Suppose g - x = 0, 5*g + 1 = 4*x + 3. Suppose -2*b = -g - 0. Is b > a?
False
Let w = 45 + -63. Let d = w - -83/5. Which is smaller: -2 or d?
-2
Let v = 1.4 - 1.7. Which is smaller: 2 or v?
v
Let l = 2 - 0. Let q be (l/(-3))/(4/(-42)). Let f(d) = d - 7. Let r be f(q). Which is bigger: r or -2/7?
r
Let n = 3001/1070 - 1/214. Which is greater: n or 2?
n
Let f be (-11)/(-33) - (-116)/(-39). Let h = f + 30/13. Let q be (-1)/(-10) - 1/2. Which is smaller: q or h?
q
Let f = -2.05 - 0.35. Which is bigger: 1 or f?
1
Let v = 9 - 10.4. Let q = 41.4 + -34. Let k = v + q. Which is smaller: k or 1?
1
Suppose -18 = -5*p + 2. Let d = p - 1. Suppose -4*q = -5*q + d. Is 3 less than q?
False
Let x be 2 - 1 - (-2)/(-4). Let l be 1 + 3 - 2/(6/9). Is l less than x?
False
Let f(h) = -h**3 + 7*h**2 + 4. Let k be f(7). Suppose 3*s - 22 = 3*p - k, -12 = 3*p - s. Let t be (2/(-6))/((-2)/(-4)). Is t not equal to p?
True
Suppose -2*w = 3*w + 5. Let r be (3 + -1)*9/(-6). Let y be ((-2)/(-4))/(r/6). Is w greater than y?
False
Let r = 0.46 + 19.54. Which is smaller: r or 0?
0
Let y = -451 + 250. Let b = -1008/5 - y. Is b less than or equal to 1/2?
True
Let p be 10/4*3/15. Which is smaller: 14 or p?
p
Let u = 0 - 0.2. Suppose -10*y + 2 = -8*y. Is y <= u?
False
Suppose 2*r = -4*w - 10, 3*r + 5*w + 11 = 2*r. Which is bigger: r or -18/11?
r
Let b(q) = q**2 - 6*q - 20. Let j be b(9). Is j at least as big as 0.3?
True
Let q = -3/266 - -2799/532. Which is greater: 5 or q?
q
Let f(o) = o**3 - 6*o**2 + 4*o + 5. Let s be f(5). Suppose s = 3*d + 8 + 16. Let w be d + 8 + 2/10. Which is greater: -1 or w?
w
Let a = -849 + 11042/13. Which is smaller: a or 2?
a
Suppose g + 4*g + 20 = 0. Let j be 911/g + 0 + 3. Let y = j - -223. Which is greater: -3 or y?
y
Suppose -2*a = 2*a. Suppose 0 = 4*j + 16, a = 5*y - 3*j + 5*j - 37. Which is smaller: y or 7?
7
Suppose 2*n + 0*n = 0. Let b be (2/4)/((-154)/33). Let q = 61/84 - b. Is q > n?
True
Let g be (-2)/(-3) + (-20)/(-6). Let s = g - 2. Suppose -2*t - s*y - 1 = 1, 4 = -4*t + 3*y. Which is greater: -2 or t?
t
Let p = 0.07 + 0.73. Let u = -0.2 - p. Let t = -1 + u. Is -1 greater than t?
True
Suppose -2*c - 14 = -m - 3*m, 4*m = -3*c + 19