0. Let j(s) = -s - 2. Let c be j(2). Let k = c + 25/6. Which is bigger: i or k?
k
Let t(h) = h**3 - 2*h**2 - 3*h + 3. Let n be t(3). Which is bigger: n or 4?
4
Let b(o) = -9*o + 1. Let y be b(-1). Let t = 5 - -6. Let v = t - y. Is v greater than -3/8?
True
Suppose 0*c + 3*j - 25 = 2*c, 2*j + 72 = -5*c. Let q be 1/c*(6 - 2). Is 1.2 bigger than q?
True
Let c = 5 - 7. Let j(s) = -s + 5. Let f be j(8). Which is bigger: f or c?
c
Suppose -3*i = 4*o + 35, -5 = 3*o - 2*i - 0*i. Is o greater than or equal to -14/3?
False
Let l(v) = v**3 - 6*v**2 - 3. Let b be l(6). Let x = 6 + -9. Let q = x + 1. Which is bigger: b or q?
q
Let s = -0.06 - -0.06. Which is smaller: s or -15?
-15
Let r be 6/(-10) + 4/(-10). Which is smaller: r or -5?
-5
Let q = 26/3 - 76/9. Let m = 1 - -1. Let s be 1 + -2 + m + -2. Is s at most q?
True
Let t(m) = m**3 - 3*m**2 + 3*m - 1. Let l be t(2). Is l less than 1/13?
False
Suppose -7*z + 2*z + 2 = -4*g, 3*z = -2*g + 10. Let a(v) = -v - 1. Let y be a(g). Let c = 6 + -10. Which is smaller: y or c?
c
Let o be -2 - -2 - -4*2. Let d be 18/o - 1/4. Let s be 12/(-9)*1/d. Is s at least -2?
True
Let c = 699/2 + -339. Let v = c + -107/10. Which is bigger: v or 1/3?
1/3
Let r(q) = -1 - q**3 - 2*q + 2 + 2 - 5*q**2. Let w be r(-4). Which is bigger: w or -4?
-4
Suppose 2*h + r = 4*r - 15, h = -5*r + 25. Let z = 1 - h. Let g be (-3)/(-12) - 15/36. Is z greater than g?
True
Let x = 2 - 2. Let z = 2 - x. Suppose -m + 5 = -k + 2, 4*k = 5*m - 11. Which is greater: z or m?
z
Let g(t) = 12*t - 13*t + 5 + 3 - 3. Let i be g(3). Let n = 2 - 3. Are n and i nonequal?
True
Let v be -2*(-1)/(-3 + 1). Let x = -0.3 + 0. Let m = -0.4 - x. Which is bigger: m or v?
m
Suppose 0 = -3*f + 3*l + 19 + 5, -3*f - 4*l + 3 = 0. Is f smaller than 7?
True
Let k = -5.6 - -6. Let i = -0.3 + k. Which is smaller: i or -5/2?
-5/2
Suppose 2 = -2*z - 4*c, 0*c + 11 = 4*z + 3*c. Are z and 3 nonequal?
True
Let j = -23 - -21. Suppose -3*l = 1 + 2. Let s be (-1 + (-2)/(-1))*l. Is j at least as big as s?
False
Let h(z) = -z + 1. Suppose -29 - 6 = -5*c. Let n(b) = -b**2 + 6*b + 9. Let x be n(c). Let i be h(x). Are i and -2 unequal?
True
Suppose m + 4*f - 4 = 0, -3*f + 6*f = -m + 1. Which is smaller: m or -25/3?
-25/3
Let b = 14 - 24. Let c(j) = -j - 11. Let d be c(b). Are d and -3/8 unequal?
True
Suppose 2*q = -3*q. Let r = -121/452 - -2/113. Do r and q have the same value?
False
Let h = -1 - -0.9. Let a = h + 1.1. Which is greater: a or -0.5?
a
Suppose 0*b - b = -4*w + 65, 2*b = -4*w + 62. Suppose 0 = h - 0*k - 4*k + w, 12 = -h + 3*k. Suppose 0 = 2*m - 8 - h. Which is smaller: m or 5?
m
Let a = -0.066 + 0.366. Which is bigger: 3 or a?
3
Let i = -12.116 - -12.1. Which is smaller: 2 or i?
i
Let k = -17 + 18. Do -3 and k have the same value?
False
Let h be (192/(-105) + 2)/(4/10). Is h >= 0.1?
True
Let q be (1/2 - 2)*-2. Let n be 17/(-5) + (-2)/(-5). Let r(a) = a**2 + a - 4. Let b be r(n). Is q smaller than b?
False
Let l = -15 + 16. Which is bigger: 4 or l?
4
Suppose w = -13 + 12. Is -1/23 less than or equal to w?
False
Let a = 1394/335 - -16/67. Is 4 at least a?
False
Let y = 86/3 + -28. Which is smaller: y or 0.24?
0.24
Let h = 457/5 - 91. Let y = -0.708 + -0.292. Are y and h nonequal?
True
Let u be 24/(-1040)*12/(-9). Is 0 > u?
False
Let d be 0 + (-3 - -2) - -1. Let w = 0 - d. Suppose -4*m + 2*m + 2 = -4*j, -4*j = 4. Is m not equal to w?
True
Suppose 4*r = 8*r. Let s = 0.6 - 0.1. Let t = s + -0.7. Is r <= t?
False
Let a be ((-19)/(-76))/(18/(-16) + 0). Suppose 2*k + 2*k = -72. Let y be 2/1 + 32/k. Which is smaller: a or y?
a
Suppose -258 = -5*j + 3*u, -2*j = 3*j - u - 256. Suppose -a - 12 = -3*f - 5*a, f - a - 4 = 0. Let q be 159/j - (f + -1). Do q and 1 have different values?
True
Let t be (8/(-70))/((-10)/25). Is -5/3 less than or equal to t?
True
Suppose -4*v = 2*l - 18, -5*l - 2*v + 17 = -12. Let f = l - 5. Suppose 5*p + 2*h = -18, p = -2*h - 3*h - 22. Which is smaller: p or f?
p
Suppose 5*w = 2*w + 6. Let y = w + -2. Which is bigger: -2/11 or y?
y
Let b(p) = -p**2 - 8*p - 12. Let o be b(-5). Suppose -2*h = o*a + 21, -7*a + 3*a = 12. Is -5 > h?
True
Let f(q) = q**3 + 2*q**2 - 2*q - 1. Let m be f(-3). Let z = m + 5. Let k(b) = b**3 + b**2. Let a be k(z). Is a at most as big as 1?
False
Let x(p) = -2*p - 10. Let g = -15 + 9. Let n be x(g). Is -1 smaller than n?
True
Let n(d) = d - 2. Let y be n(-3). Let z = y - -4. Which is greater: -3/5 or z?
-3/5
Suppose -2*l - 3 = -3*l. Suppose -l*o = -2*o - 1. Is o equal to 0?
False
Let u = 25.05 + -27. Let f = -0.05 + u. Is f at most as big as 1/3?
True
Suppose 2*d = -5*n, -3*d = -2*d + 2*n. Suppose -5*a - q - 5 = -2*q, 0 = 5*q. Let j be 1*2/(-4)*a. Is d equal to j?
False
Let p = -95/3 - -32. Suppose -i + 12 = -2. Which is greater: p or i?
i
Let g = -26 + 27. Let k = -1 - -2. Is k less than g?
False
Let j = -33597/4420 + 1/884. Is -7 at least as big as j?
True
Let i = 4 - 0. Let f(a) = a**3 - 3*a**2 - 4*a - 1. Let j be f(i). Is -2/7 at most j?
False
Let c be ((-20)/5)/(8/(-20)). Which is bigger: c or 9?
c
Let k = -97 - -110. Is 18 at most as big as k?
False
Let s = 5/4 - -27/20. Which is smaller: s or 2?
2
Let q = -22 - -64/3. Is -1.2 bigger than q?
False
Let q = 325 - 9751/30. Is q at most 1?
True
Let x = -11 + 10.9. Which is smaller: 15 or x?
x
Suppose -47 - 25 = -3*i. Suppose 2*c - 4*d = -0*d + 8, -2*d = 4*c + i. Let s be c/18 - (-10)/45. Is s >= -1/3?
True
Let x = 2 + -2.01. Let u = 1.01 + x. Are 2 and u non-equal?
True
Let a = -19 - -18. Which is smaller: -13 or a?
-13
Let t be 15/6*2*(-4 + 6). Which is smaller: t or 0?
0
Let w(b) = -b**3 - 4*b**2 + 5*b. Let a be w(-5). Suppose 0 = -j - a*j - 2. Which is smaller: j or -1?
j
Let r = 7 + -10. Is r not equal to -5?
True
Let j = -3.4 + 23.4. Let s = -20.1 + j. Is -0.4 greater than or equal to s?
False
Suppose v - 16 = -3*y, -4*v + 2 + 2 = -3*y. Suppose -y*n - 12 = -0*x - 3*x, -n - 5*x + 20 = 0. Let f be (-2)/(-1)*(-2)/4. Is f at most as big as n?
True
Let x be (9/(-21))/((-20)/14). Let r(k) = 2*k**3 - 14*k**2 + 11*k + 7. Let l be r(6). Which is smaller: l or x?
x
Suppose 3*o - 3 = d, o + d - 2*d + 1 = 0. Let z = 11 + -6. Which is greater: o or z?
z
Let a = -2 - -4. Suppose 5*g - 6*g = 3. Let h = g - -7. Which is greater: h or a?
h
Let s be (-4)/(-14) + 52/14. Suppose -c = 5*u + 8, -u + 0*u = s*c + 13. Let i(y) = -2*y**3 - y**2 + y + 1. Let z be i(u). Is 2 bigger than z?
True
Suppose 2*x = 6 - 0. Suppose 4*p - 13 = 3. Suppose c + 2*a = 0, p*a - 2 - 4 = -5*c. Which is smaller: x or c?
c
Let q = 3 - 3. Suppose 2*j = -2*j + 4. Let f be 5*(3/15)/j. Is f bigger than q?
True
Suppose 2 = l - 5*n - 5, -l + 31 = n. Let g be (-2)/(-3)*l/6. Which is smaller: g or 2?
2
Let u = 172 + -1206/7. Let y = -19 + 21.9. Let l = 3 - y. Which is smaller: u or l?
u
Suppose -3*m + 5*o = o + 18, -2*m = -o + 17. Is -11 less than or equal to m?
True
Let w = -0.83 + 0.93. Which is smaller: 1 or w?
w
Let z(u) = -2*u. Let w be z(-1). Suppose w*k + 20 = -5*d - 2*k, 5*k + 25 = 3*d. Which is greater: d or 2/11?
2/11
Suppose 4*t - 5*t = -6. Suppose 3*s - 5*s = -t. Is s at least 4?
False
Let k(d) = d + 2. Let g be k(2). Suppose 5 - g = -p. Which is smaller: p or -4/3?
-4/3
Let q = 15 + -17. Suppose -4*n + 2 = 26. Which is smaller: q or n?
n
Let s = -0.06 - 10.94. Let i = 11 + s. Let t = -3 - -2.9. Is i smaller than t?
False
Let u = 1.85 - 0.15. Let m = u - 0.7. Is m < -0.8?
False
Let d be ((795/6)/(-5))/2. Let j = d + 13. Which is smaller: -1 or j?
-1
Suppose 6 = -0*t - 3*t. Let x be 2/(-24) - t/(-8). Let d = 6/119 + 327/595. Is d at least x?
True
Let q be (-4)/(12/9) + -3 + -21. Which is smaller: -26 or q?
q
Let y = 15 - 21. Let l be ((-9)/y)/((-2)/4). Which is greater: -5 or l?
l
Let r(x) = 7*x - 36. Let b be r(5). Which is smaller: b or -2/163?
b
Suppose -15 = 4*f - 3. Let o = 4 + f. Suppose -5*j + 10*j + 3*s = 20, -5*s + 30 = 5*j. Is o <= j?
True
Suppose -t - 8 = -3*t. Let u = 69 - 68.18. Let a = 0.18 + u. Are a and t equal?
False
Suppose -5 = -3*j + 3*d + 10, -j = -4*d - 17. Let m be j/(-3) - (-3)/36. Suppose 1 = 4*y - 3. Does m = y?
False
Let d be 0 + -11 + (-2)/2. Which is greater: d or -13?
d
Suppose 2 = n - 2. Suppose 0 = -5*v + 29 - 4. Are n and v non-equal?
True
Let f = 564/5 - 114. Which is smaller: f or -1?
f
Let q