True
Let p = -9149/2 + 4675. Let j = -83074 + 2495239/30. Let x = j - p. Which is greater: 0.1 or x?
x
Let f = -13 - -13.06. Which is greater: f or 2?
2
Let u = -27/17 + 271/85. Which is smaller: u or 3?
u
Let k(g) = 1 - 5*g**2 + 3*g**2 + 3*g**2 - g + g**3 + 1. Let w be k(-2). Which is greater: 2/11 or w?
2/11
Let j be -2 + 2 + 1/(-3). Which is bigger: j or 2?
2
Let k be (0 - (3 + 2))/1. Let y be 6/4*(-10)/45. Which is smaller: y or k?
k
Suppose 0*k - 4*k = -8. Let d = -5821 - -28814/5. Let j = d - -58. Which is greater: j or k?
k
Let t(m) = m**3 + 2*m**2 - 2*m - 1. Let a be t(-3). Suppose -4*p - 36 = 4*q, -4*q - 14 = 3*p + 16. Which is bigger: p or a?
a
Let n = 5284/15 - 352. Which is smaller: 1 or n?
n
Let o be (-8)/(-18) + -2 - -2. Which is greater: 1 or o?
1
Let p(k) = -24*k**3 - k**2 - k. Let z be p(-1). Which is bigger: z or 25?
25
Suppose -5*u + h - 5 = 4*h, 4*u - 3*h = 23. Suppose 2*f = -0*f - u. Is -1 at most f?
True
Let x = -11 - 24. Is -33 > x?
True
Let z be 1/2 - 15/42. Let t(q) = -q**3 - 10*q**2 - 9*q - 1. Let v be t(-9). Let b be 1/v - 1 - -1. Is z <= b?
False
Let p be ((-3)/(-10))/((-3)/(-18)). Let n = p + -2. Do n and -3 have the same value?
False
Let v(g) = g**2 - 17*g - 54. Let k be v(20). Does 2 = k?
False
Suppose -4*g = 27 + 165. Is g < -48?
False
Let f = 148 - 147. Is -20 at least as big as f?
False
Let k(y) = y**2 + 17*y + 52. Let a be k(-13). Is 12/31 not equal to a?
True
Let u = 339 + -3722/11. Which is smaller: 1 or u?
u
Suppose 0 = -7*k + 3*k. Let g be (1/(-2) - 0) + k. Suppose 2*t - 6 = 3*j, 6 = t - 3*j - 0*j. Is g >= t?
False
Suppose p + 7 = -p - 3*d, -2*d - 6 = 0. Which is bigger: 0.2 or p?
p
Let z be (5 - 3)*550/4. Let q = z - 9351/34. Is q smaller than -1?
False
Let z be (4 - 0)*(-3)/(-45)*3. Let f = -9 - -6. Let q = -1 - f. Which is bigger: q or z?
q
Let f = -18.41 + 0.41. Let g = f - -18. Which is greater: -3 or g?
g
Let k = 9 - 3. Suppose -k*t = -4*b - 4*t + 6, -3*b + 22 = 2*t. Suppose -f = b*g + 9, 3*g + 6 = -2*f + g. Which is greater: f or -3?
f
Let g = 896 + -9865/11. Let l = g - -7/11. Let w = -1 - -1. Which is smaller: l or w?
l
Let c = 36 + -42. Is 2 < c?
False
Let z = 130 + -265/2. Which is greater: z or -2?
-2
Let n be 53/(-2) - 3/3. Let a = n - -29. Suppose 4 + 4 = 4*c. Is a < c?
True
Let y = -10 - -10.2. Let i = -0.2 + 0.1. Let o = i + y. Is -0.1 less than o?
True
Let w(b) = b + 3. Let c be w(-3). Let i(o) = -o - 5. Let r be i(c). Let d be (-2)/(-2) + 2/r. Which is bigger: 1 or d?
1
Suppose 2*w = -3*w + 55. Let j(y) = -y**2 + 12*y - 14. Let u be j(w). Let k = -8 - -6. Which is greater: u or k?
k
Let v(w) = -11*w**3 - 1. Let m be v(-1). Let z = 14 - m. Suppose 5*i + 32 = 4*l, -10 = -z*l + 4*i + 18. Are 5 and l equal?
False
Let q be (-2)/((-4)/(-6)) + 34/10. Is -1/31 >= q?
False
Suppose -h - 1 = -4. Suppose 0 = -8*b + 5*b + h. Is b less than 2?
True
Let r(i) = -6*i**2 - 2*i - 9. Let q(u) = 3*u**2 + u + 5. Let s(a) = -11*q(a) - 6*r(a). Let o be s(1). Is 3 <= o?
True
Suppose -14 = -5*i + 4*i + 5*x, 26 = 4*i - 5*x. Suppose 0 = i*v - 8 - 0. Suppose 0 = -f - 1 + 6, -v*f = 4*t - 30. Is 5 >= t?
True
Let y(c) = 2*c - 8. Let h(q) = 10*q - 41. Let k(t) = -2*h(t) + 11*y(t). Let o be k(0). Do o and 0 have different values?
True
Let x = 17 + -12. Suppose x*h + 1 - 11 = -4*q, 0 = -3*h + 4*q - 26. Let j be 4/(-14) + 5/(-7). Is h greater than j?
False
Let w be (4/5 + -1)*-2. Suppose 0 = 2*z - 3*z - 5, 2*k + 5*z + 25 = 0. Suppose k = -6*d + 7*d + 1. Is d >= w?
False
Let s = -0.06 + 6.06. Let q = -4.3 + 2.4. Let p = q - -2. Is p >= s?
False
Let v(b) = -b**2 - 8*b + 11. Let t be v(-9). Suppose k + k - t = 0. Which is smaller: 2/7 or k?
2/7
Let m = -3 - -3. Suppose -3 = 3*x + y, 0 = -6*y + y + 15. Which is bigger: m or x?
m
Let q(s) be the third derivative of s**6/120 - 7*s**5/60 - 3*s**4/8 + 7*s**3/6 - 3*s**2. Let a be q(8). Do a and -1 have different values?
False
Suppose -4*q + 7 - 11 = 0. Is q bigger than 2/103?
False
Suppose -2*p = 3*g - 5*p + 9, 5*g + 12 = 2*p. Let k be (-2 + 7)*g/(-5). Suppose k*y = 1 - 3. Is y bigger than -1?
False
Let m(k) be the first derivative of k**4/12 - 2*k**3/3 + 2*k**2 - 2*k - 1. Let g(a) be the first derivative of m(a). Let o be g(3). Which is smaller: o or 2?
o
Let l = 20/7 + -787/273. Which is bigger: 1 or l?
1
Suppose -5 + 3 = t. Let c = t - -1. Let g = 17/21 - 9/14. Is g bigger than c?
True
Let a be (-4)/(-10) - (-2704)/(-6710). Let b = 1356/4697 + a. Is b at most as big as 2?
True
Let n(h) = h**2 + 11*h + 4. Let k be n(-11). Suppose 0 = 2*o + k, o = -4*y - 5 - 9. Is y less than or equal to -3?
True
Suppose a + r + 10 = 3, -2*a - r - 11 = 0. Is a less than or equal to 0?
True
Suppose -4*q = -3*q. Suppose -4*p + 0*y - 67 = y, 3*p = -y - 51. Let d = 50/3 + p. Is d less than or equal to q?
False
Let g be ((-20)/(-5))/(-4)*(-4)/(-2). Let u be (2/5)/((-1)/5). Is u > g?
False
Let a be 1*(-2)/13 - 19824/936. Does a = -20?
False
Suppose -4*o = -c + 4*c - 48, 0 = 2*o + 4*c - 34. Is o at most 9?
True
Let x be 1/(-4) - 25/(-4). Let b be (0 + 4)/(-2)*-7. Let s be x/24 + b/(-8). Are s and -1 equal?
False
Let h(j) = -j**2 - 4*j + 6. Suppose -4 = -3*s - 19. Let f be h(s). Let r be (0 - -8) + 4 + -9. Is r <= f?
False
Let o(x) = 8*x - 6. Let s be o(-3). Let z be ((-12)/s)/((-1)/5). Which is smaller: 0 or z?
z
Let i = -0.62 - 0.08. Let h = i - -0.4. Let k = 0.3 + h. Which is smaller: k or 2/5?
k
Let j be (-2)/(8*43 + 3). Let c = j + -1713/3817. Let h = 67/99 + c. Which is smaller: -1 or h?
-1
Suppose 2 = 2*j + 8. Is j less than -5/2?
True
Suppose 55 = -3*i + 5*w, -4*i - 3*w = -5*w + 50. Let o = i - -7. Let p(r) = -r + 1. Let b be p(4). Is b bigger than o?
False
Let u = 7 + -15. Suppose -x = 9 - 1. Are u and x unequal?
False
Let y = 0.041 - 1.441. Let f = 7 - 6.4. Let l = f - y. Is l not equal to 2?
False
Let z(r) = 3*r - 2. Let w be z(6). Let x be w/66 - 5/15. Suppose -4*d - 4*c + 3*c = 5, 5*c + 5 = 0. Is x > d?
True
Let g be 3*5/(-30)*-6. Is g greater than -3/2?
True
Suppose -y - 3 = -1. Let l be ((-9)/(-6) + y)/(-4). Which is smaller: l or 0?
0
Suppose 4*c = -0*c. Suppose 0 = -5*z + 2*o - 24, -2*z + 4*o - 6*o = 4. Which is smaller: z or c?
z
Suppose 2*n - 16 = -10*c + 5*c, -3*c + 6 = 3*n. Suppose 0 = -l, -2*l + 16 = 4*u + l. Is u at most as big as c?
True
Let c = 9 - 7. Suppose 3 = c*y + 5. Which is smaller: y or 3/7?
y
Let y = -9 + 9.09. Let g = y + 1.91. Which is bigger: 3 or g?
3
Suppose 8*b + 20 = 6*b. Which is smaller: -1 or b?
b
Let i = 22.6 - 23. Which is smaller: -1/5 or i?
i
Let f = -4/173 - 656/1557. Which is smaller: 0 or f?
f
Suppose -5*b = 2*b - 35. Let q be ((-1)/(-3))/((-2)/(-12)). Let r be b/105 - q/6. Which is greater: r or 1/2?
1/2
Let w = 0.2 + 0. Let y = 1.2 - w. Let c = 1.1 - y. Which is smaller: c or -4?
-4
Let t = -5 + 4. Which is bigger: t or 1.9?
1.9
Let p = -158.2 - -158. Let i = -1 + 1. Which is smaller: p or i?
p
Suppose -5*x + 9 = -6. Are x and 2 unequal?
True
Let b = 0.7 + -0.2. Are -3/7 and b non-equal?
True
Suppose -5*c + 0 = 20. Let r be c/18 - (-140)/(-990). Which is smaller: -1 or r?
-1
Let o(j) = 2*j**2 + 3*j. Let f be o(-4). Suppose 0 = c - 3*d + 12, 0*d = c + 5*d - f. Let y = 2.6 - 0.6. Which is smaller: c or y?
c
Let b be -33 - (-1)/(((-3)/(-3))/1). Which is smaller: b or -33?
-33
Let o = 23 + -22.9. Let n = 2 - 1.9. Let h = -0.1 - n. Which is smaller: o or h?
h
Let p = 0 - -1. Suppose 7 = -5*l + 17. Which is greater: p or l?
l
Let t = 4 + -1. Let m(y) = -y**3 + 6*y**2 + 9*y - 7. Let x be m(7). Let a = x + -5. Is t > a?
True
Let o = -5 + 17. Let q = -18 + o. Which is smaller: -2/3 or q?
q
Let x be (-2)/3 - 96/(-117). Suppose -5*v + 2 = -18. Suppose -v*m - 1 = 3. Which is smaller: m or x?
m
Let u = 24 - 23.98. Does u = 1?
False
Let d = -24/7 + 65/21. Is -2/11 <= d?
False
Let z(b) = b**3 + 8*b**2 + 5*b - 9. Let h be z(-7). Suppose 0 = -h*j + m + 40, 3*j + 4*m + 0*m = 1. Are j and 7 unequal?
False
Let g be (-6)/(-12)*(0 + 6). Let p be g/15 + (-19)/(-5). Suppose -f - 2 = -5*t, 11 = 2*t + p*f - 3. Is t at most 2?
True
Let m(a) = 7 + 2*a - 3*a + 0*a. Let t be m(6). Is -1/25 >= t?
False
Suppose -l + 2*p - 2 = 6, l - 3*p = -8. Which is greater: -6 or l?
-6
Suppose 0 = -41*x + 29*x. Which is smaller: -65 or x?
-65
Let w be (-135)/(-18) + 6/(-3). Which is smaller: 0