 0)/((-3)/3). Which is smaller: v or c?
c
Let y be (-3)/(-2)*20/(-20). Suppose 4*u + 4 = 2*u. Which is bigger: u or y?
y
Let s = -148 - -438. Does 290 = s?
True
Let t(k) = k**2 - 4 + 8*k + 11 + 7*k - 8*k. Let s be t(-6). Is 2/7 less than or equal to s?
True
Let i = -987 - -26642/27. Is 1 greater than or equal to i?
True
Let f = -35.994 - -36. Let v = 2.006 - f. Is 31 smaller than v?
False
Let g be (-4)/(-6) + (3 - 6040/1635). Which is greater: g or 0?
0
Let u = 454 - 451. Is u < -1.2?
False
Let r(p) = p + 9. Let x be r(5). Let z(j) = 2*j**2 - 26*j + 3. Let q be z(x). Is 31 less than or equal to q?
True
Let z(b) = -b**3 - 6*b**2 - 8*b - 6. Let o be z(-4). Let d = 2 + 2. Suppose -2*i = -0*i + 2*g + d, -2*i - g - 9 = 0. Do i and o have different values?
True
Let i(a) = 2*a**3 - 30*a**2 - 21*a + 23. Let z be i(16). Is z at least as big as 200?
False
Let k = -8507/11 - -773. Is -1.5 at least as big as k?
False
Suppose 0 = 3*d - 8 - 7. Suppose 9 = 4*w + 5*l, -8*w - d*l + 15 = -3*w. Is 14/3 greater than or equal to w?
False
Suppose 4*u - 5*v = 24, -u + 12 = -2*v + 6. Suppose -11 = -2*a - 5*h, u*a - 20 = 4*a - 2*h. Is a greater than 105/8?
False
Suppose 4*q - 7 = 9. Suppose -r + q*r = -12. Let g = 129 + -397/3. Do r and g have different values?
True
Suppose 5*h - 25 = 5*w, 0 = 2*h - 4*w - 10 - 6. Suppose -g + 37 = h*g - 2*m, -g - 2*m + 23 = 0. Let a = -10 + g. Are 4 and a equal?
False
Let p be (-9 - -7 - -47)/((-1)/(-3)). Are p and 136 unequal?
True
Suppose -2*f = -5*p - 5*f + 996, -400 = -2*p - 2*f. Which is bigger: 199 or p?
199
Let w = 224 - 157. Is w smaller than 70?
True
Let a = 0.4 - -0.6. Let y = 0.8 - a. Let m = 33/2 + -17. Which is bigger: m or y?
y
Suppose -20 = 4*w + 4*g, -2*g - 24 = 5*w + 2*g. Which is smaller: w or 14?
w
Let r(b) = b**3 - 7*b**2 + 6*b - 3. Let j be r(4). Is j < -5?
True
Let m = -0.33 + 0.23. Are -141/8 and m non-equal?
True
Let w = 6406/13 + -492. Which is smaller: w or 1?
w
Let m = 1715 + -1678.35. Let r = m + -35. Let c = r - 0.15. Which is bigger: c or 0?
c
Suppose 328 = -q - o - 3, -2*q - 3*o - 667 = 0. Which is bigger: q or -325?
-325
Suppose 5*s - 114 = 3*k - 29, -4*s + 86 = -3*k. Is k smaller than -262/9?
True
Let b = -5 + -11. Let r be (12/(-7))/6*53. Is b less than r?
True
Let h(w) = w + 8. Let i be h(-7). Let k be 6*i*4/(-12). Let z be (14 - 15)*(-4)/k. Is z >= -1?
False
Let q(m) = 6*m + 4. Let b be q(-1). Is -6/7 less than or equal to b?
False
Let b = -7 + -7. Let z = 778 + -792. Let s = z - b. Which is greater: s or 1/2?
1/2
Let w be 1/(8/10 - (-11262)/(-14565)). Let h = w + -77/2. Is -2 > h?
False
Let f = 7638/5 - 1531. Which is smaller: f or 6?
f
Let t(b) = -b**2 + 9*b + 34. Let f be t(12). Let w(g) = -2*g - 2. Let j be w(f). Which is smaller: 1 or j?
1
Let q = 24.5 - 212.5. Is q >= -1?
False
Let u = 15.098 - 15. Let i = 25.098 - u. Which is bigger: 1 or i?
i
Let c = 38.3 + -137.3. Which is bigger: c or 0?
0
Let z be 8/3*(-27)/(-12). Let p = 7 - z. Let v be (-2)/(-6) + p/6. Which is bigger: v or -0.1?
v
Suppose -4*s + 5*c = -6, s + 13 = -2*s - 5*c. Let z be s/(-1) - 91/52. Does 0 = z?
False
Suppose 4*b + 32 = h, 3*b + 18 + 7 = h. Let o(j) = -j**2 - 4*j + 2. Let s be o(-5). Which is smaller: b or s?
b
Let g(u) = 2*u + 2. Let m be g(1). Suppose -m*t + 7*t = 0. Which is greater: 3/10 or t?
3/10
Let n be (-14)/(-70) + (-24)/(-5). Suppose -4*r + 132 = g + 4*g, -4*r + 132 = -n*g. Let t = 34 - r. Which is smaller: -2/17 or t?
-2/17
Let b be 10/(-2) + 3568/16. Suppose -5*u + 310 = 5*q, -70 - b = -4*q + 4*u. Is 68 less than q?
False
Let z = 5.7 - 0.7. Let j = z - 4.8. Let y(u) = -2*u**2 - 21*u - 39. Let a be y(-4). Which is smaller: j or a?
j
Let m = 17 - 50. Let d = -34 - m. Is -18 bigger than d?
False
Suppose 6*d - 31 = -1. Suppose m + d = 4. Are -1/5 and m non-equal?
True
Suppose -2*v - 2*v = 4*d + 16, 0 = -v - 2*d - 9. Let g be (-50)/(-22) + (-16 - -14). Are v and g non-equal?
True
Let p(i) = i**3 - 11*i**2 + 11*i - 5. Let x be p(10). Suppose 2*t + 2*z - 36 = 0, t + 2*t + x*z - 64 = 0. Which is greater: t or 0.1?
t
Suppose 2*g = -70*x + 73*x + 193, -x = -4*g + 61. Is -0.4 equal to x?
False
Let a = -547 + 548. Which is greater: -6/841 or a?
a
Let m = -0.1 - -0.1. Let u = m + 1. Let r = -5.6 - -7.6. Which is greater: r or u?
r
Let n be 2/5*4140/368. Which is bigger: n or -1/3?
n
Let a be (-5 + 4 + 2)*2. Suppose -f = -2*v - 10 - 8, -a*f + 20 = -2*v. Is 2 less than v?
False
Suppose -5*g + c = 94, 0*g - 6 = g + 3*c. Let b = -302 + 303. Which is greater: b or g?
b
Let c = -450.262 + 9.562. Let w = c + 466. Let j = w - 1.3. Which is greater: j or 0.1?
j
Let m(q) = -52*q + 1. Let f be m(3). Let g be -4 + f/20*-2. Is 11 < g?
True
Let l = 38 + -37.62. Let c = 0.7 - l. Let o = c - 3.32. Is o at most as big as 6?
True
Let x = -3 + 2. Let p = -106/15 + 1999/285. Which is bigger: x or p?
p
Let c be (-3)/18 + (-2975)/(-30). Let i be 4*(1 + c/12). Which is bigger: i or 36?
i
Let l be (-15)/6*18/15. Let q be (l/8)/((-21)/4). Are q and 1 nonequal?
True
Suppose 0 = -4*h + 12, -2*h - 28 = 2*r + 44. Let o = -28 - r. Let w be (-930)/(-115) - (-2)/(-23). Which is greater: w or o?
o
Let d be 4/(-26) + (-2)/(-364)*132. Let x(p) = p**3 + 2*p**2 - p. Let u be x(0). Is d greater than or equal to u?
True
Suppose 0 = -49*y + 22*y - 54. Suppose o = -v + 1, -o + 6*v - 3 = 3*v. Which is smaller: y or o?
y
Suppose 8 = -f + 12. Let q(n) = -4*n + 16. Let y be q(f). Is -2/17 bigger than y?
False
Let i = -468 + 578. Is i >= 544/5?
True
Let i = 157.72 - 158.6. Is i greater than -5?
True
Let r = 0.94 - 0.14. Let u = -2.8 + r. Are 9 and u equal?
False
Let a = -211793786993/120818702 + -5/698374. Let n = a - -1753. Which is greater: -1 or n?
n
Let q(r) = -6*r**2 - 42*r + 48. Let n be q(-8). Which is smaller: n or -5/281?
-5/281
Suppose -6*d - 29 = 67. Let z = d + 8. Which is greater: z or -5?
-5
Let p = -9 - 20. Let r = -30.7 - p. Let n = -1.8 - r. Is 0.8 at least n?
True
Let d(j) = 3*j**3 - j. Let p be d(-1). Suppose -q + 8 = -4*x, -2*x - 5*q + 4*q = -2. Which is smaller: x or p?
p
Let c(u) = -2*u**2 + 99*u + 298. Let o be c(-3). Is -49/3 != o?
True
Let q be (-2 - 3)*(-1)/(-3)*-3. Suppose 3*o - 10 = -2*o, -q*p + 23 = 4*o. Let r be (8/20)/((-2)/(-10)). Are p and r nonequal?
True
Let m = -0.051 + 82.051. Which is smaller: 2/5 or m?
2/5
Let s = -11.25 + -170.75. Is s at least 2?
False
Let f be 4/8 - (1160/(-592) + 3). Which is smaller: f or -1?
-1
Let g = 1 - 0. Let n = 4 - g. Suppose 0 = -2*c - 3*m + 10 + 2, 4*c + 16 = 4*m. Which is greater: c or n?
n
Let t = -89 + 91. Suppose 2*z + 10 - t = 0. Is z < -4?
False
Let t be (-4)/(-7) + (3 - 4). Suppose 0 = -2*x + h + 36, 43 = 5*x - 2*h - 47. Let r = x + -19. Is t >= r?
True
Suppose -2*b - 84 = -b. Let t be b/(-14) - 4*1. Suppose 90 = -5*w + 3*d, 0 = -4*w - d + t*d - 72. Are w and -19 non-equal?
True
Let g be 5*2*(-1)/(-5). Suppose 3*n = -2*x + 26, n - 10 = -0*n - g*x. Let q = 36 - 29. Which is smaller: q or n?
q
Let h(l) = l**3 + 11*l**2 + 25*l + 9. Let r be h(-8). Which is smaller: r or -1/97?
-1/97
Suppose 0 = -4*d + 4*v + 433 - 1149, -v = -4. Which is smaller: d or -176?
-176
Suppose a + 2017 = 5*s, 5*s + 0*s - 5*a = 2005. Let l be (80/(-140))/(s/(-14)). Which is smaller: l or -1?
-1
Suppose -2*d + 44 = 4*z - z, z + d = 16. Let a be -2 + (z/36 - 4/3). Is -12/5 greater than a?
True
Let o be (-68)/3 - 11/33. Let f = -88 - -442/5. Which is bigger: o or f?
f
Suppose 7 = 4*r + 27, -c = -2*r - 124. Are c and 2 unequal?
True
Suppose -300 = -80*d + 105*d. Is d smaller than -20?
False
Let x = 30.954 - -0.046. Let v = x + -20. Let z = v - 11.2. Is -0.01 less than or equal to z?
False
Let a be (1240/(-96) - -3) + 7. Is a at least -4?
True
Suppose -3 = p - 2*p. Let x(o) = 0 - p - o - 10. Let u be x(-13). Is u <= 1/3?
True
Let c be (-112)/10 + (-2)/(-10). Suppose 0 = -3*y - 21 - 12. Let f = c - y. Do 0.4 and f have different values?
True
Suppose -13*k + 1688 = -9037. Is k greater than 824?
True
Let v = 7 - 7. Let o(m) = 9*m**3 - 2*m + 1. Let u be o(1). Let i = 5 - u. Is v <= i?
False
Suppose 0 = 9*v - 2706 - 2946. Is v >= 2/9?
True
Let x = 122 + -72. Let k = 46 - x. Is 8 at most as big as k?
False
Let p be ((-12192)/20)/(-6) - 3. Let x = p + -98. Which is smaller: x or -2?
-2
Let i = 0.08 - -0.12. Let h = -7 + 7. 