1 - -15. Suppose 4*c - 14 = -l - c, p*l - c - 56 = 0. Let u be 1/(l/6 + -1). Which is smaller: 2 or u?
u
Let y = 5/164 + -33/3772. Are y and 1 equal?
False
Let t = -15.3 + 15.35. Is -0.1 bigger than t?
False
Suppose -3*i + 12 = -6. Let w be ((-4)/(-28))/(6/i). Suppose -4 = 4*h, -5*p + 9 = -5*h - 1. Do p and w have different values?
True
Suppose y + y + 42 = 5*p, -26 = -3*p + 2*y. Let k be (p/28)/(6/14). Do 0 and k have the same value?
False
Let w = 4160 - 12359/3. Let o = -38 + w. Let b = -5/6 + o. Is b < 1?
False
Let i = -3.19 + 0.19. Is i <= 0.1?
True
Suppose -15*r = -29*r. Is r at most as big as 3/89?
True
Let f = 119 + -123. Is f <= -1?
True
Let v(b) = -b**3 - 6*b**2 - 6*b - 5. Let m be v(-5). Let d be 3 + m + 2 + -4. Let a be 5/((-105)/24) + 1. Is d at least a?
True
Let g = 698 - 21640/31. Let m(p) = p**3 + p**2 - 3*p - 1. Let a be m(-2). Which is bigger: g or a?
a
Suppose 0 = 2*q + 3 + 5. Suppose 0 = 7*n + 3*n - n. Are n and q unequal?
True
Let o be (-318)/135 + 2 - 4/20. Is o <= 2/3?
True
Let z = -1 + 1. Let t be 2/3*1 - (-4 - -5). Do t and z have the same value?
False
Let b = 18809/5 - 3737. Let y(c) = -7*c - 4. Let h be y(3). Let s = h + b. Which is smaller: 0 or s?
s
Let b be 2/(-9) - (-938)/(-2016). Let h = -41/80 + b. Are h and 0 equal?
False
Suppose 0 = -5*r - 2*t + 19, 0 = 3*r - 4*t - 1 - 0. Suppose c + 10 = 3*c. Is r != c?
True
Suppose 3*x = -3, v = -v - 5*x - 7. Which is smaller: v or 2/53?
v
Let y = 16 - 14. Let j be (-34)/38 + (3 - y). Which is smaller: j or 1?
j
Suppose 22 = y - 4*p, -p = 2*y + 2*y - 173. Which is bigger: 41 or y?
y
Let v be 282/54 - 4/18. Suppose v*m = m + 16. Which is smaller: m or 3?
3
Let f(y) = -y**3 + 6*y**2 - 5*y - 1. Let r be f(5). Let u be 6/(-2 + 48/28). Let z be 4/10 - u/(-90). Which is smaller: r or z?
r
Let j = -421/3 - -139. Suppose 0 = -3*t + 15, 2*t - 53 = -3*x - 10. Let z = 11 - x. Which is smaller: z or j?
j
Suppose w = -p - 1, -4*p - 2*w - 1 = 3. Let v = p + -1. Is -3 not equal to v?
True
Let y be 26/14 + -2 + 1. Let h be ((-25)/21)/1 - -1. Let p = y + h. Is p greater than 1?
False
Suppose -u = -0*u + 4*r + 16, 7 = -u - r. Let f = u - -8. Is f < -2?
False
Let v(k) = -2*k. Let t(j) = j. Let a(r) = -7*t(r) - 4*v(r). Let y be a(4). Let x be (3/(-15))/(y/5). Is x at most as big as 1/3?
True
Let y(k) = 0 - 1 + 4*k - 6*k. Let l be y(-1). Which is smaller: l or 3?
l
Let i = -24 - -30. Is 7 bigger than i?
True
Let i = 148.8 + -162. Let j = -15 - i. Let a = j + 2. Is 1/3 >= a?
True
Let h(a) = -a**2 - 8*a - 6. Let t be h(-7). Let q be 1*(-18)/(-4 + t). Let f = q - 3. Are f and 3 equal?
True
Let m be 16/4*(-2)/8. Which is smaller: m or -22?
-22
Let k = -1 + -0.6. Let h = 2.1 + -1.5. Let c = h + k. Which is greater: 1/4 or c?
1/4
Let f(g) = g + 2. Suppose 3*n = -2*n. Let u be f(n). Suppose 8 = u*k - 4*d, k - 8 = 6*d - 2*d. Which is bigger: k or 1?
1
Let d be (-283547)/(-345072) + (-8)/12. Let w = d + 2/553. Let i = -5/16 + w. Do i and 0 have the same value?
False
Let g be 165/24*(-12)/(-3). Let x = g + -27. Is x at least 0?
True
Let q(j) = j**3 - 3*j**2 - 5*j + 3. Let w be q(4). Which is greater: -2 or w?
w
Suppose n = -3*z + 6*z, 2*n = 0. Suppose h = -z*h. Is h equal to -1/8?
False
Let v = 352/3 + -118. Is v <= 2/15?
True
Let m be (6/42)/((-1)/6). Let l(r) = -r**3 + 4*r**2 + r - 4. Let y be l(4). Which is smaller: m or y?
m
Suppose t - 16 = -n - 0*n, -t - 32 = -3*n. Suppose 3*k = 3*y + n, -y - 3*y - 8 = 0. Suppose 0 = -g - 5*z - 19, k*g + 2*g + 8 = -3*z. Is 1/12 at most g?
True
Suppose -a - 35 = 4*a. Let p = a - -8. Which is bigger: p or -1/5?
p
Suppose d + 5*k + 7 + 0 = 0, 4*k = 5*d - 23. Suppose 5*f + 3*y - 2*y - 54 = 0, -3*f + d*y = -36. Let r be (-6)/33 - 42/f. Which is greater: -5 or r?
r
Suppose 2 = -4*c + 18. Suppose -3*z - 11 = c. Let g be (-12)/10 - 1/z. Do g and -2 have the same value?
False
Let c be 159/189 - (-18)/(-63). Which is greater: c or 2?
2
Let r = -2 - 8. Let k = -5 - r. Let p = -2 - k. Is p less than -7?
False
Let i(d) = 1. Let p = -5 - -7. Let f(b) = -b + 2. Let m(t) = p*i(t) + f(t). Let w be m(4). Is w greater than or equal to -3/5?
True
Let l(k) = -k - 2. Let c be l(1). Is -12/5 bigger than c?
True
Suppose -p + 3 = 5*t, 4*t - 15 = -2*p - 3*p. Let z(x) = x + 6. Let n be z(-5). Let b be ((-7)/28)/(n/4). Which is smaller: t or b?
b
Let s = 10 + -10. Let t be 2/12 + 2/4. Which is bigger: t or s?
t
Let v(a) = 3*a + 2. Let f be v(1). Is 5 < f?
False
Let y = -6.5 + 6.6. Let a = 0 + -2. Let p = a - -1. Is y less than p?
False
Let r = -1.4 + 0.5. Let n = -1 - r. Are 4 and n nonequal?
True
Let g be (-4*1 + 3)*1. Which is smaller: g or -1/16?
g
Let p = 3 + 7. Let n = -20 - -29. Let f = p - n. Which is greater: f or -2/5?
f
Let n = 7/36 + 1/18. Which is greater: n or -15?
n
Let u be -2 + (-2)/(22/(-24) + -1). Which is smaller: u or -2?
-2
Let q = -92 - -92. Which is greater: -10/19 or q?
q
Let q be (-14)/(-3 + (1 - -3)). Let n = q + 14. Which is greater: n or -3/5?
n
Let i = -10 + -16. Let a = i + 11. Which is bigger: a or 2/5?
2/5
Suppose 2*v + w = -1 + 15, -2*v + 8 = 4*w. Is 3 bigger than v?
False
Let p = 253.02 - 250. Let v = -0.02 + p. Let k be (-32)/(-12) + (3 - 5). Is k <= v?
True
Let n = -2/43 - -55/258. Let r = 0.63 + -0.83. Is r >= n?
False
Let s = 10.7 - 11. Which is smaller: -1/3 or s?
-1/3
Let m = 1.06 - 0.06. Let c = 2 - m. Let t be (-1 + 0)/(-2 + 1). Is c less than or equal to t?
True
Let r = -9/134 - -637/5494. Which is smaller: r or 1?
r
Let v = -1 + 1. Let a(d) = -4*d**2 + 7*d + 7. Let f(h) = -3*h**2 + 6*h + 6. Let w(z) = 2*a(z) - 3*f(z). Let q be w(5). Which is smaller: v or q?
v
Let g = -1 - 1. Let l = 0 - 2. Are l and g unequal?
False
Suppose -148 - 97 = -7*m. Which is bigger: m or 1?
m
Suppose 4*l - 5 = l + 2*h, 2*h = -5*l + 19. Suppose 0*q = l*q. Let b = -1 + q. Is 0 less than b?
False
Suppose 170 = 3*o - 340. Let j = -251 + o. Let p = -647/8 - j. Which is bigger: -1 or p?
p
Let i = -12 + 20. Suppose 3*v = -q + 23, -5*q - v - 2*v + 55 = 0. Are i and q equal?
True
Let y be (60/(-75))/((-2)/(-20)). Which is smaller: y or -7?
y
Let z = -56 + 55. Which is smaller: z or -1.2?
-1.2
Let c = 92 + -281/3. Is -2 at least c?
False
Let d = 12 - 7. Suppose 2*h = -h + 5*k - 10, d*k - 10 = -h. Suppose 5*x - 3*x = h. Is -2/5 > x?
False
Suppose 0*o + 5*o - 10 = 0. Suppose -13 = -5*z + o. Is 2 bigger than z?
False
Suppose -3*o + 47 + 7 = 0. Suppose -2*j = 4*s + 5 + 7, -4*j - o = 5*s. Is s greater than or equal to 0?
False
Let o = 1 - -1. Let m(h) = h**3 + h**2 - 1. Let b(j) = 3*j**3 + 4*j**2 - 3. Let d(x) = b(x) - 4*m(x). Let t be d(0). Which is bigger: t or o?
o
Suppose 3*z - 6 = 3*n, -n + 4 = -5*z - 2. Let v be (3/(-2))/(1/z). Are v and 2 equal?
False
Suppose -3*v = -4*w - v + 18, 5*w + 4*v - 3 = 0. Suppose w - 1 = -g, -3*u - 2*g - 10 = 0. Which is smaller: -2/7 or u?
u
Let m = -8.11 - -0.11. Let b = 3 + -2. Which is bigger: b or m?
b
Let z(c) = -c - 7. Let t be z(-8). Which is bigger: t or 2?
2
Let u(p) = -p**2 + 3*p + 7. Let v be u(5). Suppose -2*x + 8 - 16 = 0. Is x bigger than v?
False
Let k = 11 - 11. Let p = -1 + k. Let t be (-24)/(-35) + (-4)/10. Which is bigger: p or t?
t
Suppose -3*i + 10 = 4. Is i at most as big as 8/11?
False
Let d(t) = 9*t - 25. Let r be d(5). Which is smaller: 0.2 or r?
0.2
Let q be 4/(-3)*(15 + -9). Let a(n) = -n**3 - 9*n**2 - 7*n + 6. Let v be a(q). Does v = 2?
False
Let o(q) be the first derivative of -q**4/4 - 11*q**3/3 + 7*q**2 + 16*q + 2. Let l be o(-12). Are -8 and l equal?
True
Let q = -9 + 12. Is q greater than or equal to 22/7?
False
Let k be 8/20 - 38434/10. Let o = -19378/5 - k. Let w = o + 33. Which is smaller: -1 or w?
-1
Let p = 5 - 3. Suppose 0 = v + 2*k + 5, 5*k = -v - 0*v - 11. Let s = v - -2. Is s bigger than p?
False
Let q = -103/76 + 2/19. Which is smaller: 3 or q?
q
Let g be (-145)/(-15) - 4/6. Let t = 7 - g. Which is bigger: t or -4/5?
-4/5
Let x be (3/9)/((-4)/6). Suppose 17*a = 4*a - 2*a. Which is bigger: x or a?
a
Let t = 4 - 5. Let z be (3 - 0)*t/3. Let i be z + -1 + 3 - 2. Which is smaller: i or 0?
i
Suppose 0 = -6*d + 3*d. Which is greater: -1/4 or d?
d
Let w(i) = i**2 - 6*i + 5. Let f be w(5). Let m be 3 + (4 - 3) - 2. Let y be 84/(-99) - m/(-11). Is f >= y?
True
Suppose 33 = -3*o - 0*w + 3*w, -o - 4*w + 14 = 0. Let u