uppose -22 = -3*k + 20. Which is greater: k or m?
k
Let z = -121/272 - -9/16. Let p = 0.2 + 1.8. Which is bigger: p or z?
p
Let s = -46 + 45.38. Let g = 0.7 + s. Is 0.1 at least g?
True
Let j = 19 - 14. Let q = j - 3. Is q bigger than -2?
True
Let a(t) = -3*t - 11*t**2 + 7 - 2*t + 7*t - 3*t + t**3. Let b be a(11). Is b less than -5?
False
Let n = -51730/47399 - -2/4309. Are -2 and n nonequal?
True
Suppose -3 + 8 = -5*d. Which is bigger: -1/80 or d?
-1/80
Let j = 29.9 + -30. Which is bigger: -48 or j?
j
Let t = -1 + 2. Suppose 5*w + 0 = 5. Suppose 3*c + 2 = -2*s, 0 = 2*s + 9 - w. Which is smaller: t or c?
t
Let p = -7/522 - 43051/1044. Let y = p + 41. Let w = -7.11 - -0.11. Which is greater: w or y?
y
Let s be ((-5)/(-3))/((-1)/(-3)). Let m be (-9)/(-6)*4*1. Let x = m - s. Is -3/7 > x?
False
Suppose 0 = -4*z - 2 - 10. Let o be (-1)/(-6)*(-4)/z. Which is smaller: o or 1?
o
Let x be 94/(-14) - 2/7. Suppose -28 = 4*c - 4*t, -t - 5 = 3*c - c. Let s(a) = a**2 + 5*a - 2. Let r be s(c). Which is bigger: x or r?
r
Let q be 14/(-10) - 2/(-5). Which is smaller: -3 or q?
-3
Let h be (-1)/3 + 0 - (-32)/(-48). Let u = 247/4 + -62. Is h > u?
False
Let z(n) = -n**2 + 6*n - 4. Suppose 0 = -5*h - 2*o + 32, 2*h - o = -3*h + 29. Let g be z(h). Which is greater: g or -6?
g
Let h = -0.42 - -0.48. Which is smaller: h or 1?
h
Let w(l) = l**3 - 3*l**2 - 4*l + 4. Let z be w(4). Suppose 0 = z*s + s - d + 6, -3*s - 3*d = 0. Is s at most as big as -6/11?
True
Let j(x) = x**3 - x + 21. Let v be j(0). Is v greater than or equal to 21?
True
Let y(a) = -8*a + 127. Let w be y(16). Suppose -2*g + 2 = -4. Suppose -2*t = 2*b + 1 + g, -6 = 3*b - 2*t. Is w at most as big as b?
False
Let w(a) = a**3 - a**2 - 2. Let h be w(0). Let q be (-1 + (-9)/(-15))/(9/15). Is h < q?
True
Let b be (3/30)/((-1)/(-24)). Which is bigger: 3 or b?
3
Let j = -58/11 - -64/11. Which is greater: j or 2?
2
Suppose u + 11 = 63. Is 53 >= u?
True
Suppose 3 + 1 = 4*s. Let x = s - -6. Is x smaller than 7?
False
Let l = 21/2 - 31/3. Which is greater: 0 or l?
l
Let h = -5.6 + 5. Let z = 53 - 52. Are z and h nonequal?
True
Let g = 37 + 41. Let o = g + -183. Let q be -2 - (o/24 + 2). Which is greater: -1 or q?
q
Let v(i) = -i**3 - i - 1. Let m be v(0). Which is bigger: m or 2/5?
2/5
Suppose -u + 112 = -6*u - s, -5*u + s - 108 = 0. Is -22 less than or equal to u?
True
Let z(i) = i**2 + 6*i - 1. Let l be z(-8). Suppose -5 + l = 5*p. Are 5/6 and p equal?
False
Let m = 0.9 + 1.1. Which is smaller: -0.7 or m?
-0.7
Let v be 3 - (-3 + 3 + -5). Let b be ((-3)/v)/((-3)/(-2)). Which is bigger: b or 1?
1
Let l be 25/(-2)*(-4)/(-35). Does -1 = l?
False
Let g be (45/(-100))/((-1)/5). Is 3 at least as big as g?
True
Let l be (-20)/2097*(-1 + -2). Let j = l - -1247/2563. Let r = 2/11 - j. Is 1 at most r?
False
Let v = 0 - 0. Let p be (-3)/(1/(-1)) + -3. Suppose y = -3*j - 2*j - 7, p = -y + 2*j. Which is greater: v or y?
v
Let r be (0 - 1) + (-2571)/(-2589). Let v = r + 18363/34520. Let h = v + -1/40. Which is smaller: h or 1?
h
Let y(x) = x + 11. Let c be y(-10). Which is greater: 12 or c?
12
Let w(u) = u**2 + 15*u + 15. Let k = -14 - 0. Let r be w(k). Do r and 2/5 have different values?
True
Let i(c) = c - 3. Let k be i(7). Suppose -k*q - q - 3 = y, 4*y = q - 12. Is -1/5 < q?
True
Let z(w) = w**3 + 3*w**2 - 4*w - 2. Let t be z(-4). Suppose 4*n - 102 = 3*a, 4*n + 4*a = 84 + 4. Let p be (t/6)/(4/n). Is p at least -2?
True
Let r be (1 - 0/(-1))*-1. Let k(f) = -f**3 - 6*f**2 - 5*f - 4. Let y be k(-5). Let l = y - r. Which is smaller: -2 or l?
l
Let j(v) = -7*v**3 + 2*v**2 - v + 3. Let d(f) = -7*f**3 + 2*f**2 - f + 4. Let b(h) = -3*d(h) + 4*j(h). Let o be b(1). Is -6 > o?
False
Let i = -12 - -11.8. Is i smaller than -6?
False
Let s be (-1)/6 + 43/6. Is 8 not equal to s?
True
Let q = 0.09 + -0.18. Let k = -0.04 - q. Let h = -0.05 - k. Is h greater than or equal to 3/2?
False
Let i(m) = 3*m + 3. Let z be i(0). Do 4 and z have the same value?
False
Let x(r) = r**3 - 6*r**2 + r - 6. Let y be x(5). Which is smaller: -27 or y?
-27
Let q = -3/347 + -12453/4511. Is q less than -3?
False
Let n(a) = -a**3 - 4*a**2 - 4*a - 3. Let h be n(-2). Let i(q) = q**2 - 9*q - 12. Let p be i(10). Is h greater than p?
False
Suppose -3*u = u + 3*p - 8, -3*p - 12 = 0. Let v be 17/3 - 12/18. Do v and u have the same value?
True
Let b be -4 - (4/2 + -4). Let r = b - -3. Let n(p) = 2*p - 1. Let q be n(1). Is q not equal to r?
False
Let z = -4.92 + 4.6. Which is smaller: -0.1 or z?
z
Suppose -4*b = -2*b - 6. Suppose b*c - 16 = -c. Suppose y - 6*y = 2*g - 35, -5 = -4*g + 3*y. Which is bigger: c or g?
g
Suppose t - 2*t = 9. Let h be 2 - (-2 - 39/t). Is -1 less than h?
True
Let c = -2/63 - -79/504. Suppose -o + 3*r + 12 = -2*o, -2*o + 4*r + 16 = 0. Which is smaller: o or c?
o
Let x = -5 + 3. Is x != -3?
True
Suppose -3*y + 19 = -5*m, -3 = -2*y - 5*m - 32. Let h(b) = b**2 - 6*b - 2. Let j be h(6). Let c = y - j. Is -3/5 > c?
False
Let k = -0.1 + 0.2. Suppose 6*h - 4*h + 10 = 0. Let a be (60/16)/h + 0. Which is greater: k or a?
k
Suppose -r - 19 = -4*r - 4*x, 3*r - 5*x = 64. Let v be (-1)/((-5)/(-3)) + (-252)/(-20). Is v not equal to r?
True
Let f = 99.9 - 96. Let q = f - 4. Are 3 and q non-equal?
True
Let w be 4/24*(1 - -4). Is w bigger than 2?
False
Let j be ((-56)/6)/(2/6). Which is bigger: j or -29?
j
Suppose -3*r - r + 12 = 0. Are 3 and r nonequal?
False
Suppose 2*a = 5*q - 24, a - 4*q + 10 = 4*a. Which is smaller: -7 or a?
-7
Let z(h) = -h**3 - 9*h**2 - 12*h - 10. Let u be z(-8). Suppose -11 = -3*q + u. Which is greater: 10 or q?
q
Let c = -15 + 18. Suppose -3 - 3 = -c*g. Which is smaller: g or 1?
1
Let l = -0.05 + -13.95. Let d = 17 + l. Which is greater: d or -0.2?
d
Let r be -1*((-1325)/(-7) + 1). Let g = 190 + r. Is g > -0.9?
True
Let m(k) = k**2 - 12*k + 17. Let z be m(9). Is -8 at least z?
True
Let m be 21/27 + -1 + 0. Let n = 0.12 + -0.02. Which is greater: m or n?
n
Let d be (-14)/12*1*(2 + 0). Which is smaller: -2/7 or d?
d
Let g be 4/15*(-5)/2. Which is smaller: 4 or g?
g
Let l be 15/10 - 5/2. Which is greater: -8/7 or l?
l
Let s be 4/6 + (-14)/30. Suppose -5*w - 14 + 9 = 0. Which is greater: w or s?
s
Let t be (-7)/(-5) - 12/30. Let l(z) = z**2 - 8*z + 6. Let u be l(7). Is u smaller than t?
True
Suppose -3 - 1 = 4*k. Let d(z) = -z**3 + 8*z**2 + 6. Let m be d(8). Let w be (m/(-39))/(-1 + 2). Is w != k?
True
Let m(o) = o**3 - 9*o**2 - 7*o - 18. Let i be m(10). Which is smaller: i or 4?
4
Let k(t) = 10*t + 52. Let v be k(-6). Let z(i) = -2*i**3 - 2*i**2 + i + 2. Let h be z(-2). Let p = h + v. Which is smaller: -2/11 or p?
-2/11
Suppose 2*g + 3*a + 2*a = -7, 2*g = 4*a + 20. Suppose -6*m = 5*m - 22. Is m not equal to g?
True
Suppose -4*p - 8 = -3*l + 4*l, 4*p + 8 = -3*l. Let f be (p/(-6))/((-2)/6). Let x = f + 2. Is 3 less than x?
False
Let o = 0.118 + -3.118. Which is greater: o or -4?
o
Suppose 4*k = -3*i - 10, -2*k + 3*i - 7*i - 10 = 0. Let m(u) = u - 4. Let w be m(5). Let g be (w/1 + 1)/(-7). Which is greater: g or k?
g
Let k be 1/(27/(-14) - -2). Suppose -5*d - 44 = -k. Is d smaller than -6?
False
Let t = 0.8 + -0.9. Do 3/2 and t have the same value?
False
Suppose 2*n - 14 - 6 = i, 8 = -2*i. Let q be 2/n - 17/4. Which is greater: 0 or q?
0
Let b(p) = p + 3. Let m be b(-4). Let x = -101 - -167. Let s be (-1)/3 - (-34)/x. Which is greater: s or m?
s
Let z = -107/13 - -8680/1053. Is 0 equal to z?
False
Let o be (-3)/7*(-2)/(-3). Let p = -79/56 - -9/8. Is p less than o?
False
Let b = 12 - -6. Let t = b + -29. Let y = t - -6. Which is bigger: y or -0.1?
-0.1
Let o(b) = -b + 9. Let c(x) = x**2 + 4*x + 1. Let v be c(-5). Let s be o(v). Let l = -0.01 - 0.99. Is s != l?
True
Suppose 35 + 20 = 5*i. Let c = i + -13. Is -2 less than or equal to c?
True
Suppose 0 = 2*l - 4*i + 21 - 7, -i = 3*l + 56. Let y = l + 11. Is -6 greater than y?
False
Let g = 221/35 + -33/5. Suppose 8*s = 3*s. Is s less than g?
False
Let t = -1.42 + -14.78. Let f = 16 + t. Is f at most as big as 2/15?
True
Let b = 582169/44 + -13228. Let y = 26/11 - b. Is y > -1?
True
Let z(w) = -w**3 - 12*w**2 - 10*w + 15. Let l be z(-11). Suppose -l*f = 2*k - 18, -k + 2*f = -2*f + 15. Let s be k/3*(-12)/(-26). Is -0.1 at most s?
True
Let q = -368 - -3677/10. Does q = 1?
False
Let c(v) = -v**3 - 5*v*