v = 159073/48 - 3314. Is v bigger than o?
False
Let h be 1 + 15/(-9) + 16/24. Suppose h = 3*w - 3*p + 58 + 5, -3*w - 78 = 2*p. Which is smaller: w or -49/2?
-49/2
Suppose -4*w + 2*q + 18 = 0, 5*w - 19 = 2*q - 3*q. Suppose v + w*v = -30. Suppose -30 = 4*z - 2*m, 18*m = -5*z + 13*m - 30. Which is smaller: v or z?
z
Let y be (-82)/(-3) - (-4)/6. Let r = 97 + -84. Let m(s) = -s**3 + 14*s**2 - 11*s + 3. Let d be m(r). Is y equal to d?
False
Let t be 16/264*11 - 200/(-108). Is 2/9 at most t?
True
Let i be 2 - ((-34731)/57585 - -3) - (-28)/70. Which is smaller: i or 1?
i
Suppose -4*t + j - 357 = 0, 13*j - 88 = t + 14*j. Let w = -1193 + 1103. Is w at least as big as t?
False
Suppose 4*r = -k + 29, 4*r - 2*k - 26 = -4*k. Suppose r*y = -y + 4*y. Let b be -1 + -1 + (-240)/(-138). Is y equal to b?
False
Suppose -1359 = -3*u - 6*t - 4053, u + 928 = 3*t. Is -904 equal to u?
False
Let c be (1 - 0)/(-6) + (-120)/(-558). Let q(i) = 5*i + 10. Let g be q(-2). Which is bigger: g or c?
c
Let k = 724474924/9599 - 75474. Let q = -364792/143985 - k. Which is smaller: -4 or q?
-4
Suppose -p + l + 180 = 38, 422 = 3*p - l. Let n = -1673 - -1813. Do p and n have different values?
False
Let o = -1 - -2. Let h(q) = -4 - o - 2 - 3 - 30*q. Let b be h(-2). Is 50 >= b?
True
Suppose -77 = -2*z + 1427. Suppose z - 40 = 8*i. Let n be ((-17)/4 - -4) + i/36. Which is smaller: 3 or n?
n
Let q = 4.02264 + -0.25264. Which is smaller: -0.1 or q?
-0.1
Let q = 306.45604 - -0.04396. Is q at most as big as 1?
False
Let b = 25088.3 + -25155. Are b and -2/7 equal?
False
Let l be 14/(-16)*2*18/21273. Do 1 and l have different values?
True
Let y be (246 - 246)/(1 + (-8)/2). Let m = 1.4 + -1. Is m < y?
False
Let b = 577/14 + -236/7. Let c = -2.501 + 3.001. Is b less than c?
False
Suppose -2*n + n = -v + 1354, -5*n - 3*v - 6818 = 0. Which is greater: n or -1?
-1
Suppose 45 - 45 = 6*z. Let a be ((-30)/18)/((-54)/4). Is z > a?
False
Let p(u) = u**3 + 2*u**2 + u + 7. Let v be p(-5). Let c = v + 47. Let d be (-1 - -5) + (-8 - c). Is 22 greater than or equal to d?
True
Suppose -3*o - 5*n + 142 = 475, -2*o + 3*n - 241 = 0. Let l be 117/o - 0 - -1. Suppose 30*g = 9*g - 21. Which is smaller: g or l?
g
Let o = -35440 - -35451. Which is bigger: o or -23?
o
Let i = -631.95 - -113.95. Which is bigger: -17 or i?
-17
Let m = -3462 + 4314. Is 4256/5 greater than or equal to m?
False
Suppose -m + 17 = 2*u - 9, 10 = 2*u - 3*m. Let y be (-86)/u + (7 - (-632)/(-88)). Which is greater: y or -4?
-4
Suppose -2*x + 797 = h, 487*h - 489*h = -5*x - 1603. Does 794 = h?
False
Let j be ((-546)/455)/(1 + 7/(-10)). Let z(b) = -49*b - 190. Let t be z(j). Which is greater: -57 or t?
t
Suppose 2*v = p + 3, 0 = -5*v + 5 + 5. Which is greater: p or -2/121?
p
Suppose -5*r - 97*z - 28 = -101*z, -4*r - 14 = -2*z. Which is greater: -16905 or r?
r
Let r be (-5016)/266 + 19 - (2246/371)/(-2). Is r > 4?
False
Suppose 17*k - 532 = -56. Suppose -k = -7*y - 42. Which is greater: 43 or y?
43
Let l(g) = -11*g**2 + 24*g. Let u be l(2). Suppose 15 = -h - 3*s, 23 - 3 = 5*h - u*s. Which is smaller: -8 or h?
-8
Let d = -33 - -161. Suppose 0 = -4*z + 2*o - d, 5*z + 96 = 2*z - 5*o. Which is greater: -29 or z?
-29
Let o = 4079.147 + -4076. Let s = o + -3.24. Is s less than -1?
False
Let d = -884 - -882. Let p = -27 + 30.4. Is d not equal to p?
True
Suppose 324909*r = 324906*r + 51. Let y(k) = -k**2 - 7 - 8 + 11*k + 10. Let l be y(10). Is r at least l?
True
Let b(s) be the first derivative of -s**4/4 - 4*s**3 + 8*s**2 - s - 1. Let k be b(-13). Let r be (-8)/(-30) - (-2 + k/(-15)). Does -2/5 = r?
True
Let h(b) = 21*b - 54. Let s be h(-16). Let w be (72/s)/((-63)/(-20) + -3). Which is smaller: 0 or w?
w
Let s = -741632725/5331 - -139117. Which is smaller: 1 or s?
s
Let z be 104/(-110) - 6/(-15). Let s be (-2)/(-15) - 2773/(-15). Let l = s - 185. Is l less than or equal to z?
False
Let l = 12422 - 21358. Which is greater: -1/4 or l?
-1/4
Let i = 976 - 976. Suppose 0 = 2*j + 4*g + 8, 3*j - 4*g - 38 = -0*g. Let x be (j/(-27) - i) + 534/2160. Is x smaller than 1?
True
Let d = -74 + 64. Let b(l) = l**2 + 10*l + 24. Let r be b(d). Let i be (-6)/9 - r/(-117). Which is smaller: -1 or i?
-1
Let m(n) = 12*n - 29. Let f(u) = 7*u - 16. Let a(q) = -5*f(q) + 3*m(q). Let v(h) = h**2 + 3*h - 5. Let l be v(-5). Let c be a(l). Is c at most as big as -16?
False
Let h = 3959 + -3714. Which is smaller: 1718/7 or h?
h
Let x(g) = -g + 7. Let v be x(0). Let u be (-236 - -237) + ((-46)/(-10))/1. Is u less than v?
True
Suppose 4*y - 4*p = -48, 0 = 3*y - 4*p - p + 46. Let l(r) = 2*r**3 + 15*r**2 + 4*r - 21. Let m be l(y). Which is greater: m or 6/269?
6/269
Let s be 261 - (-9 + 11 - (-6)/(-2)). Let a = s - 262. Is a less than or equal to -4/87?
False
Let u = -5121 - -5132.9. Is -0.045 smaller than u?
True
Let a = -58798 + 762858/13. Is -118 < a?
True
Let m = 18449/618 - 179/6. Is -66 at least as big as m?
False
Suppose 4*d - 47 + 11 = 0. Suppose -2*f = -11 - d. Which is smaller: 126/13 or f?
126/13
Suppose -819 = 8*g + 205. Let p = -52 - g. Which is greater: p or 4?
p
Let r = -0.33605 + 0.35605. Is 0.1651 equal to r?
False
Suppose 113 = g + 111, -g + 7038 = 4*r. Is 1760 smaller than r?
False
Let c = 351338/17 + -20661. Let z be (1 - (3 + 0))*(28 - 25). Let d = z + c. Are 0.2 and d equal?
False
Let c(h) = 7*h**2 + 45*h - 13. Suppose -22 = 14*m + 76. Let l be c(m). Which is greater: l or 196/13?
196/13
Suppose -5*n = -25, 4*g - n = 7*g + 175. Let u = -673 + 614. Which is greater: u or g?
u
Let j = 756 - 763. Let r = 0.97 + -0.17. Let i = r + 0.2. Which is smaller: i or j?
j
Let s be 26*2 - (-3)/(1 + 2). Let i(z) = -2*z**2 - 19*z + 8. Let n be i(-12). Let v = s + n. Which is smaller: v or -1/6?
-1/6
Let b be (-4 - -9) + (-2 - 1). Suppose 6*n = b*n - 24. Let u be 2/(-4) + (-1)/3 + -5. Which is smaller: u or n?
n
Let r be 666/(-518) - 1629/7. Is r < 40?
True
Let g = 1164 + -1321. Is -473/3 at least g?
False
Suppose 5*z = -3*n - 51, -4*n = -4*z - 43 - 17. Let h(s) = -6*s**2 - 15*s + 43. Let j be h(2). Do z and j have the same value?
False
Let l = 201.49 + -197.59. Which is greater: 0 or l?
l
Suppose 0 = 28*s + 90 - 176 - 250. Is s less than 0.54?
False
Let d = -2.82 - -3.4. Let i = 2.42 + d. Which is bigger: -3 or i?
i
Let f be (17/(-204))/((-24)/(-4248)). Which is smaller: f or 0.3?
f
Let p = -21614/51615 + -1/1665. Let o(d) = -d + 4. Let x be o(4). Is x at most as big as p?
False
Let i(t) = 8*t**3 - 9*t**2 + 11*t - 3. Let g(k) = 17*k**3 - 18*k**2 + 23*k - 6. Let q(d) = 6*g(d) - 13*i(d). Let s be q(4). Which is bigger: s or 6/89?
6/89
Let r be (-3448)/32 + (-2)/8. Let l = r - -144. Suppose -f + 175 = 4*f. Is l less than f?
False
Let k(z) = -9*z - 19. Let n be k(-6). Suppose u - 2*u - p = n, -4*u - 5*p = 142. Let m be (-24)/132 + (-17)/u. Which is smaller: -1/5 or m?
-1/5
Let t = -63.7 + 62.924. Let n = 48.224 - t. Which is smaller: n or 0?
0
Suppose -614*n + 609*n + 5*f = 1145, -3*n - 2*f - 672 = 0. Which is bigger: n or -227?
n
Let c(p) = 283*p - 267. Let d be c(1). Is d > -53?
True
Let m = 19322 + -19329. Is m bigger than -53/8?
False
Suppose -449 = -4*o + 3*q - 54, q = 3*o - 300. Let w = o - 224. Are w and -123 non-equal?
False
Let t be 10 + (-6 - -5)*3. Let m be t/((-294)/(-12))*7/415. Which is smaller: 0 or m?
0
Suppose 1263 = -15*q + 2*f, 11*f = -4*q + 10*f - 346. Which is greater: q or -71?
-71
Let s = 19 - 14. Let w be 10 - 0/10 - 3. Which is smaller: w or s?
s
Let q = 7.208 - 6.308. Are q and 4/23 nonequal?
True
Let d be (-5)/21 + -2 + (5 - 68/28). Is 921 < d?
False
Let o(k) be the first derivative of k**3/3 + 6*k**2 + 24*k - 11. Let z be o(-10). Suppose 2*m - 22 = 2*h - 0*m, h = -z*m + 14. Is h <= -5?
True
Let s = -3617 + 3827. Is s smaller than 6?
False
Let g = 46175 - 34677408/751. Which is smaller: 1 or g?
g
Let h = 3054 - 3053. Let w = -166 + 1160/7. Is h at most w?
False
Let b = -5 - -9. Let t = -55917 + 55922. Are t and b nonequal?
True
Let i = 24816 - 24839. Which is smaller: i or 0?
i
Let c = 4447/22 + -202. Let q(z) = 3*z**3 - 17*z**2 - z - 13. Let f(a) = -a**3 + a**2. Let l(x) = 4*f(x) + q(x). Let w be l(-13). Is c less than w?
False
Let i(v) = -9*v**2 + 38*v + 76. Let k(c) = 5*c**2 - 20*c - 38. Let w(n) = -6*i(n) - 11*k(n). Let s be w(-8). Which is smaller: 