: -32/3 or t?
t
Let w = -12/25 + 2/25. Let f(b) = 39*b**3 - 2*b - 1. Let n be f(-1). Let s = -113/3 - n. Is s <= w?
False
Let p(c) = c**3 + 13*c**2 + 11*c + 1. Let a be p(-12). Suppose 4*o = -15 - a. Is -9 > o?
False
Let x be 0*(1 + -1 + 1). Let u be (-1 - (-22)/10)*1/3. Which is smaller: u or x?
x
Let q = -26 + 26. Let p = -13/17 + 12/17. Which is smaller: q or p?
p
Let k = 21 + -18. Let w(o) = -3*o + 1. Let r be w(k). Does -6 = r?
False
Let n = 7 - 10. Let r = n - -3. Are r and -1/3 equal?
False
Let k be (-121)/(-3) + (-12)/(-18). Is k at most as big as 1?
False
Let u be 1 - 0 - 4 - -2. Let f be -3 + u*(1 + -2). Do -3 and f have different values?
True
Suppose -4*j = -3*j + 3*z - 20, -j + 5*z - 20 = 0. Suppose 1 = -j*q + 4*c - 1, 5*c - 11 = 2*q. Suppose q - 4 = -2*v. Are v and 1/6 equal?
False
Let g be (36/(-8))/((-9)/12). Which is smaller: 3 or g?
3
Let t = -5 - -5.3. Let g(a) = a**2 - 5*a - 1. Let u be g(5). Which is smaller: t or u?
u
Let n = -3 - -5. Suppose -n*j - 8 = -0, -2*h = -j. Which is smaller: -3 or h?
-3
Let v be (1 + -2)/(0 - -1). Let x be (-1)/(-3) + v/3. Suppose -t + 0*t = x. Does t = 2/9?
False
Let m be (10 - 12)/((-2)/(-3)). Let p = -3 - -1. Which is smaller: m or p?
m
Let l = 1/108 + 205/1188. Let m(g) = -g**3 - 5*g**2 + 6*g + 5. Let s be m(-6). Suppose -2*w = -s*w. Is l equal to w?
False
Let p(i) = i**3 - 10*i**2 - 10*i + 9. Let k be p(11). Do 19 and k have the same value?
False
Let i(p) = p + 2. Let t be i(6). Which is greater: t or 6?
t
Let y = -20 + 21. Do -4 and y have different values?
True
Let d = 7 + -10. Do -3 and d have the same value?
True
Let g = -11.08 + 0.08. Let v = 10.8 + g. Is -0.2 at most v?
True
Let t be (-7)/14 + 62/30. Let p be 2/15*1/(-2). Let o = p + t. Is 1 greater than or equal to o?
False
Let b = 3.4 + -24.3. Let l = b + 21. Are l and 5 equal?
False
Let c = 29 - 21. Let q be ((-12)/(-16)*3)/(1/4). Are c and q non-equal?
True
Let j = -177.05 + 173. Let q = j + 4. Let g = 0.15 + q. Which is greater: g or -2?
g
Let o = 22 - 23. Which is smaller: 1/21 or o?
o
Let g = -14 + 4. Let h = -6 - g. Which is smaller: h or 6?
h
Let u(y) be the second derivative of y**4/12 + 2*y**3/3 - 4*y**2 + 4*y. Let f be u(-6). Suppose -f*j + 7*j = 0. Which is smaller: -3/11 or j?
-3/11
Suppose 0 = -4*p, -g = -2*g - p - 3. Is -2/11 <= g?
False
Let y = -1.4 - -8. Let s = y + -7. Which is smaller: s or 3?
s
Suppose -4*g = 3 + 1. Let u be 21/(-12) + 1/(-4). Let z be 1/(-3)*(u + 3). Are z and g unequal?
True
Suppose 6*u = u. Let g be ((-2)/(-35))/((-2)/10). Which is bigger: g or u?
u
Let a = 15 - 12. Are 3 and a equal?
True
Suppose -2*h + 4 = -2*s, 0*s - 3*h - 10 = 5*s. Let g be (-45)/36 - s/2. Which is smaller: -1 or g?
-1
Let u be (-46)/(-3)*3*-6. Let f be -2 + u/9 + 1. Let h = 32 + f. Which is greater: -3 or h?
h
Let p = -29 - -26. Is p > -1?
False
Let r = -34 + 34. Are -0.3 and r equal?
False
Let m be (-15)/110 + (-1)/(-2). Which is greater: -1 or m?
m
Suppose 4*u - u - 23 = 2*d, 0 = -5*d - 20. Suppose 0 = -0*p + u*p - 10. Suppose -1 = -x + p. Are x and 3 nonequal?
False
Let t be ((6 - 2)*1)/((-26)/143). Is -22 at most as big as t?
True
Let x be ((-1)/6)/((-12)/(-18)). Is 2/5 less than x?
False
Suppose 2*w - 5 + 0 = 5*q, -5*q - 3*w = 5. Does q = 4?
False
Suppose 0 = -p + 3*p - 4. Which is greater: 9/7 or p?
p
Let q(a) = a**3 - 12*a**2 - 11*a - 28. Let p be q(13). Suppose 4*n = -12, g + 4*g - 2*n = 66. Suppose 0 = 2*x - 2*w + 8, -2*w - g = -4*x - 5*w. Is x < p?
False
Let d be 1*((-40)/(-4) + 1). Let j = 11 - d. Is -1/16 greater than j?
False
Let g = 0 + 3. Which is bigger: g or 5?
5
Let r = -5.4 - -8.4. Is r not equal to 20?
True
Suppose 6*w - 9*w = 3. Which is bigger: 2 or w?
2
Let n be 2/2 - (0 - -10). Which is greater: n or -7?
-7
Let a(i) = i**3 + 7*i**2 + 5*i - 3. Let q be a(-6). Suppose 3*g = j + 17 - 3, -q*j - 15 = 0. Suppose g*s = s. Which is greater: 1/2 or s?
1/2
Suppose 3*f = 2*a + 22, 4*f + 5*a - a = -4. Suppose -v + 4 = t, 0 = f*t - 12. Is v at least as big as -1?
True
Suppose 3*a + 7*l = 3*l + 220, 0 = 2*a - l - 143. Let s be (-6)/24 + 2/a. Is 1/4 >= s?
True
Let x = -110 - -106. Which is greater: 0 or x?
0
Suppose 1 = -2*r + 5*n + 5, 0 = -5*r + 5*n + 40. Suppose 2*b = -b + r. Which is bigger: 5 or b?
5
Let t = -3 + -2. Let y = 1 + t. Let l be (-4)/(-6) + 8/(-21). Which is greater: y or l?
l
Let g be 26 + (-3 - -1)/1. Let y be 2/4 + 4/g. Suppose -2*r = -r - 1. Is r not equal to y?
True
Let q = -62 - -61. Let i = -0.9 + -0.1. Is q > i?
False
Let n = -0.23 - 0.07. Is -2/9 equal to n?
False
Let f = -43 - -42. Are 2/19 and f non-equal?
True
Let b be (0/(-4) + 2)/(-1). Is -2 at least b?
True
Let p be ((-52)/3)/((-2)/3). Suppose 5*s - 4 - p = 0. Let a be 2/s - 4/(-6). Are a and 0 nonequal?
True
Let x = 1 + -1. Let k = -1.35 - 12.65. Which is bigger: x or k?
x
Suppose 2*c - 3 - 4 = -k, -13 = -4*k - 3*c. Let v be ((-3)/2)/(k/2). Let f = -2 + -3. Is f at most as big as v?
True
Let f = 0.099 + -0.789. Which is greater: f or 1?
1
Let k = 0.35 - 1.35. Do k and 38 have different values?
True
Let q be -2*1 + -2 + 4. Which is smaller: q or 2?
q
Let l be 2/(-3) - (-5)/(100/16). Which is smaller: -1 or l?
-1
Suppose 5 = 5*f - 25. Which is smaller: 9 or f?
f
Let u(w) = -w**3 + 5*w**2 + 2*w - 5. Let t be u(5). Which is greater: t or -2/7?
t
Let x(t) = 2*t**2 + 3*t**2 + 0*t**2 + 8 + t**3 + 8*t + 4*t**2. Let d be x(-8). Suppose z + 0*z - 2*n = -d, 3*z + 4*n - 16 = 0. Which is smaller: -1 or z?
-1
Let b be (-15)/2*(0 - -2). Let a be (18/b)/(-3) + 0. Let o be (-2 + 0)*1 + 1. Which is smaller: o or a?
o
Let c be (-2)/6*100 - (-2)/6. Is c < -32?
True
Suppose 2*a - 39 = -a. Suppose f - b + 3 = 0, 3*f + f = 5*b - a. Let c = 0 - f. Is 2 > c?
False
Suppose 0 = -5*s + 3*k + 31, -6 = 2*s + k - 14. Let r be (2 - s)*(-6)/(-9). Let w be (0 - r) + -1 - 0. Which is greater: w or 1/2?
w
Let h = -25 - -13. Let y be (h/(-9))/((-2)/15). Let p be (4/y)/((-24)/20). Which is smaller: p or -1?
-1
Let l = -4.8 - -4.8. Let n = -3.7 + -0.3. Which is greater: l or n?
l
Suppose 1 = -4*g + 3*s, -2*g = 2*s + 18 - 0. Let n(h) = -h**2 - 5*h - 5. Let y be n(g). Let f be y*2 - (-56)/32. Which is greater: f or -2/3?
f
Let d(l) = l + 7. Let c be d(-5). Suppose 6*o = c*o - 4. Let y = -65/3 + 22. Is y at most as big as o?
False
Let d = -11 + 13. Are d and 2 non-equal?
False
Let y be (-20)/75 - 6/(-9). Let g = -4 - -3.7. Which is smaller: y or g?
g
Let b(y) = 2*y - 5. Let l be b(5). Let x be -2 - 1/((-1)/1). Which is smaller: l or x?
x
Let o = -34/3 + 11. Is o less than -5?
False
Suppose -17 + 57 = -5*p. Let c be ((-6)/(-4))/((-4)/p). Suppose -c*v + 6 = -6*v. Which is bigger: v or -1/2?
-1/2
Let w be 4 - ((-9)/(-12) - -3). Is w > -1.7?
True
Let u = -702/5 - -139. Which is bigger: 0 or u?
0
Let z = 60561 + -726263/12. Let i = 39 - z. Let p = -17/84 + i. Is p at most as big as 0?
True
Suppose 14 - 59 = -5*g. Is 8 smaller than g?
True
Let q = -0.1 - -0.1. Let y(u) = -61*u**3 + u**2 + u - 1. Let k be y(1). Let s be k/27 + 1 - -1. Which is greater: s or q?
q
Let v = 3 - -2. Suppose 29 = v*d + 4. Suppose 3*x - x = y - 5, 15 = -d*x. Which is bigger: 0 or y?
0
Let v(a) = -a**2 - 7*a + 7. Let h be v(-8). Let r(m) = 4*m**3 + m - 1. Let y be r(1). Let b be 2/y - (-33)/(-42). Is b less than h?
False
Let b(j) = -j**3 - j**2 + 4*j + 3. Let i be b(-2). Is -2/5 smaller than i?
False
Let j(n) = -2*n + 5*n**2 - 4*n - 2*n + 3*n**2 - n**3 + 10. Let a be j(7). Which is greater: 4 or a?
4
Let h = 0.1 - 0. Let j = -0.39 + -3.61. Is h not equal to j?
True
Suppose v - 6 + 11 = 0. Let x be ((-2)/(-4))/(4 + v). Is 5 at least x?
True
Let z(t) = -t**3 + 5*t**2. Let c be z(5). Let a = -1.97 + -0.03. Let i = a - -5. Which is greater: i or c?
i
Suppose -4*f + 7*f - 12 = 0. Suppose 0*n - 5 = 2*q + 5*n, 0 = -4*n - 12. Which is smaller: q or f?
f
Let s = -1.9 - 0.1. Let m = 1.1 - 0.1. Let t = m + s. Which is smaller: t or 0?
t
Let c be (-3)/15 - 3/(-15). Is 2/51 greater than c?
True
Let c = 45 + -74. Is c less than -29?
False
Let s = 1/300 + 2/25. Let d = -7/30 + -1/6. Which is greater: s or d?
s
Let a = -0.098 - -0.051. Is -0.1 greater than or equal to a?
False
Let m = 2 - 4. Is -1 greater than or equal to m?
True
Let g be (-8 + 1)*(-6 + 7). Is -9 <= g?
True
Let g = -4 - -8. Let r = -3.2 + g. Let a =