 n be 5*(-2 + (-64)/d). Is 0 equal to n?
False
Let t(o) = -o**3 - 5*o**2 - 3*o + 1. Let p be t(-5). Suppose -4*a + 12 = -p. Let z(g) = -g + 7. Let h be z(a). Is -2/5 at least h?
False
Suppose -6*a - 16 = -2*a. Let d(q) = -q**2 + 7*q + 1. Let j be d(7). Suppose -4*v = f - 4 + j, 2*f + v = -8. Which is greater: f or a?
a
Suppose 11*t - 24 = 5*t. Is t <= 0?
False
Let k = -47 + 48. Is 3/19 at most as big as k?
True
Let i = -18/17 - -39/85. Let s = 3 + -5. Is i less than s?
False
Let a be 14/(-15) + 2/6. Suppose 3*i + 26 = 4*b, 3*b - 5*b + 8 = i. Is a at most i?
False
Let b = 7 - 6.9. Let j = -0.02 + b. Is 1 > j?
True
Let o = -3 - -3. Suppose -5*l = -2*n + 13 + 16, 2*n - 2*l - 14 = o. Let k(p) = 2*p**2 - 2*p + 2. Let z be k(n). Is 7 at most as big as z?
False
Let w(a) = -a**2 - a + 3. Let t be w(-3). Let z be t + (-1)/((-1)/2). Is 0 bigger than z?
True
Let f = -173.98 + 174. Which is smaller: -4/7 or f?
-4/7
Let k = -19616/559 - -242213380/3913. Let b = k - 61722. Let a = -143 + b. Is a <= 0?
True
Let r(n) = -2*n - 6. Let i be r(-6). Let c = i + -6. Which is greater: 2/29 or c?
2/29
Let w = 44 + -309/7. Which is smaller: 0 or w?
w
Suppose 3*o + o + 2*z - 12 = 0, 2*o = 2*z. Suppose o*h - 8 = -0. Suppose 10 = -h*d - 6. Is 2/3 greater than d?
True
Let q be (2 + -3)/((-1)/2). Suppose -q*n = 24 + 92. Let j = 231/4 + n. Which is smaller: j or 0?
j
Suppose 0 = -0*m + m + 2*q, -2*q = 0. Let r = 20 - 142/7. Which is smaller: r or m?
r
Suppose 0 = 2*j + 2*j. Let a = -64/5 + 13. Are a and j equal?
False
Let f be -3*2*2/42. Suppose 4*y - 9 = -5. Suppose 3*d + y = -2. Which is smaller: d or f?
d
Let s(c) = c**2 - 3*c - 3. Suppose -25 = -5*x - 5. Let q be s(x). Which is greater: 3/14 or q?
q
Suppose -3*y = -4*y - 4*j + 2, 2*y - j - 13 = 0. Let m be (-1)/y + 22/(-84). Let q = m - -16/21. Is q bigger than 0?
True
Let y = 0 - -3. Let k = 3.2 - y. Is k > 0.1?
True
Suppose 3*r - 6*r - 6 = 0. Let z be (2/105)/((-1)/678). Let a = z - -66/5. Is a less than or equal to r?
False
Let p be 0 + 5 + (0 - 2). Suppose -5*w - 9 = 4*f - 4*w, 4*f + p*w = -3. Let n be 1 - (-2 - -2 - -3). Is n smaller than f?
False
Suppose -j + 2 = -1. Let c(z) = 1 + j*z - 3 - 2*z - 9. Let g be c(10). Which is greater: 0 or g?
0
Suppose -4*c = 2*t + 8, -t + 7 = c + 4*t. Let k be (c + 2)/(2/(-6)). Let v = k - 4. Which is smaller: v or 2/5?
v
Let x(t) = -t**3 - 3*t**2 - 3*t - 1. Let p be x(-2). Suppose 0 = -2*a - 0*a - 4. Is p less than or equal to a?
False
Let w = -11 + 15. Suppose 0 = 4*u + 2*b - 10, w = 3*u + 4*b - 6*b. Let z = u - 3. Which is smaller: z or -2?
-2
Suppose 376 = -12*h + 4*h. Which is smaller: h or -48?
-48
Let o = 2 + -3. Which is greater: -12/7 or o?
o
Let z(q) = 0*q + q**2 + 5*q + 4*q - q + 2. Suppose 4*l - 3*o + 5*o + 30 = 0, -5*l = -o + 41. Let n be z(l). Which is bigger: 3 or n?
3
Let o = -3.14 - -3. Let r = o - -0.04. Let z = -2 - -1.9. Is z at least r?
True
Let d = 19 + -9. Suppose 4*z + 48 = 4*i, -5*i = -0*i + 3*z - 36. Which is smaller: d or i?
i
Let r be (-10)/(-4)*56/70. Suppose 4*j - 3*y - 72 = 0, 1 + 66 = 5*j + r*y. Is 14 equal to j?
False
Let t be (-2)/(-2)*(63/(-3) - 6). Is -28 less than t?
True
Let p be 1 - 1 - ((-2)/4 + 0). Is p not equal to 25?
True
Let d(o) = -o**3 - 4*o**2 + 2*o + 1. Let i be d(-4). Let w = i - -5. Are w and -8/3 equal?
False
Let v = 377.07 - 374. Let w = -0.07 + v. Let u = w - 2. Is u greater than or equal to 1?
True
Let f = 6 - 6.1. Is f bigger than 7?
False
Let x be 4/(-132)*(6 + -2). Is x at least 0?
False
Let h(q) = q**2 - 5*q + 2. Let t be h(5). Suppose x = -t*x. Let f be 1 - ((-10)/(-6) - 0). Is x <= f?
False
Let j(y) = 7*y + y**3 + 5*y**2 + 8*y**2 + 2 + 4. Let u be j(-6). Let v = u - 2374/11. Does v = 1?
False
Suppose 3*g - g + 4 = t, -14 = -5*t + 4*g. Suppose 0*b - 10 = -m - 2*b, 0 = 4*m + t*b - 16. Is 5/6 < m?
True
Suppose -5*i = -0*i - 50. Suppose -2*b - i = -2. Let x be -2*(0 + (-6)/b). Which is bigger: x or -4?
x
Suppose 4*g - 1 = 2*x - 3, -g = -3*x - 12. Which is bigger: g or 2?
2
Let s be (3 + -5 - -1) + 4. Let j(n) = n - 6. Let t be j(8). Let i be t/4*(-30)/s. Which is greater: -6 or i?
i
Suppose -3*r = r - 4*d + 4, 2 = -r + 2*d. Let i(a) = a + 8. Let m be i(r). Is m at least as big as -1/4?
True
Let s = 21 + -13. Let h = 58 - 60. Is s bigger than h?
True
Let t = 0.24 - -1.16. Let j = t + -2.4. Suppose 2 = -n, -n - 15 = 2*o - 5. Is j > o?
True
Let u = -30 + 119/4. Suppose -4*h = -0*q + 5*q + 1, 3*q = 5*h - 8. Let z = -2 + h. Which is greater: u or z?
u
Let t be (-1)/(-10) - (-16)/(-32). Which is smaller: t or -8?
-8
Let s be (-20)/(-18)*759/88. Let p = 28/3 - s. Which is smaller: p or 1?
p
Suppose -3*r = 4*u - 9 - 6, 5*r - 5*u - 25 = 0. Suppose -r*t - 700 = 120. Let h = t - -1474/9. Is h greater than -2?
True
Let m be 1/5 - 2/(-10). Let g be (-13)/52 + (-2)/(-8). Do g and m have the same value?
False
Let t(a) = 2*a - 9. Let f be t(6). Let x be (f/3)/((-1)/(-5)). Let q = -5 + x. Which is smaller: 1 or q?
q
Let m be ((-24)/(-32))/((-1)/2). Is m at most 0.1?
True
Let x = 1.15 + -0.09. Let w = 0.06 - x. Is -1 < w?
False
Let p be (2/51)/(8/(-78)). Let o = p - 2/17. Is -11 at most o?
True
Let r = 11 + -16. Is r at least 0.1?
False
Let t(h) = h - 59. Let k be t(0). Let o be 18/(-12) + k/(-6). Let v = 9 - o. Which is smaller: 0 or v?
0
Let r(b) = b**2 - 6*b + 5. Suppose 5*t - 6 - 24 = 0. Let o be r(t). Suppose -o*w = -3*w + 12. Is w greater than -6?
False
Let q = -6 - -5. Let m = -1.3 - q. Is m at least 1?
False
Suppose -2*u - 17 + 3 = 0. Which is bigger: -8 or u?
u
Let u = -7 - -12. Suppose u*h - 16 = 4*c, -4*c + 3*h - 7 = c. Is c at most 6/7?
False
Let p = -437 - -443.13. Let a = p + -0.13. Let g = -6.1 + a. Which is smaller: g or -6?
-6
Let u = -0.169 - -0.269. Is -19/5 equal to u?
False
Let a = 1.2 + -1. Let h = -5 + 4.7. Let w = h - -0.6. Which is bigger: a or w?
w
Let x = -23.17 - -23. Let i = x - -0.07. Let p be 5/7 + -2 + 1. Is p smaller than i?
True
Let b = -4 + 11/2. Is b equal to 3?
False
Suppose 4*x + 4 = -4. Suppose 2*k + 2*z = 4 - 20, 2*k - 2*z = 0. Let b be 0 + 2*2/k. Which is bigger: b or x?
b
Let k = 40.3 - 38. Let x = -0.3 + k. Which is bigger: -2 or x?
x
Let i be ((-472)/(-10))/((-9)/15). Let n = -78 - i. Which is smaller: 1/2 or n?
1/2
Let h = 7759 + -426678/55. Let w = 358/5 - 73. Let o = w + h. Is -1 less than o?
True
Let u(b) = -b**2 + 9*b + 3. Let i be u(9). Suppose 0 = 3*v - i*l + 8 + 4, -3*v + 4*l - 16 = 0. Which is greater: 1 or v?
1
Suppose 2 = -0*u - 2*u. Let h = 1 - u. Let a be 6/8 - h/(-8). Is a >= 2?
False
Let z = 7 - 3. Let o be (7/3)/((-1)/(-9)). Let u = o - 17. Is z at least as big as u?
True
Let o = -5 + 6. Which is smaller: -7 or o?
-7
Let h = 949/6 + -159. Suppose 2*c - 2*p = 8, -p = 4*c + 4*p - 25. Suppose c*l - l + 8 = 0. Which is greater: h or l?
h
Suppose -3*y - 3 = -6, 3 = k - 3*y. Which is smaller: k or 4?
4
Let u = 27 + -15. Let l be 7/(-11)*(u + -6). Let a = 41/11 + l. Which is bigger: a or 1?
1
Let k = -24.06 - -0.06. Which is smaller: k or -1/4?
k
Let g = 20 - 20.08. Is 2/7 bigger than g?
True
Let o be ((-3)/(-20))/((-10)/(-25)). Suppose -z + 2*z - 1 = 0. Which is smaller: z or o?
o
Suppose 12 = -3*y - 12. Let j = 9 + y. Is -1/3 at most as big as j?
True
Suppose -5*h - 40 = 5*z, -2*h - 25 = 5*z + 6. Which is greater: z or -23/6?
-23/6
Let q be ((-2)/(-6))/((-2)/6). Let t be 1/q - 1*-1. Which is bigger: 2/9 or t?
2/9
Let u(j) = 48*j**3 + j**2 + j. Let x be u(-1). Let g be 8/(-2)*x/160. Is g < 0?
False
Suppose -7*n + 6*n = -5. Let q = n + -16. Is q less than -11?
False
Let k be 1 + (3 - (-1 + 3)). Let c(d) = 4*d**2 - d + 1. Let y be c(k). Let g be (5/y)/((-2)/(-6)). Is -3 bigger than g?
False
Let s = -9/26 - -353/1170. Let k(h) = -h**2 - 7*h - 6. Let v be k(-6). Which is smaller: v or s?
s
Let w = -13 - -12. Do w and 3/68 have the same value?
False
Let z be (-6)/(-4) - 9/(-6). Let x(r) = -r**3 + 3*r**2 - 3. Let a be x(z). Let l be (-2)/(-2) - (1 - -3). Are l and a nonequal?
False
Let w be 252/528 - (1 - (-5)/(-4)). Is w <= 2?
True
Suppose -5*b + 39 = 4*n - 2*n, -4*n + 1 = -b. Is 0 at least as big as b?
False
Let w(f) = f - 4. Let n be w(5). Let l = -5 - -9. Let y be (-6)/l*1/(-3). Which is smaller: n or y?
y
Suppose g = -g + 8. Suppose -g*o + 2*o + 4 = 0. Do o and 0 have different values?