. Let o = -4 + -2. Let d be ((-6)/16)/(9/o). Which is greater: d or m?
m
Let n = -17 + 16. Does n = 1/3?
False
Let b(p) = p + 15. Let i be b(-10). Which is smaller: 4 or i?
4
Let u be 4/10 - 56/90. Which is smaller: -1 or u?
-1
Let p = -3 - -2. Let g = -1 + p. Let w be 2*(-4)/3 + 3. Which is greater: g or w?
w
Suppose -2*w - 2*w = 7*w. Which is greater: -2/53 or w?
w
Suppose 2*s - b - 4 = 19, -38 = -2*s - 4*b. Are 13 and s unequal?
False
Let z = 5199/2275 + 1/2275. Which is smaller: z or 3?
z
Let d = -14 - -7. Let u be (-3)/(-1) + 1*d. Which is bigger: u or -3?
-3
Let i be ((-22)/(-12))/(1/6). Is 41/4 at least as big as i?
False
Let b = 2.9 + -3. Let k be 4/(-1)*(-1)/2. Suppose -5 = -4*r + 5*r + 3*o, -k*o = 6. Which is smaller: r or b?
b
Let j = 29.7 + -30. Let i = -2 - -1. Let w = i - 0. Is j < w?
False
Suppose 0 = 7*b - 10*b. Let h be ((-1)/(-1 + 0))/1. Is h equal to b?
False
Let n(g) = 7*g**2 - 5*g + 5. Let u be n(2). Is 23 != u?
False
Let h be ((-340)/105)/((-4)/6). Are 6 and h equal?
False
Let p = 12 + -16. Let q = 0 + p. Which is smaller: -1/3 or q?
q
Let g = -0.034 - -3.034. Let t = 8/49 - -13/49. Is g > t?
True
Let h = 13 - 14. Which is smaller: h or -1/2?
h
Let p = 24 - 21. Which is smaller: p or 1?
1
Let i be 2 - (2 - (-2)/3). Suppose -3*k + k + 2 = 4*v, 0 = -4*k - 4*v. Are i and k nonequal?
True
Let k = -1 + 1. Suppose 2*z + 23 = -1. Let x be (z/10)/(9/(-10)). Are k and x nonequal?
True
Let z(r) = r + 5. Let y be z(-5). Suppose 0*o - 4*k = -2*o + 2, -o - 4*k + 1 = y. Suppose n + 2 = -o. Is -2 greater than n?
True
Let f(q) = q**3 + 3*q**2 + q + 4. Suppose 4*n = -t + 2*t - 7, 4*t + 20 = 0. Let k be f(n). Is 1/3 less than or equal to k?
True
Let s be (6/10)/((-3)/(-15)). Suppose s*n - 9 = 0, 13 = -p + n - 6*n. Let u be (8/p)/((-2)/3). Which is greater: 1 or u?
1
Suppose 3*p - 51 = -33. Which is smaller: 33/7 or p?
33/7
Suppose 3*c + 0*c + 2*o = 18, -2*c = o - 13. Is 8 at most as big as c?
True
Let u be (-37)/56 + (-39)/(-104). Is 0.7 smaller than u?
False
Let v = 344/7 + -346/7. Let d = -2.1 + 2. Is d bigger than v?
True
Suppose 2*f - f + 10 = -4*x, -2*x - 2 = 2*f. Suppose -3*g + f*i - 5 = 0, 4*i = 8*i - 16. Is 2 > g?
True
Suppose -s + 2*m = -21 + 4, 2*s - 44 = 2*m. Let x be (-2)/(-7) + s/(-21). Let g be (x - -1)/(-1) - 0. Is 2/5 at least g?
True
Suppose o - 25 = 6*o. Let r(l) = l - 2. Let f be r(-2). Which is greater: o or f?
f
Let q = 2.8 - 3. Let j = q + 0.19. Suppose -21 = 3*x - 24. Which is bigger: x or j?
x
Let k = 3 + -1. Let a be k/4 + (-9)/(-6). Let j be a/7 - 4/63. Do 1 and j have the same value?
False
Let k be 4 + 4/(-1) + -12. Is -12 <= k?
True
Let l(q) = -q**3 - 3*q**2 + 6*q + 4. Let f be l(3). Which is smaller: -33 or f?
-33
Let v = -36.7 + 36.5. Let f = -2/21 + -1/21. Is f at least v?
True
Let a = 35 - 5. Which is greater: a or 32?
32
Suppose 0 = -b - 5*q + 25, q - 3*q = 4. Is 35 at most b?
True
Let d = -25 + 41. Suppose d = -0*v + 4*v. Suppose -3*b = -v*b - 5*k + 15, -3*k + 9 = 0. Are 1 and b equal?
False
Let n = 32 - 19. Let o be n/20 - (-3)/(-12). Let d(s) = s**2 - 7*s - 1. Let p be d(7). Is p >= o?
False
Let b = -12 - -6. Let j be ((-8)/(-10))/(b/(-30)). Which is greater: 3 or j?
j
Suppose 3*i + 10 = -14. Let a be 18/i - (-7)/28. Is a < -3?
False
Let q = 0.4 + -2.4. Let c = -12.1 - -12. Does c = q?
False
Suppose -5*v + 21 = -4*d - 27, 0 = 4*v + 4*d - 24. Let a(w) = 2*w - 10. Let r be a(v). Is 2/9 at most as big as r?
True
Let g = -3/41 + 135/164. Is 2 <= g?
False
Let n = 76 + -52. Let m be (1/3)/(2/n). Is m <= 4?
True
Let l = 14 + -21. Let a = -5 - l. Is a smaller than -2?
False
Suppose 6*s = s + 45. Let o be (-82)/88 + s/12. Let z(v) = v**2 + 1. Let q be z(0). Is o <= q?
True
Let w = 0 - 0. Let z = 16 + -11. Is z > w?
True
Let d = -0.64 - 0.46. Which is greater: d or 1?
1
Let g(m) = -m**2 - 4*m - 6. Let y be g(4). Which is smaller: -36 or y?
y
Let g(l) = -l + 4*l - l - 4 - 3*l. Let d be g(-5). Is d less than or equal to 2?
True
Let b be (-1 - 0)/((-6)/(-4)). Let m(z) = -z**2 - 3*z + 4. Suppose 3*k - 2*x + 16 = 0, 4*x - 2*x - 24 = 5*k. Let d be m(k). Which is greater: b or d?
d
Suppose 0 = d + 6 - 19. Suppose 2*c + 2*q = 6, -2*c - d = -c - 3*q. Let l = 1264/7073 + 2/643. Is l greater than c?
True
Let v = -15.05 + 0.05. Is 2 at least v?
True
Suppose -7*c + 2*c + 2*m = 4, -5*c - 4*m = -8. Which is smaller: c or 7/6?
c
Suppose 4*f - 2*p - 24 = 0, -f + 15 = 4*p - 9*p. Suppose -f*x + 13 = 3*c - 4, -1 = -x - 3*c. Let y be ((-20)/2)/(22 + -24). Which is smaller: x or y?
x
Let c = 0 - -2. Suppose -6 = -a - c*o, 5*a + 0 = -3*o + 2. Suppose -4*t + 3 = -4*f + f, -40 = 5*t + 5*f. Which is bigger: t or a?
a
Let w be (-8)/(-6)*18/(-11). Do w and -3 have the same value?
False
Let v = -1.2 - -1.5. Do 12 and v have the same value?
False
Let l(m) = m + 8. Let o be l(-7). Let v = -191/1005 - 2/201. Is o > v?
True
Let p = 11 + -12. Is 7 less than or equal to p?
False
Let n be (2 - -10)/3 + (-250)/35. Which is greater: -4 or n?
n
Let l be ((-12)/8)/3*-64. Is 32 != l?
False
Let x be ((-96)/(-40))/((-2)/10). Let n be (-35)/(-4) - 3/x. Let m be (-8)/20*n/(-6). Is m at least as big as -0.2?
True
Let j = 43 - 47. Is -18/7 smaller than j?
False
Let h = -7587/41 + 185. Let u = h - 72/205. Which is bigger: -1 or u?
u
Let o = -9 + 8. Let s = 0 + o. Is s at most -2/9?
True
Let f = 407 - 406. Let v be 2/(-145)*(-10)/6. Which is bigger: f or v?
f
Let k = 4/195 - -2527/390. Are k and 6 nonequal?
True
Let r(h) = -h**2 - 14*h + 16. Let v be r(-15). Let f = 3 + -3. Suppose f = 3*a + 12. Which is smaller: a or v?
a
Let u = 141 - 126. Is 9 less than or equal to u?
True
Let j be ((-135)/(-40))/9 + 74/16. Which is smaller: 1/3 or j?
1/3
Let y be (-3 + 6/4)*21/(-12). Is 4 greater than y?
True
Suppose 80 = -4*o + 60. Is o < -0.21?
True
Let o = 2156479/50 + -43131. Let k = -2/25 + o. Which is greater: k or -3?
k
Let q be (-5)/(-1)*2/(-5). Suppose -t - 3*z = -13 + 2, -2*z + 11 = -3*t. Which is smaller: q or t?
q
Suppose 0 = -4*o - o + 105. Suppose 11 + 14 = 5*y. Suppose -7*v = -4*v + y*k - 22, -4*k = -v - o. Is v less than 1/5?
True
Let y = 6 - 13. Let w = -8 - y. Do -1 and w have different values?
False
Suppose 12 = 3*p - 3, 0 = -m - p + 4. Is m <= -15/7?
False
Suppose -6 = 6*w - 30. Is 0.1 less than or equal to w?
True
Let d(t) = -t**2 + 3*t - 1. Let b be d(3). Let w(q) = -24*q**3 - 2*q - 1. Let f be w(b). Let p be (-1)/((f/(-2))/(-5)). Which is smaller: -1 or p?
-1
Let g = -3 + 2. Let u = 0 - -1. Let v = 0 - u. Is v >= g?
True
Let g = 10.7 + -11. Let t = 5 - 3. Let h be t/3*(-3)/8. Is h greater than or equal to g?
True
Let b = -3 + 2.9. Let y = 2 + -3/2. Which is bigger: b or y?
y
Let a(k) = -k - 4. Let c be a(-6). Let f = -1 + 1. Let o = f + 1. Does c = o?
False
Let t be -6 - (2 + -2) - -1. Is t at least -6?
True
Let p(t) = t**3 - 3*t**2 - 3. Let h be p(3). Let l = h - 2. Which is bigger: l or -6?
l
Let m be ((-5)/85)/(1/2). Is m not equal to 1?
True
Let t be 0/(2*(-2)/(-2)). Suppose t = 3*r - 2 + 11. Let w(s) = -s**2 - 3*s + 1. Let i be w(r). Which is greater: i or -1/4?
i
Let y = 0.4 + -1.4. Let m = 0.5 + y. Let l = -0.4 - m. Which is bigger: l or 2?
2
Let f(h) = -h**3 - 5*h**2 + 12*h - 10. Let r be f(-7). Is 4 at most as big as r?
True
Suppose -3*s = -k - 19, -9*s - 5*k = -4*s - 25. Let m be (-12)/18 - ((-34)/6 + -1). Are m and s equal?
True
Let c(b) = 8*b - 33. Let j be c(-9). Which is smaller: j or -106?
-106
Let q = 0.07 - -0.05. Let t = q - -4.88. Which is smaller: t or 1?
1
Let v(h) = h**3 + 4*h**2 - 6*h - 6. Suppose 11 = -4*t - 9. Let x be v(t). Let l be 4*(1 - -1)/(-132). Does x = l?
False
Let o = 3 + -1. Let v = 1 - o. Which is smaller: v or 0?
v
Let z = -21 + 48. Which is smaller: z or 26?
26
Let k be (3/(-3) - 1) + 6. Let p be k/6 - (-602)/(-1560). Let b = p + -2/65. Are b and 0 equal?
False
Suppose -6 = -3*q + q. Suppose -5 = 5*w, 3*l + 2*w - 7 = -q*w. Let t(b) = b + 2. Let v be t(3). Which is smaller: v or l?
l
Let f = 3 - 0. Suppose 0 = -3*s - f*v + 12, v = 3*s - 3*v + 9. Is -0.15 less than s?
True
Suppose 4 + 0 = 2*x. Suppose x*n = 6*n + 12. Which is smaller: -4 or n?
-4
Let b = 1 - -1. Let q be 0/b + 2 + -8. Are q and -7 non-equal?
True
Suppose 0 = 4*i - 4*h - 24, i = 2*h - 0*h + 3. Let n(l) = l**2 - 10*l + 6. Let d be n(i). Suppose -