rue
Let i = -0.7 + 0.4. Which is bigger: i or 0?
0
Let m(a) = a**2 - 2*a - 14. Let c be m(-3). Is c less than or equal to 16/7?
True
Let a be (-215 - 1*-1)/(4 + 3). Are a and -30 nonequal?
True
Let x(b) = b**3 + 4*b**2 - 4*b + 6. Let j be x(-5). Suppose -5*o - 15 = 0, -2*q + 30 = -5*o + 9. Is j bigger than q?
False
Let c = 43 + -26. Let y = c + -31. Which is bigger: -15 or y?
y
Let h be 8/14*(-1)/(-2). Which is smaller: -0.18 or h?
-0.18
Let o be ((-1)/5)/((-25)/(-70)). Let a = -48/175 - o. Let q be (-6)/4*8/12. Which is bigger: a or q?
a
Suppose -4*r + 36 = -4*u, -4*u - 3 = -r - 0*r. Suppose -3*y - f = -3*f - r, 5*y + 3*f = 50. Suppose -3*s + 17 = -4. Do y and s have different values?
False
Let s = -53 - -80. Which is greater: 26 or s?
s
Let t = -5 + 4. Let r = 27/41 + -733/615. Let y = 11/15 + r. Is t at most y?
True
Let k = -28 + 41. Let z = k + -5. Let r = 8.03 - z. Which is greater: 0 or r?
r
Let c = 6 + -4. Let s(o) = o**2 + 6*o + 7. Let y be s(-5). Let w be 0/((y + 0)*1). Is c != w?
True
Let f be (0 + 2)/(1 + 6). Suppose -2*n - 1 - 1 = 0. Is f at most n?
False
Let s(c) = c**2 + 15*c + 37. Let r be s(-12). Is -2/29 at least r?
False
Let v = 0.13 - 6.13. Let d = v + 6.3. Let k = 13/2 + -25/4. Is k less than d?
True
Let z = 13 - 9. Let s = 13 + -8. Let i be (-46)/(-10) - (-2)/s. Is z < i?
True
Let g = 23/279 - 6/31. Let s(y) = y**3 + 3*y**2 - y. Let f be s(-3). Suppose -5*v + 2*v - f = 0. Is g not equal to v?
True
Let q = -4 + 4.2. Is -2/23 smaller than q?
True
Suppose -3*z = z. Suppose -d - 3 = 0, 5*a + 2*d + 2*d = -42. Let i be (-1)/2*(-4)/a. Which is greater: i or z?
z
Let c = 0 + -3. Let p be (8/6)/(8/(-24)). Let q = p + 2. Which is greater: q or c?
q
Let z be (-24)/9*6/(-4). Let p = z + -8. Let o = 11 + -15. Is o at most p?
True
Let k = 10.8 + 0.2. Let h = k + -10.9. Which is greater: h or -3?
h
Let w = -6.04 - -6. Is 2 greater than w?
True
Let v = 0 + -0.2. Let l = 0.1 + v. Let d(q) = q**2 + 4*q - 6. Let f be d(-5). Which is smaller: f or l?
f
Let j be (-1)/((28/(-8))/(-7)). Let l be -6 + 5 + (j - -1). Which is greater: 1/10 or l?
1/10
Suppose -5*a + 4*c = -a + 12, 5*a - 2*c + 9 = 0. Which is smaller: -2/461 or a?
a
Suppose 4*c = 5*k - 48, 0*c + 4*k = c + 23. Let g(q) = q + 9. Let w be g(c). Suppose 0 = 7*v - 3*v - 4. Which is smaller: w or v?
v
Let h(b) = -b**3 - 3*b**2 - 3*b - 1. Let t be h(-2). Let j be (-2)/8 + 58/40. Is t less than j?
True
Suppose 4*a = 2*a. Let c be (2/4)/((-14)/(-4)). Which is bigger: a or c?
c
Suppose -2*p = -3*d - 19, -2*p - 4*d - 2 = -0*p. Suppose 9*c + 36 = p*c. Which is bigger: c or -7?
-7
Suppose 5*n = -4*t - 49, 3*t - 5*t - 4*n - 32 = 0. Let y be (t/(-12))/(3/(-10)). Is y at most -3?
False
Let j(b) = -b**3 + 3*b**2 - 2*b + 3. Let y be j(2). Let p(k) = -k**2 + 4*k - 4. Let f be p(y). Suppose -1 = -3*u - 7. Which is smaller: f or u?
u
Let g be (-16)/56 + (-59)/(-35). Is 1 bigger than g?
False
Suppose -5*l + 5*u - 20 = 0, 2*u - 3*u + 1 = 2*l. Let d = 4804/9 - 38272/63. Let h = 74 + d. Which is smaller: l or h?
l
Let l be (6/8)/(2/(-8)). Let a be 2 + 2 - 5/10*18. Is a greater than l?
False
Let o = 67.92 + -70. Let y = o - -0.08. Is y >= 1/3?
False
Let y be 6/(-9)*(-453)/2. Let m = -1055/7 + y. Is m > 2/11?
True
Let q = 48 - 238/5. Let f = 11/15 - q. Which is greater: f or 1?
1
Let b be (0 + -2)/(-16) - 2. Are b and -2 nonequal?
True
Let w be 2/(-90) - 4/(-18). Let p(f) = f + 6. Let o be 1/(-2) + (-39)/6. Let a be p(o). Which is smaller: a or w?
a
Let d be (18/(-27))/(148/99). Let r be (2/6)/(37/(-6)). Let t = d + r. Which is smaller: t or 0?
t
Let m(y) = 6*y**2 + y + 1. Let d be m(-2). Let n be -1 - (75/d)/(-3). Suppose -u + 7 = -2*c + 4*u, -5*c = -4*u + 9. Which is smaller: n or c?
c
Let k = -35/3 - -12. Is k at least as big as 1?
False
Let f = 2600/17 + -153. Suppose 3*v + 8 = 8*v - 4*o, 0 = -v + 5*o + 10. Is v at least f?
True
Let c(a) = a**2 + 3*a - 2. Let f be c(-4). Suppose -17 = 2*u - 3. Let n be u/(-2) - (-12)/(-8). Do n and f have the same value?
True
Let q = -14 - -14. Which is smaller: -4/5 or q?
-4/5
Let k be (-7)/(-14)*268/(-6). Which is smaller: -22 or k?
k
Suppose 2*y = s + 2, 0 - 4 = -4*y - 4*s. Is y > -1?
True
Let t = -2.8 + 1.4. Let i = t - -1. Let o = 0.4 + i. Is o less than or equal to -1/2?
False
Suppose 0 = j + 2, -7*j + 10 = 5*r - 2*j. Let i = r - 6. Let q = 2 + i. Which is bigger: q or 1?
1
Let x = 0.1 + 0. Let r = -4 + 5. Which is bigger: x or r?
r
Let c = -19 + 5. Is c less than -1/4?
True
Let k = 2362/11 - 215. Suppose x = -0*x + 6*x. Is k greater than x?
False
Let b = -104.9 - -105. Does b = 48?
False
Let o = 1/14 + 10/7. Let v = 14 + -10. Let y = v + -3. Is y <= o?
True
Suppose r + 0*r + 3*o - 9 = 0, 4*r - 3*o + 9 = 0. Let b = r + 1. Suppose 15 = -2*c + 7*c - 2*n, -c + n = -6. Is c >= b?
True
Suppose 4*s - 85 + 13 = 3*v, -v = 0. Let c = 0 - s. Which is smaller: c or -17?
c
Suppose 5*x - 40 = 5*g, 2*x - 25 = -0*x + 5*g. Let w(a) = a**2 - 2*a - 3. Let p be w(-2). Suppose -4*b + 5*b = p. Are x and b equal?
True
Let h(k) = 7*k**2 - 8*k - 6*k**2 - 7 - 12. Let j be h(8). Which is bigger: j or -18?
-18
Let z(c) = -c**2 + 6*c + 5. Let u be z(7). Let j(y) = y**2 + 10*y + 4. Let x be j(-10). Let l be 2 - (x + 2 + 0). Which is bigger: l or u?
u
Suppose 4*a = 2*a. Let m = a - 1. Let t be (0 - -2) + 0 - m. Are 3 and t unequal?
False
Let y = -2 + -1. Let x be (-7 - -1)*4/(-6). Let q = x + -6. Which is bigger: q or y?
q
Let y(p) = -p**3 + 8*p**2 + 9*p + 4. Suppose 4*c - 1 = 35. Let r be y(c). Suppose -4*a = -r*l - 2*a + 8, -3*l + 5 = -2*a. Is l smaller than 0.1?
False
Let y = -14 + 16. Is 0 >= y?
False
Suppose 4*a + 15 = -a. Let h be 3 + 1 + 3 + a. Let l be 2/h*0/2. Which is greater: l or 2/11?
2/11
Let u be 2/6*1*-1. Let i = 19 + -13. Let f = -6 + i. Is f bigger than u?
True
Let d = -23 + 0. Is -22 at least as big as d?
True
Let l(x) = -x**3 - 7*x**2 + 5*x - 10. Let v be l(-8). Which is smaller: 12 or v?
12
Let l(i) = i - 4. Suppose -3*m - 6 = -5*m. Let s be l(m). Is s greater than or equal to -1?
True
Let z be ((-6)/(-4) - 1)*-12. Let c be -1 + 0/(z/(-2)). Let t be (-2)/4*(-4)/(-6). Which is greater: t or c?
t
Let v(m) = -m**2 - 10*m + 11. Let p be v(-11). Let g(h) = h - 8. Let x be g(p). Is x at most -7?
True
Let m = 3.07 - 3.2. Do -0.1 and m have the same value?
False
Let n = 11 + -13. Do n and 5 have different values?
True
Let u(w) = -4*w**3 + 2*w**2 - 1. Let i be u(1). Let h = 2 + i. Which is smaller: 2/11 or h?
h
Let o(h) = -h - 5. Let c be o(6). Let m be (-5 - c)*1/(-2). Which is bigger: -1 or m?
-1
Let q = -0.2 + -1.8. Let k = -48 + 47.9. Which is smaller: k or q?
q
Let n = 6.92 - 7. Is 1/4 at least as big as n?
True
Let n = -74 + 75. Let p be (9/3)/(42/4). Which is bigger: p or n?
n
Let s = -16 - -18. Which is smaller: s or -1?
-1
Let q = -1 + 1. Let d be 1/10 - 4/(-8). Is q >= d?
False
Suppose 0*o + o - 3 = 0. Let d be 5/o - 2/(-6). Let j be 4/(-14) + (-40)/(-42). Which is smaller: d or j?
j
Let u = 8/9 - 5/9. Which is bigger: 28 or u?
28
Let r = -173/3 + 55. Is r at least as big as -4?
True
Suppose -5*l - 3*b + 14 = 0, 24 = 3*l + l - 4*b. Is l < -1?
False
Let m be ((-1429)/(-4))/(13/(-8)). Let l = -220 - m. Suppose -4*n = 4*r + 12, -3*n + 4 = 5*r + 21. Which is greater: n or l?
n
Let r(c) = c + 13. Let p be r(-12). Let q(o) = -o**2 + 8*o - 7. Let s be q(5). Suppose -d + 3*j + s = 0, 5*d - j + 5 = 17. Which is bigger: d or p?
d
Let c = 76 - 48. Let k be ((-6)/(-10))/(c/5). Does 0 = k?
False
Let i(u) = 2*u + 9. Let t be i(0). Which is smaller: 11 or t?
t
Suppose 13*x = 17*x - 8. Do 15/8 and x have the same value?
False
Let s = -51.05 - -50. Let a = 0.05 + s. Is -2 at most a?
True
Let i = 17 - 17.2. Is i greater than or equal to 1.8?
False
Suppose m + 3*m = 4. Which is smaller: m or -2.9?
-2.9
Let s(q) = -q**2 + 3*q - 2. Let x be s(3). Let h be 15/(-40)*x/3. Is 0.03 bigger than h?
False
Suppose 6*j - 4*j = 20. Is j less than or equal to 10?
True
Let s = 0.1 - 1.4. Let g = -0.3 - s. Suppose 0 = -t + 1 + 1. Is t < g?
False
Let r = 407 + -404.03. Let q = r - -0.03. Let m(a) = a**3 + 4*a**2 + 2*a - 2. Let j be m(-3). Which is greater: q or j?
q
Suppose -b + 0 = -1. Let u = 25/3 - 869/105. Are u and b equal?
False
Let m = 2 - 7. Let p = m - -4. Is p at most 1/2?
True
Let m be 6/9 - (-