 Let o be i(3). Which is smaller: v or o?
v
Let o(d) = d**2 - 9*d + 7. Let a be o(3). Let y = 4.9 - 5. Which is smaller: y or a?
a
Let u be 1504/44 + 2/(-11). Let z = -29 + u. Is 6 != z?
True
Suppose -3*u - 2*j + 20 = 6, 0 = 3*u + j - 13. Let y(a) = -a**3 + 4*a**2 + 3*a + 7. Let g be y(u). Is g greater than or equal to 19?
True
Let r be 1 - 4*(-4)/(-24). Suppose 21*w - 3 = 18*w. Is w > r?
True
Suppose -29 = t - 2*z, -t + 0*z - 23 = z. Let c be (1 + 1)/((-9)/(270/t)). Let g(j) = j**2 - 5*j + 2. Let y be g(5). Which is smaller: y or c?
y
Let v = -944 + 893. Which is smaller: -6 or v?
v
Let j be 9/(-1) + (-2)/(-1). Let d be (6 + j)*(2 - -1). Let g be -1*(d - -6)/(-3). Is -13 less than or equal to g?
True
Suppose -7*h + 141 = -132. Suppose -3*m = -4*n + h, 0 = -3*m - 19 + 4. Let i be 5 + (2 - 2/2). Is i at most n?
True
Let y(a) = -a + 1. Let q be y(2). Let x be ((-3)/39)/(-5 + (-31)/(-6)). Is x greater than q?
True
Let q = 41 - 29. Suppose 0*c = 4*c - 5*n - 44, 3*c - 5*n = 33. Is c greater than or equal to q?
False
Let n = 24.2 + -28. Let p = -3.13 - -0.33. Let u = n - p. Which is bigger: u or 4/5?
4/5
Suppose 3*j - 2*v + v = 16, -4*j = -5*v - 36. Let h be (128/28 - j)/1. Suppose 0 = -4*a - 4*p + 8, -a + 0*a = 2*p - 4. Is h smaller than a?
False
Let q be 6/8 - (-793)/(-28). Which is smaller: q or -29?
-29
Suppose -3*v = 5*r + 11, 5*r - 3*v = 69 - 38. Suppose 0 = -5*m - 2 - 8. Is m smaller than r?
True
Suppose -7 - 1 = a. Let s be 18*(-3 + (-28)/a). Let o be (-4)/6*s/(-6). Which is smaller: o or 2/33?
2/33
Let k = -0.3 - -0.4. Let n = -0.13 + 2.13. Let z = n + 2. Which is smaller: k or z?
k
Let r = 0.13 + 0.01. Let m = 0.16 + r. Let l = 0.5 - 0.3. Is m > l?
True
Let f be (-7)/((-28)/32)*-1. Let v(y) = 6*y + 9. Let b be v(f). Let u = 38 + b. Is u > -1/8?
False
Let q be (-4)/(-12) - (-7)/(-48). Let i = 16 - 13. Let v be 30/(-45)*i/(-2). Is q not equal to v?
True
Let y(k) = 2*k + 3. Let q(u) = u**2 + 7*u - 16. Let j be q(-9). Suppose 0 = -j*z - 2*z. Let f be y(z). Which is smaller: 0 or f?
0
Let m(p) = p - 4. Let i = 5 - 1. Let q be m(i). Let l(h) = -h**3 - 9*h**2 - 8*h - 2. Let v be l(-8). Are v and q equal?
False
Suppose -w - 65 = -2*u, 5*u + 3*w - 46 = 144. Let o be u/(-60) - 5/(-15). Let f = -5 + 6. Which is greater: o or f?
f
Suppose 20 = 5*n - 3*i, 3*i = 3*n - 8 - 10. Let c = -33 + 15. Let u be c/9*1/(-2). Is u <= n?
True
Let n = 5.86 - -0.14. Suppose 3*m + 0 + 4 - 7 = 0. Which is smaller: m or n?
m
Let a(b) = -4*b**2 + 160*b - 143. Let z be a(44). Is -849 bigger than z?
False
Let x = -1.89 + 2.019. Let j = x + 0.071. Which is smaller: 1.7 or j?
j
Let l(f) = f**2 - 5*f - 1. Let a be l(6). Suppose a*k - 3*u - 4 = 0, -2*k + 5 = -4*k - u. Let y = -1/18 - 7/18. Is y greater than or equal to k?
True
Let z be 1/(-36)*426/4. Let r = -1983 + 15843/8. Let u = r - z. Which is smaller: u or -3?
-3
Let r(y) = y - 46. Let o be r(40). Is 11 at least as big as o?
True
Suppose -9 = 3*z + 5*n + 9, 3*z - 3 = 2*n. Is 2/197 less than z?
False
Suppose -6*m = -m - 5. Let f be 33/(-165)*0/1. Is m >= f?
True
Suppose 5*s + 4*o - 280 = -o, -3*s + 163 = -2*o. Let d = s + -9. Are d and 46 equal?
True
Suppose -5*c - 34 = -0*j - 2*j, -16 = -j + 2*c. Let x be j/(-18) + 7/(-3). Let v = x - 6. Which is smaller: -7 or v?
v
Let p be (-150)/(-14) + 12/42. Let r = p - 16. Is r at least as big as -0.1?
False
Let u = -12 + -3. Let z = -853 + 838.02. Let a = u - z. Which is bigger: a or 1?
1
Let c = -0.0749 - -74.9749. Let a = c + -75. Which is bigger: 0 or a?
0
Let d = 0.02143 - -0.07857. Let k = 4 + -25. Are d and k equal?
False
Let q be (16 - (-1859)/(-44))/(-2 + (3 - 4)). Suppose -2*a + 8 = 2*l, 6 = -a - 5*l - 6. Are q and a non-equal?
True
Let y = 2.01 + -0.01. Let b = -1.9 + y. Let x be (26/(-16) - -2) + 0. Which is smaller: x or b?
b
Suppose 0 = 4*x + o - 12, -o + 8 = 3*x - 0. Let q = 1 - 1. Suppose q = x*h - 0 - 24. Which is smaller: 3 or h?
3
Suppose 42*y - 8*y = -2924. Which is bigger: y or -84?
-84
Let m(w) = -w**2 + 8*w + 6. Let x be m(7). Let z(r) be the first derivative of r**3/3 - 7*r**2 + 16*r - 11. Let i be z(x). Is i at least as big as 3?
True
Let p(c) = 4*c + 33 + 6*c - 10*c + 3*c. Let a be p(5). Is a < 49?
True
Let d be (-6)/8*(3 + -15). Let u be (-1 + 2)/(d/72). Which is smaller: u or 7?
7
Let x = 0.1867 + 0.1433. Let g = -0.6 + 0.8. Is g at most x?
True
Suppose -5*o + 739 - 1969 = 0. Let k = o - -2704/11. Let h = -17 - -16. Do h and k have the same value?
False
Let h(u) = -3*u**2 - 14*u + 10. Let p be h(12). Let b be ((-12)/45)/(44/p). Let x = 32/11 - b. Is x at most -2?
False
Suppose 2*a + 2*i - 6 = 0, 2*a - 3*i + 8 = 4*a. Let o be 247/(-4) - (-19)/(-76). Let v be 4/a + o/10. Are v and -2 equal?
False
Let y = -0.5 + 0.44. Let c = 4.3 + -4. Let w = 0.2 - c. Is y greater than w?
True
Suppose 2*g - 12 = 4*k - 2*g, -k + 5*g = -5. Suppose b + 7 = -2*o + 4*o, 2*b = o - 8. Suppose o*t = 11*t. Which is bigger: k or t?
t
Suppose 5*f = f + 20. Suppose -j + 10 = o - 15, -j + 29 = f*o. Which is bigger: j or 23?
j
Let w be (3/11)/(3*(-3)/9). Let p(r) = r**3. Let c be p(1). Which is smaller: w or c?
w
Let u(n) = -n**2 - 3*n + 8. Let z be u(0). Let j be ((-9)/((-27)/28))/(z/12). Which is smaller: 11 or j?
11
Let w be (-10)/(-35) + 287/(-1862). Is -1 at least as big as w?
False
Let x be (-1222)/20 - 29/(-290). Is x less than or equal to -3?
True
Let t(p) = -p**2 - 11*p - 22. Let k be t(-8). Suppose -k*s - 2 = -4*f, -3*f + 5 = -5*s + f. Which is bigger: s or 0?
0
Let k = 305 - 1199/4. Which is smaller: 0.1 or k?
0.1
Let j(b) = -b**2 + 103*b - 583. Let k be j(6). Which is smaller: 3/475 or k?
k
Suppose -199*w + 195*w - 16 = 0, 3*p + 431 = w. Is p > 4?
False
Let x(c) = -10*c**2 + 251*c + 23. Let q be x(25). Is 53 at most as big as q?
False
Let s = -295 - -17991/61. Let x = -150/427 - s. Which is greater: x or 17?
17
Let p = 21 + -27. Let f be (12/(-30))/(p/(-10)). Is f bigger than 2?
False
Suppose -5*m - 65 - 55 = 0. Let g be 932/m - 2/12. Is g at most -40?
False
Let s(k) = k - 8. Let z be s(8). Let i = 794 + -10310/13. Which is smaller: z or i?
z
Let x be (-1 - (-38)/28)*26/(-780). Which is greater: 1 or x?
1
Let i be (-362)/(-708) - (5/10 - 0). Let s = -8960229/236 - -37967. Let p = s - i. Which is smaller: 1 or p?
p
Let y(c) = -4*c - 4*c**2 + c + 4*c - 11 - 3*c. Let h be y(11). Let r be 4/(-6) - h/825. Does -1 = r?
False
Let q(a) = -a**3 - a**2 - a + 15. Let t be q(0). Suppose 5*y - 2*v + 108 = 3*y, v + 294 = -5*y. Let x = y - -72. Is x less than or equal to t?
True
Let a = -29 - -21. Let p = -1 + a. Let r = 8 + p. Which is smaller: r or 1?
r
Suppose 6*o = 2*o + 40. Suppose 15*s = o*s + 160. Let r = 33 - s. Is r < 4?
True
Suppose -3*w - 3*f = -4*f - 464, -4*w = 5*f - 644. Let l = -147 + w. Is l > 39/5?
True
Let i = 248/291 - 18/97. Which is smaller: i or -1/261?
-1/261
Suppose -5*l + 1049 - 239 = 0. Let c be (-3)/l*4*1. Is 0 smaller than c?
False
Let z = 24 + -4. Let f = z - 21. Do -0.01 and f have the same value?
False
Let m = 1951.1 + -1951. Which is bigger: m or 0.036?
m
Let f be (-1)/(-2)*-2 + 2. Suppose w + 0*w = f. Let b be ((-292)/(-156) - 2) + (-1)/3. Which is bigger: b or w?
w
Let n(b) = -b**3 + 6*b**2 - 2*b - 5. Let p be n(5). Let j be (-2)/(p/(-3)) - 1. Is 1 less than or equal to j?
False
Let l be 9/(-8010)*-4*15. Is 1 at most as big as l?
False
Let i be (-28)/153 - (-12)/54. Is -1 bigger than i?
False
Let d = 5 + -4. Suppose -4*u = -10*u + 12. Is d != u?
True
Let k = -41 - -163/4. Is -149 equal to k?
False
Let u = 5 - 7. Let k(s) = 11*s + 10*s**2 + 11 - 3*s**2 - 6*s**2. Let c be k(-10). Which is greater: u or c?
c
Let b = 5049/28 + -727/4. Suppose -5*j = -6*w + 2*w + 4, 2*w - 2 = 5*j. Which is bigger: b or j?
j
Let w = 0 + 0. Let f(u) = -u**3 + 13*u**2 - 3*u + 3. Let v be f(9). Let o be v/74 + 14 + -18. Which is smaller: o or w?
w
Suppose -2*a = -5*b - 25, b = 5*a - 6 - 22. Let c be ((-12)/2)/(b/(-10)). Is -20 >= c?
True
Let l = 485 - 620. Which is greater: l or -137?
l
Let w(x) = 2*x**3 - 9*x**2 + 8*x - 14. Let l be w(4). Which is bigger: 8 or l?
8
Let y(q) be the second derivative of 1/2*q**2 + 0 - 5/6*q**3 + 1/20*q**5 + 1/3*q**4 - 4*q. Let g be y(-5). Is g at least 1?
True
Let s = -28.2 - -27. Let q = s + 1.4. Are 0 and q non-equal?
True
Suppose -c = -70 + 7