(s) + 17*h(s). Let d be j(-5). Is o < d?
False
Let i be 3/(-21) + 324/(-378). Which is bigger: i or -3/893?
-3/893
Let y = 9612 - 86617/9. Let v = y + 94/9. Are v and -2 equal?
False
Suppose 8 = -3*g + 35. Let s = 8 - g. Is s at least as big as 1?
False
Suppose 0 = 6*v - 2*v + p - 3, 0 = -2*v + 4*p + 24. Suppose y + v*y = -27. Which is bigger: 1 or y?
1
Let n be 2052/13 - (1 + -3). Let m = 92 + 68. Let v = m - n. Which is greater: v or 0?
v
Let g = 167/78 - 30/13. Suppose 0 = n - 3*h - 13, 4*h - 11 = -5*n - 3. Suppose -2*s = -0*j + 2*j + 10, s = -n. Which is smaller: g or j?
j
Suppose -x + 0*f = -4*f - 596, 4*x = -5*f + 2468. Let l be ((-9)/x)/((9/4)/(-3)). Which is smaller: l or 1?
l
Suppose y - 5*y = 5*h + 29, 3*y + 14 = 4*h. Let q(p) = 2*p + 17. Let f be q(-7). Let z = f + y. Is -4 != z?
True
Let a(k) be the third derivative of -k**6/120 - 7*k**5/60 - 7*k**4/24 - 5*k**3/6 + 6*k**2. Let c = 24 - 30. Let o be a(c). Is o bigger than 2?
False
Suppose 3*y = -5 + 23. Suppose 2*g - 20 = y*g - 4*q, -g - 3*q = -11. Is g < 1/4?
True
Suppose -5*i = -2*m + 7*m - 80, -4*m + 68 = 2*i. Let d be ((-135)/m)/((-3)/1). Which is greater: 2 or d?
d
Let c be 16/(-6)*(-15)/(-10). Let z be -1*(-4 - (c - 0)). Which is greater: -5/12 or z?
z
Let s = 374 + -388. Is s < 5/2?
True
Let i be (-2 + (-27)/(-6))/(2/(-16)). Let m be i/30*(-9)/(-22). Which is bigger: 1 or m?
1
Let g = 44 - 41. Suppose g*n - 179 = -2*z, 0*n + 122 = 2*n + 4*z. Is 58 < n?
True
Let g be 8/(-84) + (-40251)/63. Is -639 smaller than g?
False
Suppose -27*c + 29*c = -2*m, -c = -4*m. Suppose -1386 - 1471 = -4*k + x, -2*k = -3*x - 1431. Let q = k - 23564/33. Which is greater: q or c?
c
Let q be ((-3 - -4)/((-1)/34))/(-22). Does q = 2?
False
Let d be ((-51)/(-136))/(1314/8). Which is greater: d or 0.4?
0.4
Let s(f) = f**3 - 5*f**2 + f + 2. Let u(t) = t**3 - t**2 + t + 1. Let l(c) = s(c) - 3*u(c). Let q be l(-1). Let x = -67/40 + 9/5. Which is smaller: q or x?
x
Let s = -2895 + 2962.13. Let m = -67 + s. Which is smaller: -2/11 or m?
-2/11
Let q be (-10 + 0 - -3)*(11 - 6). Which is greater: -36 or q?
q
Let s be 18/1563*(-7 + -2)/(-81). Which is bigger: s or 0?
s
Let p = 7255 + -1037461/143. Let i = p - -409/715. Let g(n) = -2*n - 4. Let w be g(-3). Is w at most as big as i?
False
Let a = 94138/2785 + -1/557. Are a and 35 nonequal?
True
Let o = -2268 + 2228. Which is bigger: -18 or o?
-18
Suppose b = 3*b + 8. Suppose 11*a + 68 = -6*a. Is b less than a?
False
Let r = 35 + -45. Let j = r + 16. Is j at most as big as 0?
False
Let b = 75 + -68. Let h(p) = 5 - 2*p - 2*p**2 + 3*p**2 - 4*p. Let v be h(b). Is v <= 13?
True
Let m be (-4 - 0) + (90 - -2). Let d be m/(-4) + 3 + -1. Is d > -18?
False
Let i be 4/18 + (-3379)/(-1116). Are -11 and i non-equal?
True
Let l = -11 + 13. Let r = 13 + -12.96. Do r and l have different values?
True
Let b = 745 + -779.9. Let l = -1.1 + b. Which is greater: -1 or l?
-1
Let z(d) = 3*d**2 + 41*d + 19. Let c be z(-13). Let w(b) = b**2 + 4*b - 9. Let l be w(c). Are 1 and l unequal?
True
Let r = 775 + -665. Which is smaller: 334/3 or r?
r
Let g(v) = v**2 + 8*v + 7. Let s be g(-5). Let a = -128 - -121. Let r = a - s. Which is smaller: r or -1?
-1
Let y(g) = g**2 - 1. Let o be y(1). Is 12/199 smaller than o?
False
Let n = -3217 - -2381. Is n smaller than -2/7?
True
Let p(u) = -2*u - 9. Let f be p(-5). Let n be ((-1)/7)/((-1)/f). Is n greater than or equal to 0?
True
Let m be (35/(-17) - -2)*1. Suppose -25*y - 3*u + 19 = -15*y, -2*u = -6. Is y at most as big as m?
False
Suppose 0 = -5*s - 5*k + 10, 0*s - 5*s - 2*k = -19. Suppose 0 = -4*t + s*t - 16. Which is bigger: t or -0.1?
t
Let a(w) = w**3 + 4*w**2 - 10*w + 35. Let f be a(-6). Which is greater: f or 155/7?
f
Let t = -18/307 - 254070/2149. Which is greater: t or -117?
-117
Let u(x) = -7*x**2 - 5*x + 5. Let s be u(2). Let n = 19 + s. Suppose -112 = 2*m + 5*m. Is m greater than or equal to n?
False
Let p = -15.147 - -0.247. Let c = p - -15. Let t be 2/3 + (224/(-60))/2. Is t equal to c?
False
Let x = -10 + 63. Let d = x - 38. Suppose -5*l = d + 25. Is l at least -9?
True
Let x = 1 - 1. Let h be (-7 + (-420)/(-80))/(9/(-6)). Which is bigger: x or h?
h
Let y(a) = a**2 + 11*a - 33. Let j be y(-11). Let d = -25 - j. Is 7 smaller than d?
True
Suppose 3*y = -3*r - 10 - 5, -7 = 2*r + y. Does r = -3?
False
Suppose 3*p = -2*p + 2*q - 95, 3*q + 57 = -2*p. Let j(s) = s**3 + 20*s**2 - 20*s + 25. Let r be j(p). Is r not equal to 3?
True
Suppose 4*k = -4*b - 80, b + 0*k = -3*k - 10. Let o = -29 - b. Let p be (56/6)/(-1 + -1). Does p = o?
False
Let m = -29/1644 - 9/137. Is m bigger than 2/15?
False
Suppose 0 = 5*j + 2*b + 9, j - 3*j - 4*b - 10 = 0. Let f = -249 - -226. Is f at least j?
False
Suppose 4*l + 5*y + 0 = 19, 3*l = -y + 6. Let w be -2*l/(-4)*2. Let k be (-18)/132*6*(-6)/27. Is k bigger than w?
False
Let v = -42 + 45. Suppose 4*l + 4*i - 172 = 0, 8 = -l - v*i + 49. Which is greater: 45 or l?
45
Let n be (-7)/12 + 3/(-18). Let m = 0.52 + -1.52. Which is greater: m or n?
n
Let r = 26.9 + -27.4. Which is bigger: r or -0.27?
-0.27
Let a be (-1)/2 + (-44757)/114. Let q = 393 + a. Is 0 greater than or equal to q?
True
Suppose 0 = 3*v - 4*p, -2*v = 2*v - 2*p - 10. Suppose x - 2*g - 20 = -2*x, -4*g - 20 = -x. Is v at least as big as x?
True
Let n be ((-3210)/(-14))/(-15) + 7. Which is smaller: n or -9?
-9
Suppose -c + 8 = 5. Suppose -3*z = -3*o + 12, c*o + 24 = -2*z + 6. Do -6 and z have the same value?
True
Suppose 5*c - 7 = 2*u + 17, c = -2*u. Suppose 0 = c*o, 2 = -3*q + o - 25. Are -7 and q unequal?
True
Let u(z) = -z**3 + 15*z**2. Suppose 0 = y - 0*y - f - 13, -3*y - f = -27. Let j be (y/(-15))/((-4)/90). Let v be u(j). Do v and 2/11 have different values?
True
Let h = 2.6 - 2.25. Let j = -11.35 + h. Let t = 10.9 + j. Is 2/5 at least as big as t?
True
Suppose 13*c - 260 = 3*c. Let y be 26/169 + (-108)/c. Do -4 and y have the same value?
True
Let o = 793 - 1306. Are o and -511 non-equal?
True
Let g = -6458671/507 + 12739. Is 1 at least g?
True
Let t = -1.192 - -1.892. Which is bigger: t or 10?
10
Let s(z) = 3*z + 5. Let a be s(7). Let f = 34 - a. Suppose 3*n - 10 = f*n. Which is smaller: -15/8 or n?
n
Let u(s) = -s - 1. Let y be u(8). Let i be 372/y + (-3)/(-9). Which is greater: -40 or i?
-40
Let b be (-6)/10 - 104/10. Let k(s) = 2*s**2 + 23*s + 11. Let i be k(b). Which is smaller: 3/37 or i?
i
Let c = 34 + -28. Suppose l = -2*y + 2*l + 23, 2*l = -c. Which is greater: 28/3 or y?
y
Let i be 5/(-30) + (-25)/(-6). Suppose 2 + i = 2*p. Suppose -p*z = -5*z - 14. Does z = 0?
False
Let j be 1791/18 - 2/4. Is j greater than or equal to 98?
True
Let f = 15.649 + -4.649. Let q = -5 - -3. Is q greater than or equal to f?
False
Suppose 0 = -p - 5*a + 144, -6*a + 276 = 2*p - 8*a. Which is smaller: 140 or p?
p
Let i = -538303/652440 + 1/16311. Which is smaller: -2 or i?
-2
Let c = 10891/702 + -200/13. Which is bigger: c or 0?
c
Let n be 16*((-62)/(-4) + -11). Is 64 equal to n?
False
Suppose 22*z - 3*z = -76. Which is bigger: z or -22?
z
Suppose 3*y + 150 = -3*h, h + 77 = 4*y + 2. Let q be -7 + 4 + (-190)/h. Is 0 < q?
True
Let d = -418 - -475. Is d smaller than 60?
True
Let u be 18/(-285)*20/78. Which is bigger: u or -1?
u
Let x be (-2)/(-10) + 912/90. Let c be ((-341)/(-155))/(-1 - 12/(-10)). Which is greater: x or c?
c
Let n be (-21 - -12) + 4 - 0. Is -128/31 less than or equal to n?
False
Let q be (-19)/(-209)*(-2)/(-8). Which is smaller: q or 21?
q
Suppose -5*p = -p - 2*h - 84, p - 5*h - 39 = 0. Suppose 0*i - 3*t - 145 = -4*i, 5*t = -i + p. Which is bigger: i or 33?
i
Suppose -v + f = -67, 268 = 33*v - 29*v - 2*f. Which is greater: 70 or v?
70
Let x = -1437878/57805 - -1368/55. Is 0 <= x?
False
Let g = -29 - -28. Is g less than or equal to 7/34?
True
Let h = 6 - 2. Let c = h - 2. Let i(j) = -j**3 - 4*j**2 + 12*j - 2. Let n be i(-6). Which is smaller: n or c?
n
Let r(z) = -23*z - 42. Let x be r(18). Let p be (-318)/x + (-9)/12. Are p and -1 unequal?
True
Let m = -8 + 43. Let b = m - 35.1. Are 25 and b unequal?
True
Let o = 177.025 + -177. Which is smaller: -1 or o?
-1
Suppose -2*x - 18*y + 15*y = -17, -4*y = -4*x - 16. Is x bigger than 22/17?
False
Suppose -100*p = 29792 + 72108. Does p = -1017?
False
Let d be ((-12)/(-27))/(2/9). Suppose d*v = -7 + 5. 