. Let s be (r/(-20))/((-2)/10). Which is smaller: 2/5 or s?
s
Let c(a) be the second derivative of -a**3/6 - 15*a**2/2 + a. Let j be c(-5). Is -7 greater than or equal to j?
True
Let x be -6*3/(-6) + -6. Let i(z) = -z - 17. Let o be i(-6). Let r = o - x. Is -8 greater than or equal to r?
True
Suppose -o + 2*o = 29. Suppose -s + 61 = o. Are s and 31 non-equal?
True
Suppose -4*d + 768 = -3*q + 2029, 5*q + 924 = -3*d. Is d > -312?
False
Let d be (-2)/15*((-3078)/(-3048) + -1). Is d not equal to 1?
True
Suppose 2*a + 3*g - g = 16, 0 = a + 3*g - 18. Suppose 0*z - 3*z + a = 0. Which is bigger: -1/15 or z?
z
Let i = -491/2 - -256. Which is bigger: i or 12?
12
Suppose -8*f - 5*c - 245 = -3*f, 0 = -f + 3*c - 33. Which is smaller: -44 or f?
f
Let l = 692 + -14. Do 679 and l have the same value?
False
Let z be (6/52)/((-2)/464). Let h = 559387999/455 + -1229451. Let x = z - h. Which is smaller: 1 or x?
x
Let u = 0 - -1. Let o be (499/3)/(u/(-6)). Let d = 6001/6 + o. Which is smaller: 3 or d?
d
Let v(f) = -f**3 + 2*f**2 + 6*f + 5. Let m be v(4). Let o = -0.3 - -3.5. Let p = o + 0.8. Do p and m have the same value?
False
Suppose -7*h = -68 + 5. Let c be 2/6 + 1/(h/(-417)). Which is smaller: c or -47?
-47
Let r = 233 + -145. Let k = -87 + r. Which is bigger: -13 or k?
k
Let y = 16 - 12. Suppose -2*r = -3*h + 12, 0 = 3*r + y*h - 0*h - 16. Suppose -4*s + 3*m - 19 = r, 0 = -0*s + 5*s + m. Is s smaller than 1/3?
True
Let c = 191.5 - 129. Let l = 59 - c. Is 2 at most l?
False
Let c = 134.4 + -139. Which is smaller: c or -19?
-19
Let u = 5 - 7. Let t(j) = j - 10. Suppose -3*q + 26 = s, q + 4*s - 26 = 1. Let i be t(q). Is u greater than i?
True
Let d = -66/31 + 3653/1643. Let y = -300/371 + d. Let p = -3/14 - y. Which is smaller: p or -2/41?
-2/41
Let q be 8/64 + 2/(-16). Let z be (q - -3 - 20) + -3. Are -19 and z non-equal?
True
Let u = -156 + 148. Let k = u - -8. Which is smaller: 1/63 or k?
k
Let g = 4 - 46. Do g and -42 have the same value?
True
Let r = -1.283 + 0.083. Let c = -0.2 - r. Which is smaller: -3/11 or c?
-3/11
Suppose -i + 4*p = 123, 0*i + 2*p + 105 = -i. Is i <= -111?
True
Let y(a) = a**2 + 5*a - 5. Let v(i) = i**2 - i - 1. Let d(g) = 2*v(g) - y(g). Let u be d(6). Let o be (u/(-3))/(1/1). Which is bigger: o or -2/27?
o
Let s(m) = -m**2 + 7*m + 9. Let t(c) = -5*c**2 + 4 - 1 - 3 + c**3 + 6*c. Let z be t(4). Let d be s(z). Is d != 2?
True
Let d = -7 + 6. Let t = -1/295 - -2069/1180. Let k = 2 - t. Which is bigger: k or d?
k
Let s = 0.3 + -4.3. Let u be 0*-2*((-3)/(-6) + 0). Let t be u/(-6) + 2/(-5). Which is smaller: s or t?
s
Suppose 0 = -5*l - 2*b - 17, -2*l - 401*b + 406*b + 28 = 0. Let d be -1*(1 + 1 + -1). Is l > d?
False
Let f(q) = -q**2 - 9*q. Let m be f(-9). Let d(y) = y**3 - 2*y**2 + y. Let s be d(m). Which is greater: -9/16 or s?
s
Let j = 0.24 + -0.33. Let c = -3.09 - j. Which is smaller: c or -6?
-6
Let v be (-87)/27 - 4/(-18). Let s(n) = -4*n - 98. Let o be s(-24). Is v < o?
True
Suppose 0 = -3*a + 9, 2*a - 90 = -0*b + 2*b. Let j = -53 - b. Which is greater: 0 or j?
0
Let c be (24/(-60))/(-3 - 1394/(-465)). Which is greater: 184 or c?
c
Suppose 4*h - 3*f + 9 = 0, -11 = 5*h + f - 5*f. Let u = 16 - 19. Let o be (-4)/(-8)*(-2)/u. Which is bigger: h or o?
o
Let j = 695 + -7657/11. Which is smaller: j or -2?
-2
Suppose 14*v - 13*v + 2*s - 19 = 0, s + 7 = v. Let b(d) = -13*d**3 + 2*d + 1. Let i be b(-1). Which is bigger: v or i?
i
Let c(o) = -o**2 + 9*o + 14. Let q be c(10). Suppose -2*s + s - 86 = 4*r, -8 = -4*s. Let b be (-6)/q - 33/r. Is 0 at most b?
True
Let n be 2/9 + (-188)/(-288). Suppose 5*i - 1 = 194. Let a = i + -37. Which is smaller: a or n?
n
Let l be (-2 - 1)/((-12)/(-32)). Let d = l + 17. Suppose -3*t + 3 = c - d, -4*c = 5*t - 27. Is 1 at most as big as t?
True
Let n(i) = 10*i - 13. Let y be n(-2). Which is greater: -30 or y?
-30
Let a be (-63)/(-84) - 45/76. Which is smaller: 0 or a?
0
Let d = 2.6959 - -0.0041. Is d less than or equal to -2/15?
False
Let c = -236398/113 + 2092. Let i = 103/565 - c. Let n be ((-4)/(-6))/((-6)/(-9)). Is n at least i?
True
Suppose 2*n - 9 = -a, -a + 18 = a - 4*n. Let r(g) = 9 + 9*g**2 + 3*g - g + 0*g - 3*g - g**3. Let o be r(a). Is o greater than or equal to 1?
False
Suppose 0 = 11*y - 1140 - 906. Which is greater: y or 187?
187
Let k be ((-154724)/(-406))/(75/(-70)). Let a = k + 1067/3. Let u = a - -389/4785. Is 1 smaller than u?
False
Let l = 19.9 + -20.1. Which is smaller: l or -136?
-136
Let q = -6 + 8. Let k be 4*-1*(-7)/q. Suppose -11*f - 6 = -k*f. Is -3 bigger than f?
False
Let a = -1291 + 3835/3. Is -13 at least as big as a?
False
Let l = -2 + 3.2. Let a = -6.8 - l. Let x = a - -9. Which is greater: x or 0.03?
x
Let w be (-20)/(-4) + -2 + 0. Let t be (-1)/((-1)/5) - 3. Suppose -4*k = -w*z - 33, 3*k = z + t*z + 27. Do -2 and k have the same value?
False
Suppose 27 = 4*s + 3*u - 15, -5*s - 5*u + 50 = 0. Let p be s/(-16)*(-3)/9*2. Is 0.1 smaller than p?
True
Let t be (-184)/6*4 + 24 + -27. Which is smaller: t or -125?
t
Let i be 4704/(-2070) + (-4)/5 + 3. Which is greater: 0 or i?
0
Let s be (16368/582)/4 - 7. Which is smaller: s or -1?
-1
Let w be (-13975)/26 - 3/(-6). Is w bigger than -537?
False
Let a(w) = -13*w - 170. Let l be a(-13). Which is smaller: -2/129 or l?
l
Let t(k) be the second derivative of 6*k - 1/2*k**3 + 0 + 1/12*k**4 - 2*k**2. Let j be t(4). Is 5/4 bigger than j?
True
Suppose 0 = -5*q - 2 - 3. Let h be 3/(-8)*(-2)/3. Which is smaller: h or q?
q
Let v = 31 - 218/7. Are v and -2/5 nonequal?
True
Let s be 0 - ((0 - -1) + -3). Suppose -x = -5*b - 40, 0*x + 5 = x + s*b. Suppose 0 = -4*m + n - x, -5*m - n = n + 35. Which is smaller: -3 or m?
m
Let b be 1 + (-1 - (-2)/(-7)). Let r = -510 + 521. Which is bigger: b or r?
r
Let c = -1730 + 198948/115. Suppose f + 20 = -3*g + 6*f, 5*g + 5*f - 20 = 0. Are g and c non-equal?
True
Let b be (-49)/(-3) - 14/(-21). Let v be (5 - 7) + (-78)/(-4). Let q = v - b. Which is greater: 1 or q?
1
Let y be 315/1356 + 2/(-8). Suppose w = -10*w + 55. Suppose -36 = -w*f - 36. Which is bigger: f or y?
f
Let o = -481 - -481. Is o smaller than 1/120?
True
Let b be 12/18 + -1 + 16/3. Suppose -5*d = k, -d - 3*d - b*k + 21 = 0. Do 12 and d have different values?
True
Let g = 1.9 + 61.1. Let q = -59.4 + g. Which is smaller: -2 or q?
-2
Let v = 18 + -16. Suppose v*h - 9 = -7. Let x be h + ((-12)/14 - 0). Is 0 bigger than x?
False
Let o(j) = -5*j - 10 + 4 + j. Let w be (-3 + 0)/(-14 + 341/22). Let k be o(w). Which is smaller: 3 or k?
k
Suppose 0 = k + 4, 4*l - 4*k + 7*k = -1860. Let i = l - -2328/5. Which is greater: 4 or i?
4
Let k(y) = -y**3 + 7*y**2 - 6*y - 7. Let d be 14/8 - 2 - 63/(-12). Let u be k(d). Which is smaller: 16 or u?
u
Let h(g) = 22*g + 17. Let q = -102 - -100. Let i be h(q). Is -25 greater than i?
True
Suppose -50 = -3*s - 2*i, s - 3*i + 26 = 2*s. Let o = s - 10. Suppose 2*w = o - 0. Is 0 greater than or equal to w?
False
Let g(w) = -2*w**2 - 17*w + 11. Let s be g(-9). Let f be (-9)/(-84) + s/(-8). Suppose -3*t = -5*x - 9, -3*x + 15 = -0*x + 5*t. Which is smaller: f or x?
f
Let z = 5 - 0. Suppose 8*l - z = 3*l. Suppose -5*u + 2*w - 12 = 0, 0 = u - 4*w + 23 - 17. Which is bigger: u or l?
l
Let r(x) = -355 - 3*x**2 + 4*x**2 - 11*x + 364. Let l be r(10). Is l at most as big as -3/22?
True
Let s = -4 - -12. Let z(m) = s*m - 6*m + 16 + m. Let x be z(-5). Which is bigger: 3/4 or x?
x
Let y be 176/(-33)*(30/4)/(-5). Suppose -4*n + y = 4. Is -1 <= n?
True
Suppose 3 + 1 = g - 5*t, 2*g = 3*t - 6. Let o(v) = -4*v + 3. Let y be o(g). Let h be (-2)/6 - 18/y. Which is bigger: -2/21 or h?
-2/21
Suppose -4*b - 1 - 23 = 0. Let n = 15.3 - 15. Which is greater: n or b?
n
Suppose 0 = -5*d + 5*g + 55, 5*g = 4*d - 36 - 10. Let t be 56/90 + (-2)/d. Let o = -1384 - -1383. Which is bigger: o or t?
t
Let k be -4 + -21 + 1 + 1. Let b = -23 - k. Let m = -7 - -7. Is b smaller than m?
False
Let l be (7/((-1092)/32))/(30/9). Is 1 less than or equal to l?
False
Let m = -246 - 331. Which is smaller: -578 or m?
-578
Let a = 101 + -115. Which is smaller: -13 or a?
a
Suppose -a - 4*i = -11, 5*a = a - 3*i + 18. Suppose 0 = d + 5*v - 8, -a*d = v + 4*v - 14. Is d at most 1?
False
Suppose 3*m - 4*y + 470 = 0, -m + 5 - 147 = -5*y. Which is bigger: -163 or m?
m
Suppose 0 = -5*b -