alse
Let r = -0.8 + 1. Which is smaller: r or 10/7?
r
Let i = -5 - -7. Let a = 3 - i. Is -1 at least as big as a?
False
Let m = -1.6 + 1.71. Let s = m - -1.89. Which is smaller: s or 2/5?
2/5
Let c(b) = 2*b**2 + 33*b - 6. Let g be c(-17). Which is greater: -3 or g?
g
Let p(g) = g**3 - 4*g**2 + g - 2. Let y be p(4). Is 3/5 at most as big as y?
True
Let v(h) = h**2 + h - 23. Let f be v(-6). Let n = -9 - -16. Does f = n?
True
Let j = 0.063 - -4.837. Which is smaller: 2/3 or j?
2/3
Let i = -0.02 + -19.98. Let v = i - -9. Is 1 at most as big as v?
False
Let k = -8.01 + 1.31. Let g = k - -7. Which is smaller: 2 or g?
g
Let n be ((-11)/132)/(1/(-2)). Is 0 equal to n?
False
Suppose -4*b - 5*y - 80 = -y, y - 25 = 2*b. Does b = -15?
True
Suppose 2*m - 105 = -3*m. Let d = m - 44. Are d and -23 nonequal?
False
Let l = 69.9 - 76. Let p = -6 - l. Which is greater: p or -0.4?
p
Let n(z) = z + 13. Let m be n(-9). Suppose 0 = -3*d - 2*l + 14 - 7, 0 = m*d - l - 13. Which is smaller: d or 1?
1
Let v = 70 - 50. Suppose -2*x - 5*l = 25, 2*x + 2*l - 4 = -v. Let b be 1/x - (-26)/30. Which is smaller: b or -1/3?
-1/3
Let f = 19/2 - 11. Let v = 26 + -36. Let q = v + 8. Which is greater: f or q?
f
Let c = 10 - 40. Let q be 2*-2*(-1)/c. Which is smaller: 0 or q?
q
Let i = -20 + 31. Let o = i + -12. Is o at least -7/5?
True
Let i be 4/18 + (-674)/36. Let n = i - -19. Let k be -2*(-18)/(-12) + (-65)/(-25). Is k greater than n?
False
Suppose -2*z = 6, 2*z + 2*z - 96 = -4*u. Which is smaller: u or 28?
u
Let u = 9 - 29/3. Let h = 0.3 + 4.5. Let s = 0.8 - h. Does u = s?
False
Let j = -0.5 + 1.5. Which is greater: 2 or j?
2
Suppose 4*r + 7 = -1. Let v = -13/4 + 67/28. Which is greater: r or v?
v
Let x = -0.06 + 0.11. Which is greater: 1 or x?
1
Let u = -11.8 + 12. Which is greater: u or -3?
u
Suppose 140 = 6*r - 850. Let j = 505/3 - r. Which is smaller: j or -1/3?
-1/3
Suppose -12*r + 13*r + 2 = 0. Which is smaller: r or 0?
r
Let z = -5 + 9. Let q be (-1)/z + (-25)/(-4). Are q and 4 equal?
False
Suppose -5*d + 5*h - 328 = 127, 2*d - h = -180. Are -88 and d unequal?
True
Let k be ((-16)/6)/(4/(-42)). Does k = 29?
False
Suppose 4 = 5*j - 6. Suppose -3*c + 31 + 17 = 0. Let o be c/6 - (-3)/9. Is j less than or equal to o?
True
Let t = -18 + 17. Is 9 <= t?
False
Let y = -104/5 - -21. Is 1/2 <= y?
False
Suppose 3*h - 2*w + 3 = 2, 8 = -4*h + w. Let b = 0.4 + -0.4. Which is smaller: b or h?
h
Suppose 0 = -y - 3*y - 8, -y + 2 = 2*x. Suppose -5*k + x*d = -6 - 4, -2*k = d - 4. Suppose -j = -9 + k. Is j <= 8?
True
Suppose 0 = -4*c - t + 2*t + 118, 0 = -2*c + 3*t + 64. Is c less than or equal to 28?
False
Let w = -11/40 - -1/40. Let m be ((-9)/2)/(6/(-8)). Suppose -m*d + 5 = -d. Is d bigger than w?
True
Let s(o) = -2*o + 6. Let g be s(4). Let m be 1/(1*g/10). Is m greater than or equal to -7?
True
Suppose 0 = -c + l + 5 + 4, 2*l = -2*c + 6. Let s = 9 + -2. Is s less than c?
False
Let v = -4 + 8. Let r be v/2 - 96/52. Is 0 > r?
False
Let d(o) = o - 15. Let q be d(13). Let y be q/(-8) - 75/12. Which is smaller: y or -7?
-7
Suppose -3*l = -7*l - 12. Which is bigger: l or 0?
0
Let d = -5996/27 + 222. Which is greater: 0 or d?
0
Let b = 37 - 35. Which is smaller: b or 1?
1
Let i = 12 + -6. Let w(f) = -f**2 + 8*f - 9. Let s be w(i). Let o be 2/s - (-2)/6. Which is bigger: 3/2 or o?
3/2
Let r(m) = -m**2 - 3*m + 4. Let y be r(8). Let i be 4/(-2 + y/(-45)). Let k be ((-38)/i + -1)/(-2). Which is greater: k or 0?
0
Let j(p) = -2*p + 17. Let s be 18*((-4)/2)/(-4). Let h be j(s). Which is greater: -0.2 or h?
-0.2
Let g = 0.97 + 0.03. Let o = -6 - -7.2. Let k = o - g. Is 1 not equal to k?
True
Let h = 0.3 - 0.3. Let b = -4 - h. Let u = 1 + b. Does 1 = u?
False
Let n = 6.9 - 7. Let z = 0.4 + 0.6. Is n at most z?
True
Suppose 76 = 4*s - 112. Do s and 47 have different values?
False
Let c be 6/182*1*(-16)/24. Is c < 0?
True
Let d = -14 - -16. Which is smaller: d or 12/5?
d
Let c(j) = j + 1. Let t be c(13). Let x be t/21*(-1 + -2). Do x and -4/7 have the same value?
False
Let i be ((-16)/(-8))/(-1*2*-1). Are i and 2/231 equal?
False
Let l(m) = m**3 + m - 2*m**3 - 7*m**2 + 0 + 3. Suppose -y = -0*h - 2*h - 9, 0 = 2*h + y + 19. Let j be l(h). Are -2 and j nonequal?
True
Suppose 13*b + 4 = 9*b. Is -1 <= b?
True
Let n = -8 - -8.4. Let d = n + -1.4. Do d and -0.04 have different values?
True
Let s = -1 - -0.9. Let l = -0.1 + s. Let y = -0.07 + -0.03. Is y not equal to l?
True
Suppose -5*r + 61 = y - 0*y, r - 25 = 3*y. Is r at least 13?
True
Let r be 0 - -2*(-1 + 2). Let t = 3 - r. Let c be 2 - t*(1 + 1). Are 1 and c nonequal?
True
Let b(j) = j - 4. Let r be b(6). Suppose -5*o = -r*o - 30. Which is greater: 11 or o?
11
Let w(j) = -3*j + 16. Let x be w(5). Let g be (6/(-20))/((-6)/(-8)). Which is smaller: g or x?
g
Let r be (-8 - -5) + (1 - -12). Let y be r/5*(-1)/10. Is y less than or equal to 0?
True
Let m be (-2)/4 + 52/(-8). Let t = 11 + m. Suppose 3*h = 4*u + 3, 4*u - 5 = h + 2. Is h less than t?
False
Let q = 11 - -4. Is 16 less than q?
False
Let k = 31 + -32. Is k equal to 11?
False
Let q = 4 + -5. Let d = q - -1.2. Which is smaller: d or 0?
0
Let z be -7 + 2 + 0 + 3. Let y = -2 + z. Let r = -9 + 4. Which is bigger: y or r?
y
Suppose 2*y - 41 = -v - 2*v, 4*v = y - 4. Suppose 11*a - 7*a = y. Is -0.2 bigger than a?
False
Let a be ((-52)/3)/(12/(-18)). Let s be 4/26 - 82/a. Is -3 not equal to s?
False
Let l be 237/(-819) - (-4)/14. Let r = l - 811/2184. Which is smaller: r or 0?
r
Let c = 13 + -12. Is -3/8 less than c?
True
Let v = 6313/6 - 1048. Is v <= 3?
False
Let l(p) = p + 3. Let d be l(-3). Which is smaller: 5/18 or d?
d
Let v = 4 - 4.1. Let j = 3 - 2.9. Let q = v - j. Which is smaller: -0.1 or q?
q
Let y be (-7)/35 + (-126)/(-5). Let p = y + -15. Is 9 greater than p?
False
Let k(g) = -g + 5. Let o be k(4). Let u be o/(0 + -3 + 2). Suppose 5*l = 2*q - 0*q + 5, -3*q - 5*l + 5 = 0. Which is smaller: q or u?
u
Let t(v) = -v**3 - 7*v**2 - 4*v + 8. Let h be t(-6). Let q(d) = -d - 3. Let l be q(h). Let y = 0.6 - 0.7. Is l < y?
False
Let y be (-100)/(-154) - (-4)/(-14). Which is greater: -2 or y?
y
Suppose h - 3*h - 3*f = 3, -12 = -3*h + f. Which is smaller: 2 or h?
2
Let c = 557.99 + -565. Let o = -0.01 - c. Is -2/5 greater than or equal to o?
False
Suppose 5 = -4*d + 13. Suppose 5*y - d = -7. Let v = y + 0. Which is greater: 2/7 or v?
2/7
Let j(b) = -b + 3. Let t be j(-3). Suppose 0*n - 30 = -4*v - 2*n, 40 = 3*v + 5*n. Let p = v - t. Is p not equal to 2/13?
True
Let u be ((-96)/21 - -4)*-2 - 0. Suppose -4*f + 2*p - 12 = 5*p, f + 3*p = -12. Is u at most f?
False
Let y be 6 - 0 - (-2 - -5). Suppose -1 = -2*c + y. Let d be 1*c + 3 + -5. Is -1 greater than or equal to d?
False
Let j be 2/4*4/(-3). Let y be 1/(-4) - 1/(-4). Which is bigger: y or j?
y
Let j be (-3)/(-9) + (-16)/(-6). Let y be (0 + 3 - j)/3. Is 1 at least as big as y?
True
Suppose 4*b + 4 + 4 = 0. Let n be (3 - -1) + -2 + b. Which is smaller: 2/27 or n?
n
Let s(r) be the second derivative of -r**3/6 - r**2 + 6*r. Let f be s(-10). Is f >= 7?
True
Suppose 7*r + 17 = 5*n + 4*r, 5*n + 11 = -4*r. Suppose -4 = 2*v + 6. Let g be 2/1 - (v - -4). Is g at most as big as n?
False
Let d = 21 + -13. Let w(s) = -s**3 + 7*s**2 - 5*s + 2. Let x be w(6). Is d smaller than x?
False
Let n = -2 + 5. Let y = n + -4. Let w = 3 - 3. Which is smaller: y or w?
y
Suppose 0 = -4*z - 2*w - 8, 3 = -3*z - 2*w - 5. Which is bigger: z or 2/119?
2/119
Let s = -15 - -16.3. Let l = -1 + s. Let v be (-1)/(-1 - (-3)/1). Is l at most v?
False
Let n = 0.4 - 0.3. Let x = 15 + -10. Let j = x + -5. Is j != n?
True
Let j = 4 - 5. Which is smaller: 0 or j?
j
Let h be 4/1 + (1 - 0). Let o = 170 + -166. Which is smaller: h or o?
o
Let k = 3.625 + 0.075. Let a = -4 + k. Let b = a - -0.2. Which is greater: b or -2?
b
Let m = -95 - -473/5. Suppose -2*n = -3*j - 22, 0*j - n = -4*j - 21. Let r be ((-2)/j)/(18/12). Which is smaller: r or m?
m
Suppose -3*c + 4*b + 4 = 0, -1 - 4 = 5*b. Let s be 552/5 - (-8)/(-20). Let p = s + -1431/13. Is c at least p?
True
Let c = -5 + 5.1. Let y = c + 0.3. Which is smaller: 0.1 or y?
0.1
Let d(a) = 2*a**2 + 4*a - 16. Let n be d(-5). Is n at least as big as 13?
True
Let u = -3.8 + 0.8. Let y = -0.1 + 5.1. Let a = y + u. Is a bigger than 1?
True
Let p be 0 - -1 - 