- 7*t**3 - 7*t**3 + 7*t - 5 - 2*t**2. Let r be w(-4). Let n be ((-2)/6)/((-33)/27). Is n <= r?
False
Let a = 17 - 10. Suppose -w = 21 - a. Let g be (4/w)/(45/(-21)). Do 0 and g have different values?
True
Let r = -1853 + 1850.05. Are r and 1 nonequal?
True
Suppose 7*r + 5 = 12*r. Are r and -2/39 non-equal?
True
Let p = 88 - 196. Let u be 4 + (-9)/(p/(-40)). Is 2 < u?
False
Let h(l) = -6*l**3 + 7*l**2 - 3*l - 6. Let q be h(-5). Let g = q - 6521/7. Is g less than or equal to 1?
False
Suppose 4 = 4*g - 4. Suppose 0*w - 3*w = -5*b + 16, g = 2*b + w. Suppose 0*i - i - 24 = 5*i. Which is bigger: i or b?
b
Let q be -4 - 57/6*-8. Let u be (-2)/(-9) - 88/q. Which is smaller: u or -0.21?
u
Let b be (1/(-5))/((-1161)/(-215)). Which is greater: -0.1 or b?
b
Let f(r) = -435*r**2 + 7*r + 8. Let j be f(-1). Which is bigger: j or -435?
j
Let o = -33 - 2. Let a = o + 17. Which is smaller: 1 or a?
a
Let h = 0 - 3. Let x(l) = 4*l + 48. Let c be x(-11). Let y = c + h. Is -2/11 > y?
False
Let t be 9/(-3612)*(-15)/((-210)/8). Which is bigger: -1 or t?
t
Suppose 9*i + 2*b = 7*i - 186, 2*b + 474 = -5*i. Which is greater: i or -98?
i
Suppose -4*c + 5*w - 333 = 0, -w - 380 = 6*c - c. Is c <= -78?
False
Let q = 54 + -160/3. Let m = -0.0168 - 0.0832. Which is smaller: m or q?
m
Let z be -4 + 1 - (-1 - (11 + -2)). Suppose 2*y = -3*c + z*c - 6, 2*c = -3*y + 7. Let f = -6443/19 - -339. Which is bigger: f or y?
y
Let l = -1.89 - -1.8. Let y = 1.09 + l. Suppose 3*f + 9 = 3*w, w + 8*f + 12 = 4*f. Which is greater: y or w?
y
Let h = 981/4 + -244. Let t(c) = c**2 + 3*c - 54. Let y be t(-9). Are h and y equal?
False
Let q = 8531 + -3969. Let v = -50142/11 + q. Let t = 175/33 - v. Which is greater: t or 3?
3
Let o be 14/6 + (-32)/24. Suppose -3*w = 4*r - o, -4*r + 10 = -3*r + 4*w. Is -14/11 not equal to r?
True
Let j be 2/(-8) + 178/8. Let u(b) = b**2 - 52*b + 213. Let c be u(48). Which is greater: j or c?
j
Let a = 59 + -59. Let j(u) = -45*u - 2. Let p be j(-2). Suppose -4*m = -p - a. Which is smaller: 21 or m?
21
Let z = 2907 - 84294/29. Is z greater than or equal to 1?
False
Suppose -2*y = 15 - 5. Let r = -88 + 265/3. Which is bigger: y or r?
r
Let d(a) be the second derivative of 4/3*a**3 + 2*a**2 + 1/6*a**4 + 8*a + 0. Let u be d(-4). Is 1 > u?
False
Suppose 2 = -2*l + 5*g, 0*g = -4*g. Let h be (-4)/(-7)*(-7)/(-2). Let m be (-15)/15*(h + 22/(-12)). Which is bigger: m or l?
m
Suppose 1 = a + 2. Let b(j) = -14*j + 47. Let x be b(5). Let o be (-28 - x)*1/a. Which is greater: 3 or o?
o
Let r be 81/(-18)*(-2 - -4). Let o be -1 - r/(-22)*-2. Are o and -1/4 non-equal?
True
Let i = 3 - 4. Let t = i - -2. Let b be t - (-27)/42*-2. Is b < 1?
True
Suppose 28*r = -25*r + 69642. Is r less than or equal to 1315?
True
Suppose -2*j + 13 - 47 = 0. Let q be 0 + (-693)/(-36)*(-18)/21. Which is bigger: j or q?
q
Let u be (-12)/(-9) - 20/15. Do -2/59 and u have different values?
True
Let d = 5663 - 5690. Suppose 3*l - 72 = 6*l. Which is smaller: l or d?
d
Let c = -2.05 + 0.05. Let h = 12.8 - 12.679. Let b = 0.021 - h. Which is greater: c or b?
b
Let l = -1143.98 - -1174. Let g = l + -30. Is g < 2/13?
True
Let f = -1.51 + 1.51. Which is smaller: 1.08 or f?
f
Let t be -3 + 103*14/490. Let k be ((-2)/4)/((-2)/4). Does t = k?
False
Let y(k) = 17*k + 126. Let j be y(-7). Let d(r) = -20*r**3 - 2*r**2 - 2*r - 1. Let h be d(-1). Suppose j*a + h = -58. Which is smaller: -12 or a?
-12
Let o be 4/3 + (-3235)/2100. Let b = -7/20 - o. Which is smaller: 1 or b?
b
Let t = -318 - -64. Let g = 491/2 + t. Is g at least as big as -1?
False
Let y be ((-74)/3 - -12)/((-2)/(-129)). Which is greater: y or -818?
y
Let r be (22/(-46508))/(3/12*-1). Is -1 at least r?
False
Let u = 7 + -6.2. Let a = -2668/3 - -889. Which is smaller: u or a?
a
Let v = -15 + 14. Let b = 2542.93 + -2531. Let u = -12 + b. Which is smaller: v or u?
v
Let l = 1.29 - -9.11. Let b = l - 1.4. Which is bigger: -2 or b?
b
Let u = 50 + -48. Let d be 4 - 29/u - -1. Is -9 at least as big as d?
True
Let l = 32.1 + 99.9. Let u = l - 130. Which is smaller: u or 3?
u
Let j = 71 + -59. Let t be 8/j*((-45)/2)/3. Is -15/4 at most t?
False
Let k = -528/19 - -27. Is 0 bigger than k?
True
Suppose 36*f = -167 - 49. Which is smaller: f or -10/17?
f
Let u = 5 - -15. Suppose 0*o = -2*z - 3*o + 46, 3*z - 70 = -5*o. Is u at most as big as z?
True
Let z be ((-2)/2)/((-11)/44). Let g = z + -4. Suppose 3*m + 14 = -i - g*i, 0 = 4*i - 5*m - 12. Which is smaller: 1 or i?
i
Let q = 743.6 - 744. Which is bigger: q or 17/5?
17/5
Suppose 3*g = -3*l + 2*g - 19, -17 = 4*l + 3*g. Let s be (-2)/30 + l/(-40). Is s greater than or equal to 1?
False
Let r = -76 + 76. Let y(o) = o**3 - 3*o**2 + 2*o + 1. Let c be y(r). Let x be 4/(-18) + 17/36. Which is greater: c or x?
c
Let t = 3140/869731 + -1/2833. Is t at least 0?
True
Let n = 2867 + -2866. Which is smaller: 8.89 or n?
n
Let c be (-20)/70 - (-145)/42. Does c = 3?
False
Let p = 0.095 + -0.295. Which is bigger: -0.009 or p?
-0.009
Let o(z) = -z**3 - 10*z**2 - 31*z - 43. Let d be o(-8). Is 57 < d?
True
Let t be 1*156/10*720/(-108). Are t and -105 equal?
False
Let l be (-205)/101 - 1 - -3. Which is greater: l or -1?
l
Let c = -0.02 - 1.28. Let h = -33.4 + 35.4. Are h and c equal?
False
Let b = -10.7 + 11.7. Is 33 not equal to b?
True
Let q be 3/(-9) - (-20)/6. Suppose q*t = 216 + 144. Suppose -5*w + 0*n + t = -5*n, w - 9 = -2*n. Does 20 = w?
False
Suppose 339 = -3*u - 2*q, 5*u + q + 179 = -386. Let r = -1685/3 + 14174/21. Let h = r + u. Which is smaller: -0.08 or h?
-0.08
Let r = -926 - -961. Which is smaller: r or 36?
r
Let t = -10 - -9.7. Suppose -5*v - 52 = 5*f + 8, 3*f + 6 = -v. Let b = -20 - v. Which is bigger: t or b?
t
Let f be (72/60)/(18/(-620)). Let w = f - -41. Is -15 smaller than w?
True
Let q = -16 + 5. Let s = -10.6 - q. Which is bigger: s or 1/6?
s
Let u = 0.19 - 0.29. Let v = u - -1.5. Let a = -1.2 + v. Which is smaller: -2 or a?
-2
Suppose -h + 6 = -5*p, -h = -p - 8 + 10. Let g be (p + 2 + 3)*(-2)/873. Is g <= 0?
True
Let g(l) = -1 + 0*l**3 + 6*l - 9*l + 2*l - l**2 + l**3. Suppose 2*k - 6 = 6*z - 4*z, 0 = -4*k - 3*z + 5. Let c be g(k). Which is smaller: 1/2 or c?
1/2
Let c = 1651306/231 + -7148. Let k = -2/33 - c. Is k less than 0?
True
Suppose -o + 2 = b, -2*o = 3*b + b. Suppose -109 = -5*w - o*d, w - 3*d - 81 = -3*w. Is 22 greater than or equal to w?
True
Let z be ((-2)/(-4))/(18*(-3)/(-36)). Which is greater: z or -1.67?
z
Suppose 55 = 5*g - 4*m, -4*m + 8 + 0 = 4*g. Suppose -r = -5*w - g, 0*w = 4*w. Is r < 6?
False
Let j = -1619 - -30763/19. Let s = -11 - -6. Let b be 2/s - (-2)/5. Which is smaller: b or j?
b
Let n be -1 + -2 - (-91 - 4/2). Do 2 and n have the same value?
False
Let y be 58*(-2)/14 + 3 + -3. Which is smaller: y or -1/2?
y
Let h be (-291)/(-18)*-2 - (-4)/(-6). Let z = h + 28. Do -2 and z have different values?
True
Let g = 0.09 + -0.09. Let s = -3 - g. Suppose -2*l = -8*l - 24. Which is smaller: l or s?
l
Suppose -3*n - x = -146, -33*n + 28*n + 240 = 5*x. Which is bigger: 47 or n?
n
Let i(k) = k**3 - 3*k**2 + 7. Let l be i(-3). Let g = 60 + l. Do 12 and g have different values?
True
Let b = 20 + -41/2. Suppose -4*p + 5*r + 32 = 0, 5*r = 5*p - 0*p - 35. Suppose 5*k + p*m = 3 + 3, 9 = 2*k - m. Is b < k?
True
Let t = 66 - 39. Let o = t - 20. Let s = -7.1 + o. Does 2/15 = s?
False
Let x be 8/(-15)*(-2200)/(-165). Is -7 at most as big as x?
False
Let b(m) = m**2 - 35*m - 42. Let i be b(36). Which is greater: -29/5 or i?
-29/5
Suppose 2*n + 0*t - 4*t = 540, -5*n - 5*t = -1305. Let a be (0 + -2)*658/5. Let c = a + n. Which is greater: c or 2?
2
Suppose -5*w - 2*p = 15, -4*w + 2*w = -4*p + 6. Is w greater than 1?
False
Let o be ((-3)/168 + 10/(-80))*-2. Let a(l) be the first derivative of -11*l**3/3 - l**2 - l + 2. Let d be a(-1). Are d and o unequal?
True
Let j = -396.8 - -311. Let w = 86 + j. Let y = 0.1 - 0.2. Which is smaller: y or w?
y
Let h(n) = n**2 + 23*n + 44. Let i be h(-21). Suppose -5*o - 70 = -5*d - 0*o, -2*o = i*d - 20. Is 12 at least as big as d?
True
Let z be 3/(-2) - 28/(-14). Let i = -3.3 + 17.3. Let f = i + -14.02. Is f at least as big as z?
False
Let a = 283 + -98. Which is bigger: 186 or a?
186
Let u(v) = 276*v**2 - 25*v. Let c be u(-1). Do 302 and c have different values?
True
Let m =