hich is smaller: z or t?
z
Let h be -21*2/(-28) - (-6)/4. Is h not equal to 3?
False
Let h(f) = -f**3 - 2*f**2 - 1. Let o be h(4). Is -99 at most o?
True
Let a(m) = m**3 - 11*m**2 + 9*m + 10. Let i be a(10). Let f be 3 + i + (2 - 2). Suppose -3*w + f = 2*j - 1, -3*j + 6 = -5*w. Are w and 1 equal?
False
Let i(s) = -2*s**2 - 5*s. Let h be i(0). Is h smaller than -2/1137?
False
Suppose -1038 = 10*o - 938. Is -0.1 at least as big as o?
True
Let c(v) be the third derivative of v**5/60 - v**4/12 - v**3/6 - 6*v**2. Let h be c(0). Let s be 240/315 + h/3. Which is smaller: 2/5 or s?
2/5
Let y be 1/((3/(-9))/(-1)). Suppose -78 + 460 = 4*u + 2*l, 2*l - 286 = -y*u. Let z = -477/5 + u. Which is bigger: z or 0.2?
z
Suppose 0 = -4*k - k. Let d = -678/391 - -48/23. Which is smaller: k or d?
k
Let g(x) be the first derivative of -x**2/2 + 12*x - 30. Let u be g(-5). Which is smaller: u or 116/7?
116/7
Suppose -3*d + 26 = b, -2*d - 4*b + 13 = b. Let l(w) = w**3 - 10*w**2 + 10*w - 10. Let o be l(d). Is o greater than -2/5?
False
Let w = -236/91 - -16/7. Let z be -6 - (-9 - (-10)/((-70)/(-21))). Which is smaller: z or w?
w
Let z(x) = 2*x**3 + 10*x**2 + 3*x - 1. Let v(g) = -g**3 + 11*g**2 - g + 7. Let b be v(11). Let m be z(b). Is 20 at most as big as m?
False
Let w be (63086/21)/((-4)/6). Let s = w - -433124/91. Let g = s - 253. Which is bigger: g or -1?
g
Suppose 120 - 75 = -9*u. Which is bigger: u or 127?
127
Let u(g) = 3*g + 14. Let h be u(-5). Let p be ((1 - 1) + -4)*(19 + h). Is p not equal to -73?
True
Let y be (-11)/(-3) - (-8)/(-12). Suppose y*w + 24 = 7*w. Suppose -i + w*i = 30. Which is greater: i or 4?
i
Let c be (-1)/((-3)/(-45)*-3). Suppose -u = 2*n - 2*u, -c*u = n + 11. Let o be n - 51/9*-1. Is 6 at most as big as o?
False
Let h(a) = a**3 - 14*a**2 + a - 11. Let k be h(14). Suppose 8 = k*j + j. Suppose -v = 4*o + 12, v + 14 = j*o - 7*o. Which is greater: o or -8/3?
o
Suppose 8*n = 11*n + 18. Which is greater: n or 2?
2
Let p = 144.117 + -144. Let c = p - -0.883. Let z = -8 - -11. Which is bigger: c or z?
z
Let k(c) be the first derivative of -c**4/4 - 5*c**3/3 + 7*c**2/2 + 9*c - 5. Let o be k(-6). Suppose -u + o*u - 8 = 0. Which is greater: u or 3/4?
u
Suppose 0 = -2*n - 4 + 10. Let l = -4 + n. Let p = -44553/17 + 2621. Which is smaller: p or l?
l
Suppose -4*x = 3 + 5. Let r = 187 - 190. Are r and x unequal?
True
Suppose 4 = 4*q + 2*d, 2*d - 3 = -3*q - 0*d. Let z = -4575 + 4590.007. Let o = z - 0.007. Which is bigger: q or o?
o
Let q = -1 + 0. Let y = -30 + 39. Let f be 2/6*(108/16)/y. Does f = q?
False
Let o = -32544/21373 + 4/737. Let g = -106/261 - o. Which is greater: g or 2?
2
Let d be 25/(-30) + 267/18. Let j be (-85)/7 - (-7)/(d/(-4)). Is j smaller than -15?
False
Suppose 0 = 4*d - 4 + 8. Let k = 1441/92820 + 1/780. Which is smaller: k or d?
d
Suppose 0 = 8*f - 119 + 31. Let z = -5 - -2. Let y be -11*(z + 2 + 0). Is y at most f?
True
Let m be (-1160)/1302 - 1/6*-2. Let j = m + 4/31. Which is smaller: 1 or j?
j
Suppose -4*h + 2*q = 34, 4*h + 0*q + 2*q = -30. Suppose -w = -3*p - 1, 2*p = -3*w + 47 - 33. Which is smaller: h or p?
h
Suppose 0 = -15*t + 18*t + g, 0 = 4*t + 2*g + 2. Which is bigger: t or 0?
t
Let f = 3/13 - -33/26. Suppose -3*k = -6 - 0. Which is bigger: k or f?
k
Let r = 66 + -66.01. Let h = -0.09 + r. Which is bigger: h or -9?
h
Suppose 2*t - 3*m = -0*m + 258, 0 = 4*t + m - 530. Suppose t = -4*p + 4*o, -2*p - 5*o - 18 = 34. Is p at least as big as -31?
True
Let n = -131/290 + 3/58. Suppose -2*g = 4*j - 30, 4*g - j - 2 = 4. Which is smaller: n or g?
n
Let y = -194 - -190. Is -53 at least y?
False
Let r be 366/(-300) - 6/(-3). Do r and 2 have different values?
True
Suppose 0 = -0*v - 5*v - j - 56, -3*v + 4*j = 29. Let p = v + 43/4. Which is smaller: p or 0.37?
p
Let j(v) = -v**3 - 55*v**2 + 55*v - 59. Let g be j(-56). Is g > -46/13?
True
Let q be (4/12)/((-3)/(-54)). Let k = 17 + -1. Let l be 116/k - (-4)/(-16). Is q < l?
True
Let h = 3/28 - -499/308. Is h > 3?
False
Let d = 12.6 + 69.4. Let m = d - 75. Is -3 less than m?
True
Let i = -2 + 4. Let r = -11 + i. Let w be (-4)/r*6/20. Which is greater: w or 0?
w
Let f be (9/(-6))/(90/10920). Is 0.3 greater than or equal to f?
True
Let s = 131/13 + -10. Let q = s + -29/39. Let h be (2 - (0 - -2))*1. Is h less than or equal to q?
False
Let r = 14 - 12. Let f be (-1)/2*-3*r. Suppose s = -2*q - 4, -4 = f*q - 1. Is s <= -2?
True
Let y(n) = 2*n**3 - 14*n**2 + 28*n - 88. Let o be y(5). Is -524/11 < o?
False
Suppose 2 = -3*o + 5. Let c = 1922 + -44209/23. Which is bigger: o or c?
o
Suppose 10 = u + 5. Let h = -2 + u. Is h at least as big as 3?
True
Let m(d) = -d**2 + 6*d + 8. Let v be m(6). Let c be 5/(1 + (-6)/v). Let z = 16 - c. Which is bigger: z or -1?
-1
Let o = -2.2 - -0.2. Let t = -1.9 - o. Is 19 less than or equal to t?
False
Let z = -323 + 10660/33. Suppose 6*v + 0 = 6. Which is smaller: z or v?
z
Suppose -146*f + 147*f = 123. Let d = -72935/581 - -234/83. Let s = f + d. Which is bigger: 12 or s?
12
Let h(j) = -j**2 - 8*j - 11. Let z be h(-4). Suppose -i = -y, i - 3*y = -z + 1. Is i > -3?
True
Let f = -1288.709 - -1290. Let m = 1.26 - f. Which is smaller: m or -1?
-1
Let t = -1412 - -90. Is t at most -1323?
False
Let j be 36/6324*5/(75/10). Do -1 and j have different values?
True
Suppose -3*j - j = 80. Let w be 7/14 + 90/(-4). Let h = j - w. Which is greater: h or 1?
h
Let s = 13 - 8. Let x(a) = -2*a + 7. Let k be x(s). Let u(p) = p - 7. Let m be u(4). Is k < m?
False
Let j be 33/9*-4 - 4/(-6). Let p be (12 - -2)*(-3 + 4). Let s = p + j. Is s greater than 0?
False
Let s = 1470/41 + -237326/6601. Let j = 1/23 - s. Let a = -0.08 + -0.12. Is j smaller than a?
False
Let g be 1/(-561)*3*3/3. Let y = -35/187 - g. Let m = 1 + -1. Which is smaller: m or y?
y
Let z = -221 + 221. Is z > 27/142?
False
Let m be ((-11)/(-2706))/((6/16)/(-3)). Is m > -1?
True
Let h be (-7)/2*(0 + -4). Let l be 3 - 4*(-5)/2. Do l and h have different values?
True
Let g = 0.322 + 5.678. Which is smaller: g or 53?
g
Let l be (-138)/(-33) - (-8)/(-44). Suppose -40 = -4*w - 4*j, 4*j = l*w - 47 + 7. Which is bigger: w or -0.2?
w
Suppose -3*x + 109 = 2*x + 3*y, 3*x = 3*y + 75. Let c = 22 - x. Is -4/11 greater than c?
True
Let l = 808 + -792. Is 9 less than l?
True
Suppose -x - 5 = -2*q, x = 5*q - x - 13. Let f(c) = -11*c - 8 + 13*c - q*c. Let j be f(-8). Is j bigger than 1/6?
False
Let n(j) = -11*j**2 - 296*j + 29. Let g be n(-27). Is g < -1?
False
Let k = -12449/6 - -2084. Is k at most 8?
False
Let q = -54 + 52. Which is smaller: q or -14?
-14
Let f(v) = v**2 - 5*v + 6. Let t be f(3). Let o be (3004/112)/((-57)/(-12)). Let c = 41/7 - o. Is t greater than c?
False
Suppose -5*h - 5*c + 2*c + 7 = 0, 0 = 3*h + 3*c - 9. Let g be ((-2)/h)/((-2)/(-17)). Let t = -17 + g. Which is smaller: 4/9 or t?
t
Let r be 44/(-165) + 2/20. Which is smaller: r or -8/13?
-8/13
Let o(d) = d**3 + 15*d**2 + 12*d + 9. Let n be o(-14). Is n less than 36?
False
Let o = 102/11 + -397/44. Is o <= 11?
True
Let k be (-63)/(-147) - 8/(-14) - 218. Is k greater than -216?
False
Let f = -253450/189 + 1341. Does f = -1?
False
Let j = -3227953/482 + 6697. Which is smaller: j or 1?
j
Let g = -6 + 10. Let x be g/10 + 84/15. Which is greater: 5 or x?
x
Suppose -3*y + 15 = 0, 5*y + 1254 = -5*a - 646. Let w = a - -25027/65. Is -1 at least w?
False
Let b = 174 + -169.11. Let g = b + -4.6. Is g > 0?
True
Let g = 1471.3 - 1471. Is g >= 7/19?
False
Suppose 0*k + 5*k = -2*c - 19, 2*c = 3*k + 5. Let r = -2 - c. Suppose -3*m - 8 - 4 = r. Which is bigger: 0 or m?
0
Let f = -0.34 + 0.04. Let h = f + 0.83. Is 0.1 < h?
True
Let h be -1 + -1 + (-52)/(-1 + -1). Let x be (-24)/(-32)*h/(-63). Is x < -0.2?
True
Let a(r) = 4*r - 24. Let u(h) = -h**3 + 7*h**2 + 8*h + 11. Let b be u(8). Let q be a(b). Is 21 at least as big as q?
True
Suppose 11 = -5*u + 3*p, -13*u + 14*u = p - 3. Is u >= -48?
True
Let b(a) = -a**3 - 42*a**2 - 43*a - 98. Let i be b(-41). Which is smaller: -74/5 or i?
i
Let s(i) = -i**2 - 17*i - 74. Let o be s(-12). Is -4 <= o?
False
Suppose 0 = -l + 1 - 2. Let f(z) = -z**3 + z**2 + 1. Let k be f(2). Let p be 4 + 66/(-18) + 19/k. Is l at least as big as p?
True
Let p be 1452/(-140) + 3/(-15). Let m = 1400 + -1410. Which is smaller: m or p?
p
Let z(r) = -r - 10. Le