 c be ((-3 - -9) + -6)/b. Does c = -9/16?
False
Let t = -76 + 44. Let w = 1891 - 1922. Which is smaller: t or w?
t
Let h = 999 + -1000. Let y be 7 - (27 + (-7)/h). Let s = -31 - -6. Which is smaller: s or y?
y
Suppose 5*w = s + 12 + 4, 9 = 6*s + 5*w. Which is greater: s or -3/16?
-3/16
Let f(o) = 3*o**3 + 41*o**2 + 27*o + 18. Let l be f(-13). Suppose -5*y + 5*x - l = 0, -x = 5*y - 5*x + 2. Let k = -1993/9 - -222. Is y != k?
True
Let h = -15.4914 + -0.0286. Let q = -16 - h. Let k = q - 28.52. Is k greater than 0?
False
Suppose 0 = -l + 6, 15*l - 17*l = 5*c - 777. Does 264 = c?
False
Let v(t) = t - 7. Let o = -54 + 79. Let f = 31 - o. Let k be v(f). Which is smaller: 0 or k?
k
Let u be 38/(-232) - (-1)/(-4). Let w(t) = -48*t + 124. Let z(q) = -q + 1. Let b(h) = w(h) - 10*z(h). Let s be b(3). Is s at most u?
False
Suppose 32*s + 3*k = 36*s - 90, -2*k - 15 = -s. Let u(w) = w**3 + 4*w**2 + 2*w + 1. Let l be u(-3). Suppose 78 = 3*x - i, l*x + 0*x - 4*i - 96 = 0. Is s <= x?
True
Let t be 11/(-33) - (-1)/((-6)/(-1202)). Let i be 376/(-2782) + (t/130)/10. Let y(f) = f**2 + 5*f + 3. Let o be y(-4). Is o smaller than i?
True
Let m = 645928/7 - 92590. Let q = m - -21159/70. Which is bigger: -13 or q?
q
Let s be (2520/(-54))/28 - 0/(-1). Which is greater: 98 or s?
98
Let r be (-18)/(-4) - (51/6 - 7). Suppose 409*k - 3*w = 405*k - 102, 68 = -3*k - 2*w. Do k and r have different values?
True
Let n(q) = -q**2 + 7*q - 9. Suppose 5*j = 3*j - 5*w + 62, -144 = -4*j - 5*w. Let h = 44 - j. Let s be n(h). Which is smaller: s or 1?
1
Let f be -3 - 15/3 - (1003 - -14). Is -1027 at least f?
False
Let k = 2193/91 - 317/13. Which is smaller: 4950 or k?
k
Let i = 38 - 43.7. Let h = 306 + -314.7. Let o = i - h. Which is bigger: 0.34 or o?
o
Let v = -27 - -48. Let m be v/9 + 25/(-15). Which is greater: m or -0.025?
m
Let s(n) = -n**2 + 4*n + 32. Let d be s(4). Suppose 1124*a = 1120*a - d. Do a and -76/11 have the same value?
False
Let f(i) = i**3 - 9*i**2 - 10*i - 1. Let a be f(10). Suppose 5*y = 3*z - 2788 + 872, 3*y + z = -1158. Let q be y/1188 - (-1 + (-6)/(-8)). Is q smaller than a?
False
Let n = 14.53 + -15.036. Which is smaller: n or -0.01?
n
Let q(l) = -2*l**2 - 39*l + 19. Let r be q(-20). Let m be -4*(r/3)/(8/(-228)). Let s = 37 + m. Are s and -2/389 unequal?
True
Let s = 21 + -37. Suppose 8*q - 4*q + 25 = -g, -g + 4*q - 9 = 0. Is s greater than or equal to g?
True
Let u be ((-28)/1)/(-5 - 9/(-3)). Let d(s) = -s**2 + 17*s + 16. Let a be d(u). Let h = -57 + a. Is 1 at least as big as h?
True
Let d be (0 - -1) + 158 + (-23 - -28). Let m = 190 - d. Which is bigger: m or 20?
m
Let a = 107 + -26. Let p be (-2)/9 + 18/a. Which is smaller: -19/4 or p?
-19/4
Let g be (-3202)/112 + 24/(-126)*(-15)/(-10). Let f be 63/(-2) + ((-9)/2)/(-3). Do g and f have the same value?
False
Let k(h) = h**3 - 31*h**2 - 111*h + 307. Let x be k(34). Is 2/81713 equal to x?
False
Let r = -23136 + 23137. Is 2/27433 at least r?
False
Let y(r) = -16*r + 30. Let m be y(6). Let u be (6/(-4))/((m/560)/(-11)). Is -140 less than or equal to u?
True
Let d be 3*(-6)/36*146 + -11. Is d equal to -11?
False
Let z = -20 + 21.8. Let u = 1.67 - z. Let a = 6.66 + -6.56. Which is bigger: a or u?
a
Suppose -211 + 67 = -8*x. Let r(p) = p**2 - 9*p. Let f be r(9). Let c be 2 - f - (17 - 35). Are x and c nonequal?
True
Let h = 391 + -422.2. Let f = h + 32.2. Which is smaller: f or 20.1?
f
Suppose 0 = -71*x + 69*x - 4*w - 878, 4*x + 1711 = w. Which is greater: -430 or x?
x
Let v(z) be the second derivative of -z**5/20 + 7*z**4/6 + 5*z**3/2 - z**2 + z. Let a be v(15). Let w be (-120)/18 + a/(-3). Which is bigger: w or -5?
-5
Let m be (-9)/((-1)/(4/12)). Suppose 3*o + 39 = -m*g, 59*g - 4*o = 62*g + 40. Is -11/4 at least g?
True
Let b be (2/(-14))/((-2)/44). Let t(j) = -3*j**2 + 52*j - 20. Let d be t(25). Let i = d - -2973/5. Does i = b?
False
Let l = 12138 - 12129. Let z = -4.2 + 7.3. Let d = 3 - z. Is d bigger than l?
False
Let g be 462/(-12) - 4/(6 - -2). Let r be -3*((-2)/8)/(g/(-572)). Which is bigger: -2 or r?
r
Let q = 1619 - 1388. Is -14 equal to q?
False
Let a(o) = o**2 - 9*o - 11. Let k = -30 + 40. Let d be a(k). Which is bigger: -1/353 or d?
-1/353
Let c = 0.028 - 450.028. Let y = -451 - c. Is y > 108?
False
Suppose -2*v + 4 = -0*v. Suppose 2*k = -3 + 7. Suppose v*z - 16 = 2*b, 0 = -k*b + 5*b - 2*z + 29. Are b and -13 non-equal?
False
Let z(b) = b**3 - b**2 + 2*b - 1. Let n be z(2). Suppose -12 = -10*f + 8. Suppose -f*v - 275 = -n*v. Are 54 and v nonequal?
True
Let a = 1.68 - -130.32. Let p = a - 132.2. Do -2/25 and p have different values?
True
Let d = 3725.1 + -3725. Is 20379 at least d?
True
Let s = 0.071 + 59.929. Is s smaller than 0.4?
False
Let w = 11935 + -11943.2. Let n(l) = -l + 3. Let z be n(4). Is z bigger than w?
True
Let s = -6983 - -6982.9. Which is smaller: s or -2673?
-2673
Let z(i) = -2*i**2 + 10*i + 4. Let u be z(5). Suppose u*t = t - 6, 26 = 4*s - 3*t. Suppose -f - 5*v + 25 = 2*f, f - s*v = -25. Which is bigger: f or 10/9?
10/9
Let v be (-11*(-50)/(-32175))/(2514/9). Do 0 and v have the same value?
False
Let x be 12/(-62)*(-125)/(-200). Let i = x + 269/6324. Which is bigger: -1 or i?
i
Let z = 1210 + -1018. Which is greater: z or 961/5?
961/5
Let v(w) = 3*w - 1. Let c be v(1). Suppose 0 = -4*l - 21*l + 2050. Suppose 0 = -4*n + 2*o - l, -5*o + o + 26 = -c*n. Is n <= -22?
True
Let f(x) = 2*x**2 + 78*x + 347. Let g be f(-28). Is g at least -265?
False
Let g(t) = t**3 + 10*t**2 - 5*t - 26. Suppose -6 = -5*q - 61. Let i be g(q). Is i >= -92?
True
Let b = 1049453/6039 + -1/671. Suppose -3*v + 526 = -0*v - 4*a, 2*v = 3*a + 351. Let l = v - b. Which is smaller: l or -1/2?
-1/2
Let g(s) = 6*s - 123. Suppose -d + 42 = 4*r, -d - 1 + 35 = 2*r. Let u be g(d). Are u and 29 unequal?
True
Suppose 4*x + 4135 = 9903. Suppose 5*j - 4*q + 2344 - 546 = 0, -5*q = -4*j - x. Let n be 2/9 - j*3/270. Which is smaller: n or 5?
n
Suppose -v - 19 = -3*f, -663 = -3*v + 3*f - 684. Are -2/3853 and v equal?
False
Let n be 2/(-55)*-11 - ((-4)/65 - -1). Is n >= -2?
True
Let m(h) = 5*h**2 + 45*h + 210. Let j be m(-14). Is j bigger than 554?
True
Let h = 1 + -3.4. Let s = h - 17.6. Let m = s - -21. Is 1 > m?
False
Let o be (1 - 4/6)*(-69 - -81). Suppose 1 = -n, 5*n = o*x - 9*x - 40. Which is smaller: x or -4?
x
Let r be (4 - 0)/(80 + -76) - (7 - 3). Which is greater: 39 or r?
39
Let s(y) = 8*y**3 + y**2 + 3*y + 3. Let i be s(-2). Let t(w) = 2*w + 87. Let g be t(-10). Let j = g + i. Do 6 and j have the same value?
False
Suppose -81*o - 66733 = 146*o - 518236. Which is smaller: o or 1992?
o
Let g = -816.8 + 815.8. Let c = -2.4 + 2.4256. Which is smaller: c or g?
g
Let w be 19110/(-585)*1*18/(-4). Suppose 162*i = w*i. Which is smaller: i or 3/20?
i
Let k be -5 + (162/(-21))/(37/(-1036)). Is k greater than or equal to 212?
False
Let l = 5.404 + -5.604. Is -1/2 greater than or equal to l?
False
Let i be (-6 - -4)/(5 - 7). Do 7/107 and i have the same value?
False
Let r be 20/6*27/18. Suppose -3*b - 37 - 116 = -3*q, r*q = -4*b + 300. Which is smaller: 58 or q?
q
Let w = 1227 - 848. Let m = -325 + w. Which is greater: m or 0.1?
m
Let g be (-5)/15 - 16/(-75). Let n be (2 - -1)*20/(-15). Let m = 5 + n. Are g and m unequal?
True
Let j(u) = 14*u**2 + 96*u - 26. Let i be j(-7). Let z = -24/5 + -88/15. Is i <= z?
True
Suppose 4*q - 2*n = 3398, -2*q + 1099 = -3*n - 606. Suppose 1288*s + q = 1284*s. Which is smaller: -211 or s?
s
Let b = 1991/65960 - 3/680. Which is greater: 1 or b?
1
Let o be ((-114)/7 + 16)*(6/(-335) - 0). Is 0 > o?
False
Let h = 86/60971 + -5095247/3619177589. Let f = 1490978405/359774899 + h. Let a = f + -20/29. Is a < 3?
False
Let g be -7*((-16)/(-84)*-276 + -1). Which is greater: -1/8 or g?
g
Let h = -6.962 + 5.962. Which is smaller: h or 2/11005?
h
Let o be ((-9)/(-6))/(3/(-8)*-1). Suppose o*g = -1171 + 4531. Let z be 48/g*(-1 + (6 - 0)). Which is smaller: z or -1?
-1
Let z be ((-1)/2)/(17/2). Let h = -128 + 64. Let u = h - -64.2. Which is bigger: z or u?
u
Let t be (8/(-11))/(-4) + 823/11. Suppose 19*v - t = 16*v. Let j = -27 + v. Is j less than 0?
True
Let v = 27249137/1124 + -24243. Is v bigger than -1?
True
Let f = -6356 - -18830/3. Let l(s) = -26*s - 574. Let n be l(-19). Is n at most f?
True
Let m be (3 + -2)