9*b - p. Let q = b + 26. Which is smaller: q or 8?
8
Let h(r) = 2*r**2 + 23*r - 29. Let n be (-2 + 0)/((-2)/(-13)). Let p be h(n). Which is greater: p or 45/4?
45/4
Let d(s) = -s**2 + 99*s + 1685. Let t be d(113). Suppose 4*o = 2*o + 210. Do t and o have the same value?
False
Suppose 76 = 3*j + 73. Let v(i) = -10*i**3 - 2*i**2 - 2*i + 3. Let s be v(j). Which is smaller: -12 or s?
-12
Suppose -q = 1 + 2. Let y be (q*3/2)/((-1)/2). Let c be (40/(-12))/((-4 - -7)/y). Which is smaller: c or -8?
c
Suppose -3*j - 8 = a, 588*j - 592*j + 3*a + 11 = 0. Which is smaller: j or -5/1077?
j
Let m = -334.88419 + 0.18419. Which is bigger: m or 2/3?
2/3
Let a = -851 - -893. Let r = -33 - -19. Let c = a + r. Which is greater: 29 or c?
29
Let h(j) = j - 11. Let o be h(4). Let y = o + -20. Let i = y - -28. Is i not equal to -5/14?
True
Let t be (1 + (-22)/10)*((-360)/(-16) + -15). Which is greater: t or -11/19?
-11/19
Suppose 3*t = -2 + 50. Let j be (-8)/(-24) - (-2 - 56/(-22)). Let p = -47/66 - j. Is p less than t?
True
Suppose 0 = -306*r + 309*r + 3. Let b = -9374/25 + 375. Which is smaller: b or r?
r
Let c = -704 - -820. Suppose 5*g - 68 = 2*g - 2*f, 5*g + 4*f = c. Let x be 16 + (4 - 2) + 2. Is g bigger than x?
False
Let b = 9483/5 - 9966658/5255. Is b >= -1?
True
Let q = -7878527/175 - -45020. Let b = q - -69128/6825. Let v = 10 - b. Is -1 != v?
True
Let l be 2708/16 - (-2)/(-8). Let a = 271 - l. Let g be (-888)/34 + 12/a. Is -26 greater than or equal to g?
True
Let k be 1/14 - -3*(-515330)/(-420). Which is smaller: 3682 or k?
k
Suppose 45 = 4*z - s, -46*z + 48*z + 3*s - 5 = 0. Let n be z + -12 + -42*(-62)/1311. Which is greater: n or 1?
1
Let d = -687929/179 + 3843. Is 1 less than or equal to d?
False
Let d(m) = -2*m**2 + 115*m - 703. Let x be d(7). Let y = -6 + 14. Which is smaller: y or x?
x
Let r = -18/1247 + 15054/6235. Which is greater: -140 or r?
r
Let j = -164.94 + -2.06. Which is smaller: -0.3 or j?
j
Let u be (-2 - 191367/(-44)) + (-2)/8. Is -0.1 not equal to u?
True
Suppose -5*g + 49 = -5*u - 16, 0 = 4*g + 5*u - 7. Suppose -104 = -16*c - 24. Suppose -c*t = -5*p + 35, -t - 47 = -14*p + 9*p. Is g bigger than p?
False
Let t be 14/(-12) + 6/9. Let w = 952 - 911.7. Let z = w - 13.3. Is t not equal to z?
True
Let a(j) = j**2 + 15*j - 3. Let v be a(-14). Suppose 2*h + 12 = 20. Let l be -6*h/(-12) - 20. Which is greater: l or v?
v
Let j = 0.0292 + 336.9708. Let y = j + -337.1. Which is smaller: 31 or y?
y
Let k = -616 - -616. Suppose 2*c - l + 2 = -5*l, k = 5*c - l + 38. Is c equal to -50/9?
False
Let s = -0.09 - 39.71. Which is bigger: 4 or s?
4
Let h(y) = -2*y**3 - 26*y**2 + 2*y + 23. Let k be h(-13). Let j be (k + 7/(-21))/6. Is -2 at most j?
True
Suppose -7*m + 24987 = -28*m - 19197. Which is smaller: -2103 or m?
m
Let y = -0.6511 - -0.0571. Let s = 0.024 + y. Is 2/5 < s?
False
Let w = 4623 + -4623.1. Which is smaller: 4.702 or w?
w
Let j(p) = p**2 + 45*p - 115. Let z be j(-27). Let a = -602 - z. Are -1/223 and a nonequal?
True
Suppose 2*d = -5*z + 30, 0 = -z + 3*z + 4*d - 28. Let n be ((-1)/z)/((-23)/(-92)). Do n and 2/275 have the same value?
False
Suppose 63*x + 66 = -123. Suppose -3 - 5 = -4*m. Suppose -k - 2 - m = 0. Is x not equal to k?
True
Let i = -310/21 + 1084/63. Which is greater: i or 1?
i
Suppose 0 = -4*w - 4, -2*j + 57*w - 131 = 60*w. Suppose 2*p = 3*p + 64. Is j at most as big as p?
True
Let s = -4189 - -4188. Is s at least 6/799?
False
Let w = -50927/6 + 138979843/16374. Which is bigger: 0 or w?
w
Let f be (26/195 - 2974/30) + 8. Suppose i + 5*o + 67 = 0, -i - 475 = 4*i - 3*o. Which is smaller: i or f?
i
Let u(y) = -y**2 - 1. Let o(a) be the first derivative of -a**3 + 6*a**2 - 7*a - 16. Let j(h) = -o(h) + 2*u(h). Let w be j(12). Which is smaller: w or 4?
4
Let j = -18966 + 18963.4. Which is smaller: j or -177?
-177
Let i = 36.253 - 36.053. Let p = -0.219 + -87.781. Are p and i unequal?
True
Let y be (11/(-638))/(-1 + 0). Suppose 0 = -4*t - o, t - 4*o + 3*o = 0. Are t and y equal?
False
Let r = 7.4 - -14.6. Let v = r + -30. Let z = 5 - 4. Is z less than v?
False
Let y be (-51)/(-119) + ((-6)/11 - (-24302)/(-2233)). Suppose 42 = -4*i + 5*t, -i = -3*i - t - 28. Are i and y non-equal?
True
Suppose 2*g - q = -4, -2*q + 8 = 14*g - 19*g. Let m be 2 + -1 - 1036/966. Which is greater: m or g?
g
Suppose 2678 = 9*s - 14*s - 3*l, 2 = -2*l. Is s less than -535?
False
Let l = 30 + -31.8. Let i = l + 5.48. Let n = 3.7 - i. Which is smaller: 0.1 or n?
n
Let s = 57051 + -750969/13. Do -716 and s have the same value?
False
Let g = -11019 + 4935. Let y be (-1)/4 + 3 + g/2224. Which is smaller: y or 1?
y
Let r = -1282011473779/445842103405265 + 29/574367815. Let c = r - -1/1801. Do 1 and c have different values?
True
Suppose -11*f = 190 - 201. Which is smaller: 4/917 or f?
4/917
Let z = -1860146 - -76243355/41. Let b = -1450 + 898. Let f = z - b. Which is greater: f or 0?
f
Suppose 4*m - 24 = -2*b, -2*b - 2*m - 3*m = -29. Let t = b - -6. Let d = -651 + 658. Which is greater: t or d?
t
Suppose 0 = 7*l - 12*l + 660. Suppose 300 + l = -24*v. Which is smaller: -89/5 or v?
v
Suppose -555 - 56 = 13*t. Let j = t + 49. Suppose j*q = 5*q + 3. Which is greater: -13/6 or q?
q
Let r(n) = -13 - 14*n + 10*n**2 + 50 - 20 - 16 - n**3 + 3*n**2. Let a be r(1). Let j = -5566/35 + 159. Is a less than j?
True
Let g be (-11)/22*7/(-3 + 10). Is -8.24 less than or equal to g?
True
Let s = -0.05 + -1.95. Let i = s - -1.97. Let j = 0.060349 + 0.039651. Which is greater: i or j?
j
Let c = 25/42 - 1/42. Let z = -82/119 + c. Is 4 != z?
True
Let i be ((-2640)/200)/(134/5). Is -1 greater than or equal to i?
False
Let c = -147 + 207. Let z(g) = -13*g + 125. Let v be z(5). Let o = v - c. Are 5/13 and o nonequal?
True
Suppose 84*j + 532 = 46*j. Which is smaller: -163/11 or j?
-163/11
Let q(p) be the first derivative of -9*p**4/4 + 4*p**2 + 12*p - 257. Let v be q(-2). Which is smaller: v or 67?
67
Let q = 12138 + -12159. Which is bigger: q or -20?
-20
Suppose 437*z = -399*z + 274*z - 7868. Let v be 1546/(-110) - (-4)/(-10). Which is bigger: z or v?
z
Let l(d) = -d**2 - 4*d - 2. Let o be l(-3). Let x = -281791/119 + 2368. Is x < o?
True
Suppose 88 - 396 = -5*n - r, 4*n - 259 = -5*r. Let b = n + -32. Suppose 5*y = 23*w - 28*w + 135, -2*w = 2. Are b and y non-equal?
True
Let n(k) = k**3 + 6*k**2 + 8*k + 3. Suppose 4*f + 8 = 2*p - 4, 4*f - p = -12. Let l be n(f). Let o be -3*11*(4/l)/2. Is -14 greater than o?
False
Let u = 6.8 - 10. Let o = u + 1.1. Let c(d) = -d**2 + 4*d. Let l be c(0). Which is greater: o or l?
l
Suppose 0 = 44*s + 57 - 409. Which is smaller: 12 or s?
s
Let i(h) = -124*h - 866. Let x be i(-7). Is 35/46 less than or equal to x?
True
Let u = -2/933 - 414/311. Let d(i) = -4*i**2 + 0*i**2 - 7*i + 8 + 3*i**2. Let z be d(-8). Is u at least z?
False
Let h be 39/(-91) - (-992)/28. Let s = 26 + -17. Suppose 4*x + 4*m - 136 = 0, -3*x + s = -4*m - 93. Which is bigger: h or x?
h
Let g = -1.3953 + -54.6047. Let n = 0 - 2. Is n equal to g?
False
Let r = -139 + 135. Let w be 6/8*(128/40)/r. Is w less than or equal to 0.08?
True
Let n be 2/(-4)*(1/(-4) + (-197208)/(-96)). Which is smaller: -1026 or n?
n
Let q(a) = -8*a + 72. Let n be q(9). Suppose 5*v + r - 1373 = n, 0*r - 3*r = -3*v + 831. Which is smaller: v or 274?
274
Suppose -57 = -47*v - 950. Suppose -b + 5 = -14. Let q = b + v. Is 23 greater than q?
True
Let r = 65 + -34. Let o = -33 + r. Let l be (o + 0)*(-1)/(-2). Is -0.1 <= l?
False
Let c(j) = -33*j**2 + 2*j. Let u be c(-5). Let t = -16711/20 - u. Are t and 0 nonequal?
True
Let a(k) = 2*k + 15. Let i(w) = -w - 7. Let s(y) = 6*a(y) + 13*i(y). Let q be s(-6). Suppose 21 = -q*f + 6. Is f != 0?
True
Let g = -6505 - -6446. Is g >= -80?
True
Let b = 35911/24 + -5977/4. Let q = b - 11/8. Let v = 4185 + -25103/6. Is q bigger than v?
False
Suppose 20 = 2*u + 3*q, -16*u + 14*u - 4*q = -24. Suppose 0*j - 20 = -4*j. Does u = j?
False
Let c = -65 - -29. Let w be (c/4)/(-3 + 2). Is w at most 7?
False
Suppose 3*t = 2*f + 3*f + 1, -t - 4*f = 28. Let k be (t/(-440)*(-15)/2)/4. Suppose 0 = 2*u - 3*x - 2, 4*u + 3*x - 4 = -0*u. Is k >= u?
False
Let q(p) = 46*p - 1978. Let c be q(45). Which is greater: 833/9 or c?
833/9
Let z be 2/(-7) + 27 + (-223188)/(-147). Which is smaller: z or 1542?
1542
Su