(-57). Let a(g) = g**2 - 6*g + 3. Let t be a(6). Suppose -2*r + f - 4 = -2*j, t*r - 72 = 5*j. Is -14 not equal to j?
True
Let g be 2/6 - (3 - 22/6). Let d be (-1)/(g*3/(-21)) - -2. Let m be -1*(-6)/d - 220/105. Which is smaller: m or 0?
m
Let v = 5454 + -87259/16. Which is bigger: v or -6?
v
Suppose -j = k + 4*k + 5, 7*k - 4*j = -7. Which is bigger: -332/9 or k?
k
Let g = -280.0614 + 0.0614. Let f = -265 - g. Which is greater: -3 or f?
f
Let o = 6803 + -8868. Which is smaller: -2066 or o?
-2066
Let o(h) = -4*h**2 + 7*h + 3. Let r be o(2). Are 6/979 and r unequal?
True
Suppose 5*n = 5*s + 50, -4*s - 28 = -0*n + 2*n. Let h(k) = -k**2 - 7*k + 12. Let a be h(s). Let p = -8/1055 - -3181/2110. Which is smaller: a or p?
p
Let o = 6795 + -2558. Which is smaller: 4238 or o?
o
Suppose -6 = 12*s - 14*s. Let v = s + 20. Suppose 4*z = -3*h - 3 + v, h - 3*z = -15. Which is smaller: -40 or h?
-40
Let p = 14668 - 3417615/233. Is 0 at least p?
False
Let g = -3.99068 + -0.00932. Let c = 11.11 + -0.11. Is g less than c?
True
Let z = 13009/105 + -619/5. Are z and 10/7 equal?
False
Let d(h) = 3*h**2 + 12*h - 12. Let f be d(-5). Let w be 123/4 - (-12)/48. Suppose -19 - w = -5*v. Which is greater: v or f?
v
Let s = -204 - -202. Let i be 2 + s + -3 - 3094/(-1054). Which is smaller: i or -1/5?
-1/5
Let q = -0.0078 + 0.0521. Let u = q - -0.9557. Is 239 > u?
True
Let n be 0*((-2)/4 + 1). Let q = -50/81 - -5993/9315. Is n at least q?
False
Let v be (5356/60 - -1)*(-12)/(-385). Let h = 12/275 + v. Which is bigger: 3 or h?
3
Let s = -0.01418 - -2.01418. Are -862/7 and s nonequal?
True
Let z = -40 - -43. Let t be ((-6)/3)/(-4 + z). Suppose 15 = 3*k, 2*p - 5*p = -t*k + 67. Which is greater: p or -17?
-17
Let g be (-2)/(6055/1210 - 5). Let r = -484 - g. Which is greater: r or -4/179?
r
Let p be (-4)/(-6)*30/(-4). Let v(q) = 7*q + 10. Let x be v(p). Let n be (-556)/670 - 20/x. Which is smaller: n or 0?
n
Let v = -27 + 36. Suppose 16*u + 7*u = v*u. Are u and -1/63 non-equal?
True
Let y = 2.06 + -0.06. Let x be ((-12)/40)/((-246)/(-205))*16. Is x less than y?
True
Let o be 8/7*(-28)/(-8). Suppose 79*n - 82*n - b = -53, -62 = -2*n - 4*b. Is o bigger than n?
False
Let r = 3.554 - 36.554. Is 17 at least r?
True
Let f(h) = -5*h - 8. Let r(w) = w + 1. Let g(a) = -f(a) - 4*r(a). Let q be g(-2). Suppose q*j - 3*j - j = 0. Which is smaller: j or -8/9?
-8/9
Suppose 60 = 1745*t - 1735*t. Are 209/35 and t equal?
False
Suppose -4*v - 8 = -5*v. Suppose -4*p + 5*p - 4 = c, -p - 2 = 5*c. Let h be 3 - (-42)/(-12) - c*v. Which is bigger: 8 or h?
8
Let m = 35 + 18. Let k = 6 + 9. Let c be (-156)/(-10)*(95/k + -3). Which is greater: c or m?
m
Let m = -5755/6 - -22550/21. Is 114 less than or equal to m?
True
Let n be 0 + (-6)/(-2) + -1037. Let p = n + 3073/3. Let a = 1424/147 + p. Is 1 > a?
True
Let f = 3213 - 3193. Which is smaller: f or 235/11?
f
Suppose 5*w - 33488 = -4*j, 47*w + 4*j + 33432 = 52*w. Are 6694 and w equal?
False
Let z be 52/84 - 2*(-3)/(-21). Let n be (0/(-6) - (-3 - -38))/1. Do n and z have different values?
True
Let o = -18 + 35. Let i = -261 + 251. Let g = i + 9. Which is greater: g or o?
o
Let r be (-10 + (-50)/(-4))*(-5982)/15. Is -999 > r?
False
Let b(w) = w**2 - 22*w + 413. Let c be b(20). Is c bigger than 373?
False
Let z be -1*(-4 + -1) - 6. Which is bigger: z or -10/3719?
-10/3719
Suppose 4*n = -5*h - 40, h + 8 = 33*n - 32*n. Which is greater: 3/77 or n?
3/77
Let l(y) be the second derivative of -y**4/6 - 5*y**3/2 + 33*y**2/2 + 2*y - 20. Let p be l(-9). Which is greater: p or 3?
p
Let g = 0.075 + -499.075. Let l = g - -534. Let q be (-2)/1 + 32/14. Is q at least as big as l?
False
Let a be (2/6)/1*5. Let h = -18527.2 - -18528. Is a at least as big as h?
True
Let m be (18/4 - 4)/(7 + 78/(-12)). Is 1/989 smaller than m?
True
Let h = 6065/21 - 289. Let u = -467 + 267. Let g = u + 201. Is h less than or equal to g?
True
Suppose -2*h + 3*h = 0. Suppose h = -n + 5*n + 8. Let t = -466/531 - 2/177. Does t = n?
False
Let r(q) = -q**3 + 3*q**2 + q - 3. Let b be r(3). Let m be ((-9)/(-45)*b)/(-1 + 0). Suppose i - 5*i = -56. Which is smaller: i or m?
m
Let n(j) = 3*j**3 - 2*j**2 + 1. Let f be n(-1). Let h be (-2060)/2640 + (-3)/f. Let u be (-5)/(10/(-4)) + (-5)/5. Are u and h unequal?
True
Let i(j) = j**3 + 2*j**2 + j + 2. Let d be i(-2). Let f = -751256/324911733 + -2/376491. Is f smaller than d?
True
Let s = -60117/5 - -12024. Is 113 greater than or equal to s?
True
Let p be 2/((-427386)/(-59355) + -7 - 2/10). Is p at most 3957?
True
Let g = -456 - -458. Suppose 6*d = -4*i + g*d - 424, 0 = 2*d + 2. Is -107 <= i?
True
Let h = 1693/11 - 154. Suppose -4*j - 690 = -a, 0 = -8*a + 11*a - 6. Let t = 173 + j. Are h and t nonequal?
True
Let s = -563 - -535. Is 33 greater than s?
True
Let o be (-7 + 3)/4 - (198 + 2). Let m be 1*4 + 1*(7 + o). Is m <= -191?
False
Let t = -720 - -699. Let p = -31 - -141. Suppose -5*m = -5 + p. Is t less than m?
False
Let q(i) = 10*i**2 + 17*i + 17. Let y be q(-2). Are y and -2.3 nonequal?
True
Suppose 10*v + 85 = 5*v. Let o be 14*(2/v)/(-2). Which is smaller: 1 or o?
o
Suppose -5*h + 174 = 10*g - 9*g, 3*h - 98 = g. Let z = 43 - h. Suppose -4*m - 26 = -z*m + 4*p, -m + 5*p = -1. Is m < 31/5?
True
Let c = -40/133 + 2/133. Let v = 4.8 + -5. Let j = v + -0.3. Are j and c equal?
False
Let y = -75 + 69. Let m = 521 + -518. Which is bigger: y or m?
m
Suppose -2*z - 13 = 3*d, 5*z + 3 = 2*d + 18. Let r be (8 - 7)/(z/(-19)). Let t(p) = -5*p + 154. Let n be t(35). Which is greater: r or n?
r
Let y be ((1053/(-52))/27)/((-4)/208). Which is smaller: 132 or y?
y
Let r = -957.4 - -955. Let j = r + 17.4. Which is greater: j or -15?
j
Let y = -2531.6 + 2532. Which is smaller: 27/88 or y?
27/88
Suppose 0 = 2*i - c - 3*c + 10, 0 = 5*i - 5*c. Suppose -11*x + i*x - 120 = 0. Which is smaller: x or -15?
x
Suppose 5*a - a - 12 = 0. Let k = -49.8 - -32.9. Let c = 20.9 + k. Is c > a?
True
Suppose 4*h = 12, -y - y - 5*h = 335. Let l be (140/y)/(((-2)/10)/1). Which is greater: l or 40/13?
l
Let d be 2/(-6)*135/(-9). Suppose -8*u = -d*u. Let c be ((-10)/(-4))/5 + (-84)/264. Which is smaller: u or c?
u
Suppose -r + 1288 - 331 = 0. Is r equal to 3823/4?
False
Suppose -5*t - 3*h + 669 = 0, 65 = 4*t - 3*h - 454. Suppose -o - 28 = -3*o. Let u be 8/o + t/(-210). Is u >= 1?
False
Let q = -9927/7 - -1407. Let n = 2 - 2.1. Which is smaller: q or n?
q
Let p = 975 + -963. Suppose -7 + 13 = 3*z. Let f = -1 + z. Is p >= f?
True
Suppose -3*u + 5 = -p, p + p - 3*u + 13 = 0. Let l be (-3)/((-12)/p - 0). Are l and 15 non-equal?
True
Let f be (-15)/(-35) + ((-75)/(-7))/3. Let o be (-32)/80 + 1/(10/f). Which is bigger: o or 1/1297?
1/1297
Let y be -8 + 1*(-2 - 0). Let o be (-15)/y*(-4)/6. Let f = 3/2537 + 4909/139535. Which is greater: o or f?
f
Suppose -2891*b - 168 = -2912*b. Is b greater than or equal to -553?
True
Let k = -262 + 788/3. Let j = 1.2 + -1.29. Let r = 0.13 + j. Are k and r non-equal?
True
Let f(p) = 2*p**2 + 7*p + 16. Let k be f(8). Suppose -37*w + 3938 + 4102 = 3*w. Which is bigger: k or w?
w
Suppose 14*r = 29*r + 30420. Are -2026 and r non-equal?
True
Suppose -70*g = -69*g - 2. Suppose -k + 5*u - 25 = 4*k, 10 = -k + g*u. Which is smaller: -6/25 or k?
-6/25
Suppose 0 = 28*t - 9*t - 8398. Let a = 215 - t. Which is smaller: -228 or a?
-228
Suppose -5*c + 9*n = 17335, n + 1072 = -c - 2409. Is -3475 at most as big as c?
False
Let l(c) = c + 17. Let x(n) = -n**3 + 9*n**2 + 11*n - 17. Let i be x(10). Let v be l(i). Suppose -q - q - v = 0. Is -15/4 less than q?
False
Let k be -3 + 1*(-515)/(-5). Suppose 105*s = k*s. Is 3/161 greater than s?
True
Suppose 14*p - 9*p = 8*t + 1042, -4*p = 5*t - 902. Let o = 268 + -48. Is o equal to p?
False
Let m = -22 - -62. Suppose -181*f + 656 = -165*f. Is m greater than or equal to f?
False
Let f(p) = 22*p**3 - 3*p**2 + 3*p - 2. Suppose 3*n = 2*w + 2 + 4, 2 = n - w. Let q be f(n). Are q and 168 non-equal?
False
Suppose s + n + 0 + 1 = 0, 0 = -s + n - 1. Let k be 1 + s/2*2. Let u(b) = -2*b**2 + 9*b - 5. Let o be u(4). Which is smaller: o or k?
o
Let p = -2.52 + 1.52. Let k be (-20)/(-66)*(-7 + 1810/250). Which is smaller: k or p?
p
Let h = 59 - 195. Let i = h - -134. Let b be 3/4*(-40)/(-15) + i. Is 21 <= b?
False
Let n = 17.7 + 4.3. Let l = 22 - n. Let z = 1