Suppose 4*a + x + 6 = 0, 0 = 4*a - 3*x + 7*x. Let i be a/(-10) - 28/(-35). Let s = i - 3. Is s bigger than -2?
False
Let f = -17 - -2. Let p(k) = k**3 - 4*k**2 - k - 13. Let y be p(5). Let g = -10 - y. Is g greater than or equal to f?
False
Let c(i) = -5*i**3 + 9*i + 5. Let j(p) = -p**3 + p**2 + p + 1. Let u(k) = c(k) - 6*j(k). Let z be u(5). Is -12 <= z?
True
Let p be (13/((-117)/6))/(2/(-3)). Which is smaller: 90 or p?
p
Let o = 12379 + -11818.7. Let c = 521 - o. Let f = -39 - c. Are f and 3 nonequal?
True
Let n = 0.17 - -0.73. Let a = n - 1.9. Let b = 0 - a. Which is greater: b or 2/7?
b
Let x be -2 - (-2 + -1) - -3. Suppose -4*s - 2*i = -20, -x*s - 3*i = 7 - 31. Suppose -3*v = -2*v - 1. Which is smaller: s or v?
v
Let u = -1.21 + 106.21. Let j = u - 103. Do j and -14 have different values?
True
Let b be (-4)/14 + 102/14. Suppose -b = -4*z + 5. Is z at most 3?
True
Suppose 2 = 4*i - 3*i. Suppose 5*q - 1 = i*v, 3*q - 5*q + 4*v + 10 = 0. Which is smaller: q or 2/9?
q
Let x = -0.8 + -2.2. Suppose 3*q + 3 - 9 = 0. Suppose 0 = -s - q*s. Which is greater: s or x?
s
Suppose 5*n - 13 = 4*n. Let h = -33 + n. Let d be (-9)/(-12) + 15/h. Which is bigger: d or -6/13?
d
Let d be (-3669)/5*4898/(-8). Let a = d + -449480. Let f = a - -211. Which is greater: -1 or f?
f
Let h be (-12)/4 - 96/3. Let w = h - -34. Is -8/9 greater than w?
True
Let s = -3 + 2. Let h = -176305/7 + 25186. Which is smaller: h or s?
s
Let k = 24 - 24. Let a be (-5 + 0)/(-10)*k. Is -2/19 at most as big as a?
True
Let a(n) = -n**2 + 11*n - 3. Let i be a(10). Let g = 3 - i. Is g smaller than -29/6?
False
Suppose 0 = -5*m - 3*o + 29, -m + 0*m + 4*o = 8. Suppose 3*t - 42 = -m*t. Suppose -20 = -l + t*l. Are l and -4 nonequal?
False
Let v(n) = -6*n**2 - 1. Let h = 14 - 23. Let z be 5/15 + (-6)/h. Let k be v(z). Is k at least as big as -6?
False
Let f = 136 + -200. Let u = f - -63.9. Do -1 and u have the same value?
False
Let b(k) = k**2 - 56*k + 166. Let q be b(3). Are 116/15 and q unequal?
True
Let i(b) be the first derivative of -b**2/2 - 15*b - 16. Let r be i(-16). Which is bigger: 2/31 or r?
r
Suppose 0*b - 4 = -2*b. Let r = -517/3 - -173. Which is smaller: b or r?
r
Let o be -1 + 3 + -1 + 13. Let k be -4*(-12)/o + -3. Suppose 3*l + 5*q - 7 + 30 = 0, q - 1 = 5*l. Is k at least as big as l?
True
Let t = 450 - 354. Are t and 191/2 non-equal?
True
Suppose 5*p = -5*h - 10, 2*h + 3*p - 2*p = -1. Is 2/39 > h?
False
Let p be (7/7)/(1 + -2). Let j be p/(2/(-42)*-3). Let h = -1 - j. Which is smaller: 5 or h?
5
Let y = 7.4 - 7.6. Let t = y - -1.5. Which is bigger: t or -1/3?
t
Let q = -1106 + 1107. Which is bigger: q or -5/76?
q
Suppose -105*t + 98*t - 28 = 0. Are t and -12 equal?
False
Suppose -2*a + 5*a = 3. Let d be -1*(-3 - (-3 + a)). Suppose 3*y = -5 - d. Which is smaller: y or -3?
-3
Suppose 4*a + 19 = -2*v + 15, a = 3*v - 15. Which is greater: -15/8 or a?
-15/8
Suppose -4*x = -8*x + 4*r - 28, 2*x + r = -8. Let t be -2 + (4 + 1)*-7. Let i = 63/2 + t. Which is greater: x or i?
x
Suppose -3*q = -15 - 3. Suppose -q*z - 2 = 4. Is -3/28 at most z?
False
Suppose 0*h - h = 0. Is h greater than -2/31?
True
Let y = -1.08 + 0.98. Let c = -0.03 - -0.09. Is c bigger than y?
True
Suppose 27*f + 17 = 26*f. Let a(d) = -d**3 - 15*d - 6*d**2 - 12*d**2 + 9 + 0 + 14. Let z be a(f). Are z and 1/2 unequal?
True
Let s = -202/15483 + -5/397. Suppose u - 5*u = 0. Is s at most as big as u?
True
Let g be 2/(270/(-33)) + (-17)/85. Suppose 0 = -2*t + 4*t. Is g at most t?
True
Let c(h) = -h**2 + 24*h - 143. Let l be c(13). Which is bigger: -2/169 or l?
l
Let y(h) = -8*h + 111. Let l be y(10). Which is greater: l or 29?
l
Let s(b) = b**3 + 7*b**2 + b + 1. Let u be s(-7). Let x = 12 + -14. Let t be -8 - -4 - (-6)/x. Is t != u?
True
Let p be (8/6)/((-30)/135). Let c be (p - 4/(-1)) + -2. Let g be -1*c*(-4)/48. Which is bigger: 14 or g?
14
Let v = 0.12 + -0.02. Which is smaller: v or -3?
-3
Let o = 1594/165 - 48/5. Let r(v) = v**2 + 59*v - 120. Let u be r(-61). Is u greater than o?
True
Let v = 26 + -25.725. Let r = -0.015 - v. Let b = -0.01 + r. Which is bigger: b or -0.4?
b
Let d be 4/(-3)*(-3)/14. Let r(b) = -b**3 + 8*b**2 - 11*b - 8. Let h be r(6). Let j be h/(-14) + (-25)/(-70). Is d at most j?
True
Let z = -273 + 271. Which is bigger: -4/3 or z?
-4/3
Suppose -6*k + 2*k + 48 = 0. Let a(c) = 3*c - 20 + 5*c - c**2 + 10*c - 4*c. Let o be a(k). Which is smaller: 11/4 or o?
11/4
Let c = -293/112 + 3/16. Which is smaller: c or -1?
c
Let g(t) = -t**3 + 19*t**2 - 6*t - 19. Let y be g(17). Which is smaller: 455 or y?
455
Suppose 2*r + 3*d + 39 = 0, 2*d + 82 + 0 = -4*r. Suppose -32 = -4*b - 5*n - 0, 4*b - 4 = 2*n. Suppose b*y + 14 = -52. Which is bigger: y or r?
r
Let f(x) = -x**2 - 12*x + 71. Let i be f(-16). Let a = 3 + -1. Suppose 28 = 6*h - a*h. Is i greater than h?
False
Let q = 1852 - 1890. Is -38 less than q?
False
Let f = 19 + -15. Let d(r) = 7 - f + 10*r - 11*r. Let z be d(-4). Does -2/7 = z?
False
Let l(k) = 8*k**2 + k. Let h be l(-1). Suppose 4*s - 2*s - 18 = -t, 0 = -3*t - 4*s + 44. Is t at most as big as h?
False
Let l = 19 - 17. Let d be 38 + l*4/(-4). Let b be ((-21)/(-63))/(2/d). Is 6 smaller than b?
False
Let j(p) = -2*p + 6. Let i be j(5). Let h be 6/i*4/87. Let n = 18 - 17. Which is bigger: n or h?
n
Let j be 2/(-3) + (-5)/(-3). Let v(r) = -r**3 - 5*r**2 - 4*r - 2. Suppose 3*x + 12 + 0 = 0. Let l be v(x). Is l at most j?
True
Suppose -13*a + 9*a - 10 = 5*b, 5*a = -25. Suppose -4*c + b*l - 4*l - 28 = 0, 3*c + 35 = -5*l. Suppose 3*f + 18 + 3 = 0. Which is smaller: c or f?
f
Let w = 1942593/32485 - -2/6497. Which is greater: 60 or w?
60
Suppose -5*a + 9 = -2*g + 128, 25 = -5*a. Is g bigger than 236/5?
False
Let d = -5.94 + 6. Let k = 0.04 + d. Let i = -6 + 5. Which is greater: k or i?
k
Let q = 0 - -1. Let k = 2123327656/1089 - 1949796. Let f = k - 6/121. Is f > q?
False
Suppose 0 = 5*d + 2*s + 2*s - 41, -3*d = 5*s - 22. Let f = -1 + d. Let j = 26 + -17. Is f >= j?
False
Let j = -469 - -3755/8. Which is bigger: j or 1?
1
Suppose -4*l = -5*w - 12, 2*l - 6 = 122*w - 123*w. Is l smaller than -53?
False
Let p(z) = -z + 7. Let b be p(5). Suppose -b*g + 3*g = 2. Let h = -63 - -64. Which is smaller: h or g?
h
Let w = 118/13 + -1103/143. Let x = w + -23/33. Does x = 2?
False
Let o = -241.3 + 241. Let t = -0.99 + 1. Is t > o?
True
Suppose 9*c = 11*c + 20. Let v be ((-4)/c)/(18/(-20)*1). Which is smaller: 0.4 or v?
v
Let d(t) = t + 4. Let o be d(-4). Let b = -116 - -113. Which is smaller: o or b?
b
Let k be ((-10 + 11)*(-1 - -1))/(-1). Are k and -2/253 non-equal?
True
Let o be 3 + 3/(72/(-4))*-538. Let j = o - 1444/15. Is -4 greater than j?
False
Let b = 10 + -6. Let u = 16 - 13. Suppose -3*p + b*p = u*r, 0 = 5*r + 4*p. Do -2/55 and r have different values?
True
Suppose -32*p = -14*p - 270. Do p and -6 have different values?
True
Let i be (-49)/8 + ((-5)/8)/(-5). Let v be (-11)/(33/i) - (-68)/(-13). Is v at least -3?
False
Let y be (12/(-16))/(6517/(-1176)). Which is smaller: 1 or y?
y
Let x be (0 - 7/5) + (-2)/(-5). Which is smaller: x or -1/144?
x
Let s be ((-2)/(-69))/((-2)/6). Suppose -2*o + 2*h - 8 = 0, 8 = 8*h - 4*h. Let p be 5 - ((o - -2) + 6). Which is smaller: s or p?
p
Suppose 4*t + t = -5*h + 80, -3*h + 22 = t. Let d be (-1 - -2) + -2*100/8. Let i be ((-3)/(-6) + -1)*d/1. Is t != i?
True
Let g = 21 + -17. Let l = 14 + g. Let r = l - 19. Is r >= -12?
True
Let n = -149/244 + 22/61. Is 3.2 at least n?
True
Let o(m) = m - 6. Let f be o(6). Let y = -149531 + 9419693/63. Let s = 86/7 + y. Which is smaller: f or s?
f
Let q = 4/869 + 35613/3476. Which is smaller: q or 1?
1
Let n(u) = u**2 - 1. Let m be n(2). Let g be 37/(-26) - m/(-6). Which is bigger: 0 or g?
0
Suppose 6*s = 3*s - 5*z + 25, -5*s - 4*z = -46. Suppose s - 38 = -4*f. Suppose 4*h + f = 15. Is 1 > h?
False
Let y = -76916/29 - -2652. Is 1 greater than y?
True
Let i(f) = -f**2 - 10*f - 4. Let b be i(-10). Suppose 2*v + 81 = 1. Let g be b/(-6)*24/v. Which is bigger: 1 or g?
1
Let d be (-30)/(-18) + (-2)/3. Let j = 37 - 36. Is j less than or equal to d?
True
Let j be ((-8)/(-20))/((-1)/(15/(-3))). Let i = -30 - -17. Which is bigger: j or i?
j
Let w = 1448/2255 - 38/55. Is 0.1 less than w?
False
Suppose u = i - 4, 2*u + 2 = -6. Let q = 13/150 - -2/25. Whi