 223 = 2*o, -300 = 3*o - 5*z + x*z. Which is greater: o or a?
a
Let d(i) = -3*i**3 - 127*i**2 + 87*i + 21. Let n be d(-43). Are -19 and n non-equal?
True
Let n = -187/14 + 4217/224. Which is smaller: n or 6?
n
Let o(t) be the third derivative of t**5/60 - t**4/3 + 20*t**3/3 + 223*t**2. Let r be o(7). Is -2 <= r?
True
Suppose 6*t = -z + 2*t + 32, -z + 24 = 2*t. Suppose 0 = z*p - 2247 - 889. Is p bigger than 197?
False
Let w = 58.19 + 0.81. Let m = w + -42. Let n = m + -17.01. Which is smaller: 2 or n?
n
Suppose -12*x + 7*x + 22 = -p, -5*p + x = 14. Which is bigger: -105/53 or p?
-105/53
Let o = 398 + -356. Let d be 2 + 70/(-10) - o/(-2). Which is greater: 11 or d?
d
Let a = -903 + 5375/6. Let y = -2413/330 - a. Is 0 bigger than y?
True
Let w = 2 - 3. Let h be (-31)/(63364/24570) - -12. Which is greater: w or h?
h
Let o be 11 + 884/10 - 7. Is 93 smaller than o?
False
Let f = -260/17 + 1334/85. Is f at least as big as -1683?
True
Let r be (-104)/(-136) - (-2 - -2). Let g = -14/17 + r. Is 1 at least as big as g?
True
Let u(s) = -66*s + 77. Let v(w) = 15*w - 19. Let x(f) = -2*u(f) - 9*v(f). Let h be x(5). Is h greater than -6/13?
True
Let b = 7446/53 - 13000451/92538. Is b < -1?
False
Let g(c) be the third derivative of c**4/8 + 35*c**3/3 + 3*c**2. Let z be g(-14). Suppose 5*v - 15 = 0, t = 3*t - 4*v - z. Are 21 and t non-equal?
True
Suppose 65*o + 7084 - 4022 + 10393 = 0. Which is bigger: o or -2262/11?
-2262/11
Let t = -280 - -279.3. Let k = t - -2.7. Is k at most 19?
True
Let g = -8 - -10. Let n = 97 - 142. Let z be (1 - (-14)/(-8))/(n/(-15)). Which is bigger: g or z?
g
Suppose -k - 17 = -5*z, -5*k - 5*z + 27 + 8 = 0. Suppose -3*y = 4*w + 269, -115 = -w + k*w - 5*y. Are -62 and w equal?
False
Let o(u) = 208*u + 5806. Let f be o(-28). Which is greater: -122 or f?
f
Let v(z) = -8*z - 90. Suppose 0 = -2*s + 145 - 193. Let t be v(s). Is t != 101?
True
Let m(i) = -i**3 + 7*i**2 - 11*i - 6. Suppose -12*a + 69 = 11*a. Let j be m(a). Let k = -1 + 1. Which is smaller: k or j?
j
Let q(f) = f**2 + 5*f - 3. Suppose c + 25 = -2*g + 9, 0 = -5*c + 4*g - 10. Let j be q(c). Let u be j - ((-8)/(-84) + 3). Which is smaller: 0 or u?
u
Let b = -8569 - -8266. Which is smaller: b or -296?
b
Let o be 5*42/(-18) - -11. Which is greater: 57/53 or o?
57/53
Let d(i) = i**2 - 14*i + 10. Let m be d(13). Let k be -4 - (-18)/(-3) - m. Suppose 0 = 224*s - 221*s + 15. Is k smaller than s?
True
Let y = 16 + -23. Let g be ((-4)/48)/(2/(-16)). Which is greater: g or y?
g
Let c be (-186)/(-465) + (-4)/110*1. Let s = -6/11 + c. Is -1 not equal to s?
True
Let z = 52 - 57. Let g = 0.934 + -0.084. Let b = -0.75 + g. Is b greater than or equal to z?
True
Let x = -35.012 + -67.088. Is x greater than 0.13?
False
Suppose -z = -t + 108, -5*t - 46 - 44 = z. Let k be (-12)/7*z/60*12. Which is smaller: 71/2 or k?
71/2
Suppose 0*f + 10192 = 14*f. Let l be ((-6)/(-7))/((-156)/f). Are l and -22 equal?
False
Let u = 27 + -9. Suppose 3*m + 2 = y + 4, -3*y = 3*m - u. Is y < 7?
True
Let m(g) = -g**2 - 7*g - 4. Suppose 2*r - 6 + 18 = -2*s, -5*s = -3*r - 10. Let v be m(r). Let d be (-12)/46 - (-64977)/12351. Which is smaller: v or d?
d
Let v = -435 - -375. Let i = -174 - v. Which is smaller: i or -112?
i
Let l = 527 + -357. Let p = 914 + -744. Is l at most as big as p?
True
Suppose 564 + 1101 = f + 65. Is f at least 1602?
False
Let k = 41715 + -458483/11. Which is bigger: 34 or k?
k
Let g = 487 + -368. Let r = -112 + g. Suppose 4*p = -4*u - 24, -2*u - 2*p + p - 8 = 0. Are r and u non-equal?
True
Let x = -185/14 - -33255/2506. Which is bigger: 1 or x?
1
Let l be 3/(6/22)*-1. Let c = -659 - -1001. Let w = -356 + c. Which is smaller: l or w?
w
Let y(k) = k**3 - 3*k**2 - 7*k + 1. Let z be y(5). Suppose 6*q - z = -166. Let i = q - -76/3. Which is smaller: i or 2/5?
i
Let h(v) = -5*v**2 + 61*v + 25. Let t be h(11). Suppose 216 + 58 = 3*j - 4*d, 0 = -j - 5*d + 85. Which is smaller: j or t?
j
Suppose 3*r + 16 = 4*j, 5*j + 9 = -3*r + 29. Suppose -2*h - d - 27 = -j*h, -h = 5*d - 30. Suppose n + 0 = -h. Which is greater: -16 or n?
n
Let f = 12 - -1. Let c = 3857 - 3845. Is c less than f?
True
Let h(i) = i**3 - 5*i**2 + 7*i - 8. Let f be h(4). Suppose -3*r = -f*r + 4. Suppose -40 = r*x - 160. Which is greater: 31 or x?
31
Suppose h - 3*h + i = 5, 0 = -2*h + 2*i - 6. Let v be 1*(1 - (h - -2)). Let u = 23/468 - 1871/28548. Which is smaller: v or u?
u
Let j(s) be the third derivative of s**5/60 + 5*s**4/12 + 13*s**3/6 - 4*s**2 - 1. Let r be j(-6). Which is bigger: r or -13?
r
Suppose 3*a + 10*z - 14*z + 67 = 0, 133 = -5*a - 4*z. Suppose 4*n + 4*m = -84, n - 2*n + m = 27. Let d be (-2)/(-10)*(a - n). Is -3 at least d?
False
Let x = -243 + 461. Do 217 and x have the same value?
False
Let x be -3 + ((-42)/(-63))/(1/297). Suppose x = -3*f - 3*d, -2*f + 7*f + 320 = -4*d. Which is bigger: -367/6 or f?
f
Let h = 25 - 22. Let a(k) = -7*k**2 + 5*k - 14. Let b(g) = -3*g**2 + 3*g - 7. Let m(w) = -2*a(w) + 5*b(w). Let s be m(h). Which is bigger: -2/51 or s?
-2/51
Suppose 41674*w + 688 = 41690*w. Which is smaller: w or 47?
w
Let h be -4 + 18663/4515 + (-2)/14. Which is smaller: 0.2 or h?
h
Let v(c) = -c**3 + 20*c - 16. Let y be v(4). Suppose m + 54 - 46 = y. Is m <= -33?
False
Let n = 550 + -549.488. Let w = n + -0.792. Is w at least -2/9?
False
Let k = -82 + 81. Let s be ((21 - 6)/(-3))/(k/(-19)). Let x = s + 90. Which is smaller: -4 or x?
x
Let n be (-46)/92 - 1837/(-2). Suppose -36*p = -53*p + n. Are 51 and p unequal?
True
Let b(z) = -z**2 + 27*z - 47. Suppose 2*r + 33 = s, -s - 5*r + 30 = s. Let g be b(s). Suppose d = g*j - 134, d + 205 = 5*j + 3*d. Is j at least as big as 43?
True
Suppose -15 = 83*j - 86*j, -5*k - 105 = -5*j. Which is greater: -172 or k?
k
Suppose -55*v + 798 = 23*v - 60. Let j(l) = -4*l + 3. Let x be j(8). Let m = 41 + x. Which is smaller: m or v?
v
Let z = 1779 - 12451/7. Is 24/55 equal to z?
False
Suppose 9*y = 2*y - 35. Let j be (-312)/(-20) + (-2)/y. Let k = -188 - -204. Is k at least as big as j?
True
Let u(t) = -t**3 - 16*t**2 + 320*t - 51. Let z be u(12). Which is smaller: -164 or z?
z
Suppose -287*r + 283*r + 20 = 0. Suppose -3*i + 5*n = -305 - 663, r*i + 5*n = 1640. Which is greater: 325 or i?
i
Let d be 153/85 + 5228/(-10). Which is smaller: d or -516?
d
Suppose -571*w = -620*w - 145971. Which is greater: w or -2972?
-2972
Suppose 0 = -23*d - 107*d - 118170. Which is smaller: -908 or d?
d
Let a = -831 - -1228. Let h = -398 + a. Which is smaller: h or -315?
-315
Let i be (-2)/(2 - 39/18). Let u be 0 - -2 - -5*12/30. Suppose i + 8 = -u*r. Is r < -7?
False
Let r = 55.93 + -54.43. Which is greater: -17 or r?
r
Let g = -1319 + 1312. Let l be 1/6*2*-33. Is l != g?
True
Let m = 177/171839 - -11/2271. Is 1 less than m?
False
Suppose -3*m + 3 - 6 = 0. Let g be -4 - m*(2 - -3). Let v = 27 - 29. Is g less than v?
False
Suppose -36*s - 16 = -37*s. Suppose -25*a + s = -9. Do a and 1/668 have the same value?
False
Let x(u) = -3*u**2 + 14*u - 8. Let l(c) = 29*c**2 + 0*c - 25*c**2 + 8 - 15*c. Let g(h) = -2*l(h) - 3*x(h). Let z be g(7). Which is bigger: -26 or z?
-26
Suppose 5*l - 92 = 33. Let f(w) = 1576*w + 20 - 3155*w + 1578*w. Let n be f(l). Are n and 0 non-equal?
True
Let q be 10426/(-936) + 6/10. Let d = -95/9 - q. Let s(r) = -r - 4. Let n be s(-3). Which is bigger: n or d?
d
Let q = 240 + -225. Suppose -3*t = -q*t + 12. Which is smaller: t or -2/27?
-2/27
Let w(z) = -z**3 - 40*z**2 - 34*z + 195. Let k be w(-39). Which is bigger: -6/365 or k?
k
Let u = -5837/10659 + 12/209. Let w = u + 941/1989. Is -0.9 bigger than w?
False
Let n be (-24)/96*54*-6. Let d(h) = -41*h - 2. Let u be d(-2). Which is greater: n or u?
n
Let v = 65.17 - 62. Do 4 and v have different values?
True
Let s be 1 - 1 - 4/67. Let i be (-1)/(-4)*(-44)/(-33)*-3. Which is bigger: i or s?
s
Let w = -942.79 - -3900.86. Let r = w - 2993. Let m = 35 + r. Which is smaller: m or -0.2?
-0.2
Suppose -10 = -2*y, 2*r - 3*y = 2 + 3. Let w(i) = i**3 - 10*i**2 - 4*i + 34. Let a be w(r). Let t be (-135)/(-36) + 2 + a. Which is smaller: t or 1/5?
t
Suppose 396*w = 390*w + 1014. Let a = -353/2 + w. Let m = -12 + 4. Is m < a?
True
Let k(i) = 15*i**2 - 2. Let b be k(-1). Suppose 3*n - 7 - 29 = 0. Let f = n + b. Which is smaller: f or 24?
24
Let y = 13 + -12