ater: a or v?
v
Suppose 35 = 4*p - 4*t - t, -12 = 4*t. Suppose -2*i + p*i - 18 = 0. Let o = -4 + i. Which is bigger: 0.2 or o?
o
Let g = -1.8 + 0.5. Let l = 10 + -9.7. Let d = g + l. Which is smaller: d or 0?
d
Suppose 0 = -3*t + 17 + 52. Are 1 and t nonequal?
True
Let a(d) = -d**3 - 3*d**2 + 7*d + 7. Let j be a(-5). Which is bigger: -2/7 or j?
j
Let f = -146477/175 - -837. Let l = -533/700 - f. Which is bigger: -0.2 or l?
-0.2
Let g(u) = u**3 + 5*u**2 + u + 3. Let z be g(-5). Let t(w) = w**2 + 5*w + 2. Let o be t(-2). Let r = o - -2. Is r bigger than z?
False
Let u be (-19)/(-4) + 12/(-16). Suppose -k = -u*k. Is k at least as big as -1/3?
True
Let c = -7 - -7. Suppose c = 2*t + 2*t. Which is smaller: t or 4/9?
t
Suppose 9*d + 44 + 19 = 0. Which is smaller: d or -27/4?
d
Suppose -4*b - 32 = -0*b. Suppose 0 = -4*p + 9*p + 35. Which is bigger: b or p?
p
Let u = -7/9 + 5/18. Which is smaller: u or -1?
-1
Let d = -10 + 10.1. Let j = 0 - -0.1. Is j < d?
False
Suppose -3*a + 2 = -1. Let z be a*-1 + 98/105. Which is greater: z or 0?
0
Let u = 0.66 - 0.39. Let t = u - 0.07. Is t smaller than 0.3?
True
Let c = 1.05 - 0.05. Let t = -0.97 + c. Let s = -2.03 + t. Is s greater than or equal to -3?
True
Let v(x) = x - 12. Let m be v(6). Let f be ((-4)/(16/(-6)))/m. Suppose 11*l = 6*l + 5. Is l at most f?
False
Let n = 134 - 133.43. Which is smaller: 1 or n?
n
Let t = -11 + 10.9. Which is greater: 0 or t?
0
Let i = -2 - -7. Let q be (-2)/i + (-156)/(-15). Suppose 0 = -y + 6*y - q. Which is bigger: y or 3?
3
Let w = -15 + 9. Let c = w + 5.9. Let v = 19 - 75/4. Which is bigger: c or v?
v
Let i(j) = j + 6. Let x be 4/(-6)*15/2. Let p be i(x). Let u = 27/2 + -13. Which is bigger: u or p?
p
Let w be -1 + (339/33 - 0). Let j = w + -1541/165. Which is smaller: 0 or j?
j
Let h(z) = -3*z + 4. Let x be h(5). Let w = 12 + x. Is 2 greater than or equal to w?
True
Let u = -0.2 - -0.4. Let g = -0.3 + u. Let n = g + 0. Which is smaller: 2 or n?
n
Suppose 3*a - 4 = 5. Let s = 128 - 80. Let j be 2/9 + s/27. Which is smaller: j or a?
j
Let r be (-1)/(-2)*(-84)/(-1). Let b be (-2)/3 - r/(-9). Suppose -b*k - 5*t = 1, 0 = -2*k + 3*k + 2*t + 1. Which is greater: k or -2/7?
k
Suppose -3*y - 26 = -4*y. Which is smaller: 27 or y?
y
Let q = 0.13 - 0.18. Let w = q + -0.05. Let t be (-10)/3 + 2/(-3). Is w < t?
False
Let u be 0/(-4) + -4 + 5. Suppose 0*t = t - u. Is 5/4 bigger than t?
True
Let g be (0/1)/(-2 + 4). Suppose g = 4*q - 7*q. Which is greater: q or 1?
1
Let l be (-2 + (-14)/(-4))*-2. Let o be 1*-3*(-1)/l. Is -1/11 > o?
True
Let p = -4 + 7. Let q be (p + -1)/(1*-2). Which is greater: 1/3 or q?
1/3
Let z = 26 + -14. Let n be z/(-30)*6/(-4). Which is smaller: n or 0?
0
Let k(v) = v**3 - 6*v**2 + 5*v. Let r be k(5). Let o = r + 5. Does o = 5?
True
Let r = -32965/11 - -2993. Is 1 < r?
False
Suppose 5*k = 5*h - 0*h, 5*k = 0. Is h equal to 45?
False
Let d be ((-10)/(-6))/5 - 0. Is -2/5 at least d?
False
Let f be (-2)/(21/(-9) + 3). Let n be 1/2 - (-2)/(-4). Which is bigger: n or f?
n
Let q(o) = -o**2 - 7*o - 3. Let n be q(-5). Let i = 8 - 6. Let d be 65/9 - i/9. Is d greater than or equal to n?
True
Let d = 1 + -4. Let v be ((-4)/6)/((-2)/d). Do -1 and v have different values?
False
Let a = 107/10 - 43/4. Is -1 smaller than a?
True
Suppose 0 = -3*n - 3 + 9. Let t = n - 3. Let o be 15/(-5) + 5*1. Which is greater: t or o?
o
Let q = -18 + 23. Is q greater than 3?
True
Let a be (-1 + -5)*(-4)/(-6). Let v be a/3 + (-3)/(-9). Let j = -1006/1245 + 2/249. Is v at least j?
False
Let i = 34.81 + -35. Let q = 1.81 - i. Which is smaller: -1/7 or q?
-1/7
Suppose 0 = 5*s - 940 + 160. Let w be s/20 + 2/10. Is w bigger than 8?
False
Let b = -158 + 158. Is b <= -102?
False
Let d = 0.32 - 0.02. Let u = d + -0.2. Let z = u + 0. Is -1 > z?
False
Let w(d) = -d**2 + 14*d + 3. Let j be w(14). Suppose -j*c + 2 = 5. Which is smaller: -0.15 or c?
c
Let h be 4/(-6) - 50/(-3). Suppose -5*s = -1 + h. Is s bigger than -3?
False
Let u(a) = a**3 + 4*a**2 - 2*a - 5. Let v be u(-3). Let s be (v/45)/((-16)/(-6)). Is -1 at most as big as s?
True
Let x be (12/(-22))/(51/(-68)). Is x less than or equal to 0?
False
Suppose 11 = 5*o - c, -4*o + 0*c - c + 7 = 0. Suppose 4*m + n - 1 = m, -m - 3*n = 13. Does o = m?
True
Let y(g) = -2*g**2 - 4*g - 4. Suppose -11*r = -5*r + 18. Let h be y(r). Which is smaller: h or -11?
-11
Let z(a) = a + 1. Let d be z(0). Let g = d - 2. Let w be (-6)/(-68)*36/(-27). Which is bigger: g or w?
w
Let l = -23 + 35. Let i be (-5)/(-12) - 9/l. Is i at most as big as -5?
False
Suppose t + 2*t = 21. Suppose -3*a = -t*a + 12. Let n = 4 - 1. Is n at least as big as a?
True
Suppose -n + 4279 = -5*v, -5*n + 589 = -v - 262. Let z = 4251/5 + v. Let f = z - -32/5. Which is greater: 0 or f?
f
Let f(y) = -y**2 + 38. Let h be f(0). Let b be 0/2 + (-4)/h. Let v(j) = j**3 - j**2 - 2*j + 1. Let a be v(2). Which is smaller: b or a?
b
Let g be 0/((-1 - 2) + 6). Suppose -r - 1 = -g. Is r >= -4/3?
True
Suppose -3*r + n + 150 = 0, 3*r + 0*n = -2*n + 150. Suppose 8*b = 3*b - r. Is -11 at most b?
True
Let n(v) be the third derivative of -v**3 + 0*v + 0 - v**2 - 1/24*v**4. Let a be n(-5). Is -2/13 smaller than a?
False
Let d(c) = -c**3 + 8*c**2 + 10*c - 9. Let k be d(9). Let x = 2 + k. Let v be (-4 - -4)*(-2)/x. Is v less than 2/9?
True
Let n be 2 + ((-14)/8 - 0) - 0. Which is smaller: 2/5 or n?
n
Let y(b) = -b. Let k(v) = 6*v - 1. Let w(o) = k(o) - 2*y(o). Let g be w(2). Is g less than or equal to 15?
True
Suppose -2*y - 3*y = 5. Let r be 1 - y/1 - 1. Which is smaller: r or -1/9?
-1/9
Let r be 2/6 + (-1123)/(-15). Let f = 75 - r. Which is bigger: -1 or f?
f
Suppose 3*a + 3 + 3 = 0. Suppose -3*u = -18 + 3. Suppose -1 = -5*c + u*k + 4, c + 3 = -3*k. Which is greater: a or c?
c
Let d be 2/30 - 8/(-24). Is d smaller than -0.6?
False
Let w be (1/3)/(4/(-6)). Let p = -3 + 4. Let g = 3 + p. Which is bigger: g or w?
g
Let y = 3 - 13/4. Is 1.3 at most y?
False
Suppose 0 = 5*x - 4*c - 10, 0*x + 2*x = 5*c + 4. Let o = x - 21. Which is bigger: -20 or o?
o
Suppose 0*b + 4*b = 0. Let t be 4/(-8)*b/(-1). Is t <= -1?
False
Let f(l) = l + 16. Let o be f(-11). Suppose o*w + 2*c + 11 = 0, -c = -2*w - 6*c - 17. Which is bigger: -5 or w?
w
Let z = 23 - 4. Let y = 135/7 - z. Is 2/7 >= y?
True
Let i be 16/3 + 1/(-3). Suppose -i*u + 11 = -4. Is u smaller than 2?
False
Let q be -15*1/2 - 3/(-6). Which is smaller: q or -6?
q
Let d = 110/3 + -1433/39. Are -1 and d non-equal?
True
Let g = 0.19 - -4.81. Let p = g + -4.3. Is -0.2 smaller than p?
True
Let f(x) = 9*x**2 - 2*x + 9. Let l(u) = 5*u**2 - u + 5. Let i(r) = 4*f(r) - 7*l(r). Let s be i(1). Let c be (-1)/((-2)/(-3) - s). Is 4 != c?
True
Let n be 0 - -1 - 6/10. Let x = 181/2 + -911/10. Which is greater: x or n?
n
Let w = 6 + -2. Which is smaller: w or -0.1?
-0.1
Let o(d) = -5*d + 23. Let i(g) = 4*g - 22. Let m(c) = -6*i(c) - 5*o(c). Let z be m(-15). Let r be (-2)/5*(1 - 6). Does z = r?
True
Let u(n) = 6*n - 12. Let v(i) = 7*i - 13. Let z(w) = -6*u(w) + 5*v(w). Let l be z(7). Which is smaller: l or -2?
-2
Let t(c) = -c**3 - 22*c**2 - 40*c - 4. Let v be t(-20). Is -10 less than or equal to v?
True
Let p be (-2 + 3 + -1)*-1. Suppose -w - 4*c = 10, 3*w - 3*c - 2*c - 4 = p. Let v be -2 + (3/(-9) - w). Is v at most 1?
True
Let p = 0.8 - -0.2. Let m = 123.1 + -115. Let l = m - 8. Which is bigger: l or p?
p
Suppose 8 = -15*c + 14*c. Let g be ((-6)/(-9))/(c/60). Which is bigger: g or -7?
g
Let c(m) = 2*m - 10. Let p be c(7). Are p and 6 unequal?
True
Let w = 12.987 + 0.013. Which is smaller: w or 0.2?
0.2
Suppose -10 = -2*y, -4*o + 9*o - 3*y + 20 = 0. Do o and -1/18 have different values?
True
Let g(n) = -n**2 + 10*n - 16. Let d be g(8). Which is bigger: d or -1/2?
d
Let v be -1 + 1/(3/9). Suppose v*u = 5*u - 3. Which is smaller: u or 2?
u
Let u(s) = -s + 12. Let k be u(13). Which is smaller: -2/191 or k?
k
Let y be -57*((-2 - -2) + -1). Let l = y - 39. Let j be ((-12)/l)/(2/6). Is j smaller than -3?
False
Let a = -75 + 76. Is -6/59 smaller than a?
True
Let t = 48 - 48. Is t at least 6?
False
Let y = 21 - 37. Let c be (2 + y/6)*9. Let g be 1/c*(-2 + -2). Which is bigger: g or 1?
1
Let a be 5/44 - (19/4 - 5). Is -1 greater than a?
False
Let n = 68/57 - 10/19. Is -54 != n?
True
Let a(m) = m. Let k b