 - 3*b + 5. Let s be a(2). Which is smaller: s or x?
x
Let g(u) = -28*u + 396. Let x be g(14). Let r be 5 + (x - (4 + -5)) + -8. Is 27/28 less than or equal to r?
True
Suppose -6*y + 211 = -23. Suppose 3*a - 4*g = -y - 17, -2*a - 36 = -2*g. Which is greater: a or -4?
-4
Let h be 4/10 - (-6)/(-15). Let s(v) = -23*v - 228. Let u be s(-10). Let j be 7777/(-2585) + 6 - 6/u. Is h bigger than j?
True
Let t be (-14)/(-8) + 0 - 6/(-24). Suppose -k - t*k = -6. Suppose 7 = -3*u - k. Do u and -4 have the same value?
False
Let v be 1/(17/(-2 + -15)). Are -496.1 and v non-equal?
True
Let i(g) = 2*g**2 - 3*g - 11. Let q(c) = c**2 + 3. Let s be q(2). Let x be i(s). Suppose -13*p = -16*p - x. Which is smaller: -23 or p?
-23
Let y(p) = -p**3 + 16*p**2 - 18*p + 19. Suppose 18*o - 254 = 16. Let q be y(o). Which is smaller: q or -82/3?
-82/3
Let n be (-6116)/(-402)*3/24. Let z = -2/7677 - 58849/30708. Let y = n + z. Which is greater: y or -1?
y
Let x be (2/(-4) - (-65)/120)/((-180255)/244). Which is smaller: 1 or x?
x
Let a = -1.04 + 1.04. Let x = 145 - 48. Let z = x + -96.57. Are a and z non-equal?
True
Let o = -30 - -59/2. Let v = -166.1 - -159. Let m = 7.1 + v. Is m < o?
False
Suppose -3*o - 11768 = 4*n, -168*n + 3*o + 5884 = -170*n. Which is smaller: n or -2941?
n
Suppose 0 = -7029*m + 7019*m. Let k be (-24)/(-66)*(-14)/(-4). Which is bigger: k or m?
k
Let k be 3*-14*(-28)/(-60). Is k at most as big as -0.1?
True
Let c be (146/3)/((-8)/(-60)). Suppose -c = 12*z + 487. Is z smaller than -73?
False
Let g be (-68214)/(-234) + (-2)/(-13). Let h = g + -291. Which is smaller: h or -0.003?
-0.003
Let p = 2613/5 - 520. Let z(y) = -y + 5. Let u be z(-6). Let s = u - 9. Is s equal to p?
False
Let h(x) be the first derivative of x**3/3 - 17*x**2/2 - x - 36. Suppose l - 3*l = -34. Let s be h(l). Which is smaller: s or -1/13?
s
Suppose 4*u + 5*w + 19 = 0, u + 5 + 11 = -5*w. Is 1/1845 greater than or equal to u?
True
Let d = 655 - 36679/56. Suppose -12*v + 16*v + w - 3 = 0, -v = -2*w - 3. Which is smaller: v or d?
d
Let a = -82 + 194. Suppose -3*m + 6*m = 3*j - 51, -4*j - a = 5*m. Let n be ((-128)/(-345) - 1) + (-12)/m. Is n <= 1?
True
Let d(w) = w**3 + 15*w**2 - 12*w + 307. Let z be d(-16). Which is greater: 212 or z?
z
Let s = -2095 - -2801. Is 706 smaller than s?
False
Suppose 5*y + j = 16, -2*j - 11 + 3 = 0. Let u be ((-2)/3)/((-2)/6). Suppose 5*q + u = 3*g, 5*q - q - g = 4. Is q not equal to y?
True
Let q = -17193 + 17205. Do q and 0.907 have the same value?
False
Suppose -5*d = -10 - 5, 5*o - 5*d = -85. Let y be ((-46)/o - 3)/(1/(-95)). Is -27 <= y?
False
Let i(l) = -l**2 + 6*l + 3. Let k be i(6). Suppose -q + 7 = -2*c, -k*c - 4*q = -6*q + 10. Let x(h) = -3*h**2 - 6*h. Let m be x(c). Which is bigger: m or -25?
m
Let t = -6470 - -6953.1. Let z = -483 + t. Let o = 2 - 1.4. Is z smaller than o?
True
Let q = -1575 - -1574.781. Is q greater than or equal to -0.3?
True
Let p(g) = 3*g + 105. Let d be p(-34). Suppose 4*b + 5*s + 23 = 0, 0*s = -4*b + d*s + 1. Is b greater than 78?
False
Let q(b) = 2*b - 16. Let m(o) = 0*o + 3 - 2 + o - 2*o. Let l(p) = 4*m(p) - q(p). Let c be l(4). Which is bigger: -3 or c?
-3
Let v(r) = -r**3 - 2*r**2 + r + 4. Let q be v(-2). Suppose 4*l - 2*s - 4 = 5*l, -q*s = 8. Let c be (3/9)/(-2 + 7/l). Which is greater: -1/2 or c?
-1/2
Let r be 46*(-3*1 - (187/(-22) + 1)). Which is greater: 206 or r?
r
Suppose -1910*l - 1354 = -1895*l + 1856. Which is bigger: 8 or l?
8
Suppose -28146*s = -28120*s + 26. Is s greater than -86/355?
False
Let m = -72.78 - -76. Let n = -20.52 - -20.3. Let p = m + n. Which is smaller: 1 or p?
1
Let d = 4545 + -4535. Is 0.11 at least d?
False
Suppose -5*b - 1 = 4*q - 108, -3*b + 5*q + 79 = 0. Let h(c) = 2*c**2 - 21*c + 12. Let g be 1/6 + 780/72. Let s be h(g). Is s at most as big as b?
True
Suppose 8*z - 434 = 262. Let q be (-534)/(-4)*18/27. Which is smaller: z or q?
z
Let j = 15.09 - 15.887. Do 1/2 and j have the same value?
False
Let w = -335.68 - -331. Let f = w + 4.58. Is f at least 50?
False
Let x = -21528 - -12873747/598. Which is smaller: -2 or x?
-2
Suppose 0 = -20*g + 17*g. Suppose 7*d + 27 = 10*d. Suppose 3*s - 3 = g, -5*j = -j - s + d. Which is smaller: -7 or j?
-7
Suppose o = 5, -2*k - 5 = 3*k + 4*o. Let p(x) = 3*x - 38. Suppose 0 = -105*r + 109*r - 44. Let i be p(r). Is i not equal to k?
False
Let x = 5 - -47. Let k = -965/14 - -836/7. Which is smaller: x or k?
k
Let r(o) = -292*o**3 - 39*o**2 + 19*o + 5. Let g be r(2). Does -2449 = g?
True
Suppose b = 2*b + 5. Let r be 41/3 + b/(-15). Let d be r/105 + 28/15. Is d greater than or equal to 2/3?
True
Let g(w) be the third derivative of -w**5/30 - w**3/3 - 43*w**2. Let u(r) be the first derivative of g(r). Let a be u(4). Is 0 smaller than a?
False
Let b = 2957.02 - 2957. Which is bigger: -2/345 or b?
b
Suppose -2*b = 2*l - 28, -3*l + 6*b = b - 18. Let r(t) = t**2 - 9*t + 4. Let a be r(l). Is 25 greater than a?
False
Let f = 1412 - 1433. Is -131/6 smaller than f?
True
Let p = 28262 - 27176. Which is smaller: p or -0.2?
-0.2
Let d be (-804)/8*(-4)/6. Let n = 1032 - 1081. Let c = d + n. Are c and 18 equal?
True
Let f = 43 - 32. Suppose -f - 5 = -4*s. Suppose 0*u + 2*u = 2*l + 8, 0 = u + s*l + 21. Which is bigger: u or -13/6?
u
Let q be (-567)/(-135) + 8/10. Suppose -2*u + 2*o + 14 = 0, -q*u + 13 + 10 = -o. Let x be (-4)/(-6) + 84/(-99). Is u greater than or equal to x?
True
Suppose 0 = 11*f + 4 + 51. Which is bigger: 1.04 or f?
1.04
Let c be 28/21 + (-1705)/(-15). Let o = c - 126. Is o smaller than -1?
True
Let g be 306/(-4) - 9/18. Suppose 2*n - 21*w + 162 = -16*w, -3*n + 2*w = 232. Which is smaller: n or g?
g
Let d be (378 - 1*-2)*20440/1825. Which is greater: 4255 or d?
d
Let w = -264905 + 264894. Suppose 3*i = 2*p - 1 - 4, 22 = 2*i + 5*p. Which is smaller: w or i?
w
Suppose 19 = i + 5*f, 3*f + 5 = 14. Suppose -i*z - 9 = -1. Let j = 0.222 - 0.212. Which is smaller: z or j?
z
Let x = -0.268 - 0.062. Let f = 0.72 + x. Let d = f + -1.39. Is -3 > d?
False
Suppose i + 4*m + 1 = 0, 0 = -5*i + i - 3*m + 35. Let f be (-6)/i*90/(-10). Let v = -1091 + 1096. Is f bigger than v?
False
Let c = 26 - 23. Suppose 5*u - 3*g - 23 = 0, 9 = -c*u + 2*g + 23. Let h be (-1)/((u + 18/(-4))*-1). Which is smaller: h or 0?
h
Let u be ((-15)/(-8))/((-105)/(-21140)). Let s = -378 + u. Is -303 not equal to s?
True
Suppose 3*b - 2100 = 17*b. Let v = -513 - -740. Let g = b + v. Is 77 greater than or equal to g?
True
Let u = -6342 - -6249. Is -17 smaller than u?
False
Let q = -4992 - -4990. Suppose 5*u + 2*p - 22 = 0, -2*u - 5*p + 13 = -0*p. Suppose 0*c - 31 = -4*c + y, u*c + 5*y = 13. Are q and c non-equal?
True
Let s be (6710 + 326)*(-2)/8. Are s and -1758 equal?
False
Let w = 96 + -82. Let o(n) = 8*n + 2. Let q be o(6). Suppose -q = -9*p + w*p. Which is smaller: p or -6?
p
Let a = -6702 + 4512. Is -0.1 at least a?
True
Let i = 21873/2 + -10936. Let x = 0.72 + -0.02. Let s = 8.1 + x. Is i < s?
True
Suppose -2*o + 3*o = -104. Let r = -100 - o. Let i be r + (4 + -5 - 1). Is -2 greater than or equal to i?
False
Let u be (-3 - -1 - 4)*1. Let m be (108/30)/(u/20). Is m at most as big as -9?
True
Let r = -232 + 127. Let s = r - -95. Is 5 >= s?
True
Let i be 46/10 + (-6)/10. Suppose 2*u + i*d = 32, 3 = 3*u + d - 4*d. Let y be (-37)/u + 3/18. Is -9 at least as big as y?
False
Let f = 11121 + -10480. Which is smaller: f or 642?
f
Let d(j) = j**3 - 13*j**2 + 18*j - 75. Let i be d(12). Let l = -32 - -51. Let p = l - 19. Which is bigger: i or p?
p
Let p = -37077 + 36468. Which is bigger: -602 or p?
-602
Let h be 8/(-108)*3 - (-11035)/45. Let z = h + -219. Let v = 3 + -5. Is v > z?
False
Let h be 4/8 + 13/(-2). Let y be -3 + ((-73)/73)/((-14)/22). Which is greater: h or y?
y
Suppose 4*f + 48 = -7*o + 3*o, 3*o + 16 = -f. Let w = 22 + -40. Let q = w - -10. Which is smaller: q or f?
f
Suppose -4*j + 3*y + 4 = -15, -j + y + 4 = 0. Suppose -j*m = 5 - 404. Is 56 at most m?
True
Let f = -894.09 - -893. Let q = f - -1.99. Which is smaller: -2.4 or q?
-2.4
Suppose 33*b - 32*b = 446. Suppose -165*h = -164*h + b. Let l be 0/(-4) - 4/h. Is 1 at most l?
False
Let a = 5 - -5. Suppose 4*g - 11*g + 350 = 0. Let b be 4/a*g/60. Which is greater: -11/4 or b?
b
Let q = 155 + -156.29. Let v = 0.19 + q. Let b = v + 1.12. Which