 5*h - 3*d = 619, h - 3*d = 17 + 102. Let r = h + y. Is r != 25?
True
Let l = -681 + 351. Which is smaller: l or 2/9?
l
Let k = -23498 - -23471. Let f be (-60)/(-18) - (-1 - -4). Is k at least as big as f?
False
Let c = -1514 + 1513. Let n be 4/(656/(-484)) - -3. Which is bigger: n or c?
n
Let w(k) = 3*k**2 - 21*k + 3. Let q be w(7). Suppose -3*d = -8*d + 20, 113 = p + q*d. Which is greater: p or 100?
p
Suppose -7*d - 13*a = -11*a - 441, 157 = 2*d + 5*a. Which is smaller: 94 or d?
d
Let a be (7/(-21))/(-3*2/54). Let v be (a/(-2))/(6 + 15192/(-2528)). Which is smaller: v or 159?
v
Let k be 7716573/362 - (14/4 - (-36)/(-12)). Which is smaller: 21317 or k?
k
Let w(r) = -154*r - 2622. Let t be w(-7). Is 2 greater than or equal to t?
True
Let g = 113 + -100. Let z = g - 17.1. Which is smaller: z or 2?
z
Let j(g) = -11*g + 34. Let a be j(3). Let v be 3*308/91 + a + -1. Which is smaller: 10 or v?
10
Suppose -70*j - 98 - 15 = 43*j. Is j at least as big as 8/1153?
False
Let f = -10571 + 10574. Is f greater than or equal to 1357?
False
Let l be (-11224)/(-1104) + -3*2/(-9). Is 11 >= l?
True
Let h = -8779 - -8741. Which is smaller: -193/5 or h?
-193/5
Let q(n) be the third derivative of n**5/30 - n**4/6 + n**3/3 - 180*n**2. Let m be (1/3)/((-2)/(-6)). Let g be q(m). Which is bigger: g or 2/41?
2/41
Suppose -19224 + 5498 = 197*y - 97845. Is y > 430?
False
Let i be 177/660 + (-2)/8. Suppose -4*d + 3 = -4*g - 1, 5 = 2*d - g. Suppose 3*a - 5*o = -4*o, 5*a = d*o + 7. Which is smaller: a or i?
a
Suppose -5*m = 3*t + 7, 1 = 2*m - 1. Let d = 196 - 123. Let b = d - 72.7. Which is greater: t or b?
b
Let l(h) = -3*h**2 + 11*h + 4. Let s be l(5). Let n = 13 + s. Let a be n/6*6 + -6. Is 2/7 < a?
False
Let v = 4363 + -5084. Which is smaller: v or -719?
v
Let n(p) = 12*p + 52. Let z be n(-5). Let j be (5/20*0)/(z/4). Which is smaller: j or 4/39?
j
Let d(x) = 2*x - 9 + x - 5*x. Let p be d(-6). Let j = -37683 + 37688. Are j and p equal?
False
Let p be (-3409)/(-28) + 7 + (-124)/16. Which is smaller: 126 or p?
p
Let u = -4/3 + 5/6. Let z(l) = 2*l**2 + 24*l + 68. Let r be z(-3). Suppose r = -k + 15. Which is bigger: k or u?
k
Let h(z) = z**2 - 38*z + 259. Let m be h(9). Are -27/32 and m unequal?
True
Let l be (17746/4731*-3)/2. Which is bigger: -5 or l?
-5
Let g be (1225/(-686) - 2/(-7))*(-436)/12. Which is smaller: -0.25 or g?
-0.25
Let i = 50900/9 + -5644. Let n = i - 34/3. Which is greater: -24 or n?
n
Let l = -17 - -7. Let p = 99/10 + l. Suppose -6 = -0*i - 4*i - 5*q, 9 = -5*i + 2*q. Which is smaller: p or i?
i
Let v be (3 + 9132/9126*-3)*3. Let n = -503/676 + v. Is 1/22 less than n?
False
Let f = -942 + 946. Let x = -0.12 - 0.27. Let k = -0.3 - x. Which is smaller: k or f?
k
Let a = 12384 - 5589. Is 6793 > a?
False
Let f be 2/(-1) + 14 - -3. Suppose b + f = -l - 13, 0 = -3*l + 15. Let n = b + 34. Do n and 1/18 have different values?
True
Suppose 2*t + 18 = -5*f, 4*f + 8 = -t - 4. Let v = f + 0. Let p be (-2)/(2 - v)*4*1. Are -5 and p equal?
False
Suppose 42*a = 6*a + 13068. Let x = 363 - a. Which is greater: x or -49?
x
Let r be (-3)/4*-3 + 1/(-4). Let k be r*1 + (-18)/132*12. Let y be 3/6 + (-4)/(-8). Are k and y equal?
False
Suppose 0 = 543*i + 316670 + 401564 + 8843. Which is greater: -1342 or i?
i
Let u = 1.6958 + 0.4042. Is u less than or equal to -5/4?
False
Let x = 20403 - 71838967/3521. Is x at most -1?
False
Suppose -4*t - 16 = 4*j - 0, 0 = -3*j - 12. Let q = -2987290/53 - -56364. Is q at least t?
True
Let g be -6*(4/28 - 8/7). Suppose 129*f = 128*f - g. Suppose j + 4*j = -20. Is j at least as big as f?
True
Let b(p) be the third derivative of p**5/60 - p**4/6 - p**3/2 - 52*p**2. Let i be b(5). Are i and -0.3 equal?
False
Let i = -18 - -33. Let o(a) = a**3 - 15*a**2 - 5*a + 27. Let w be o(i). Which is smaller: w or 2?
w
Let y be 1141/56 - 9/24. Let h(q) = -q**2 + 5*q + 27. Let g be h(8). Suppose 2*w + 3*k + 20 = g*w, -4*k = 0. Is w equal to y?
True
Let c = -110 - -109.7. Let u = c - -0.1. Let t = -8 + 8.11. Which is bigger: t or u?
t
Let s = -193 - -111. Let u = -63 - s. Let h = -39 + u. Which is smaller: h or -22?
-22
Let o = -2 + -56. Let z = -0.7 + -58.3. Let d = z - o. Which is smaller: -20 or d?
-20
Suppose 32 = -91*s + 99*s. Suppose 8*g + 5*h = 7*g - 363, -3*g - s*h - 1144 = 0. Is g less than or equal to -388?
True
Let r = -244790 - -244621. Let f be (5/2)/((-2)/136). Which is smaller: f or r?
f
Let x(v) = -23*v**3 + 11*v**2 - 30*v - 159. Let u be x(-4). Which is smaller: u or 1608?
1608
Let d be (((-1337)/(-14))/((-3)/2))/(4/144). Do d and -2290 have different values?
True
Let z = 967 - 972. Let o be 4/((z + 4)*-4). Is o > 5/79?
True
Let b(w) = 3*w**2 + w - 1. Let h be b(1). Suppose 0 = -2*q + 1 + h. Let j = -3912 - -3902. Which is bigger: j or q?
q
Let v be (-2 + 5)*12/18. Let l = 46 + -42. Let q be 121/22 + (-8)/(l/v). Which is smaller: 1/3 or q?
1/3
Let d be (-447271)/438 - 10/12. Is -1022 greater than d?
False
Let u = -425 + 468.4. Let d = 40 - u. Let c = -4.4 - d. Which is bigger: 4/7 or c?
4/7
Suppose -2*x = 9 - 1, -x = -5*u + 2714. Let a = u - 7591/14. Which is greater: a or -1?
a
Suppose -7*l + 14*l + 294 = 0. Let v = 41 + l. Let d = -769 - -769. Which is smaller: v or d?
v
Let i(f) = -f**3 - 14*f**2 - 15*f - 31. Let l be i(-13). Let q be 6/(-20)*l - (-21)/(-34). Is 0 > q?
False
Let q = 12897 - 12896. Is q < -10/981?
False
Let s = -1031/2873 - -6/17. Let v = 39886 - 39886. Which is smaller: v or s?
s
Let i be 12*1/8 + (-7)/2. Let k = -3 - -12. Let d = k + -7. Which is smaller: i or d?
i
Suppose 1052 = 221*c + 168. Is 1123 <= c?
False
Let c = -3.563 - -3.663. Which is greater: c or 57/31?
57/31
Let h be 2/12*2*(-8280)/684. Let c = h + 7/19. Let t be 3/((-12)/10)*2. Is c less than t?
False
Let f = 108023 - 543497/5. Let z = -676 - f. Is 2/91 less than or equal to z?
True
Let h = 138.863 + -139. Let u = 0.063 - h. Which is greater: u or 1?
1
Let u = 4785 + -5598. Is -816 != u?
True
Let d = 136397369/14269 - 9559. Is 0 less than d?
False
Let g = -7794 + 7767. Let k be (1 + (-15)/21)/(-2). Is g at least k?
False
Suppose 35*y + 10 = 36*y - o, 5*o + 8 = -2*y. Suppose -24 = -3*d - 3*x - 18, -x = 3*d - y. Is d smaller than 16/5?
True
Let m = 2637 - 31625/12. Let d be (-11)/(66/(-24)) + -3. Which is bigger: d or m?
m
Let z(i) = -i**3 - 3*i**2 + 7*i + 8. Let y be z(-4). Let l = y - -138. Is 134 less than l?
False
Let v = -10.665 - -2.177. Let z = 0.088 + v. Let o = z - -8.82. Is o at most 1?
True
Let p(n) = 31*n + 224. Let o be p(7). Let c be 4/22*o/(-18). Which is smaller: c or -3?
c
Let f = -2404 + 563. Let w be 2 + 24/(-14) - f/(-6615). Which is bigger: w or 1?
1
Let w(l) = 334*l**2 - l - 2. Let r be w(-1). Let y = r + -333. Is y smaller than -2.12?
False
Let p be -7*6/(-26)*(-6314)/(-539). Is p < 20?
True
Suppose -1233*g = -1198*g. Which is smaller: g or 28/1203?
g
Let h = -117 - -120. Let o = 10273/5391 + -10/599. Is o less than or equal to h?
True
Suppose 1833 = 5*a - 3*p, 8*a + 5*p + 1456 = 12*a. Let m = 26609 + -104971/4. Let u = a - m. Which is smaller: 4 or u?
u
Suppose -3*h + 11 = 4*r, -4*h + 5*h + 7 = 4*r. Let n be 1 + h + (-20)/9. Let a = -7660 - -7645. Is a at least n?
False
Suppose -5*y + 107*a + 20 = 103*a, 0 = -9*y + 2*a + 10. Is y at least as big as 2/2595?
False
Let j = -11586/25 - -62569/135. Is 1 smaller than j?
False
Let g = 77 + -180. Let n = g + 55. Let o = -48 - n. Is 24 less than or equal to o?
False
Let s = -7 - 0. Let k(x) be the first derivative of -x**3/3 - x**2/2 + 17*x - 1325. Let l be k(s). Is l at most -24?
True
Let x = 485/199 + -511541/2985. Is -169 equal to x?
False
Let n(j) = 137*j + 1368. Let h be n(-10). Which is greater: -69/88 or h?
-69/88
Suppose -21*p - 13*p - 83839 = -1219. Is -2425 equal to p?
False
Let d = 2.67 - 2.67. Let l = -2/293 - 1162/1465. Which is smaller: l or d?
l
Let j be 512/(-816)*9/(-3). Which is bigger: j or 2?
2
Let d = 21643.227 - 21644. Which is greater: d or 0.01?
0.01
Suppose -t - 16*w + 4 = -15*w, 0 = 5*t + 3*w - 10. Which is bigger: -1/858 or t?
-1/858
Let a(v) = -v**2 - 28*v - 181. Let q be a(-17). Suppose -3*p + q = 3*o, 2*p + 5*o = 8*o + 9. Let f(i) = 13*i. Let j be f(-1). Is j less than p?
True
Suppose -2*n + 91 = v, 3*n + v = -4*v + 140. Let d = -33.94 + 37.1. Let a = d + -3.26