, 3*p + 21 = p - w. Let b(g) = g**3 + 11*g**2 + 11*g + 10. Let s be b(p). Let o be ((-9)/93)/(-1) - 0/(-5). Is s at least o?
False
Let k = 20 - 21. Let f be k*(-3 + 3)/4. Which is smaller: 2/51 or f?
f
Let c(v) = 27*v**2 + v + 1. Suppose 0 = l + 4*o - 9 - 2, -l + 2 = o. Let x be c(l). Is x smaller than 28?
True
Let z = -26.8 + 27.8. Which is greater: -1.13 or z?
z
Let s(k) = -k + 9. Let c be s(20). Let g be (0 + -6)/((-22)/c). Which is bigger: 4 or g?
4
Suppose r - 5*r - 5*h = 0, 2*r - h = 0. Suppose 3*s + s = -g + 12, 4*g - 24 = -4*s. Suppose 0 = 3*m, s*m = -5*i + 5*m. Are i and r equal?
True
Let r be (35 + -33)*(-591)/2. Is r equal to -589?
False
Let q(s) = -8*s - 5. Let p be q(-5). Suppose -4*o + 3 = -5*v + 2, -p = -5*v - 5*o. Suppose 7*m + 64 = v*m. Is -16 <= m?
True
Let k = -38 + 39. Let o be -1 + k - (-12)/75. Is o smaller than 1?
True
Suppose -11*n = -35*n + 576. Let g = 24 - 1. Do n and g have different values?
True
Suppose 0 = 4*q + 16, 12*m - 13*m + 2*q + 5 = 0. Let i = 1 - 1.2. Let v = i - 0. Is m >= v?
False
Suppose -4*b = -3*b + c, -b - 3*c = 4. Let n(r) = 2*r**3 + 3*r**2 - 11*r + 9. Let d be n(1). Which is greater: d or b?
d
Suppose -2*v + 4*v - 6 = 0. Suppose 24 = v*n - 3. Suppose 4*z = 3*z - n. Which is bigger: z or -8?
-8
Suppose 3*l - 7 = 5*m, -9*l + 7*l + 12 = 4*m. Suppose -9*r = -l*r - t - 355, -2*r - 3*t = -125. Is 69 at most r?
True
Suppose 12 = 4*h - 4. Suppose -h = 2*d - 2. Let l(r) = -r - 1. Let p be l(d). Is p != -1/7?
True
Let c = 1 + 23. Suppose 4*b + c = 8*b. Let l be (b/(-54))/(2/(-6)). Which is greater: -1 or l?
l
Let p = -660 - -12537/19. Is 0 < p?
False
Suppose 6*j - 240 = j. Let h = 64 - j. Which is greater: h or 13?
h
Let p be ((-2)/(-28))/((-8)/7916). Let b = -285/4 - p. Do 4 and b have the same value?
False
Suppose 879*l - 1914 = 890*l. Which is bigger: l or -1224/7?
l
Let r = -345 + 499. Is r at least 154?
True
Let m = -65 + 31. Let s = m + 33. Is -2/7 at least as big as s?
True
Let w = 4179 - 1270417/304. Is -1 smaller than w?
True
Suppose 0 = l - 3 + 5. Let f(q) = -q + 6. Let b(v) = v - 8. Let z(g) = 5*b(g) + 6*f(g). Let u be z(l). Which is smaller: -1 or u?
u
Let n(q) = -41*q + 1. Let g be n(-1). Let h be (-6)/20*(-35)/g. Which is greater: 0.03 or h?
h
Let t be 6/(-8) - (1477/1204 - 2). Let z be 2/(-9) - (-11)/9. Which is greater: t or z?
z
Let l(h) = -5*h**2 + 20*h + 5. Let c(r) = -2*r**2 + 10*r + 3. Let q(j) = -7*c(j) + 3*l(j). Let b be q(-9). Suppose -4 = -b*u - 10. Are -1 and u equal?
False
Let w be ((-2)/(-24))/(26/(-39)). Do -2 and w have different values?
True
Let a(x) be the first derivative of 4*x**3/3 + 35*x**2/2 + 2*x + 12. Let n be a(-10). Which is bigger: 50 or n?
n
Let z = -714 + 1268. Let j be (-1)/7 + z/(-42). Which is bigger: j or -13?
-13
Suppose 34*x - 54 = m + 35*x, 3*x = -2*m - 111. Which is greater: -52 or m?
m
Let v be (-5 - (-13)/(-1))/1. Is -19 <= v?
True
Let y be -1 + -2 - (-30)/10. Suppose -4*r = -y*r + 128. Let o = 22 + r. Which is smaller: o or -9?
o
Let i(c) = 4*c - 1. Let k be i(3). Suppose 13 = 3*b - 2*o, b + 3 = -3*o - k. Let p be b/6*(-37 + 9). Are p and -6 unequal?
True
Let i = -24.052 - -0.052. Let a = -24.06 - i. Let k(z) = -z + 4. Let y be k(4). Which is greater: a or y?
y
Let i be 6/(-9) - (-25)/15. Let u be (i + 7/(21/(-6)))*5. Is u <= -8?
False
Suppose 5*c + 81 + 34 = 0. Let t be ((-6)/3)/(0 - c). Let q(u) = -u**2 + u + 13. Let i be q(4). Which is smaller: t or i?
t
Let t be (0/(-2))/((-5)/(25/(-10))). Let r(f) = -f**2 + 3*f - 7. Let q be r(t). Which is greater: -6 or q?
-6
Let l = -107 - -29. Let a = l + 73. Is -9 less than or equal to a?
True
Suppose 0 = -3*m + 3 + 15. Suppose 2*x - 92 = 5*w, w - 3*x + 2 = -m. Let f be 2/w*(-15)/(-8). Is 0 greater than f?
True
Suppose -4*w + 3 = -3*i - 9, -i = -2*w + 4. Let h be ((-1)/(-1))/((-350)/(-20)). Which is smaller: h or w?
w
Suppose -15*p - 28*p = -33*p. Which is smaller: 8/137 or p?
p
Let v be (265/(-10) - 1) + 2/4. Let w = -45 - v. Is w not equal to -18?
False
Suppose -2*v = 2, -10*l + 624 = -5*l + v. Which is smaller: l or 124?
124
Suppose 4*o - 3*z + 4 = -2*z, -5*o - 2 = -2*z. Let v be (-3 - o - 1) + (-36 - 8). Are v and -45 equal?
False
Suppose -3*p + 0 - 36 = 3*f, -2*f - 24 = 5*p. Let c = 15 + f. Suppose -3*i + c = -3. Is i less than 3/5?
False
Suppose 96*z - 104*z = 0. Let v = 8/9 - 284/279. Which is greater: z or v?
z
Let q be 6/(321/78 - 4). Suppose 0 = -2*u - 2*b + 50, -2*u + 1 + q = 3*b. Does u = 22?
True
Suppose 0 = 6*y - 2*y - 12. Suppose 3*w - 3 = y. Suppose 0 = -0*t + w*t - 2. Is t at least -1?
True
Let t = -32.2 + 4.2. Let p = -28.26 - t. Is 1 >= p?
True
Let h = 158 - 158. Are -3/77 and h equal?
False
Let w be (-129)/15 + (1 - -2). Suppose 0 = -7*l - 11 - 31. Is w not equal to l?
True
Let k(d) = 3*d**2 + 10 - 8 - 9*d - 2*d**2. Let z be k(7). Are -12 and z unequal?
False
Let g = 95 + -94.72. Let d = 0.18 - g. Which is smaller: d or -23?
-23
Let d = -2.223 - -0.223. Is d > -11.2?
True
Let n = 269 - 268. Which is smaller: 4/109 or n?
4/109
Let g = -805 - -49106/61. Do 2 and g have the same value?
False
Let r(v) = -4743*v**2 - 9*v - 4. Let t be r(6). Let g = t + 1022551/6. Let k = -380 - g. Which is greater: k or -2?
k
Let g(w) = -6*w - 7*w - 14*w + 29*w + 18. Suppose 3*r + 8 = -16. Let s be g(r). Is s bigger than 1?
True
Let p be (8/(-12) - (-4)/4)*0. Is -1/3 less than p?
True
Suppose l - 4*g - g = -7, 0 = 3*g - 6. Suppose -4*j - 5 + 13 = 4*x, -4*j = l*x - 7. Let y be -12*(-4 + 131/33). Are j and y nonequal?
True
Let s = 1 - -3. Suppose 2*u + s*l - 18 = 0, -4*u = 3*l - 8 - 23. Suppose 9 = -u*a + 4*a. Is -3 != a?
False
Let r be (-3)/(-12) + (-2)/1. Suppose -4*p - p = 0. Let h be 2/(-4)*2 + p. Which is greater: r or h?
h
Let h = 30 + -51. Let t be ((-7)/h)/(10/3). Which is bigger: t or 0?
t
Let b = 0.11 + -1.11. Which is smaller: b or 0.035?
b
Let k = -260 + 259. Let j(q) = q**2 + 4*q - 3. Suppose t + 12 = -2*t. Let n be j(t). Which is smaller: k or n?
n
Let q = -77/25 + -28/25. Let a = -16 - -13. Which is bigger: a or q?
a
Let o(s) = -s**3 - 6 + 9 + 5 + s - 11*s**2 + 12*s. Let g be o(-12). Let r(p) = -p - 2. Let v be r(g). Which is smaller: 2/3 or v?
2/3
Let w(m) = m - 4. Let b be w(-19). Which is smaller: 0.1 or b?
b
Let i = 35 + -34.95. Let g = 1.05 - i. Which is bigger: g or 0.12?
g
Let k(h) = -h**2 - 6*h - 5. Let g be k(-1). Which is bigger: 4/79 or g?
4/79
Suppose 488 = -4*k - 4*h, 0 = -5*k + 4*h - 351 - 295. Let o be ((-6)/15)/(k/(-10)). Is 0 greater than o?
True
Suppose 14 - 92 = 2*a. Let b = a - -39. Is 3/34 greater than b?
True
Let x = 493 + -423. Is x at most as big as -0.2?
False
Let s = -6 + 20. Let m(i) = 11*i + s - 15*i + 5*i. Let k be m(-10). Which is bigger: 2 or k?
k
Suppose 17*k - 12 = 13*k. Suppose 7*b + k = 4*b. Let t be b/(-10)*-26 + 3. Which is bigger: t or 2?
2
Let p be 42*-4*3/(-192). Is p greater than or equal to 2?
True
Let m be (-57)/(-38) - 1/(-2). Let t = -38 - -113/3. Is t <= m?
True
Let d be (-34)/(-3)*(-5)/2. Let l = d - -5009/177. Are l and 0.1 unequal?
True
Suppose -4*y = -k - 403, y - 109 = 6*k - 3*k. Is 100 > y?
False
Let p be (-30)/(-32)*(-4)/(-6). Let c be ((-31)/(-5) - 72/60) + -5. Which is greater: p or c?
p
Suppose 5*x - 14 = -3*m, 0 = -m - 0*x + 3*x. Let v = -5 + 8. Does v = m?
True
Suppose 2*p = -5*r - 230, -127 = 3*r - 75*p + 74*p. Which is bigger: r or -41?
-41
Suppose 0 = -5*h + 474 - 544. Is -14 greater than h?
False
Suppose 5*v + 0 - 10 = 0. Suppose 0 = v*f - 4. Suppose 3*j = 4*r + 20, r = f*j - 5*j - 5. Which is bigger: -0.2 or j?
j
Let w = -1583.3 + 1583. Is 185 < w?
False
Let w be (-1 - -3)/(6/(-57)). Which is smaller: w or -81/4?
-81/4
Let h be ((-1)/2)/(6/38). Is h != -3?
True
Let u = -2 + 1.98. Let l = -0.12 - u. Which is bigger: l or 0.2?
0.2
Let m = -1 - 0. Let a = 1/1179 + 2345/15327. Which is smaller: m or a?
m
Suppose 27 = 4*l - 2*u + 3*u, 2*l = -u + 15. Suppose -4*j + q + 3 = 0, 2*q - l*q = 12. Is -2/3 at least j?
False
Let q be 22*(56/35 + 6/(-10)). Suppose -267 + q = -7*x. Which is smaller: 0.1 or x?
0.1
Let u be ((-6)/(-261))/((-3)/528) + 4. Is u > 1?
False
Suppose -3*i + 2*i - 5*p = -44, -5*i + 5*p + 130 = 0. Let v = -30 + i. Let d be 0 + (-1 - (-8)/14). Do d and v have different values?
True
Suppose 256*b = 255*b. Which is smaller: 3/140 