 y be 85*9/t*(-28)/(-147). Are y and v non-equal?
True
Suppose 0 = 5*i + 6 - 1. Let f = 97 - 93. Let c = f - i. Is 1 less than c?
True
Let r = -132 - -232. Which is smaller: r or 98?
98
Let t(c) = 328*c + 136. Let m be t(3). Which is smaller: 1119 or m?
1119
Let c be 3/14*(7729/3759 - 2). Let v = c + 3/358. Is 1 greater than or equal to v?
True
Suppose -4*a + 20 = 0, -a + 6*a + 780 = 5*q. Let g = -134 + q. Which is smaller: 79/3 or g?
79/3
Let r(t) = 2*t - 18. Let a be r(9). Let i(j) be the second derivative of j**4/12 - j**2/2 - j. Let n be i(0). Is a > n?
True
Suppose -32*j = -17*j - 15. Which is greater: j or 1/1332?
j
Let t = 126/19 + 476/209. Which is greater: t or 10?
10
Let s(q) = q**3 - 4*q**2 + 2*q - 4. Let k be s(4). Let n be ((-110)/11)/((-4)/6). Suppose k*h - 3*t + 16 = 2*t, 3*h + 3*t - n = 0. Which is smaller: 1/35 or h?
1/35
Let d be ((102 + 0)/((-27)/18))/(-1). Let p = 64 - d. Does -9 = p?
False
Suppose 4*i - 55 = 17. Suppose h - i - 4 = 0. Let w = h - 32. Is w <= -10?
True
Suppose 0*c - 4*c = 16. Let g be (-9)/4*136/51. Let v be (8/g)/(c/18). Which is smaller: 4 or v?
4
Suppose 5*f = 5*i + 50, 0 = f - 3*i + i - 14. Let r be ((-4)/8)/(1/f). Let t = r - 6. Which is smaller: t or -10?
-10
Let x = -1477 - -1435. Which is smaller: -2/7 or x?
x
Let p be -4*((-6)/8)/3. Let u be (1/(-3))/(p/(-12)). Suppose a + u = 5*a. Does 4/7 = a?
False
Let j = 11 - 3. Let q be (1 - -11)*j/(-16). Is q not equal to -6?
False
Let d = 25.45 + -0.45. Let w = 0 + d. Is 0 > w?
False
Let u = 0.299 - 12.199. Let j = 0.1 - u. Let b = -12.1 + j. Which is smaller: b or -8?
-8
Let v = -55.2 - -90.2. Let k = 0.289 - -34.811. Let h = v - k. Which is bigger: -2/7 or h?
h
Let a be -5 + -8 + 6 - 30. Which is bigger: a or -36?
-36
Suppose -n + 0*t + 4 = -t, 2*n - 20 = 5*t. Suppose 0 = -4*k - 2*p + 18, n = 5*k - p + 1 - 6. Do k and -2/7 have the same value?
False
Let i = 2089 - 142047/68. Is i equal to 0?
False
Let s = 966 - 966.1. Is s <= -175?
False
Let i(s) = -s**2 + 26*s + 64. Suppose 0 = 2*x - 51 - 5. Let q be i(x). Does 11 = q?
False
Suppose 0 = 9*f - 205 + 25. Let m be ((-4)/(-3))/(f/60). Let q be (-125)/(-315) - m/14. Which is smaller: 0 or q?
0
Suppose -19*z - 3267 - 761 = 0. Does z = -212?
True
Let s = -5400 + 33695/6. Do s and 215 have the same value?
False
Suppose 0 = -3*t + 2*q - 0*q + 44, 3*t + 3*q = 54. Suppose l - 9 = 2*c, 3*l - 47 - 4 = -2*c. Which is bigger: l or t?
t
Let o be ((-40)/16 + 3)/((-8)/(-34)). Let k be -2 - ((-1 - 1) + -3). Is k > o?
True
Let h = -31/924 - -32287/924. Is h greater than or equal to 36?
False
Let s = 36 - 37. Let c be -2 - ((-44)/52 + s). Is c at most 0?
True
Suppose 0 = -2*f - 3*f. Suppose f = -v - 0*v - 36. Let u = v + 25. Which is smaller: -13 or u?
-13
Let v = 41 - 100. Which is greater: v or -55?
-55
Let j = 105.2 - 106.2. Is -35 greater than j?
False
Let f be (0*(0 + 1))/(-2). Suppose f = -55*m + 50*m + 135. Which is bigger: m or 26?
m
Let k = 718/15 - 48. Which is smaller: -10 or k?
-10
Suppose -5*k = -2*v - 3750, -3*v + 750 = k - 6*v. Is 751 smaller than k?
False
Let w(k) = -2*k**3 - 6*k**2 - 4*k + 3. Let s be w(-3). Let q(o) = o**3 - 13*o**2 - 31*o + 32. Let z be q(s). Which is greater: 19 or z?
19
Let d be (-10)/4*4/(-7). Let r = 738 + -737. Which is smaller: r or d?
r
Let y = 1.57 + -0.07. Let m = -1.2 + y. Let q = -1 - -1.2. Which is smaller: m or q?
q
Let m be (6 + -3)*(-2 + 0). Let s(k) = -26*k + 3. Let d be s(m). Let f = d - 1746/11. Is -1 at most f?
True
Let l = -141 - 81. Are -221 and l equal?
False
Let x(s) = -s**2 + 7. Let d be x(-3). Let c be 1/d*10/45. Let f = -0.98 - 0.02. Are c and f equal?
False
Suppose -14 = -2*t - 8. Suppose -7*r - 4 = t. Which is greater: r or 2/9?
2/9
Let c be (3/(-1))/(8 + -1). Let k = -38 - -46.5. Let m = 8.4 - k. Do m and c have the same value?
False
Let o(f) = -f + 9. Let t be o(7). Let p be ((-16)/20)/(t/5). Let z be 3 + (p - 26/24). Is z less than or equal to -1?
False
Let m be 2*(-7)/(-4)*(-144)/126. Are m and 0.007 unequal?
True
Let z = -418.8 + 419. Which is greater: z or 0.441?
0.441
Suppose -3*c + 6 = -5*c - 2*o, -2*c + 4*o + 24 = 0. Let x be (c/6 - 1)/(-1). Let d = -12 + 12. Is x less than d?
False
Let j = 0.3 + -22.3. Let h = 21 + j. Which is bigger: h or 1/4?
1/4
Let b = -15 + 10. Let s(q) = -2*q**3 + 4*q**2 - 5*q + 5. Let k be s(2). Let t be 12/(20/k) - (-15)/(-9). Which is greater: t or b?
t
Let o(h) = h**2 - h - 15. Let a be o(-5). Suppose 73 - a = -2*y. Is -28 at least as big as y?
True
Let j be 4/(-18) - (-330)/27. Let d be 1*(-1 + (-4 - -9)). Suppose -j*q + d = -11*q. Which is bigger: 3 or q?
q
Suppose 12 = 8*c - 84. Which is bigger: c or 6?
c
Let d be (-2)/(-4)*-2 + -1. Let m be (-9)/((3 + d)/(-3)). Let t be 3/m*(-24)/(-4). Which is greater: t or 6?
6
Let w(u) = -u**3 - 3. Let m be w(-2). Let d be 4/m*150/(-12). Let s be 0 - d - (-2 + 6). Which is bigger: s or 1/4?
s
Suppose -4 = t - 4*c, -3*c - 1 + 4 = 0. Is -3/227 != t?
True
Let y be (1 - -1)/(-25 + -13 + 25). Let g = 0.3 + -0.1. Let p = 0.4 - g. Are p and y nonequal?
True
Let c = 0 + 4. Suppose 2*a + 5*g - 32 = 0, -3*g = -5*a - c*g + 80. Let y = a + -17. Is -12 <= y?
True
Let w(l) be the first derivative of l**3/3 + 17*l**2/2 + 6*l - 29. Let i be w(-7). Is -62 smaller than i?
False
Suppose 3*l - 2*l = 4*q - 8, 0 = 5*l. Suppose 5*d - 43 = -0*i + q*i, -5*i = -4*d + 31. Are 0.1 and d nonequal?
True
Let o = -417 + 511. Is o at least 95?
False
Let w = 130.915 + -131. Which is smaller: w or -1?
-1
Let h = -2 + -9. Let y = h - -14. Let w = y - 9. Which is greater: w or 0.2?
0.2
Suppose 0 = -10*r + 20*r + 70. Suppose -2*a - 55 = -5*d, -2*d + 20 = -3*a - 2. Let u = 5 - d. Is u > r?
True
Let a be ((-8)/(-20))/(156/15). Which is bigger: a or -1?
a
Let q = -28 + 30. Let j be (-3)/(6/40*22). Let s = -35/22 + j. Is s < q?
True
Let a be -1 + -10 + 2 + 1 + -2. Let y be ((-1)/a)/((-80)/(-225)*6). Is -1 != y?
True
Let c(o) = -o**3 - 4*o**2 + 5*o + 6. Let d be c(-5). Let t be 33/9 - d/9. Suppose 19 = 3*j + 3*h - 2, 5*j = -3*h + 25. Which is bigger: t or j?
t
Let x = 0 - 2. Suppose -4*s + 14 = -3*t - 0*s, 0 = -3*t + 3*s - 9. Let k(o) = -3*o + 7. Let h be k(t). Which is greater: x or h?
h
Suppose -3*t = -2*g - 7 - 68, -5*g - 15 = 0. Let q = t - 22. Is q at least 9?
False
Let f = 1595 + -65393/41. Suppose 0 = 3*g - 3*v + 3, 4*g = 2*g - 5*v + 12. Is g at most as big as f?
False
Let p = 16 - 12. Suppose 0 = x - p*j + 24, 10*x - 29 = 11*x - 5*j. Are -9/8 and x unequal?
True
Suppose 0 = 3*x + 4*w + 39, x + 15 = 2*w - 8. Is -11 >= x?
True
Let i = -15 + 31. Suppose 0 = 3*y + j + 12, 3*y + 3*j + 10 = -8. Let v be (-52)/i - y/12. Which is bigger: -9/4 or v?
-9/4
Let q = 46 - 19. Let g be 3 + 23/1 + 1. Is g not equal to q?
False
Let v(f) = f - 3. Let m be v(-4). Let g be (-3 - (-4 + -14))*m. Let k = -1152/11 - g. Which is bigger: k or 1?
1
Suppose -5*n - p = 279, -17*p + 164 = -3*n - 21*p. Let g = -22 + -33. Is n <= g?
True
Let m = 119.5 - -1.5. Let p = m + -119. Are 0.4 and p non-equal?
True
Let m = 982546/143 + -6871. Is 1 < m?
False
Let h = -5 - -14. Let y be (h - 10)*4/(-10). Which is smaller: y or 1?
y
Let y = -26 + 7.5. Let s = y + 0.5. Let w = s - -1. Which is smaller: 1 or w?
w
Let c = 1097 - 1097. Which is bigger: -13/23 or c?
c
Let t(q) = q**3 + q**2 + q + 18. Let w be t(0). Let j = w + -41. Which is smaller: j or -24?
-24
Let s = 140 + -154. Let v be (-1)/(2/60*2). Which is smaller: s or v?
v
Let m(o) be the third derivative of 0*o + 0 - 5/24*o**4 - 10*o**2 - 1/3*o**3. Let j be m(1). Are -7 and j unequal?
False
Suppose -27 = 2*i - i. Let k = i + 26. Let m be 1/(-4) - (-9)/36. Which is greater: m or k?
m
Let m = -18 + 41. Let n = m + -8.8. Let p = 14 - n. Is p at least -4?
True
Let z = -0.7 + -0.3. Let o = -442/7 - -432/7. Is z equal to o?
False
Let q = 274 + -274. Is q greater than -1/66?
True
Let w be (-4)/42 - (-37433)/4305. Is w > 7?
True
Let m be (-175)/140 - (9/(-4) + 0). Let q(s) = s**3 + 2*s**2 - 5*s - 4. Let z be q(-3). Let x be 118/(-58) + (z - 0). Which is smaller: m or x?
x
Suppose -6 = -3*m, 0 = -g - 2*g + 3*m - 147. Let u = g + 7. Let f be 6/(-9)*(-18)/u. Are 0 and f non-equal?
True
Let m(j) = -j + 13. Let p be m(10). Suppose 7*c - 10 = 4*v + 2*c, -3*v + p*c = 6. Which is greater: v or -2/21?
v
Let y = -63.98