 45/(-24)*(-4)/20. Which is bigger: n or 0?
n
Let z = 26 - 38. Is -12 smaller than z?
False
Let y = -13 - -8. Let l be (2/5)/(y + 7). Is -4 smaller than l?
True
Let a = 0.8 + -1.8. Let w = 27.9 - 29. Let j = w - a. Is j less than or equal to -0.8?
False
Let t = 41 + -23. Is 18 != t?
False
Let y = -5.8 - -2.6. Let s = 3 + y. Which is smaller: -1/2 or s?
-1/2
Suppose -t = 2*v - 8, 3*t - 1 - 11 = -3*v. Let g = -0.1 + -0.9. Let r = g - -1.1. Are t and r non-equal?
True
Suppose 3 = 4*j + 3*z, -1 = 2*j + z - 2. Suppose j*v = -v. Suppose 2 = 2*u - v. Is 2/13 smaller than u?
True
Suppose 0 = 5*l - 3*p - 179, 0*l - 2*l + 65 = p. Let k = 169/5 - l. Is 1 < k?
False
Suppose -2*x + 78 = -n + 3*n, -5*x + 4*n = -159. Is 35 at most x?
True
Let g(u) = -3 + 2*u + 4 - 7. Let x be g(4). Suppose -x*z + 0 = -2. Are z and 2/39 equal?
False
Let b be 4/26 - (3291/(-1170) + 3). Is b greater than or equal to 0?
False
Let f be 1/(1*2/(-12)). Let m = f + 7. Is m bigger than 1?
False
Let p = 1.47 + -1.13. Is p not equal to -0.3?
True
Let w = -24 + 25. Is -1/24 less than w?
True
Suppose -3 = -2*r - 11. Let h be (-5)/r + 3/4. Which is bigger: 6/5 or h?
h
Suppose 0*d - d = 6. Let z be (7/d)/(2/(-4)). Suppose 5*p + 0*p - 5 = 0. Which is smaller: z or p?
p
Let h(u) = 6*u**3 + 2*u - 1. Let g be h(1). Suppose g*m + 3*y = 2*m + 5, -3*m = y - 7. Is m equal to 4?
True
Let o = -1/1349 - 2505/260357. Is 0 at most o?
False
Let o be ((-4)/10)/((-2)/(-30)). Let p be 27/36*4/o. Which is bigger: p or 0?
0
Suppose 3*h = -4*f + 6 + 18, 0 = 3*f - 9. Suppose 0 = c + h*c. Let n be (0*1/2)/1. Is c bigger than n?
False
Let q = -2.96 + -0.04. Let j = -17.1 - -17. Which is bigger: q or j?
j
Let j be (-1 - -1) + (-59)/3. Let t = j + 19. Suppose 2*p + 0 = 2*y - 8, 4*p = 5*y - 15. Which is greater: y or t?
t
Let x be ((-3)/(27/2524))/2. Let d = x - -140. Let b = 3 - 2. Is b < d?
False
Let l(n) = -2*n + 5. Let t be l(3). Let k(h) = -h + 10. Let s be k(11). Is t >= s?
True
Let y be (3/4)/((-4)/16) - -3. Is y greater than or equal to 25?
False
Let j be ((-1)/(-1))/(3/9). Suppose -7*m - 28 = -j*m. Is -7 < m?
False
Suppose 33 = -2*x - 3*x + f, 0 = 2*f + 4. Is x != -7?
False
Let t(l) = -l**2 + 11*l - 9. Let b be t(7). Do 19 and b have the same value?
True
Let l = 12 + -12. Let t = 765 - 25243/33. Is t greater than or equal to l?
True
Let c be (-14)/36 - (-2)/4. Let a(g) = -2*g + 32. Let n be a(16). Is n less than c?
True
Let y be (-6)/(-27) - 8/36. Is y smaller than 2/155?
True
Let j = -4.04 - -0.04. Let n = j - -3.9. Let i = 0.2 - 1.2. Which is smaller: n or i?
i
Let o(t) = -5*t + 8. Let g be o(6). Which is smaller: g or -21?
g
Let y(k) = k**2 + 9*k + 14. Let s be y(-4). Is -36/7 equal to s?
False
Suppose -12 = -3*o, -11 - 3 = w - 3*o. Let z = 1 + -4. Is z > w?
False
Let z(x) = -65*x**2 - 1. Let s be z(-1). Let p be 1 - 2 - s/42. Let h = 3 - 1. Are h and p equal?
False
Let d(i) = i**3 - 8*i**2 + 1. Let z be d(8). Let g be ((-5)/10)/(10/(-128)). Let j = g - 91/15. Does j = z?
False
Suppose 0*b = b. Let h be 9/(-2)*1/1. Let r = 29/6 + h. Is r less than b?
False
Let w be -2*-3*(-2)/20. Let b = 0.01 + 0.03. Let u = b - -0.06. Which is bigger: w or u?
u
Let o = -1/61 - 57/244. Which is greater: o or -9?
o
Let j be (-1 + 2)/(4 + -5). Is j at most as big as -2/17?
True
Suppose -4 = -3*r + 17. Suppose 2*s + h = -0*h + 5, r = -2*s + 3*h. Which is greater: s or 2?
2
Let p = -113 - -2939/26. Which is smaller: p or -1?
-1
Let s = 2 - 0. Let b be 14/20 - 3/15. Is s at least as big as b?
True
Let b(d) = -d**3 - 16*d**2 + 18*d + 12. Let g be b(-17). Is g bigger than -8?
True
Let q = 0.66 - 0.06. Let s = 0.4 + q. Is s greater than or equal to 4?
False
Let n = -11603/211 + 55. Which is smaller: -1 or n?
-1
Let h = 0.55 - 0.6. Let p = h - -0.45. Which is smaller: 1 or p?
p
Let z = 6 + -8. Let h = 2 - z. Let c = -17 + 18. Which is bigger: h or c?
h
Suppose 10 = 3*c + 1, 3*c = 3*r - 3. Suppose 2 = 3*y - 5*i + 8, 4*i = 2*y + r. Which is smaller: -1 or y?
y
Let s = -13 + 20. Let q = -7 + s. Does 1/3 = q?
False
Suppose -2*c + 3*n = 2*c - 15, 4*c - 7 = -5*n. Let r be (c - -11)*1/2. Which is greater: 6 or r?
r
Suppose j + 7 = 6. Let m be (0 + (-7)/(28/(-3)))/(-3). Is m >= j?
True
Let l be 108/(-42)*56/(-12). Is l greater than 11?
True
Suppose 0*o - 20 = -2*q - 4*o, -25 = -5*o. Let z be q - (-3 - 0)/3. Which is bigger: 3/5 or z?
z
Let l = -62 - -117. Suppose l = 5*s + 10. Let k(z) = z**3 - 10*z**2 + 9*z + 3. Let o be k(s). Is 3 at most o?
True
Let g = 0.53 + -66.53. Is -1/3 >= g?
True
Let m be -5 + 6 + 10/(-7). Which is greater: 1 or m?
1
Let t = 23 - 19. Let a be (t - (-72)/(-15))/2. Which is bigger: a or 1?
1
Let h be (8/20)/(573/(-15) - -2). Which is greater: h or 0?
0
Let f = 3 - 3.5. Let t = 13.2 + -14. Let u = t - f. Which is bigger: u or -2/5?
u
Suppose -5*p + o + 103 = 9, -o = 5*p - 86. Which is smaller: 16 or p?
16
Let p(r) = -3*r**2 + 5*r + 3. Let m(w) = 7*w**2 - 10*w - 6. Let t(n) = -4*m(n) - 9*p(n). Let v be t(-3). Suppose -v*k = 2*k. Is 3/7 greater than k?
True
Let u = -15 - -16. Which is greater: -2/5 or u?
u
Let c = -2/37 - 177/148. Which is bigger: c or -1?
-1
Let x = 1 - -4. Suppose -1 + 11 = x*q. Suppose -q*a = -0 - 4. Do 3 and a have different values?
True
Suppose 2*y = -2*p + 4, -3*p + 7*p - 5*y = -1. Is p greater than -10/31?
True
Let h be (8/(-6))/(2/3). Let a be h/(-12) - (-1)/(-6). Which is greater: a or -6/23?
a
Suppose -3*d - 5 = -4*a, 4*a = 2*a + 2*d + 2. Let t be 1*(-8)/(-4) - a. Which is smaller: t or 0.4?
t
Suppose 4*n - 4*s = 16, -2*n - 2*s - 19 = -7. Is n < 1/21?
True
Suppose -10 = 4*c - 2, 2*c - 21 = 5*b. Let t(h) = h**3 + 6*h**2 + 4*h - 3. Let p be t(b). Which is smaller: 2/3 or p?
2/3
Suppose 0 = 2*m + 4*v - 44, m - 5*m + 5*v = -49. Which is smaller: m or 15?
15
Let c be (-1)/((-3)/(-3)) - 2. Is c less than -3?
False
Let r = 0.167 + 0.033. Is -2/7 > r?
False
Suppose c - 1 = -3*b, -2*c + 3 = 5*b - c. Let l be ((-291)/(-567))/(b/3). Let q = l - 19/9. Does -1 = q?
False
Suppose -2*b + 4 = -b. Suppose 0*o = -o + b. Suppose 0 = 2*z + 3*n - 15, -2*z + o*n - 20 = z. Which is greater: -2 or z?
z
Let o = 1.8 - -0.2. Let a = -106 - -103. Is a >= o?
False
Let w be ((-6)/(-4) + (-13 - -16))/3. Let h = 5 + -2. Are h and w equal?
False
Let o = 12.7 + -13. Which is bigger: o or 0.4?
0.4
Let n = 103/55 - 8/5. Is 0 equal to n?
False
Let k = 237/805 - 1/115. Let v = -0.79 - 1.29. Let p = 0.08 + v. Which is smaller: k or p?
p
Suppose j + 4 = 2*l + 2*l, -4*j + 5*l = 5. Let u(d) = -d**2 + 9. Let g be u(3). Does g = j?
True
Let y be 1/2*-2*3. Let s be (-2)/((y*1)/15). Let t be (-6)/s + (-4)/(-10). Is 0 equal to t?
False
Let z = 79 - -7. Is z <= 87?
True
Let p = 10.4 - 37.2. Let q = 27 + p. Which is smaller: 1/3 or q?
q
Suppose -9*c = -5*c + 124. Is -31 not equal to c?
False
Let l = 148/17 - -639/34. Let d = l - 28. Is d bigger than -0.2?
False
Let l(v) = -v - 13. Let n be l(-13). Which is smaller: n or 1/4?
n
Let n = -19 + 9. Let z = n - -9. Which is smaller: z or -0.1?
z
Suppose s + 2*p = -4*s - 5, s = p + 6. Let u = -1 - -0.7. Is u < s?
True
Suppose h - 9 = -3*h - 3*u, -5*h + 4*u + 50 = 0. Let j(f) = -f + 6. Let l be j(6). Suppose 3*c + h + 3 = l. Is c not equal to -5?
True
Let b = -8 - -6. Let j = b - -1. Suppose k = 5*i - 22, -3*i = 5*k - 8*i + 30. Which is smaller: j or k?
k
Let n(z) = -6*z + 3. Let q(c) = -2*c + 9 + 7*c - 11. Let l(p) = 3*n(p) + 4*q(p). Let i be l(-2). Is i equal to -3?
True
Suppose 2*h - 5*r - 31 = 0, 0*h + h = -2*r - 7. Let d = 0 - h. Suppose -2 = 4*y + 14. Which is smaller: d or y?
y
Let y(z) = -z**2 - z. Let s be y(1). Let j = s + -1. Let u = 2 - 4. Is j <= u?
True
Let y be 1*(0 + (-4)/6). Let j be (-73)/30 - (-2 - 1). Let m = j - 1/15. Which is smaller: y or m?
y
Suppose t - 5*t - 28 = 0. Let p = -6 - t. Let y be p + (-1)/(-7 + 3). Which is greater: y or 0?
y
Let u(q) = -q**2 - q + 2. Let c be u(0). Suppose h = 0, 0 = 5*i - 3*i - 4*h - c. Which is smaller: i or 2/23?
2/23
Let j be 1/1 + 7 + (8 - 14). Which is bigger: 18/17 or j?
j
Let h = 0.09 - -12.91. Let r = -47.9 - -48. Which is smaller: r or h?
r
Let d = 717 + -33701/47. Which is smaller: 0 or d?
d
Let t(z) = 13*z**2 - 25*z - 20. Let s(m) = 7*m**2 - 13*m - 10. Let f(x) = 11*s(x) - 6*t(x). Let g be f(8). Suppose -3*h + 3 + 0 = 0. Is