2 - c + 2. Let k be g(2). Suppose k*h = 25 - 17. Let m be (-6)/1 + -23 + 32. Which is bigger: h or m?
m
Let h = -549661/5290 + 1039/10. Are 0 and h equal?
False
Suppose 4*n + 2744 = -2*t, 4*t - 71*n = -66*n - 5514. Is -1377 smaller than t?
True
Let t(a) = -55*a - 49. Let m be t(-7). Suppose -36*b + 30*b = m. Which is bigger: 2 or b?
2
Suppose -114*s + 4*p = -111*s + 1766, -3*s + p = 1778. Which is greater: -601 or s?
s
Let u = -15010.956 + 15011. Let g = 0 - -2. Is g bigger than u?
True
Suppose -5*o = -15 - 155. Suppose -32*l = o*l - 63*l. Let u = 103/4 - 26. Do l and u have the same value?
False
Suppose 17*p - 11900 = -3*p. Suppose -5*q + 5*w = p, q - 4*w + 68 = -42. Which is smaller: -2 or q?
q
Let s(a) = 30*a - 1746. Let u be s(63). Which is greater: 21 or u?
u
Let b = 2758 + -2731. Which is greater: b or 24?
b
Let m be ((-5)/13810)/(-4 - (-9 + (-264)/(-16))). Which is smaller: 1 or m?
m
Suppose 10*a - 3*a = 1645. Suppose -7*v + 6*v - 407 = -5*g, a = 3*g + 4*v. Which is smaller: g or 2?
2
Let p(r) be the third derivative of -r**5/60 - 13*r**4/12 + 19*r**3/3 - 7*r**2 + r. Let d be p(-28). Is d smaller than -20?
False
Let k = 8.2 - 36.6. Let j = k + 62.4. Which is smaller: j or -5/4?
-5/4
Suppose 12 = 3*a - 3*f + 7*f, 4*a - 3*f = 41. Let n(m) = 13*m**3 - m**2 - m + 1. Let r be n(1). Let d be r - 9*2/6. Which is smaller: d or a?
a
Let c be ((-3)/(-42))/(5 - 2359/420). Do c and 1 have different values?
True
Let a(f) be the first derivative of f**2/2 + 12*f - 4. Let v be a(-3). Suppose -4*q + 0 = -5*l + v, 3*l = -4*q - 1. Which is smaller: -2/19 or q?
q
Let w = 20 + 44. Suppose 5*i - 8 = -u, w = -4*u - u + i. Suppose 0 = 22*b + 81 + 161. Is b greater than u?
True
Let s = -366383879/10113 - -36229. Is 0 smaller than s?
False
Suppose 22*m + 4987 = -689. Is m greater than -251?
False
Let p(l) = -2*l**2 + 2*l**3 + 413*l - 411*l + 3 + 12*l**2. Let q be p(-5). Is -19/3 less than or equal to q?
False
Suppose 14*z + 183 + 13 = 0. Let l(k) = -k**3 + k**2 + k - 11. Let v be l(0). Which is smaller: z or v?
z
Suppose 4*j + 4 = -4*y, -4*j - j + 15 = y. Suppose -10 = -5*q + 15*q. Let t be (q/(-2))/((-685)/220 - -3). Which is greater: y or t?
t
Let o be (-54625)/(-240426) - 6/27. Which is smaller: -1 or o?
-1
Let c = 142041153/641 - 221593. Is -1 at most as big as c?
True
Let l(a) = -a**3 + 15*a**2 + 21*a - 23. Suppose -38*m + 823 = 215. Let q be l(m). Which is greater: 56 or q?
q
Suppose -l = 2*d - 3 + 15, -l + 2*d = 4. Let f be (9 - (-165)/(-20)) + (-114)/l. Which is smaller: 4 or f?
4
Suppose 0 = i + 2*c - 25, -i + 4*c + 13 + 0 = 0. Suppose -224*s - 23 = -225*s. Which is bigger: s or i?
s
Let c(q) = -q**3 - 10*q**2 - 27*q - 12. Let p be c(-5). Let i be 6/10 - (-8)/(-5). Let k be (7 - 8)*(p - i). Are -2/37 and k equal?
False
Suppose 3*u + 36 = -3*t, 9 = -3*u - 2*t - 22. Which is smaller: u or 133?
u
Let c be 1266/71*(0 - (-628)/532). Let r = c - 400/19. Are 0 and r equal?
False
Suppose 0 = -17*d - 4*d + 6*d - 0*d. Are d and -19 equal?
False
Let m = -24/13 + 493/260. Let j = -3/10 + m. Let r = 7/3 - 5/3. Which is smaller: r or j?
j
Suppose 23*d = -2498 - 9278. Which is smaller: -514 or d?
-514
Let r(f) = f**2 + 325*f - 1306. Let n be r(4). Is n at least 1?
True
Let r = -271.9883 + -0.0117. Let a = r - -271. Which is smaller: a or -17/2?
-17/2
Let j = 401 + -315. Let g be ((-43)/j)/((-6)/(-4)). Is -0.07 less than or equal to g?
False
Let w = 3568 - 3569. Which is bigger: w or -5/94?
-5/94
Let v(x) = 23*x**2 - 120 - 52*x**2 - 3*x + 27*x**2 + x**3 + x**3. Let h be v(0). Is -239/2 greater than or equal to h?
True
Let h = 3116049/3724 + -3347/4. Is 1 at most as big as h?
False
Let q be 4 - 20/(0 - 5). Let g(b) = b - 11. Let k be g(q). Let l be 8*k/14 - -2. Which is smaller: l or 0?
0
Let y = -16478.5 + 16478. Which is bigger: y or 1296?
1296
Suppose -166*x = -56*x + 132852 - 17352. Is -1050 at least x?
True
Let d = -493 - -501. Suppose -1272 = d*n + 376. Which is greater: -208 or n?
n
Let q = -667049/125664 + 1226/231. Let h = -6/187 - q. Let y = 31743 + -31744. Is h greater than or equal to y?
True
Let z = 6523 + -6392. Is z != -0.1?
True
Let m = 0.47 + -0.112. Let g = m + -1.358. Is -45 >= g?
False
Let m = 505 - 503. Suppose 3*q - 5*y + 189 = 0, -3*y + 40 = -m*q - 85. Is -59 < q?
True
Let x = -8209/27 + 304. Let s be (-4 - -4)/((-3)/(-1)). Let m be (-21)/42*s/2. Which is bigger: m or x?
m
Let s be (-9620)/5122 + ((-5)/(15/(-9)) - 1). Is s equal to -1?
False
Let d(y) = -y - 1. Let p be (-35)/4 + 2/(-8). Let k be d(p). Let f = 9.04 - 9.04. Which is bigger: f or k?
k
Let g be 20/975*20 - (-63)/(-27). Suppose -2*d = -i + 9, -d - 3*i + 21 = -4*d. Which is bigger: g or d?
g
Let x be 50*(-2 - 9/(-6)). Let m be 1 + (2 - 4) + 0. Let b be (-2 + 27)*(m - 0). Is b > x?
False
Suppose 0 = -2254*n + 2257*n - 48. Let j be 10/(-1) + (0 - -2). Let z = 9 - j. Is z less than n?
False
Suppose -114*m + 115*m - 3 = 0. Let q be (3 - 7 - (1 - m)) + 23. Is 22 smaller than q?
False
Let z be 6108/469*(-1)/2. Let x = -4/67 + z. Let v = x + 789/119. Which is bigger: -1 or v?
v
Suppose 5*t = -3*v - 4464, -16*t + 13*t = 4*v + 2685. Is t greater than or equal to -891?
True
Let s = -0.084 + 0.126. Let w = 58.042 - s. Which is bigger: 0 or w?
w
Let s be 3 - (-466)/(-210) - 1/(10/(-6)). Let z = 926/7 - 133. Let x = z + s. Which is smaller: 2.6 or x?
x
Let z(s) = 13*s + 4 + s**2 + 18*s - 30*s. Let r be z(4). Suppose 3*w = 6*w + r. Is 0 at least as big as w?
True
Let p = 67 + -65. Suppose -5*h + 40 = 5*a, a - 4 = -p*h + 2*a. Suppose -h*b - 15 = 13. Which is smaller: b or -3?
b
Suppose -4 + 16 = 4*q. Suppose q*m - 126 = -4*m. Let n be m/15*35/(-14). Are -4 and n non-equal?
True
Let h = -44691 - -24764. Are -19926 and h non-equal?
True
Let x be (-154614)/(-124830) - 1/(4 + -1). Which is bigger: x or 1?
1
Suppose 26*c + 2*f = 29*c - 44, -3*c + 56 = -5*f. Suppose c*d - 82 = -238. Suppose -g + 17 = 5*x + 6, -x + 75 = -5*g. Is d < g?
False
Suppose 0 = -w - 6*d + 26, 8*w - 2*d = 5*w + 158. Is w not equal to -24?
True
Let u = 2 - -1. Let x = -3.3 + u. Let a be 3245/9499 + 2/23. Which is smaller: x or a?
x
Let x = 2172/481 + -58/13. Let d = 75 + -83. Which is smaller: d or x?
d
Suppose 32341 + 42155 = -32*k. Let t be 2/11 - k/(-12078). Do 0 and t have the same value?
False
Suppose -112633 = -744*c + 9383. Let o be -326*2/(1*-4). Is o <= c?
True
Let w = -3045 + 3035. Which is smaller: 1.3 or w?
w
Suppose -11 = 47*s - 36*s. Let q = 363 - 362.895. Which is smaller: q or s?
s
Let j be 0 + (29/(-9) - 4/(-18)). Let x be (26 - 2/(-2))/(j/3). Let f = x - -12. Is -15 >= f?
True
Let o(g) be the third derivative of g**5/30 + 5*g**4/24 - 2*g**3/3 + 5*g**2. Let a be o(3). Let n = -6.72 + 6.72. Which is greater: a or n?
a
Let p = 1470 + -1482. Suppose 2*a = -4*z - 103 + 41, 0 = 2*z + 2. Let f = a + 17. Is f < p?
False
Suppose 12*t + 4105 = -2183. Is t less than or equal to -525?
False
Let f = 1528 + -172668/113. Suppose 9*w - 11*w - 2 = 0. Is f less than or equal to w?
False
Suppose 0*a + h + 32 = -a, 4*h = a + 7. Let p(d) = -2*d**2 - 52*d + 36. Let s be p(a). Which is smaller: s or -130/7?
-130/7
Suppose -5*y + 21 = -2*y. Suppose 0 = 5*b + 4*k - 20, k - y = -3*b - 2. Let i = 24770/43 - 576. Is i less than or equal to b?
False
Suppose -20 = 2*j - 5*m, -3154*j + 3164*j + 4*m = 190. Let o be (-4)/6 - (-280)/18. Is o less than j?
True
Let j = -84291 - -33800713/401. Which is bigger: 0 or j?
j
Let l = -76.12 + -2733.88. Which is smaller: -0.1 or l?
l
Let o be 4/(-3)*(17 - -73). Let k = o + 120. Which is smaller: k or -8/11?
-8/11
Suppose 0 = 155*b + 88628 + 149142. Which is bigger: -1535 or b?
b
Let a be (-5)/2*2700/375. Let f be 3/(2565/(-6))*a/(-42). Are 0 and f nonequal?
True
Let f(p) = 20*p - 17. Let c be f(1). Let n(l) = l**3 + l**2 - 5*l + 5. Let r be n(c). Which is smaller: r or 80/3?
r
Suppose -5*f - 15 = 4*z - 9*z, 4*z - 2 = -f. Let q = -2579 + 20641/8. Which is bigger: q or z?
q
Suppose -19*m = -23*m - 20, 4*s - 3*m = -401. Is s equal to 1/5?
False
Let j = -5205 + 5206.9. Which is bigger: 69 or j?
69
Let z be 2/2*8 - (92 - 85). Let w be (-166567)/(-347430) + (-2)/4. Let h = -4/1565 - w. Is h less than or equal to z?
True
Let b be 2 + 8*(-4 + 9 - (-260)/(-16)). Suppose c = 2*y - 8, 3*y - 1 = -4*c - 0*c. Is b at 