n - 4 = -2*l. Suppose 0 = 12*z - 34 + l. Which is smaller: z or 18/7?
z
Suppose 18845 - 12809 + 18561 = -9*u. Which is smaller: -2 or u?
u
Let l = -211.31 - -212.6. Is 19 < l?
False
Suppose -747*k + 94833 - 116948 = -329879. Suppose -7*c + 1648 = -3*c. Are k and c non-equal?
False
Let s = 3753.1 + -3753. Let d = -911/6794 - -5/86. Do d and s have different values?
True
Let q be (-1550)/70 + 21 + 1/7. Which is smaller: -36 or q?
-36
Let w = -280081 + 1392701/5. Which is bigger: w or -1542?
w
Let d = -1.2 - -0.2. Let l = -1788.92 - -1789.8. Is d at least l?
False
Let i = 19.81 - 11.81. Let b = 3.2 + -1.5. Let h = 0.3 + b. Which is smaller: h or i?
h
Let r be 144/670 + (-15)/75. Suppose 0 = 4*y + 2544 - 2548. Which is bigger: r or y?
y
Let u = 1458 + -1786. Is u equal to -1/4?
False
Suppose 1742*s + r - 283 = 1738*s, -r = -3*s + 207. Suppose 0 = -4*g + 257 + 19. Which is bigger: s or g?
s
Let s = -2267 + 2803. Which is smaller: s or 537?
s
Suppose 4*o - 20 = -o. Suppose 2*q + o + 2 = 0. Let k = -1619 + 1611. Which is smaller: k or q?
k
Let b = 2370/7 - 26658/77. Is -34 <= b?
True
Let r be (-11 - (-75)/7)*7/5. Let c = -0.84 - 17.16. Are r and c non-equal?
True
Let w(s) be the first derivative of 4*s**3/3 + 3*s**2/2 - 4*s + 19. Let a be w(-2). Let n be ((-8)/(-6))/(3 - a/(-2)). Which is greater: n or 1?
1
Let v(w) = -w**2 + 5*w - 6. Let o be v(5). Let t = 24.26 - 24. Let m = t - -6.74. Which is smaller: o or m?
o
Suppose 55*g - 2*f = 50*g - 35, -3*g - 42 = 3*f. Is g > 56/3?
False
Let j = 673/5 - 135. Let t(w) = -w**3 - w**2 - 2*w - 10. Let r be t(0). Let n be 4/r + 6/20. Which is smaller: j or n?
j
Let g = -13513 - -12033. Which is greater: 0.4 or g?
0.4
Suppose 3*x = -3*t + 18, 5*t = -5*x + 2*x + 26. Suppose -c = -5*n + 10, -n + 28 = x*c + 3*c. Let s = 5 - c. Is s bigger than -1/3?
True
Let j = 349966 - 12601061/36. Let m = -524/9 - j. Which is bigger: -1/2 or m?
m
Let n = 11 - 21. Let x = 162 + -96. Suppose 7*k + x = -18. Does k = n?
False
Let v = 2.98838 - -0.01162. Which is smaller: v or 938?
v
Let k = -207 - -145. Let l = 3864 + -3869. Which is greater: l or k?
l
Let s be (100/(-8))/(2/(-20)). Let j = -310 + s. Which is bigger: -184 or j?
-184
Let s be (-1)/((-13)/(-2)) - (-504)/234. Let u(k) = -k**3 + k**2 + k + 1. Let w be u(s). Is w less than or equal to -6/91?
True
Let j be -5 - 518/490 - 1/(-5). Let u(m) = -3*m + 2. Let d be u(3). Is d at least j?
False
Let k(t) = 2*t**2 - 7*t + 1. Let q = 298 - 298. Let c be k(q). Is 2/961 less than or equal to c?
True
Let c(b) = -b**3 - 6*b**2 + 26*b + 119. Let p be c(-11). Let l = p + -460. Is l smaller than -148/7?
True
Suppose -12*t + 18 = -9*t. Let g(n) = 5*n - 16. Let k be g(t). Let j be 6/k + 144/(-189). Is j at least -1?
True
Suppose -7*o + 144 = 2*o. Suppose -g + 3*d = -o + 3, -4*g + 2*d + 22 = 0. Let t be (1 - (-4)/(-8))*g. Is t >= 2?
True
Let f = 4/2235091 - 56641676182/33526365. Let r = 1677 + f. Let u = -35/3 - r. Which is greater: u or 0.06?
u
Let y be (4/1806)/((-18020)/(-96135)). Let r = -5/371 + y. Which is bigger: 0 or r?
0
Suppose -3*l = -n - 0 - 9, 5*n + 15 = 5*l. Let z = -5805 - -9936. Let u be (-513)/z + 2/(-18). Which is bigger: n or u?
n
Let r(q) = -33*q**2 + 24*q + 57. Let m be r(6). Is -983 at least m?
True
Let y = -23729.597 + 23749. Which is smaller: -0.1 or y?
-0.1
Let d(z) = -2*z**2 - 14*z - 21. Let h be (2 + 17 - -4) + -3. Suppose 9*i - h = 13*i. Let a be d(i). Which is greater: a or -2/13?
-2/13
Let x = -128/155 + 6487/310. Is 21 equal to x?
False
Let u be (-4)/16*-388*(-2 + 1). Let f = u - -106. Suppose -f*g + 153 = -0*g. Does g = 16?
False
Let c = 195.9 + -39.9. Let y = 122 - c. Which is smaller: 1 or y?
y
Let k = 1292 + -2376. Let i = k + 1073. Suppose 0 = -4*d + 4*m - 32, 32 = -6*d + 2*d + 5*m. Is d less than i?
False
Suppose -4*d + 2*t = 112, 126 = -5*d - 2*t - 23. Suppose r + 5*y - 7 = 0, 2*y + 25 = -5*r - 101. Is d at least as big as r?
False
Let n = -119 - -120. Let m be (23 - 23)*(n + -2). Is m >= -1/171?
True
Suppose 3*t = 3*f - 10320, -6*t + 9*t = f - 10310. Is t at least as big as -3434?
False
Suppose 3*x = -w - 29, -4*x + 3*w = -0*x + 56. Let o be 0/((-10)/4 - x/22). Suppose 5*q - 9*q + 12 = o. Which is bigger: 5 or q?
5
Let z(n) = -n**2 + 6*n - 6. Let o be z(2). Suppose -3*q = -v + 324, v - q = -o*v + 932. Which is bigger: v or 308?
v
Suppose 100 = -c + 26. Let z = -472 + 517. Let p = c + z. Is p greater than -29?
False
Let s = -0.4 - -1.5. Let q = 1.36 - s. Let x = q + 2.74. Is x at most as big as -0.02?
False
Let j = 600 - 58799/98. Suppose 2*z - 3 = -z. Is z != j?
True
Let q be ((-1)/1)/(-6)*5. Let b be (-48)/(-7) + 0 - (17289/(-2034))/(34/(-24)). Which is bigger: b or q?
b
Let z = -112/159 + 21746/31323. Which is greater: z or 7/6?
7/6
Suppose -6 = 4*k - 2*g - 4, -4*k - 3*g + 3 = 0. Suppose 3*y + 3*w - 30 = 0, -4*y + k*w + 25 = w. Which is smaller: y or 1?
1
Let z(u) = u**2 + 2*u - 4. Let y be z(-7). Let b = y - 26. Suppose 4*a + a = -b. Are 1 and a nonequal?
True
Let j = -6/425 + 4729/3825. Which is smaller: j or 6?
j
Let o be 22/(1*-1*(-5 - -3)). Suppose 7*z - o*z + 188 = 0. Let n = z - 47. Which is bigger: 1/15 or n?
1/15
Let z = 7206.7 + -7207. Let n = -37 - -4. Let a = 20 + n. Is a <= z?
True
Suppose 4*m + 36*a - 33*a + 19 = 0, 4*a + 23 = -3*m. Which is bigger: -5/2786 or m?
-5/2786
Let t = 0.9 + -0.959. Let o = t - -1.059. Is o smaller than -1/110?
False
Suppose -202 = -12*w - 2914. Is -228 < w?
True
Suppose 0 = 478*r - 524*r + 198674. Is r greater than 4322?
False
Let w = 17 + -5. Let y be (w/4 - 0)/(1/3). Is 6 at least as big as y?
False
Suppose -60 = -3*m - 0*v - 3*v, 0 = -3*m - v + 60. Suppose 0 = 4*p - m, 3*d - 5*p - 40 + 8 = 0. Suppose -1846*x - 252 = -1860*x. Is x > d?
False
Suppose -5*u - 422 = -3*c, -3*c - 76*u + 74*u + 415 = 0. Which is smaller: c or 129?
129
Let n be (-4)/(-3) + ((-6167)/420 - -13). Suppose -4*c + 5*d = -c, 0 = -4*c - 2*d. Which is smaller: c or n?
n
Suppose 4*f - 8 = -u, 107*u - 111*u = 0. Which is smaller: f or -21/4?
-21/4
Let s be -3*2*(-9190)/28. Suppose 14*u + 2*u - 11*u = 9885. Let x = u - s. Is 8 at least x?
True
Let p be 175/(-70)*6/(-5). Suppose -6*v = -3 - p. Let j be v*-3*(-2)/(-2) - -3. Which is smaller: j or -1/30?
-1/30
Let h be (-4)/70*(1 + 3077/(-2652)). Which is smaller: h or 0?
0
Let s = 26737 - 26747. Let i be 2/(2 + (-98)/44). Is s >= i?
False
Let z = 4204 + -4217. Let b(q) = -7*q**2 - 5*q + 32. Let t(g) = g**2 - g - 1. Let f(l) = -b(l) - 6*t(l). Let u be f(z). Is -23 at least u?
False
Let k = 221 + -152. Suppose -k = -2*l + 55. Is l smaller than 61?
False
Let h = -15 + 32. Suppose 4*n - 3*y = 153, 2*y = -2*n + 5*n - 116. Suppose -h*x + n = -3*x. Are 21/10 and x unequal?
True
Suppose -10 = -3*l - h, 0 = -2*l + 4*l - 5*h - 35. Let k be (-551)/2280 + 1/l. Let v(p) = p**3 + 25*p**2 + 1. Let f be v(-25). Which is smaller: f or k?
k
Suppose 2*j = x + 2, -5*j - 14 = 3*x - 3*j. Let y be x*3/(288/20). Is y at least as big as 0.9?
False
Let g be 6/4 - ((-87)/21 + 5). Let y = -201 - -202. Which is smaller: y or g?
g
Let x = -0.01488 + -47.98512. Which is bigger: -62 or x?
x
Suppose -48*l + 284*l = -231*l - 470736. Which is smaller: l or -1003?
l
Let y = 27418/100573 - -1/9143. Is y < 88?
True
Let f be -2*36/8 - 0. Suppose 9*w - 264 = w. Let g be w/(-55) + (-28)/(-80). Is f at most as big as g?
True
Let k be -38 - -23 - -13 - 460/(-227). Which is greater: k or 0?
k
Let f = 192 + -53. Let b = -3436 - -3435.9. Is f greater than b?
True
Let k = 12 - -13. Suppose 8*d - 505 = -k. Let r = -96 + 155. Which is greater: d or r?
d
Let b be (-371)/(-637) - (-7)/((-91)/2). Let g(o) = 2*o - 9. Let y(d) = d - 9. Let w(k) = 2*g(k) - 3*y(k). Let u be w(-9). Is u greater than or equal to b?
False
Let g = -3823 + 323. Let a be (-6)/105 + (-1075)/g. Let i = 68 - 1429/21. Are a and i nonequal?
True
Let l be 108/(-198) - 36820/(-67705). Which is smaller: l or 1?
l
Suppose 5*q + 29 = -a, -q - 5 + 3 = 4*a. Let l be (-915)/(-9)*(-225)/(-125). Suppose w - 177 + l = 0. Is w equal to q?
True
Let v = -7020.63 + 7021. Which is smaller: -2/13 or v?
-2/13
Let v = 2853 + -2439. Which is smaller: 412 or v?
412
Let v = 1255145/164 + -30629/4. Is v less than -4?
False
Let w = 9971 + -9972.1. Let t = -4.9 - -6. Let n = w + t. Is 0.09 not equa