= 25*o + 129. Let b be l(-4). Which is smaller: b or v?
v
Suppose 11252 = -3*r - 6*r - 5956. Which is greater: -2/7 or r?
-2/7
Let k = -19.96 - -7.24. Let p = 0.28 - k. Let v = 6.4 - 6.6. Which is smaller: v or p?
v
Let i = -27/4 + 9. Let w = i + -2. Let o = -6054 - -6053. Are o and w nonequal?
True
Let s(w) = -w + 2. Let t(d) = -d**2 - 11*d - 27. Let y = 12 + -17. Let f be t(y). Let i be s(f). Do i and -9/4 have the same value?
False
Suppose 2*h + 3*y = 309, -h = -2*h - y + 157. Suppose 3*n - 81 = 2*n + 2*f, 2*n = -3*f + h. Which is bigger: 82 or n?
82
Let q be (0 - (-6)/116)/((-690)/((-1932)/42)). Let i be 0/(-2*1/(-1)). Which is bigger: q or i?
q
Let k be 5/7 + 4/14. Let q be 2 + (18/(-200))/((-2)/(-48)). Does q = k?
False
Let f(a) = -2300 + 2276 - 4*a**2 + 5*a**2. Let h be f(7). Let t = 24 + 1. Is t less than h?
False
Let h = -4718 + 4736. Which is greater: h or 1.8?
h
Let d(l) = -l**2 + 3*l + 162. Let x be d(-12). Do 33 and x have the same value?
False
Let w be -10*1*8/(-16). Suppose 0 = 5*p + w*j - 5, -3*p - 3*j + 4*j - 1 = 0. Which is smaller: -2/817 or p?
-2/817
Let k be 2 + 140/(-138) + -1. Suppose 0 = 113*f - 116*f + 15, 0 = 4*g - 3*f + 19. Are g and k non-equal?
True
Let w(k) = k**3 + 16*k**2 - 3*k + 175. Let c be w(-17). Is -67 at most c?
True
Let d(u) = -u**3 + u**2 - u + 43. Let l be 1/6 + 4/(-24). Let k be d(l). Let v = -38 + k. Which is smaller: v or 7?
v
Let t = -14314 + 14277. Are -1220/33 and t unequal?
True
Let j be (0 - 1)/(5/(-105)). Let d(o) = 2*o**3 - 40*o**2 - 41*o - 23. Let b be d(j). Let r be (-1)/(-4) + 7/(-12). Which is smaller: r or b?
b
Let a(x) be the third derivative of 1/6*x**3 + 1/30*x**5 + 0*x + 0*x**4 + 0 + 1/120*x**6 - 6*x**2. Let t be a(0). Is t at most 3?
True
Let t(z) = -z**2 + 5*z + 78. Let s be t(11). Suppose -s*m + 1 = -23. Which is bigger: 24/7 or m?
24/7
Let o = 40 - -77. Suppose -147 = 6*s + o. Let r = 38 + s. Which is smaller: -7 or r?
-7
Let l = -419 - -704. Let j = -271 + l. Are 11 and j nonequal?
True
Let i = 325 + -321. Suppose i*q = 0, 5*q - 2*q = 5*k + 50. Is -12 at most as big as k?
True
Let f = 52 + -49. Suppose -4*z + 0*a + 26 = -2*a, f*a + 4 = z. Which is smaller: z or 15/2?
z
Let y = 14285 + -26612954/1863. Which is smaller: 0 or y?
0
Let c(g) = -g**2 - 128*g + 63. Let f be c(35). Is f >= -5642?
True
Let r be 13*(-92)/(-592) + -2. Let w(t) = 67*t - 403. Let n be w(6). Which is bigger: r or n?
r
Let m = 463/2 + -1601/6. Let j = -2138 - -2102. Which is smaller: j or m?
j
Let h(m) = m**2 - 4*m + 12. Let b be h(8). Let d = 588 + b. Let r = d + -18330/29. Which is smaller: r or 0?
r
Let z be (-132)/99*(-4)/(64/(-12)). Is z >= -240/103?
True
Let c = 9.68 + -6.75. Let n = 3.43 - c. Do 0.2 and n have the same value?
False
Let x be (-9)/18 + 3/(-2). Let h = 14 + -10. Let q be h/(-40)*51 + 3. Which is greater: q or x?
x
Suppose 1788 = 2*a - x - 1634, -a + 1699 = -2*x. Is a equal to 3431/2?
False
Let x be (-1)/(-2) + 3/2. Let l = 38827 - 349423/9. Are l and x non-equal?
True
Let j = -351 + 208. Let h = 142 + j. Do 129 and h have the same value?
False
Let s be (-4)/18 + 496/(-36). Let o = s - 13. Let f be 274/(-10) + (-12)/(-30). Are f and o equal?
True
Let t(d) = -d**2 - 14*d - 75. Let z = -188 - -182. Let a be t(z). Does a = -28?
False
Let h be (1 + -902)/(15/6) + -2. Let b = h + 83327/230. Which is greater: 0 or b?
0
Suppose 29*w - 113 = -26. Let o = -36.7 - -35. Which is smaller: w or o?
o
Let l be (-2657 + -2)*(-11 + 6). Let i = l + -598303/45. Is i less than or equal to 0?
True
Suppose -4*a - 36 = 8. Let b be 15/3 + (a - -2). Let o be 32 + b + (-10)/(-5). Is 29 != o?
True
Let u = 10 + -18. Let i be 7854/14 + 14 + -6. Let c = 560 - i. Does u = c?
False
Let q be ((-4)/(-6))/((-27)/(324/42)). Let d(w) = -w + 3. Let z be d(7). Let o be (2 + -4)*(-2)/z. Which is smaller: q or o?
o
Suppose 2*v + 624 = 3*i + 5*v, -5*v = -4*i + 859. Let z = 128 - i. Is z != -82?
True
Let c = 12 - 12. Let x(b) = -2*b**2 - 7*b + 7. Let a be x(4). Let m = 50 + a. Is c != m?
True
Let z be (-95 - -96)*(3/(-1) + (-56420)/(-18804)). Which is bigger: z or -1?
z
Suppose -4*r - 8 = -8*r. Suppose -4*t + r*k - 16 = -8*t, -22 = -5*t - 3*k. Suppose -t*h - 4*p = 3*h + 21, 5*h + 5*p = -25. Which is bigger: 3/92 or h?
3/92
Let o be (3 + (-504)/132)*-33. Let l be (110/4)/(3/6). Let c be 0 - 0 - l/(-2). Which is greater: o or c?
c
Let d = -8179 - -1562188/191. Do d and 15 have the same value?
False
Let d(p) = -p**2 + 16*p + 23. Let y(w) = -w**2 + 31*w + 46. Let n(v) = -5*d(v) + 3*y(v). Let i be n(-4). Is i bigger than -7?
True
Suppose 7*i + 70 = 7. Let t be (-54)/81*i/183. Which is bigger: t or -1?
t
Let l = 1271 - 1267. Is l at most 1?
False
Suppose 0 = k + 2*k. Let i = -28 - -26. Let f be (-1)/((-2)/4 + i). Which is smaller: f or k?
k
Let k be (-94336)/871 - 24/(-78). Is k at least as big as -2294/21?
True
Suppose -2*a - 5*h = 3, -4*a = -3*a + 2*h - 1. Suppose 0*y = -3*y. Suppose -15*u + 16*u - a = y. Is u at least as big as 10?
True
Let z = 19717/287661 - 34/759. Which is bigger: z or 1?
1
Let v = -6995.91 - -6996. Is v at least as big as -93/4?
True
Let q be ((-642)/8)/(((-24)/(-6))/(-480)). Let f = -279300/29 + q. Which is bigger: -1 or f?
-1
Let f(g) = g**2 + 15*g + 50. Let h be f(-10). Let z = -37 + h. Is z < -37?
False
Suppose -m - 85 - 92 = 0. Does -161 = m?
False
Let q = 3774 + -3819. Is 27 at least q?
True
Suppose -3*f = 5*v - 125, 5*v - 109 = 5*f + 16. Let a be (1740/v)/((-14)/(-35)) + 0. Which is bigger: 175 or a?
175
Let r be (-2)/(-6)*-7 - -2. Let i = -388.9 - -393. Let b = 3.1 - i. Which is greater: r or b?
r
Let o be (-46)/(-10) + (-2)/(-25)*5. Suppose 14*w - 63 = o*w. Let i(u) = u**3 + 15*u**2 - 15*u + 22. Let p be i(-16). Which is smaller: w or p?
p
Let t(f) = 1. Let h(z) = z**3 + 29*z**2 + z + 19. Let r(n) = -h(n) + 5*t(n). Let l be r(-29). Does 27/2 = l?
False
Let g = -826637/18 + 45938. Let p = 27/2 - g. Which is greater: p or 1?
1
Let q be 4/(2272/(-2072)) + 2. Are q and -1 nonequal?
True
Let v = -31/3 - -149/15. Let f = -69 - -35. Which is bigger: f or v?
v
Suppose 347*b - 339*b = 168. Let k be (2 + b/(-6))*(-24)/(-333). Which is greater: 1 or k?
1
Suppose -3*n + b - 1877 = 0, 3*n + 4*b + 985 = -912. Which is smaller: -625 or n?
n
Let a be (8/(-5))/((-186)/(-30)). Let d = 4 + -4. Is d at least as big as a?
True
Suppose -6171 = -11*g - 9119. Is -259 equal to g?
False
Let g = 1602 - 1582. Let w = 3 - -13. Suppose 0*o - g = 5*o + 5*m, -4*m - w = 2*o. Is 1/23 bigger than o?
True
Let s = -294 - -294. Suppose s = 5*d + 5. Which is smaller: d or 21?
d
Suppose -4*r + 2*v - 7 = -v, -5*v = -25. Let t be (2*(-12)/(-8))/(10/30). Suppose n - t = -r*n. Is 14 at most n?
False
Let p = -31007 + 30827. Is -218 bigger than p?
False
Let h = 520 + -520.321. Let y = -22.679 + h. Is 3 bigger than y?
True
Suppose 9*s - 2190 = 6*s + 2*m, -5*s + 3663 = m. Let p = 695 - s. Which is smaller: p or -39?
-39
Let r = -44.836 + 46. Let g = r - 0.064. Is 2/19 bigger than g?
False
Let p be 3/10*(-12102)/(-9) + (-30)/10. Which is smaller: 399 or p?
399
Let f = 244 + -166. Let v = f - 164. Let p = 603/7 + v. Which is smaller: p or 1?
p
Suppose 5*h = 2*o + 43, -3*o - 15 = 4*h - 6*h. Do o and -2/72573 have the same value?
False
Suppose -p - 23 = 55. Let v = p - -166. Suppose 14*i - 16*i = -v. Are 43 and i equal?
False
Let k(h) be the second derivative of -2*h**3 - 26*h**2 - 8*h. Let z be k(-9). Is z at most 55?
False
Let q = -5758 + 5759. Are -7079 and q equal?
False
Suppose 0 = -12*m + 16*m + 584. Let y = -146 - m. Let w be (6/1308)/((-2)/8). Which is smaller: w or y?
w
Let u = 2760 + -2743. Which is bigger: -29 or u?
u
Let l(r) = r**2 + 208 - 107 + 2*r**2 - 108. Let u be l(-6). Is 101 < u?
False
Let v(j) = 24*j + 26*j + 21*j - 72*j. Let i be v(-5). Suppose -5*n = 3*r - 9 - 11, -3*n - i*r + 28 = 0. Are n and -2/13 equal?
False
Let d = -2652 + 2670. Which is smaller: 3.7 or d?
3.7
Let i be 4/(-12)*(-1 + (-1124 - -6)). Is i not equal to 381?
True
Let i(b) = -2816*b - 59096. Let u be i(-21). Let o = -41 + 79. Which is smaller: u or o?
o
Suppose 4*p = -2*x + 24, -17*x + 22*x + 4*p - 30 = 0. Suppose 4*b + x = -2. Which is smaller: b or -8/11?
b
Let n = 19583 + -18198. Which is bigger: -7 or n?
n
Let y be ((-936)/22)/((-183)/1342). Is y less than 34