 6*n**2. Let t be a(4). Which is greater: x or t?
t
Let d = -1404 + 1584. Which is smaller: 3 or d?
3
Suppose 7*f + 1035 = 22*f. Suppose -f*v + 55 = -74*v. Which is bigger: v or -10?
-10
Suppose -13*o + 945 = 1660. Which is bigger: 8 or o?
8
Let b be ((-120)/27)/10*(-2)/(-32). Are b and -1 equal?
False
Suppose 16*a - 42 = 19*a. Let j be 50/a + 12/(-28). Let t = j + 1. Which is greater: -4 or t?
t
Let k(m) = m**3 + 3*m**2 - 5*m + 9. Let b be k(-6). Let n = b + 755/11. Which is smaller: -1 or n?
-1
Let p = 5 - -3. Let y be (p/(-3))/((-2)/3). Is 4 at least y?
True
Let i = 3.1 + -6. Let l = -13.9 - i. Let w = l - -10.9. Does 4 = w?
False
Suppose -2*i = 2*y, 0*y = 4*y - 2*i - 12. Suppose y*b = -3*b - 5. Which is bigger: b or -2?
b
Let s = 11 - 6. Suppose -s*x + 28 = -42. Is x >= 15?
False
Suppose -3*k + 16*r - 13*r = 183, -4*k + 2*r = 246. Which is smaller: k or -64?
-64
Let n = -3/73 - -85/292. Are n and 0 unequal?
True
Let u(b) = -b**3 - 3*b**2 + 10*b - 16. Let y be u(-9). Is y smaller than 378?
False
Let j = 6 - 6.5. Let c = 1.2 + -16.2. Let d = -14.8 - c. Is j >= d?
False
Let c = -122 - -122. Let m = -102 + 198. Let u be 6/18 - 26/m. Is c smaller than u?
True
Let d(a) = -a**2 - 8*a - 8. Let b be d(-6). Suppose -h + 2 = -3*u - 9, -4*u - 12 = -b*h. Let j = -30 - -26. Is j less than or equal to u?
True
Let k = -14.7 - -31.7. Is -11 at least as big as k?
False
Let h = -17.6 - -16.6. Which is smaller: -36 or h?
-36
Let w = 24 + -18. Suppose -w*k - 11 = -5. Which is greater: 5/16 or k?
5/16
Let o be 2*5 - (-6)/6. Let n be 0 - o/2*-2. Let l = 10 - n. Do -1 and l have the same value?
True
Let s = 8 + -4. Suppose 2*b = s*b + 2. Let l = -53 + 52. Is b less than or equal to l?
True
Let l(q) = -q**3 - 6*q**2 + 14*q - 10. Let b be l(-8). Suppose 0 = -4*o + b + 2. Which is bigger: o or -0.2?
o
Let c(p) = -5*p + 7. Let i(j) = 13*j - 21. Let r(k) = 11*c(k) + 4*i(k). Let h(a) = -4*a**2 + 1. Let m be h(-1). Let f be r(m). Which is smaller: 1 or f?
1
Suppose 0 = -7*r - 12 - 9. Which is smaller: -25/11 or r?
r
Let r = 273 - 183. Is r not equal to 90?
False
Suppose -2*m = -0*m. Let c = 32 - 38. Let v be c/20*8/(-6). Does v = m?
False
Suppose 59*y - 56*y = -12. Let a be (0 - -1)*(y - 0 - -4). Are -2/223 and a unequal?
True
Suppose -2*y = -g - 9, -g - 5*y + 18 = -3*g. Are g and -90/11 equal?
False
Let n = -112.4 - -101. Let y = 12.4 + n. Which is bigger: y or 89?
89
Let q be 5 + 99/45 + 4. Is q != 10?
True
Suppose 2*h = -1 - 3. Let l be h/(-7) + (-2)/56. Suppose 0 = 16*x - 13*x + 3. Is x less than or equal to l?
True
Suppose 4*z = z - 4*h + 10, z = 4*h - 2. Suppose -2*y + 11 = 2*a - 7*a, -2 = -4*a - z*y. Is a bigger than -8/5?
True
Let f be 4/(-5) + (5488/(-315))/(-4). Do f and 5 have different values?
True
Let w = 2.774 + -2.374. Let u = -0.5 - 0. Which is greater: u or w?
w
Suppose 13*u = 8*u + 5*h + 280, -u + 38 = 5*h. Is u < 54?
True
Let j = -95 + 90. Let c = 8 - 5. Let f = c + j. Which is smaller: -1/2 or f?
f
Suppose 19 = -m + 4*d, 4*m + 106 = 2*d + 16. Let t = 7 + m. Which is bigger: -18 or t?
t
Let m be ((-6 - -2) + 1)*(4 - 5). Let k be (486/(-39))/(-3) - (6 + -2). Which is smaller: m or k?
k
Suppose 11*i - 5*i = 6. Which is bigger: i or 6/59?
i
Let d = -18.83 - -18.81. Which is bigger: d or -84/11?
d
Suppose 0 = 21*v + 4 + 17. Suppose 0 = 4*m + 4*s + 12, 0*s + 5*s = 4*m - 24. Which is greater: m or v?
m
Suppose 0 = -4*k - 5*h + 69, 2 = -k + 4*h - 7. Is 18 at least k?
True
Suppose -45 + 83 = -19*v. Which is smaller: -28/31 or v?
v
Suppose 2*t + 2*t = 328. Suppose 0 = -6*g + t + 8. Let x be (1 - 2)*(g - 11). Which is bigger: 3/5 or x?
3/5
Let l(m) = 10 - 28 - m**2 - 22*m - 12 - 14. Let i be l(-6). Which is greater: i or 54?
54
Let z = -7 - -10. Let g = z - 6. Let b = 0.04 - -0.06. Which is bigger: b or g?
b
Let q(h) = h + 8. Let k be q(-8). Let d be (-3)/(-8)*(-4 - k). Let a be (-8)/(-20) - (-36)/(-15). Which is smaller: d or a?
a
Let p(h) = -4*h**2 - 2*h + 7. Let c(t) = -13*t**2 - 5*t + 20. Let r(s) = -2*c(s) + 7*p(s). Let q be r(-5). Let v = -16 - q. Is v equal to 5?
True
Suppose 7*c + 0*c + 5*c = 0. Which is bigger: 4/3 or c?
4/3
Let b(y) = -y**3 - 5*y**2 - 5*y - 3. Let n be b(-4). Suppose -9 = -3*h - 0. Suppose h*x + n = -2. Which is greater: x or 2/7?
2/7
Let k = -41 + 31. Let s be (k/75)/((-66)/(-5)). Let d = -7/33 + s. Is 1 < d?
False
Let i be (0 - 2)*(-1 + -1). Suppose -i*z + 3*z + 5*v + 11 = 0, -8 = -4*z + 2*v. Let b = 151 - 2717/18. Do z and b have the same value?
False
Let p be (9/(-412))/((-36)/(-96)). Let t = 1157/412 + p. Is 2 != t?
True
Let d = -105.9 + 96. Let o = 120.9 - 122. Let c = o + d. Which is smaller: c or 0?
c
Let a(u) be the first derivative of u**3/3 - u**2/2 + 2*u + 1. Let m be a(2). Suppose m*i + 28 = -40. Which is bigger: i or -16?
-16
Suppose 2*b = 5*x + 11, 0*x - 3*x = -5*b - 1. Suppose 5*j - 7 = -2*y + 4*y, -3*j = -9. Suppose -y*z + z = 0. Is x <= z?
True
Let m = -16 + 20. Let t be -20*(m/(-10))/(2/(-4)). Which is smaller: -1/2 or t?
t
Let y = -2 - -1.7. Let i = y + 0.2. Let k be (66/(-20) - -3)/((-27)/18). Does i = k?
False
Let g(n) = -25*n + 52. Let j be g(2). Let i be 4/5 - 2/(-10). Suppose -i = -j*t + 1. Which is smaller: -2 or t?
-2
Let i(g) = 3*g**2 + g. Let p be i(-1). Let n = p + 14. Let v = n - 27. Is v at least -12?
True
Suppose 2*o + 12 = 3*w, 3*o = -2*w + 4*o + 9. Suppose 1 - 19 = -w*i. Is 13 at least i?
True
Let o be (-5)/5*(5 - 5). Which is smaller: o or -1/278?
-1/278
Suppose 77 - 1325 = -13*a. Let h be (1/(-2))/((-8)/a). Is h > -2?
True
Let g = 23.9 + 2.1. Let z = -43 + g. Let f = 3294 + -3294. Is z bigger than f?
False
Let h be (2/(-2))/((-23)/(-92)) + 4. Is h <= -4/685?
False
Let i = -3 - -6. Suppose -t = 2*t - 6. Suppose -b + u = i, -b + 4*u - 2 = -t*b. Which is greater: b or 1/2?
1/2
Suppose 0 = 4*h - 2*m + 2, 0 = 3*h - h + 5*m + 7. Is 1/199 >= h?
True
Let a(s) = 2*s**2 + 12*s - 8. Let f be a(10). Suppose 2*h + 2*h - f = 0. Let y be (-15)/h - 1/(-2). Is 1 > y?
True
Let o be 1*(16*-1)/2. Let k be 4/o*9*2. Let a = -10 - k. Which is greater: a or 2/7?
2/7
Let m = -25 - -103/4. Let v(q) = -q**2 - 5*q + 7. Let w be v(-6). Is m at least w?
False
Let m = 6 + -6. Let u be 5 + -19 - (m + -3). Which is smaller: -12 or u?
-12
Let w be (-6)/15 + 4/10. Suppose w = 4*r + 8 + 8, -2*r - 10 = -2*t. Let n(x) = -x + 5. Let d be n(5). Is d less than t?
True
Let y(k) = 5*k**3 - 6*k**2 - 9*k - 2. Let i be y(7). Let t = i - 50168/37. Let h = t - 341/74. Which is smaller: h or 1?
h
Let r be (-33)/77 + (-934)/(-252). Let x = 13/4 - r. Which is smaller: 1 or x?
x
Suppose 3*r = -p, 3*r = -r - 5*p. Is r less than or equal to -2/27?
False
Let v = -237413 + 5461347/23. Let c = -8110/69 + v. Let x = c - -84. Is x at most 2?
False
Suppose -5*i = -3*i - 588. Suppose -91 = s - i. Let d be (-2)/(-5) + s/(-70). Does 1 = d?
False
Let y = -58 + 62. Suppose -3*p + 25 = y*v - 13, -2*p - 5*v + 30 = 0. Is 7 equal to p?
False
Let x = -35.33 - -35.3. Suppose -5*d + 18 = 2*n, -3*n + d + 22 = 6*d. Suppose -4*z = -0*z - n. Is x > z?
False
Let s(k) = k**2 - k + 1. Suppose 2*i + 4 - 2 = 0. Let t(u) = -u - 1. Let j(v) = i*s(v) + t(v). Let c be j(0). Is -2/3 > c?
True
Suppose -4*r + 16 = 5*b, -2*r - 22 = -3*b - 2*b. Suppose 2*d - 15 = t, 8*d - 4*t = 4*d + 20. Suppose b*m - 2*m = -o - 2, -2*m + d = -2*o. Are m and 0 non-equal?
True
Let g be 39/(-18) + 2 + 1. Let m = g - 3/2. Which is greater: m or 1?
1
Suppose 4*u = 5*n + 53, -2*u + 3*n + 0*n + 27 = 0. Suppose 2*s - 4 = -u. Let w be (2/s)/(6/(-12)). Which is smaller: w or -3/13?
-3/13
Let o = 243 + -225. Is o smaller than 36?
True
Let t be (6/(-177))/(10/(-3454542345)). Let z = -11709642 + t. Let x = -671 + z. Is x > 1?
False
Let b(n) = -n + 6. Let s be b(7). Let c = 5009875 + -29623391110/5913. Let x = 1/81 + c. Which is bigger: x or s?
x
Let z = 1/1046 + -793/8891. Are 1 and z equal?
False
Let b = -8.8 + 1.3. Let f = b - 1.5. Let x = -14/9 - -88/45. Is x greater than or equal to f?
True
Let j(k) = k**3 + 7*k**2 + 5*k + 5. Let t be j(-5). Let s = 33 - t. Which is smaller: s or 0?
0
Let c = 0.84 - -0.26. Let q = c - 0.1. Let t = 12 + -20. Which is bigger: t or q?
q
Let j(l) = 2*l**3 + 31*l**2 - 17*l - 17. Let g be j(-16). Let h be 4497/54 + 1/(-2). Let q = h - 83. Which is greater: g or q?
q
Let h = -172