e the same value?
False
Let i = -202 + 417/2. Which is smaller: 6 or i?
6
Let v = 4/15 + -1/10. Let d(g) = -g**3 + 5*g**2 + g - 4. Let c be d(5). Which is smaller: c or v?
v
Let m = 14 + -8. Let i = 12 - 6. Is i greater than m?
False
Let c(h) = -2*h**2 - 45*h + 25. Let i be c(-23). Which is smaller: i or 12/17?
12/17
Let j be (9*1)/(3/3). Let t be (2 - 5) + 28/j. Which is smaller: 1/4 or t?
t
Suppose 3*o + 2*d - d + 1 = 0, 0 = d - 2. Let c be ((-8)/(-7))/(2/7). Suppose -4 = c*p - 2*l, l + 2 = 2*p - 2*l. Which is bigger: p or o?
o
Let y = 27 - 32. Is y at most -2?
True
Let d be (-1 + 0 - 0) + 3. Suppose -s + 5 = 5*q, 3*q + d*s = -4 + 14. Is -2/11 at most as big as q?
True
Let l = -0.19 + 1.19. Are l and 0.08 nonequal?
True
Let z be (-145)/(-630) + (-4)/14. Let c = -59/90 - z. Are -2 and c nonequal?
True
Let c(o) = -4*o - 12. Let a be c(-5). Let x = a + -6. Which is smaller: x or 6?
x
Let m = 40 - 17. Which is smaller: m or 22?
22
Let l(p) = 4*p**2 - 6*p - 3. Let b be l(5). Let s be (-808)/(-12) + -2 + 1. Let a = s - b. Is -2 greater than a?
False
Suppose -5*d - 25 = 4*b, d = -b - d - 7. Let v = b - -4. Are v and -1 nonequal?
False
Let i(y) = -y**3 - 10*y**2 + y - 3. Let p be i(-7). Let u = -791/5 - p. Is u bigger than 0?
False
Let q = 148 - 1034/7. Are -5.9 and q non-equal?
True
Let y = 1.7 - -7.3. Let c = 12 - y. Let f = c - 3. Is -5 at most f?
True
Suppose -m - m = -14. Which is bigger: 2/7 or m?
m
Let m = -0.06 - -0.07. Let u be (-3)/(-5) + -16 + 15. Is u bigger than m?
False
Suppose 0 = -4*o - 19 + 3. Let g = -3 - o. Which is greater: g or 2?
2
Let w = -26 + 29. Which is smaller: w or 2?
2
Let h = 0.3 + 0.7. Let k = 12.9 - 14. Let j = k - -1.2. Is j smaller than h?
True
Let j = -4 + 14. Suppose 0 = t + 3*a - 10, -3*a + 6 = 2*t - 2. Let k be ((-8)/j)/(t/5). Are 1 and k non-equal?
True
Let o be 40/(-45) - 2/(-2). Are o and 2/5 nonequal?
True
Let z be (1 - (2 - 7))*(-1)/31. Which is bigger: z or -1?
z
Let q be (2 - 2)*1/(-2). Is q bigger than 0?
False
Let c be (1/(-2))/(1/10). Suppose 2*t = -t + 42. Let k = t + -20. Which is smaller: k or c?
k
Let z be (-13)/(-5) + (-3)/5. Suppose -3*f = -f - z. Let l be 16/54*(-6)/(-8). Which is smaller: f or l?
l
Suppose c = -3*c - 36. Let i be ((-3)/(-9))/(3/c). Which is smaller: -1/18 or i?
i
Suppose 0 = 4*t - 0*t - 16. Suppose -2*b + 14 = t. Suppose -6 = -2*j + 6*j - 5*n, 0 = b*j - 2*n - 1. Which is bigger: j or 2/9?
j
Suppose -4*n + 8 = 0, -5*u - 5 = -3*n + 1. Let i = 5/31 - 128/217. Which is greater: u or i?
u
Let j = -1.2 + 2.4. Let y = 0.2 - j. Let k = y - -3. Is k equal to 2/3?
False
Let x = -1 + -2. Let h be ((-85)/6)/(-5) + x. Which is smaller: 1 or h?
h
Let n be (-8)/2 - 40/8. Is -11 less than n?
True
Let m(c) = 7*c - 1. Let n(h) = 8*h - 2. Let f(p) = 7*m(p) - 6*n(p). Let d be 2/(-4) - 7/2. Let l be f(d). Is 1/6 smaller than l?
True
Let b = -1438/9 - -160. Is -2/17 at least as big as b?
False
Let b be -7*1/(-7)*10. Let l = b + -4. Which is smaller: 5 or l?
5
Let j = -3 + 2. Let a = 77 - 536/7. Which is smaller: j or a?
j
Suppose 18 = -4*r - 5*i, -12 = r + 3*r + 2*i. Suppose 0 = 8*c - 4*c. Which is smaller: r or c?
r
Let a be (-15)/(-6) + (-2)/(-4). Suppose -2 = m - a. Which is smaller: -1/27 or m?
-1/27
Let b = 4 + -5. Which is smaller: 8 or b?
b
Let f be (-1)/((-2)/(-18)*-3). Let l = 195 + -1757/9. Which is greater: l or f?
f
Let c(a) be the first derivative of -a**2/2 - 13*a + 6. Let i be c(-12). Which is greater: i or 2/55?
2/55
Let r = -61 + 61. Let s be 128/(-1 + 1/(-4)). Let z = s - -102. Is r less than z?
False
Suppose 2*p - f - 2 = 0, -4 = 2*p + 2*f + 6. Let h(d) = 2*d**3 + 2*d**2 - 1. Let q be h(p). Let n be (2 + 0)/(1*-1). Which is smaller: n or q?
n
Let d be 36/(-15) + 2 - 981/(-15). Is d greater than 65?
False
Let s = 0 - 0. Let c = -1.72 - 0.28. Let u = s - c. Is 3 at most as big as u?
False
Suppose t + u + 6 = -0*t, 0 = -5*t + u. Is 2/15 not equal to t?
True
Let w be 5/((-60)/(-126)) - 0. Is w <= 10?
False
Suppose -f - 152 = 3*f. Are -37 and f nonequal?
True
Let l be 14/(-4) - (-12)/8. Let a = 4 - 0. Let y be 27/a - l/8. Is 6 >= y?
False
Let w = -21 - -15. Let r = w + 7. Does 1/2 = r?
False
Let u be 2/12*2/3. Let a = -16 - -16. Which is smaller: u or a?
a
Suppose -5*p - 13 = 3*i - 6, 5*i - 35 = p. Suppose 0 = -0*h + 6*h - 36. Is h at least i?
True
Let r = 1 - -2. Suppose 5*u = u + r*h + 8, 2*u = 5*h + 18. Let i be (-1)/(((-2)/(-4))/u). Is 1 less than or equal to i?
True
Let n = 17 + -18. Which is bigger: 6/23 or n?
6/23
Let v(x) = -x - 3. Suppose 12 = 2*p - 4*p. Let o be v(p). Let a = o - 4. Which is bigger: -1/5 or a?
-1/5
Let u = -23 + 17. Suppose r = -3*r - 20. Do u and r have different values?
True
Let u be (-15)/(-2)*(-4)/(-6). Suppose -u*c + 10 = -4*c. Suppose 3*y = -5*d - 18 - 9, -4*y - c = -2*d. Do d and -3/2 have the same value?
False
Suppose 0 = -7*w + 13 - 13. Which is greater: 1/12 or w?
1/12
Let s = 0.4 - 0.3. Let w = -2.9 + 3.3. Which is greater: w or s?
w
Suppose -5*t - 3*d + 4*d = -2, t - d - 2 = 0. Which is greater: t or -7/8?
t
Let h(p) = p**3 + 11*p**2 + 9*p - 4. Let w be h(-10). Which is smaller: 7 or w?
w
Let o(m) = m**3 - 7*m**2 + 5*m + 1. Let q be o(6). Let c(u) = u**3 + 6*u**2 + 4*u - 5. Let j be c(q). Let h = -236/565 + 2/113. Which is bigger: j or h?
j
Let l = 22 - 21. Suppose -4*t = -3*z - 22, 4*z - l = t - 13. Is z greater than or equal to -5/2?
True
Let d = 102 - 100. Which is smaller: d or -1/6?
-1/6
Let t be (-16)/(-3) - 2/(-3). Let a = t - 3. Is 3 smaller than a?
False
Suppose 18 = 2*k - 12. Suppose -2*q = q + k. Which is bigger: q or -6?
q
Let z(n) = 11*n**2 - 2*n**2 - n - 3 - 4 + n**3 + n**2. Let i be z(-10). Suppose 0 = -i*p + 3. Is 0 smaller than p?
True
Suppose -2*q = -16 + 46. Which is bigger: -14 or q?
-14
Suppose -9*s + 338 = -4*s + 3*k, -s = 3*k - 58. Which is smaller: 69 or s?
69
Let g(c) = c**2 + 7*c - 8. Let v be g(-8). Let x = v - -3. Suppose -6 = -6*r + x*r. Which is smaller: 1/2 or r?
1/2
Suppose 4*l - 42 = 18. Do 1 and l have the same value?
False
Let w(h) = h**3 - 10*h**2 + 10*h - 9. Let c be w(9). Let z(v) = -v - 1. Let a be z(0). Which is greater: c or a?
c
Suppose 4*n + 11 = -4*m + m, -n - 3*m = 5. Let z = -2968/191763 - -2/1341. Let g = z - -149/429. Which is bigger: g or n?
g
Let v(j) = j**2 + 11*j - 10. Let c(z) = z**2 + z + 1. Let s(g) = 2*c(g) - v(g). Let y be s(8). Do y and 4 have different values?
False
Let w(z) = -z**2 + 1. Let s be w(-1). Let u be (0*(1 + s))/1. Which is smaller: -4/11 or u?
-4/11
Let r = 1 - 4. Let g = r + 2.8. Let b = -9.5 - -9. Which is greater: b or g?
g
Let b = -3.5 + -4.5. Which is smaller: b or 0?
b
Suppose 5*u = 3*j, -j + 3*u - 2 = 2. Let p(q) = q**2 + 9*q - 15. Let b be p(-11). Let y = -3 + b. Which is smaller: y or j?
y
Let j = 57/50 + -2671/150. Which is greater: -18 or j?
j
Let l = -0.33 + -13.67. Let s = l + 13.9. Which is smaller: 14 or s?
s
Let d = 99/4 + -25. Let b = -0.9 + 0.7. Is d at most as big as b?
True
Let s(n) = -n - 9. Let a be s(-9). Is a smaller than 0?
False
Suppose -o + 26 = 4*i - 9*i, 3*o + i = 14. Which is smaller: 3 or o?
3
Suppose 2*v + v = 5*i - 104, 3*i + v - 54 = 0. Suppose 0 = -2*d + f + 2, -d + 5*f = -0*d - i. Is -1 bigger than d?
False
Let x = -0.12 + 0.4. Let d = x + -2.48. Let g = d + 2. Is g smaller than 0?
True
Let i = 325/266 - 1/133. Let w = -5/7 + i. Which is bigger: w or 0?
w
Let z(a) = a**3 - 3*a**2 + 1. Let x be z(3). Let d be -2*(0 - x)/(-1). Is d > -3/2?
False
Suppose 0*i + 3 = -i. Let q be (-2 + -1)/((-6)/(-8)). Is i at most q?
False
Let y(u) = u**2 + 1. Let o be y(0). Let v be (-3)/12 - (-34)/8. Let x be v/(-60) - 1/3. Is x != o?
True
Let w be (-1 - -1)/(3 - 5). Suppose 5*q + 2 - 12 = w. Which is bigger: 3 or q?
3
Let j be (-1)/(14/(-8)*-2). Which is greater: 0.15 or j?
0.15
Let p be ((-8)/(-2))/((-11 - -1)/5). Which is bigger: p or -21/8?
p
Let m be 2 - -3*(-8)/6. Let f be 0*((-5)/m - 3). Let l be 240/(-125) - (-4)/2. Are l and f nonequal?
True
Suppose 0 = 3*q + f + 6, -3*f + 4 = -4*q + 2*q. Let s be (q - 1) + 69/21. Is s at most as big as 0.07?
False
Let p be 18/4 - (-33)/22. Let r be 39/6 + (-1)/2. Is p greater than or equal to r?
True
Let g = -48 - -2350/49. Is 0 at least g?
True
Let h(n) = n - 13. Let a be h(9). Let y = -1 + a. Is -5 equal to y?