0?
False
Let a be (2/5)/(-1 + (-1983)/(-1980)). Let r be 14/(-6) - (-176)/a. Are 4 and r nonequal?
True
Let g(d) be the third derivative of d**4/24 - d**3/3 + 11*d**2. Let j be g(6). Suppose j*z = 4*b - 60, -3*z + z - 3*b = 25. Is z less than or equal to 2?
True
Let u = -22813/233 - -11570423/112539. Let b = -104/23 + u. Suppose 0 = -5*w - 5 - 0. Is b at least w?
True
Let m be (-2)/((-6)/(-66 + 0)*-1). Which is smaller: m or -29?
-29
Let k be (-18)/(-30)*330/(-7821). Which is greater: 0.34 or k?
0.34
Suppose -4*v = 4*v + 288. Let h = v - -35. Is -2/75 less than h?
False
Let h(l) = l**2 - 22*l - 31. Let g be h(23). Let y be (-1)/9*876/g. Which is smaller: y or 13?
y
Let f be (-51)/(-2) + (-2)/4 + 0. Suppose 15*u - 10 = f*u. Do u and -3/13 have the same value?
False
Let u = -0.15 - -0.08. Let r = 0.035 - 7.035. Let m = r + 6.9. Is u <= m?
False
Let m = -967.4 - -967.41. Is m less than 1.52?
True
Let l(y) = y**2 + 6*y + 1. Let h be l(-6). Let i(p) = -4*p**2 + 5*p + 41. Let v be i(-7). Let m = -2468/13 - v. Are m and h nonequal?
True
Suppose -13*b + 93005 = -64115 + 31865. Which is smaller: 9634 or b?
9634
Let d be 5 + (-13 - -11) - 3. Let x be 488/(-3341) - 10/(-65). Which is smaller: d or x?
d
Let p be (-1 - (3 + -2))/(54/135). Let u be (p + (-98)/(-20))*622. Which is greater: u or -61?
-61
Suppose 2*j = 13*j + 10*j. Let l = 4 + -6. Let x be l/8 + (-124)/(-176). Is j less than x?
True
Suppose -34 = -b - 30, 2*u = 5*b - 20. Let r = -6751/3006960 - -2/5695. Let f = -6355/10032 - r. Which is greater: f or u?
u
Let q = 8454 + -8802. Are q and -11 equal?
False
Let p = -700 - -533. Let r = p + 167.38. Is r >= 1/6?
True
Let p be ((-18)/21)/(35/(-1470)). Is 16 at most p?
True
Let b be (-624)/(-387)*1041/6940. Is 1 greater than b?
True
Suppose -5*r + 4*y - 11 = 0, 4 - 12 = 4*r - 3*y. Let s be (215/20)/((8/(-4))/(-88)). Let t = 947/2 - s. Is r greater than t?
True
Suppose 5*j - 5 = -j + 79. Suppose 39 = 3*t - 3*k, 3*t - 42 = k + 3*k. Suppose d - 27 = -t. Do j and d have the same value?
False
Let u = 623 + -623.59. Let k = 1.512 + 0.078. Let p = u + k. Is 0.05 < p?
True
Let w = -265 - -281. Let t be 4/(-60)*5 + w/(-6). Which is smaller: t or 2.1?
t
Let b = 110/191 + -199572/955. Which is smaller: b or -209?
-209
Let l be 1025455/46*(-2)/60. Let h = -743 - l. Is h at most as big as -1?
False
Let z = -29 + 9. Let f be (-6)/9 - 7/((-42)/z). Let i be (2/1)/((-20)/4 - f). Do i and -3 have the same value?
False
Let b = -19 - -10. Let t be ((-6384)/448)/((81/(-16))/(-3)). Which is greater: b or t?
t
Let h be 13 + 6125/(-340) + 2/(16/10). Is h less than or equal to -4?
False
Let t = -744.3 + 744.5. Let l = -109 - -169. Suppose d - 6*d = l. Which is greater: t or d?
t
Let p = 288 + -275. Let s = -13.2 - -0.1. Let h = p + s. Which is smaller: h or -54?
-54
Let i = -623 - -695. Let r be i*2 - 108/(-12). Which is smaller: r or -2/9?
-2/9
Let k(m) = -2*m**3 + 52*m**2 - 247*m + 42. Let g be k(6). Is g at most as big as 4/11179?
True
Suppose -4*i = 2*f + 70, -4*i + 1 - 92 = -5*f. Which is smaller: i or -3?
i
Suppose -3*v - 184 = 4*j - v, -j = 5*v + 28. Let z = 98 - j. Which is bigger: 147 or z?
147
Let r be ((-4)/(-8))/((-10)/40780). Is -2040 greater than or equal to r?
False
Suppose -21*f - 28 + 33 + 37 = 0. Which is greater: f or 6?
6
Let v be 137392/(-1932) + -7 + -2. Let w = v - -561/7. Are -1 and w nonequal?
True
Suppose 61*s + 1428 = 64*s - 5*i, -5*s + 2380 = i. Which is greater: 465 or s?
s
Let d = -4386 + 4385. Let i = -721 - -6475/9. Let u = i - d. Is -2 not equal to u?
True
Let o(r) be the third derivative of -r**4/8 - 35*r**3/6 + 115*r**2. Let y be o(-12). Is y less than 2/313?
False
Let i = 18/1985 + -812/1985. Let a = 75.704 - -5.016. Let b = a + -1.72. Are i and b unequal?
True
Let v = 1.89 + 176.11. Let i = v + -339. Is i bigger than -2/3?
False
Let a = 1305/2 - 501. Let z = 338 + -185. Are a and z non-equal?
True
Suppose -9*o = -2*o. Suppose o*m - 5 = -m. Suppose m*v = 3*g - 24, 3*g + 0*v + v - 6 = 0. Is 4 >= g?
True
Let g be 78/65*(-3 + 79/3). Suppose -176*n + g = -180*n. Let z = 10 - 20. Which is smaller: n or z?
z
Let v = -159 - -163. Let b be v + 6*(-4)/6. Let m = -3/58 + -211/406. Is m != b?
True
Let s = 660 + -396. Let m = s - 13996/53. Is 0 at least as big as m?
True
Let t be (25 - (-740)/(-37)) + (-184)/54 + -2. Is t less than 1?
True
Let i be (-4)/(-6) + 0 + (-7067680)/160640. Let d = 3/1004 - i. Are 44 and d equal?
False
Suppose -4*j = -54*h + 52*h - 2858, -5*h = -j + 746. Is j <= 7812/11?
False
Suppose 0 = -2*d - 4, 12*d - 9*d = j - 152. Is j >= 147?
False
Suppose -410*b + 206*b + 215*b = 56507. Is b > 5137?
False
Let w(v) = 14*v + 36. Let b be w(-3). Let y = -15 + 16. Suppose y = 3*j - 2. Are b and j nonequal?
True
Let n = -12858 - -12857.9518. Is -0.06 less than n?
True
Let v be (39/(-9))/((-16000)/150). Which is greater: v or -1?
v
Suppose 115 = 8*p + 147. Let h(i) be the second derivative of i**4/12 + 4*i**3/3 + 3*i**2 + 2*i. Let w be h(-5). Which is greater: p or w?
p
Let m(g) = -g**2 - 124*g - 3554. Let n be m(-79). Which is smaller: n or 3/2296?
3/2296
Suppose 38 = -3*b + 53. Let v be (-54)/243*(-2)/(-4)*b. Which is bigger: v or 13?
13
Let y = 4 - 5. Let g = 0.3954 + 18.1346. Let n = g - 0.53. Which is smaller: y or n?
y
Let a = -5419 - -5816. Which is smaller: 423 or a?
a
Let i = 2839.9 - 26834.9. Is i less than or equal to 0?
True
Let d(a) = 665*a + 13585. Let x be d(-69). Which is smaller: -32299 or x?
x
Let d be 45/(-10)*(-6 - (-9276)/1566). Let z(p) = p**2 + 12*p + 10. Let c be z(-11). Are d and c nonequal?
True
Let r(f) = -13 - 2*f + 2 - 21. Suppose -54 = 4*m - 5*d, d - 86 = 5*m + 4*d. Let c be r(m). Is c equal to 3/5?
False
Let c be (-12196)/(-6) - 22/(-66). Suppose 3*r + r + c = -l, 0 = 4*r + 2*l + 2038. Is -506 at most r?
False
Let f = 7853 - 7854. Is f equal to 4405?
False
Suppose 5*k + 36 = -p + 5*p, k = 5*p - 45. Suppose p*j = 30 + 6. Are 4 and j equal?
True
Let q = -26/21 - -88/105. Let s = 27 + -18. Let b = s - 9.042. Is b < q?
False
Suppose -112*f - 354110 = -146*f. Is f at least as big as 10415?
True
Suppose -4*w = -7*w. Let c = w + -1. Let b be (-158)/(-664) - (1 + (-15)/20). Which is bigger: b or c?
b
Let y = -26630 - -26629. Is -2/22543 > y?
True
Suppose -30*n = -29*n - 3. Suppose 6*c - 33 = -n. Let t be (-19)/(-95) - (-1 - 44/c). Are 9 and t non-equal?
True
Suppose -5*n + 17 = -33. Let u(a) = -2*a**2 + 17*a - 1. Let p be u(9). Let c = n + p. Which is bigger: c or 3/5?
3/5
Let d = -3382 - -601987/178. Which is bigger: -1 or d?
d
Let b = -10.74 + -0.26. Let n = -76 - b. Which is smaller: 2/7 or n?
n
Suppose 9*n - 10*n + 28 = 0. Let q = n + -12. Which is greater: q or -3?
q
Let a = 2259 + -2929. Which is smaller: -667 or a?
a
Let f = -0.814 - -695.814. Let z = f - 694. Which is smaller: z or -15?
-15
Let p(s) = 4*s + 4*s**2 - 2 - 2 - 3 - 3*s**2 + 3. Let j be p(-5). Are j and -2/435 nonequal?
True
Suppose 8 - 40 = -16*i. Suppose -5*l = 3*g - 688, 0*l - 4*l - 4*g + 544 = 0. Let h be 6/l - 15/(-25). Which is smaller: h or i?
h
Let k(m) = 8. Let v(u) = -u - 22. Let o(r) = -7*k(r) - 2*v(r). Let g be o(-6). Let q = -37 + 15. Is q <= g?
False
Let l be (-1104 + 2)/2*386/1158. Is -185 greater than l?
False
Suppose 2*g - 30 = -y, -3*g = -y - 55 - 0. Let q = g + -21. Let r(x) = 5*x + 1. Let p be r(q). Is p greater than or equal to -18?
False
Let f = 90 - 89.96. Let y = f + 0. Which is smaller: y or -3/8?
-3/8
Suppose 60 - 428 = -8*h. Suppose 18 = -2*i + 3*i - 4*x, x - 55 = -4*i. Suppose 0 = -2*g - c - h, g - c = -i - 9. Which is smaller: g or -22?
g
Let n(b) = b**2 - 155*b + 1177. Let q be n(8). Is q at least 8/1787?
True
Let j(i) = -12*i**3 + i + 1. Let d be j(-1). Let z be (-8)/d + (-590)/(-84) + -1. Let x = -20/7 + z. Is x greater than 3?
False
Let m(u) = u**3 - u**2 - 4*u + 11. Let l be m(4). Suppose 0 = 4*w + 3*f + 4 - l, 0 = 3*f - 15. Which is greater: w or 40/7?
w
Suppose 2654 + 1378 = 32*s. Suppose -7*w + 119 = s. Which is smaller: -1/31 or w?
w
Let m(v) = -11*v - 16. Let r be m(-5). Suppose -r*k = -43*k. Let t be 4/((-152)/(-6))*(-8 + 7). Is t at most as big as k?
True
Let l be 1*(1 - 3/3). Suppose -3 = -n - l. Suppose n*x + 7*x = 40. Do x and 6 have the same value?
False
Let q = 83 - 82.939. Let x = -1.939 - q. Which