is smaller: c or 1?
c
Suppose 89*z - 85*z + 20 = 0. Is 3 less than z?
False
Let u be -1 - (1 - (1 - -1)). Let o be (2/(-4))/(6/(-60)). Let i be -4 + 0 + o + -2. Is u at least as big as i?
True
Let t be -2 + 103 - (3 + 0). Let k be (t + 0)*(-18)/36. Is -49 at least k?
True
Let p = 0.16 - 0.236. Let u = p - 0.024. Which is bigger: 16 or u?
16
Let j be 3 + 0 + -30 + -2. Let z = -139.9 + 140. Is z greater than j?
True
Let h = 0.36 + 67.64. Let i = -66.81 + h. Let d = -1.3 + i. Are -2/7 and d non-equal?
True
Suppose -i + 90 = 4*i. Let a be (-16)/(-9) + 4/i. Let t(p) = -2*p - 3. Let l be t(-2). Which is smaller: l or a?
l
Let l(z) be the first derivative of z**4/4 - z**3 - 3*z**2/2 - 4*z + 10. Let o be l(4). Suppose -3*u + 0 - 3 = o. Is u <= -8?
False
Let u(q) be the second derivative of q**5/20 + 9*q**4/4 + 13*q**3/3 + 26*q + 1. Let b be u(-26). Which is smaller: -2/259 or b?
-2/259
Let j = 25 + -23. Suppose 0 = j*s - 2, -s = -4*n + 15. Suppose -12 = -2*z - 2*z. Which is smaller: n or z?
z
Let x = 7.86 + 0.14. Let d = 2 - -6. Let i = d - x. Which is bigger: i or -2/3?
i
Let p(k) = 2*k**2 + 3*k - 3. Let n be p(-2). Let d be -2*(-3 + 345/110). Which is smaller: d or n?
n
Let w = 2152 + -4549. Let r = w - -7300/3. Let p = -36 + r. Which is greater: -1/4 or p?
p
Let g = 4930 + -3170. Does 1761 = g?
False
Let j = -376 + 381. Let k be ((-4)/6)/((-1)/3). Suppose -u = j*h + 3, -5*h - 9 = -3*u + k. Is 2/137 smaller than h?
False
Let v = -9 + 11. Suppose 3*w + 9 = -z, 4*z + 1 + 7 = v*w. Is w > -20/19?
False
Let p be 3/((-2)/((-104)/(-3))). Let d be ((-2)/4)/(6/p). Let h = 5 - d. Which is smaller: -1/4 or h?
-1/4
Suppose -5*k - 7 = -37. Suppose 10*l = k*l + 12. Is l < 2?
False
Let s = -160 - -315. Let m = s + -155. Let v = 0.2 - 0.3. Is m equal to v?
False
Let n = -11 + 4. Let c(q) = -3*q - 17. Let t = 69 + -72. Let b be c(t). Which is smaller: n or b?
b
Suppose -4 + 16 = 4*u. Suppose 2*f - 3*y + 24 = -f, -5*y = u*f + 40. Let d be (-2)/(-3) + 20/(-30). Which is smaller: f or d?
f
Suppose 8*f = -838 - 282. Is f equal to -142?
False
Let r(w) = -w**2 + 5*w + 2. Suppose -3*d + 0 + 20 = 5*o, d - 16 = -4*o. Let v be r(o). Suppose 2*h + v = 0, y = -4*h - 8 - 4. Which is smaller: y or 6?
y
Let k(h) = 3*h**2 + 4 + 13*h + 4 - 2*h**2. Let g(l) = -2*l**2 - 7*l + 1. Let o be g(-5). Let c be k(o). Are c and 23 unequal?
True
Suppose 8*m - 4 = 10*m. Let i(w) = -3*w**2 + 13*w + 7. Let n(a) = -4*a**2 + 19*a + 10. Let s(k) = -7*i(k) + 5*n(k). Let l be s(-3). Is l equal to m?
True
Let m = -41 + 119. Let b = m + -77. Which is greater: 1/51 or b?
b
Let p be ((-11)/3)/(16/144). Let m = -43 - p. Let i(w) = -w**2 - 14*w - 14. Let b be i(m). Do 27 and b have the same value?
False
Suppose 9 = -t + o, -5*t = -0*o + 3*o + 45. Let l(f) = -f**2 + 2*f + 11. Let s be l(4). Suppose 2 = 2*q + 5*d + 24, 2*d = s*q + 33. Which is greater: t or q?
t
Let j = -17/385 + 2/35. Which is bigger: -1 or j?
j
Let m(y) = -y**3 + 10*y**2 + 6*y + 18. Let z be m(10). Let p = z + -77. Are p and -6 non-equal?
True
Let v = -21/130 - -2311/18330. Are -1 and v equal?
False
Suppose -3*d + 8*d + 5*v - 200 = 0, -4*v = -3*d + 148. Suppose -3*g = -5*l + 2*g + 50, 5*l - 2*g - d = 0. Which is bigger: 9 or l?
9
Let n be 1/((-6)/30 - 0). Let l = 2 - 11. Which is smaller: n or l?
l
Let o = -0.02 + -8.98. Let g = -24 - o. Let j = 15 + g. Is 0.4 smaller than j?
False
Suppose 5*u - 3*u + 4 = -3*x, 0 = -3*x - 4*u - 2. Let g be 8/x - 192/(-36). Which is bigger: 2 or g?
2
Let v be (9/48)/(1/12). Let d = 16 + -11. Suppose -d*x = -20 + 5. Is x less than v?
False
Let m = 10.02 + -10.06. Which is smaller: m or 0?
m
Let a(s) = s**3 - 5*s**2 - 25*s + 8. Let l be a(8). Let f = -86/17 + 704/119. Is l > f?
False
Suppose w - 16 = -w. Suppose 2*x - 3*z = -2*x - 12, 2*z = 2*x + w. Suppose 2*n - 2*u - 3 - 11 = x, u = -5*n + 41. Which is smaller: 6 or n?
6
Let u = 0.114 - -1.886. Which is bigger: u or 2/33?
u
Let y(q) = -2*q + 9. Let d be y(6). Let r be (-3136)/(-524) + d + -3. Is r less than 1?
True
Let c(z) = -2*z - 5*z**2 - 4 - 12 + 4*z**2 - 8*z. Let f be c(-8). Let o = 2/5 + 0. Which is smaller: o or f?
f
Let y(f) = 2*f**2 - 14*f - 303. Let r be y(16). Is r greater than or equal to -95/7?
False
Let f be (0/(-2))/(6 + -4). Suppose f = z - 1 - 3. Suppose -z = -2*v + 3*v. Which is bigger: -2 or v?
-2
Suppose h + 3*c - c + 92 = 0, -h + 5*c = 92. Which is greater: h or -90?
-90
Suppose t - 25 = -2*w + 4*t, -4*w + t = -75. Let a = w - 2. Let s be (-6)/a + 22/30. Is -1 smaller than s?
True
Suppose 12*g + 4*k = 16*g - 12, 9 = -2*g - k. Which is greater: -52/31 or g?
-52/31
Let h = -1.409 - -0.639. Which is smaller: -0.8 or h?
-0.8
Let g = 117 + -114. Suppose -m + s + 4 = 0, -3*m = -s + g*s + 8. Is -1/84 at least m?
False
Let s(l) = -l - 1. Let i(n) = -16*n - 8. Let b(y) = 2*i(y) - 28*s(y). Let p be b(0). Suppose 3*h + 14 = -3*a + 53, 0 = 2*h. Which is smaller: a or p?
p
Let s(p) = 3*p**3 + 4*p**2 - 44*p + 10. Let k be s(-7). Which is greater: 0.1 or k?
0.1
Let x = 986/19 + -125108/2413. Which is smaller: x or 0?
0
Let r be (-2)/(-1) - (9 - -2). Let i = r + 11. Do 2 and i have different values?
False
Suppose -16*k - 83 = -3. Suppose -o = o + 2. Let i be -2 - (o - (-5 - 1)). Is i != k?
True
Let v be -2 + (-7)/196*-104. Are v and -34/7 equal?
False
Let m = -3737/3026 + -1/3026. Which is bigger: m or -1/4?
-1/4
Suppose -r + 4*f = -0*f - 3, 32 = 2*r + 5*f. Suppose -34 = r*c + 21. Suppose 3*n = 3*i + 8 + 13, 5*n = -5*i + 5. Is i >= c?
True
Suppose 9 = -3*v + w, 2*v + 2 = -w - 9. Let t be (v + (-68)/(-14))/(-1). Which is greater: -1 or t?
t
Let z = 110.9 - 98.04. Let i = z - -0.14. Let f = i + -12.6. Are 0.1 and f equal?
False
Let a be (-3)/(-1) - (123 - 5). Let z be a/30 - 1/6. Let q be ((-2)/z)/(4/8). Is q smaller than 1/4?
False
Let t be (-36)/(-10)*60/168. Let v be 13/26 + 18/4. Suppose i = -2*i + v*r + 31, 0 = i - r - 7. Which is smaller: t or i?
t
Let y(m) = 29*m + 173. Let r be y(-6). Is r bigger than -2/75?
False
Suppose -3*q - 166 = h + 4*h, -q - 4*h = 60. Let y be (q/14)/1 - -3. Let k be (1 - 1) + -2 + 1. Is y less than k?
False
Let u be (-12)/(-3) - (-1 - 108). Which is bigger: u or 112?
u
Let i = 614 + -602. Is 8 > i?
False
Let y(k) = 37*k - 2. Let p be y(1). Which is smaller: 38 or p?
p
Suppose -2*c = -192 + 80. Suppose 4*a = -3*j + c - 175, 0 = -3*a + j - 73. Is a greater than or equal to -24?
False
Let c be (-60)/24 + (-1068)/(-312). Which is smaller: 0.1 or c?
0.1
Let g = -0.04 + 0.13. Which is bigger: 2/3 or g?
2/3
Let v(h) = h**3 - 3*h**2 - 2*h + 3. Let j be v(-3). Let f = j - -45. Is -6 at least as big as f?
False
Suppose 6040 = 5*s + 198*k - 197*k, s - 1214 = k. Does s = 1208?
False
Let t be 6/33 + (-74)/770. Let u = t + 527/385. Let z = 91/55 - u. Is z greater than or equal to 1?
False
Let y be (-28)/10 - 3/15. Let g be y + (-4)/(-558) - -3. Is g bigger than -1?
True
Let x be ((-26)/364)/(1/(-72)). Let z = -9 + 15. Which is bigger: x or z?
z
Suppose 5*x + 45 = -50. Let f = 25 + x. Let d = -3 - f. Do d and -9 have the same value?
True
Let y = -15.3 + 19. Let c = y + -4. Are c and 0.25 equal?
False
Suppose 2*a - 44 = 4*o, -2*o - 3*a - 66 = 3*o. Let g be (-476)/(-44) - 4/(-22). Let u = g + o. Do u and 3 have the same value?
False
Let c(g) = g**3 + 2*g**2 + 1. Let x be c(0). Let h = 203 - 103. Let k be (-210)/h - (-1 - x). Is -1 >= k?
False
Let m be -2 - 184/((-4)/1). Let s be 8/m - (-343)/(-11). Is s smaller than -31?
False
Suppose -58*t + 69*t - 451 = 0. Which is smaller: 26 or t?
26
Let h(g) = -g**3 + 12*g**2 - 32*g + 59. Let s be h(7). Which is smaller: s or 70?
70
Let x = 978 + -965. Which is smaller: x or 10?
10
Suppose -17*h = -21858 + 6711. Is 891 smaller than h?
False
Let n = -759 - -750. Is n greater than -5/2?
False
Let y = -348 - -348. Is y greater than -1/40?
True
Let r(u) = -u**3 + u**2 - u - 3. Let n be r(0). Let w be (1 + -8)*12/14. Let d be w/9*n*-1. Which is greater: d or -4?
d
Let t be ((-7)/14)/((-70)/60). Let u = -3 + 2. Which is smaller: t or u?
u
Suppose -c - 3 = -o, -o - 3 = c - 5*o. Let b = c + 7. Let p be (b/(-3))/(4/6). Which is bigger: p or -0.1?
-0.1
Let m = 128 + -124. Let n be (m/44)/(10/(-20)). Suppose 2*x + 2*x = 4. Is x greater than or equal to n?
True
Let u(z) = -2*z**2 + 160*z - 12. Let a be u(80).