10)*12. Is u bigger than t?
True
Let u(x) = x**3 + 9*x**2 - 8*x + 3. Let t be u(-9). Suppose 4*p - 7 = 2*b + 151, -5*b - t = -2*p. Let k be (-2 - (-82)/p)*-6. Is -1 greater than k?
False
Let t be -1*3 - (-15 - -27 - 14). Let b be (-3)/2*(-8)/78. Do b and t have different values?
True
Let i = -2.13 - -2.2. Let z = i - 0.09. Are z and 2 equal?
False
Let k = -1 + -1. Let w = -101 - -98. Is w at least k?
False
Let g(n) be the second derivative of -n**3/6 - 4*n**2 + 6*n. Let a be g(-11). Suppose -r = 2, -30 = -5*j + 5*r - 0*r. Which is bigger: a or j?
j
Let d = -10.443 + -0.437. Let i = d - -11. Let m = 0.03 - i. Which is bigger: 0.1 or m?
0.1
Let z be 20061/63 - (36/(-28))/(-3). Which is smaller: z or 317?
317
Let k(f) = f - 11. Let v be 5/25 + (-128)/(-10). Let p be k(v). Suppose 2*z = -p*z + 32. Is 9 less than or equal to z?
False
Let k(y) = -y**3 + 3*y**2 + 5*y + 3. Let v = 3 + 0. Let i be (-13 - -7)/(v/(-2)). Let l be k(i). Which is greater: 8 or l?
8
Let v be -6*(-58)/44 + -3. Let t = v - 1156/231. Let f = 1 + -2. Which is bigger: f or t?
t
Let r = 3.45 + 0.65. Let b = 4.2 - r. Which is smaller: b or 3/17?
b
Suppose 0 = -5*v - 15, 5*l + 128 = 6*v - 2*v. Is -169/6 greater than l?
False
Let x = -724 - -582. Does -142 = x?
True
Suppose 2*p - k + 183 = 0, 7*p + 474 = 2*p - 3*k. Is p <= -95?
False
Let s = -64/21 - -1577/483. Which is bigger: s or -2/5?
s
Let t = 1.91 + -1.8. Let b = -824 + 828.11. Let s = t - b. Is s at most 1?
True
Let c be 6 + -179*(-4)/(-2505)*21. Which is smaller: c or 0?
c
Suppose -r - 3*t = 91, r + 2*t = -31 - 58. Is r < -87?
False
Let z(y) = 3*y + 2. Let j be z(-1). Which is bigger: j or -3?
j
Let q be ((-6)/(-4))/((-124)/8 - 6). Is q less than or equal to 0?
True
Let j(x) = 0*x**3 + 10 + 2*x**2 - 6*x**2 - 8*x + x**3. Let n be j(5). Which is greater: n or -26/7?
-26/7
Suppose 2*m + l - 132 = -l, 5*m - 358 = 2*l. Let p be (-20)/m - (-22)/28. Let s be (-2)/28*(7 + -9). Which is greater: s or p?
p
Let y be (17/((-408)/256))/((-2)/(-21)). Which is bigger: -114 or y?
y
Let o = 75.2 - 69. Let b = -6 + o. Is b greater than -3/4?
True
Let q(o) = -o**3 - o**2 + 3*o + 2. Let n be q(-3). Let r be (0 - 2) + n - -3. Suppose -20 - r = 4*j. Do -7 and j have the same value?
False
Let u be -3 - (-1)/((-12)/(-39)). Let p = -12 - -13. Let x(k) = -3*k + 2. Let s be x(p). Is u <= s?
False
Let l = 44 + 1. Let y be 3/(-6) + l/130. Which is smaller: y or -1?
-1
Let r = -2 - 7. Let t = -1 - r. Suppose 2*v = -0*v + 5*j - t, 3*j = 12. Is 6 less than or equal to v?
True
Suppose 2*c + 51 = 4*n + 13, -3*n + 5*c = -46. Let u = 16 - n. Do u and 6 have the same value?
False
Let s be (-2)/3*-6 - -2. Let i be 7/s*30/(-20). Which is smaller: -3 or i?
-3
Suppose 5*o + 3 = d, -5*d - 3*o + 2*o = 11. Let y be d*(2/(-5))/(4/(-5)). Let b = 36 + -254/7. Which is bigger: y or b?
b
Let f = -5.6 + 5.6. Which is smaller: -1/90 or f?
-1/90
Suppose 14 + 4 = 4*d - 2*y, -5*y = 15. Suppose -d*l = -2*r - 11, 4*r + 11 = -0*l - 5*l. Are l and 4 non-equal?
True
Let w = -42 - -64. Let p = w - 36. Which is smaller: p or -13?
p
Let z = -20 + 24. Let h be 26/(-22) + z/22. Let o be ((-10)/470)/(1/2). Is h greater than or equal to o?
False
Let w = -281.9 - -302. Let p = w + -0.1. Let c = p + -19.8. Which is greater: c or -5?
c
Let x(r) = 4*r**3 + 3*r**2 + 4*r + 2. Let w be x(-1). Let o be (w - -3) + (4 - 3)/(-36). Which is bigger: o or 0?
0
Let g be -15 + 11 + 2 + 2. Which is bigger: 1/385 or g?
1/385
Let y = -1 - 1. Let w be (1 + y/3)*(8 - 7). Is -4/9 >= w?
False
Let n(q) = -q**3 + 2*q**2 - 8. Let f be n(4). Let j = f - -28. Let y be j/(-168)*(-8)/22. Is y >= -1?
True
Let o = -39 + 39.3. Let j = -14 + 14. Is o > j?
True
Suppose 0*g + 65 = -5*g. Let f = 13 + g. Suppose -2*n - t - 3 = f, 3*t + 8 - 17 = 3*n. Which is smaller: 0 or n?
n
Suppose 3*s = 4*s - 13. Suppose m - 1 = 4*p, m + 3*p = -0*p - s. Which is smaller: m or -6?
m
Let o = 70.5 - 69. Let v = 18 + -16.6. Let r = v - o. Is r at most as big as 2/7?
True
Let l = -5 - 4. Let w be (9/6)/((-12)/(-80)). Let a = l + w. Which is smaller: a or 2/31?
2/31
Let o(c) = -140*c + 115. Let j be o(2). Which is smaller: -160 or j?
j
Let t be 88/132 + (-136)/(-3). Which is smaller: t or 49?
t
Let j = 29 + -78. Let z = -40 - j. Is -3 smaller than z?
True
Let g = -1114 - -4457/4. Are g and 696 equal?
False
Let c = -3736/175 + 150/7. Let w be (0/(-4))/(-2 + -1 - -4). Is c equal to w?
False
Let f = -36 + 51. Let h be (5/f)/(((-8)/18)/(-2)). Does -1/4 = h?
False
Let b = 10 - 18. Let o(z) = -z**3 - 8*z**2 + 4*z + 17. Let j be o(b). Which is smaller: j or -13?
j
Let f = -7062/5 - -1412. Which is greater: -20/9 or f?
f
Suppose -5 = 5*o - 0*o. Let f(s) = s**2 + 8*s + 14. Let k be f(-6). Let r be k/4 - 108/48. Which is bigger: r or o?
o
Let v = 34.1 + -7.1. Let f = v - 34. Are -2/3 and f nonequal?
True
Let p(v) = -v. Let c be p(-2). Suppose 3*m = -c*m. Suppose m*t = 4*t. Is -1 at least as big as t?
False
Let m be 6 + (-8 - -6) + -5. Is m equal to -2/509?
False
Suppose 2*z - 24 + 2 = -5*c, 0 = 4*c - 3*z - 13. Suppose 2*u = -c*j + 2 + 6, j = 4. Let p be 0/1 - u/(-16). Do -1 and p have the same value?
False
Let a(q) = 2*q**2 - q + 4. Let g = -25 - -27. Let r be a(g). Which is greater: 12 or r?
12
Let x = 0.6 + -3.6. Let z = x - -8. Let t be ((-1)/(-7))/((-8)/(-16)). Which is smaller: z or t?
t
Let i = -141.4 - -141.3. Let k be (1/8*-3)/(-1). Is k smaller than i?
False
Let t(a) = -a**2 + 6*a - 8. Let n be t(6). Suppose 0 = -o + 14*o + 39. Let s be ((-2)/o)/(n/6). Is -0.1 at least s?
True
Let a = 11.9 - -4.1. Let b = -0.01 + -9.99. Let z = b + a. Is 1 at most as big as z?
True
Let m be (3/(-6) - -1)/((-4)/2558). Let x = -325 - m. Which is bigger: -5 or x?
-5
Let p = 61/184 - -1/23. Suppose k + 12 = -o, 2*o - 36 = 5*o + 4*k. Let h = -12 - o. Are h and p nonequal?
True
Let g = -0.52 + 54.52. Let t = -54 + g. Which is smaller: -27 or t?
-27
Let r be 1 - 1 - -15 - 2. Suppose -5*a = 3 - r. Let i be 1 - (1 + (3 - a)). Is -0.3 at least i?
True
Let q be (-121)/(-11)*((-2)/1)/(-22). Is q <= 1/978?
False
Suppose 0 = 2*d - 10, 5*j - 17 = -5*d + 13. Which is smaller: -6/19 or j?
-6/19
Let n = -16 + -1. Let j = n + 16. Is j <= -1/7?
True
Let k(r) = -7*r**2 + 1. Let t be k(1). Let w(g) = -9*g - 24. Let o be w(t). Let y be 285/o + 3/2. Is y != 11?
False
Let j = -47 - -27. Let s = 28 + j. Suppose 0 = 3*b - s*b. Does -4/5 = b?
False
Suppose 0 = 4*t + 2*a + 16, 0*t + 4*a = 4*t + 16. Is -13 less than t?
True
Let m be 4 - (-2 - 0/3). Suppose 5*r + 19 = 5*i - 1, -4*r = 12. Do i and m have the same value?
False
Let d be (51/(-714))/((-16)/14). Is 0 at most d?
True
Let m = 9 - 7. Suppose -5*k + 2*k = -m*l + 2, 28 = 5*l + 4*k. Suppose a - 5*u - 30 = 0, -l*a + 5*u = -9*a. Which is bigger: -1 or a?
a
Let z be ((-2004)/8)/(-2*3). Let f = -42 + z. Is 0.2 at least as big as f?
True
Let h = 33 - 34. Which is smaller: h or 3/176?
h
Let t = 0.1 + -0.1. Let j = t - 0.1. Let i = -1.865 - -2.865. Is j at least i?
False
Suppose 0 - 15 = -5*h. Suppose 4*w - 25 = h*g, 0*g = 2*w - 2*g - 14. Let p be -1*1*w/(-12). Which is bigger: -1/4 or p?
p
Let k(a) = a - 8. Let u be k(12). Let g = 7 - u. Suppose 6*d - 12 = g*d. Which is smaller: 2 or d?
2
Let p = 39 - 34. Suppose -4*v + 5*v + w = p, 12 = 3*w. Are v and 3/20 nonequal?
True
Suppose 0*i = -2*i - 2. Suppose 0 = 3*o + 17 - 20. Suppose 4 = 5*j - o. Which is smaller: i or j?
i
Suppose 1375 = 58*z - 69*z. Is z >= 0.1?
False
Let k = 81.041 + -0.041. Let r = 80.99 - k. Is r >= -1/4?
True
Suppose -2*p = -0*b + 3*b - 45, -4*p - 53 = -5*b. Let c(j) = j - 11. Let o be c(-4). Let d = o + b. Which is greater: -5/6 or d?
-5/6
Let f = 144 - 145.4. Do f and -10 have the same value?
False
Let n = -44003/1200 + 110/3. Which is greater: n or 1?
1
Let z = -1414 - -1848. Is z less than 0?
False
Let h = 0 + 0. Let b(t) = t**3 + 14*t**2 + 14*t + 18. Let z be b(-13). Let o be (-2)/z - 8/(-20). Is o at most h?
True
Suppose -3*k - 30 - 57 = 0. Let q = k + 30. Is -1/6 at most q?
True
Suppose -k - f = -5*k - 12, 4*k + f = -12. Let y(z) = -3*z**2 - 7*z + 47. Let c be y(3). Are k and c equal?
False
Suppose 0 = -4*z + 4*l, 2*l = -4*z + l. Let m be 3 + z*1/3. Suppose m*s = 6*s. Which is bigger: s or -0.2?
s
Let k be 3 - (2 - 21/(-15)). Let y = 29.16 - 29. Let s = y + -0.06.