0?
True
Let h be ((-10)/15)/(7/6). Which is smaller: 0 or h?
h
Let n be (-1)/(-20)*(-6)/9. Let i = n + 17/60. Is i smaller than 2?
True
Let x = 102 + -72. Let g be x/25 + (-1)/5. Let j be 28/(-45) - 8/(-36). Which is greater: g or j?
g
Let d = 18 - 11. Suppose d*v = 3*v - 8. Which is smaller: 1 or v?
v
Let b be (-2)/4*(-2)/(-6). Let w = -2 - -3. Which is smaller: b or w?
b
Suppose 0*k - 2*k + 10 = 0. Suppose 0 = -3*a - 9, 2*m - m + 25 = -k*a. Which is smaller: -9 or m?
m
Suppose -11 = d + 2. Let n = -11 - d. Which is greater: -0.2 or n?
n
Let a(k) = -k**3 + 2*k**2 + 7*k - 5. Let q be a(4). Let i be q/4 - (-6)/6. Let m = -0.3 - -0.3. Which is smaller: m or i?
i
Let h(i) = i + 3*i - i - 3. Let l be h(2). Let g(j) = 2*j - 2. Let u be g(l). Which is smaller: u or 3?
3
Let r = 10/43 + -308/215. Which is smaller: r or -1?
r
Let z = -17 - -15. Is z bigger than -8/7?
False
Let a(n) = n + 7. Let y(g) = -g**3 + 3*g**2 - 3*g + 2. Let c be y(3). Let o be a(c). Is -4/7 bigger than o?
False
Let t = -21/5 - -4. Suppose -3*c = 4 - 1. Which is smaller: t or c?
c
Let n = 2 - 2. Suppose -4*q + r + 12 = n, -2*q = q - 4*r - 22. Let b = q - 2. Is b <= 1/4?
True
Suppose 2*w - 25 = 3. Which is smaller: 12 or w?
12
Let n = 4/9 - 1/9. Let m = 1 + 0. Let r = m + -1. Which is smaller: r or n?
r
Let r(i) = i**3 - 5*i**2 + 4*i + 2. Let t be r(4). Suppose 27 = 5*f - 8. Suppose 2*q + f*d - t*d + 3 = 0, -q - 1 = 2*d. Is q bigger than 2?
False
Suppose -4*h - p + 4*p + 7 = 0, -5*p + 27 = 3*h. Is h > 5/4?
True
Let s(v) = -v + 16. Let n be s(11). Suppose 5*j - 24 = 3*q, -n*q + 3*j - 21 = j. Which is greater: q or -2?
-2
Let c(i) = i + 12. Let r be c(-9). Suppose 1 = -2*l + r. Let n be (-2)/24*(-6)/(-4). Is l less than n?
False
Let t = -6 - -5. Let c = t + 4. Which is smaller: c or 1?
1
Let m(f) = -f**3 + 3*f**2 + 5*f - 3. Let r be m(3). Is r greater than 11?
True
Suppose -1 - 15 = -4*u + 4*y, -20 = u + 5*y. Let h(l) = l**3 - 3*l**2 - 5*l + 4. Let n be -2 - -4 - 4/(-2). Let g be h(n). Is u greater than or equal to g?
True
Let s = 17 - 8. Is s > 0.1?
True
Let b = -11 - -11.2. Is b <= 0?
False
Let o be 11/((10/6)/5). Let h be (27/(-30))/(o/(-13)). Let j = 1/22 + h. Which is smaller: j or -1?
-1
Suppose 2*a - 16 = -2*v + 3*v, 0 = 3*v - 5*a + 47. Which is bigger: v or -13?
-13
Let p = 17.2 - 11. Let n = -6 + p. Which is bigger: n or 0.1?
n
Let c = -89/70 + -3/10. Is -3 bigger than c?
False
Let l be -1 + (-4 - -1) + 46/11. Let d be 1*(-32)/55 + 0. Let t = d + l. Do t and 0 have different values?
True
Let t(n) = -n**3 - 5*n**2 - 2*n + 4. Let h be t(-4). Let o be 32804/(-110) - h/10. Let k = o + 298. Is 0 <= k?
True
Let t = 0.18 - -1.82. Is t > 2?
False
Let c = -3 + 4. Let z be 0*(2 - 2 - c). Which is smaller: z or -3/4?
-3/4
Suppose 2*t + 0 = -2. Let a(l) = 2*l**3 - 5*l**2 - 5*l. Let v be a(5). Let c be 6/2 + v/(-28). Which is smaller: c or t?
t
Let h(j) = 2*j - 10. Let o be h(9). Let u(z) = 1. Let k(i) = -2*i - 3. Let q(c) = -k(c) - 6*u(c). Let b be q(6). Which is smaller: b or o?
o
Let l be ((-3)/1 - -1)*4. Let h be l/32 - 22/(-40). Which is greater: 0 or h?
h
Let x(d) = d + 4. Let g be x(-4). Is 3/5 bigger than g?
True
Suppose 4*j = -0*s + 3*s - 35, 5 = -s - 2*j. Do s and 13/3 have the same value?
False
Let m(b) be the third derivative of 0*b - 2*b**2 - 1/12*b**4 - 1/3*b**3 + 0. Let p be m(-2). Is 3 not equal to p?
True
Let c(q) = q**2 - 10*q - 6. Let u = 20 - 10. Let i be c(u). Is -4 less than or equal to i?
False
Let v be ((-27)/2 - (-8)/(-16)) + -1. Is v greater than or equal to -14?
False
Let g be (-1 - 0)*(3 + -1). Let f be 1 + (2 - (-2 - g)). Let t be ((-2)/(-12))/(2/f). Which is smaller: 0 or t?
0
Suppose 0 = -j + 14 + 7. Is 21 less than j?
False
Let t be -2*2*(-3)/(-6). Is t smaller than -7?
False
Let q be (0 - -3) + 87/(-33). Let l(u) = -u**3 - 7*u**2 + 1. Let d be l(-7). Is q >= d?
False
Suppose 4*x = 12, -x = 3*z + x - 18. Let t = 20 + -40. Let q be (-2)/(-3)*(-90)/t. Are z and q unequal?
True
Let u be 415/(-4) + ((-1)/(-4))/(-1). Is u greater than or equal to -103?
False
Let u = -3 - -6. Let w(y) = -y**3 + 3*y**2 - y + 4. Let c be w(u). Which is greater: c or 2?
2
Suppose 0 = 4*w - w. Let k = -2/119 - 228/595. Is k equal to w?
False
Let s be (-3)/(-3 - 126/(-4)). Which is smaller: s or 0?
s
Let z = -1.87 + 0.68. Let w = -0.86 + z. Let x = w + 0.05. Which is bigger: 2/3 or x?
2/3
Suppose 2*i - 7*i - 20 = 0. Let t be (2/i)/(-1 + 2). Let r = 0.9 - -0.1. Is t at most as big as r?
True
Let z = -7 - -9. Suppose 5*b + 9 = -y + z*y, -2*y = -3*b - 25. Let h be 6/(-28) + (-4)/y. Do -4 and h have different values?
True
Let c(y) = 6*y**2 + y**2 - 1 - 4*y**2. Let i be c(1). Is 1 at most i?
True
Let c = 0.09 + 0.04. Which is smaller: -1 or c?
-1
Let r be ((-228)/8)/(-1) + 3. Let t = r - 31. Which is smaller: -5 or t?
-5
Let x be (-2)/3*(-6)/(-22). Which is greater: -1 or x?
x
Let p = 17 + -12. Let n = -7 + 6. Let l = 0.9 + n. Is l smaller than p?
True
Let t = -24 + 54. Let q = t - 59/2. Let f = 3 + -2.8. Are q and f nonequal?
True
Let h = 3.73 + -4. Let i = 31 - 30.93. Let j = i + h. Is j at most -1?
False
Let r be (-2)/(-2) + -16 - (-12 + 13). Which is bigger: r or 0?
0
Let q(f) = f**3 + 13*f**2 + 18*f + 10. Let x be q(-12). Which is smaller: x or -61?
x
Suppose -6*m = 3*p - m - 1, -3*m = p + 1. Suppose p*f - 2 = -4. Which is greater: f or 1?
1
Let q = -16 - -17. Does 4 = q?
False
Let h = 4 + -4. Suppose 0 = 2*f + 2*s - 4, -f + 0*s + 2*s - 1 = h. Suppose -2*k = k. Which is smaller: k or f?
k
Suppose o + 4*o + 25 = 0. Let c = o + 5. Let x = 1/5 - 3/5. Which is smaller: x or c?
x
Let b = 1.2 + -0.1. Let m = -1 + 0.9. Let k = b + m. Is k greater than or equal to 1?
True
Let k = 1617/52 - 125/4. Which is bigger: k or -1?
k
Let l = -1169 - -265365/227. Does l = -1?
False
Suppose 0 = -m + v + 2, -1 = -3*m - 0*v + 2*v. Let b be 3/m + (-4)/(-1). Let c(g) = g**3 - 8*g**2 - 9*g + 2. Let x be c(9). Which is greater: b or x?
b
Suppose 0 = 7*h - 3*h + 12. Are -9/5 and h unequal?
True
Let w = 0.45 - 3.45. Are -0.2 and w nonequal?
True
Let q = -1 + -1. Let l = q - -1.5. Is l greater than or equal to -1/3?
False
Suppose -4*x + 9*x = 0. Suppose 3 = 15*f - 12*f. Let y be (1 - x - -1)*f. Which is bigger: y or 0.2?
y
Let h be 0*((-1)/(-2) - (-1 + 1)). Is 4/25 > h?
True
Let h = 0 + 1. Which is smaller: h or -3?
-3
Let u be 8/20*(6 + -1). Is u at most 13/5?
True
Let i = -134 - -141. Which is greater: 4 or i?
i
Let f = 75 - 156. Which is smaller: f or -83?
-83
Let m be (-2)/(-17)*9/(-6). Is -1 bigger than m?
False
Let v(a) = a**3 - 7*a**2 - 10*a + 22. Let u be v(7). Is u less than or equal to -48?
True
Let q = -42 + 40. Is -1 at most q?
False
Suppose 70 = -5*n - 0*q - q, 4*n + 4*q + 40 = 0. Let o be n/2*6/9. Let g be 3/o*(-6)/9. Which is smaller: 0 or g?
0
Let y be 1/(-3)*-2*4/216. Which is smaller: -1 or y?
-1
Let z = -2 + 3. Let s = -233 + 1403/6. Which is greater: z or s?
z
Let p = -589 + 586. Suppose -5*c + 12 = -d, 3*c - 3*d = 2*d - 6. Which is smaller: p or c?
p
Let o(d) = -d**2 + 1. Let c be o(2). Is -2 less than c?
False
Let f = -1/91 - 359/455. Is 2 at most f?
False
Let o be -3*5*6*(-2)/(-4). Do -46 and o have the same value?
False
Let y = 0 - 2. Let l(b) = b**3 + 10*b**2 - 2*b + 6. Let m(n) = -5*n**3 - 40*n**2 + 9*n - 25. Let t(o) = y*m(o) - 9*l(o). Let a be t(10). Is -4 equal to a?
True
Let v(x) = x**3 + x**2 - 2*x - 1. Let i be v(2). Let s = -5 + i. Which is smaller: s or 4/7?
4/7
Let m(a) = -a**2 + 5*a + 7. Let b be m(6). Let r be 24/12*1/2. Let n be ((-2 + 1)/r)/(-1). Is n != b?
False
Let h(v) = v**2 - 4*v. Let o be h(4). Suppose 18 = -3*a + 4*w, 2*a + 3*w = -9 - 3. Let p be -1 - (0 - (-4)/a). Is p > o?
False
Let b = -4 - -4.4. Let i = -2.7 + 2.1. Let u = i + b. Is u at least 3?
False
Let r be (-5)/15*18/(-2). Let z be 0/(2 - -2 - r). Is -3/7 != z?
True
Let g = 0 + -3. Let n be ((-5)/g)/(4/12). Suppose -n = 2*p - 1. Which is greater: 0 or p?
0
Let x be (-27)/18*62/(-3). Let u = x - 45. Is -13 <= u?
False
Suppose 0 = -4*n - 0 - 12. Let m(l) = -l + 5. Let p be m(-3). Suppose -4*q + 4*b = p, 2 = -5*q - 4*b - 17. Is n <= q?
True
Let m(s) = -s**2 - 11*s - 27. Let b be m(-9). Is -8 greater than b?
True
Let z = 4 + -4. Let l = -0.2 - -1.2. Let w = 0.9 - l. Which is bigger: z or w?
z
Let p = -0.6