30))/((-22)/12). Which is smaller: -1 or p?
-1
Let m be 2 + (0 - 8/1). Let j = m + 10. Suppose -j - 2 = -2*g. Is 4 < g?
False
Let p be 1/((22/(-28))/11). Which is bigger: p or -12?
-12
Suppose 0 = p - q - 2, -p + 5*p = -2*q + 2. Let m be 3/(3 - 1 - p). Suppose 0 = -m*l - 12. Is -4 not equal to l?
False
Let o(x) = -x**2 - 5*x + 8. Let p be o(-6). Let a = p + -1. Is 1 bigger than a?
False
Let u(s) = 29*s**2 - 1. Let l be u(1). Suppose 3*p + l = -4*b, 37 + 21 = -5*b + 2*p. Let w be 2*(22/b - -2). Is w != 1?
True
Let j be (-10)/15*(-1 - 2). Suppose 0*m = j*m. Let v be 2 - 2/((-36)/(-38)). Which is greater: m or v?
m
Let o be (-1)/(-6) - 7/42. Suppose o = z - 3*z. Is 4/17 < z?
False
Let i = -4/1713 - -111920/1713. Let x = 66 - i. Let s = -128 + 129. Which is greater: s or x?
s
Suppose -2*h + l = 3*l + 2, 3*h + 5*l = -7. Is 2 at most as big as h?
False
Let k be 10/8*(-1826)/20. Let t = k + 114. Suppose -2*u = -0*u. Is t less than u?
True
Let d(o) = -o**3 + 7*o**2 - 2*o + 3. Let t(g) = -g**2. Let y(z) = d(z) + 5*t(z). Let k be y(2). Which is smaller: k or -2/33?
k
Suppose -18*c = -10*c + 24. Suppose -4*d - 7 = -0*d - w, 2*d + 5*w = -31. Is c >= d?
True
Suppose 2*l + l = 3*j - 30, -j - l = 0. Let u = j + -5. Let x be (6/(-7))/(65/(-35)). Are u and x non-equal?
True
Let g be ((-32)/200)/((-4)/(-10)). Which is smaller: -14/9 or g?
-14/9
Let k be -2*3/12*12. Let i be (k/15 - -1) + -1. Let u = 1 - 1. Which is smaller: u or i?
i
Let z = -13 - -12. Is 2/49 greater than or equal to z?
True
Let g = 166 - 178.1. Let j = g + 12. Which is smaller: j or 0.1?
j
Let l(t) = t**2 - 2*t. Suppose -3 = -2*h + 1. Let i be l(h). Is -1/5 greater than i?
False
Let k = -0.3 - -0.3. Suppose -2*w - 3*w - 35 = 0. Let y be w/(-3) - (0 + 3). Is y > k?
False
Let a = 3.6 - 2.4. Do 2/7 and a have the same value?
False
Let s be 7/2 - (-12)/(-8). Suppose 0*n = -s*n + 10. Suppose -n*k - 30 = -5*z, -5*k + 2*z + 2 = 20. Is k equal to -2?
True
Let y be (0 + 1/(-2))*-2. Which is smaller: 3/10 or y?
3/10
Let n be (20/(-16))/((-9)/(-4)). Suppose 0 = 2*a + 2, 3*r - a - 2 = a. Is r > n?
True
Suppose 0 = -r + c + 2*c + 12, -3*r - 8 = 2*c. Is r less than or equal to 2/9?
True
Suppose 5*o - 37 + 5 = 3*r, r = 3*o - 16. Suppose 12 = o*q - 0. Let a = 2.9 + -3. Which is smaller: q or a?
a
Let l = -13.2 - -12. Let d = 1.8 - 2. Let r = l - d. Is 0 equal to r?
False
Suppose m = 18 + 133. Let l = m + -1055/7. Which is bigger: l or 1?
1
Let o = -7 + 4. Let w be (-10)/(-90) + 1/o. Is w bigger than -4?
True
Let l = 0.17 + 1.53. Let i = -0.7 + l. Is -1 equal to i?
False
Let y = 2 - -2. Let c = 0 - 1. Let h be (y/(-32))/(c/(-2)). Is 1 != h?
True
Let j = 184/77 - 20/11. Let y = j - 29/14. Which is bigger: y or -3?
y
Let j = 19.5 - 21. Let c = -0.3 - -0.8. Let s = c + j. Which is smaller: s or -0.2?
s
Suppose 20 = 6*x - 2*x - 2*z, -3*z + 19 = x. Let b = -3 + x. Suppose t = b*t. Is t <= 1?
True
Let z = 5.09 - 0.09. Let k = 5 + -0.2. Let h = z - k. Is -3/4 bigger than h?
False
Let k = -22.1 - -22. Is 1.4 at least as big as k?
True
Let a = 22 - 33. Is a <= 1?
True
Let n be -1 + (2 - (0 - -2)). Let v be (-4)/(-5) - (-8)/(-20). Is v less than or equal to n?
False
Suppose 3*n = 4*r - 17, 4*n = r - 6 - 21. Let s be (-3)/(-1) + (-8 - n). Are 8/3 and s nonequal?
True
Let n = -38.1 + 38. Which is smaller: -2/3 or n?
-2/3
Let v = -50 - -52. Let z be -8*3/9*3. Let x be z/3 + 4/(-12). Which is greater: v or x?
v
Suppose 2*t - 7*t - 9 = 3*j, j = -t - 3. Which is bigger: 2 or j?
2
Let c(b) = -3*b - 14. Let i be c(-4). Is i <= -12/7?
True
Let u = 0.36 - 0.09. Let l = -0.4 + u. Let x = 0.03 + l. Which is bigger: x or -4?
x
Let i(y) = -2*y + 11. Let p be i(5). Which is smaller: -1/35 or p?
-1/35
Suppose d - 3*s = 4*d + 63, s + 4 = 0. Which is smaller: d or -18?
-18
Let v(r) = r**3 + 4*r**2 - 7*r - 17. Let u be v(-5). Suppose 5*g - 4*a - 39 = -0*a, 3*g - 26 = 5*a. Suppose -2*d + g*d = -40. Which is smaller: u or d?
d
Suppose 4*j - 2*s = 3*s + 50, 5*j - 85 = -5*s. Do j and 14 have the same value?
False
Let s(c) = -4 - 2 + 6*c + 5 - 3*c. Let j be s(3). Suppose -22 + 1 = -3*f. Is j less than f?
False
Suppose -51*v + 54*v = 0. Which is smaller: 6/35 or v?
v
Suppose 4*h = 2*z - 28, -3*h = 4*z - 0*h - 1. Suppose 0*a - 4*a = -z. Is 1 equal to a?
True
Suppose 4*q - 7 + 11 = 0. Let i(w) = -2*w**3 - 2*w**2 - 2*w - 1. Let n be i(q). Is n at least as big as 3/5?
True
Suppose 2*q - 44 = -9*q. Which is bigger: 3/2 or q?
q
Let s = -20 + 19.88. Is 1/4 bigger than s?
True
Suppose 5*b = -0*b + 40. Let i = b - 13. Do i and -4 have different values?
True
Let g = -2/207 + -65/414. Is -7 less than or equal to g?
True
Let x = -9 + 28/3. Is -9/5 less than x?
True
Suppose 0 = 20*h - 21*h - 2. Let s = h + 0. Is -0.2 greater than or equal to s?
True
Suppose 3*h = 3*a - 6, 9*a - 4*a = -5*h + 30. Let l = h - 3. Are 1 and l equal?
False
Let m = -10.14 + 3.18. Let d = 0.04 - m. Which is smaller: d or -1?
-1
Let s = -2.024 - -0.024. Let t(j) = -j**3 + 6*j**2 + j - 4*j - 2*j + 1. Let p be t(5). Which is bigger: s or p?
p
Let m(k) = k**3 + k**2 + k - 4. Let y be m(-3). Let w = -23 - y. Is -0.7 < w?
True
Let j(z) = -2*z + 2. Let r be j(-7). Let c be (-228)/r - (-3)/12. Is c < -15?
False
Let b = 50 - 31. Let z = -11 + b. Let x = z - 8. Which is greater: -3/10 or x?
x
Let i(t) be the second derivative of 11/6*t**3 - 3/4*t**4 - 1/20*t**5 + 7/2*t**2 + 0 + t. Let z be i(-10). Is z greater than -3?
False
Let v(t) = 4*t**3 + t**2 - t - 1. Let y be v(-1). Let c be y + 2 + (-4 - -3). Are c and 0 equal?
False
Let i(s) = s - 11. Let f be i(8). Let c be 2/(-1) + (4 - 5). Let o be (2 - 0 - 1)*c. Is o smaller than f?
False
Let y be 4 + 1/1 - 1. Let n = 358 - 1060/3. Do n and y have the same value?
False
Let s(d) = d**3 + 11*d**2 - 2*d - 10. Let i be s(-11). Suppose i = -5*a + 2*a. Which is greater: a or 0.1?
0.1
Let t = -2 - -3. Let n = 0.97 - t. Let s = n - -0.03. Which is greater: s or 1?
1
Let m be (-440)/(-156) + (-2)/13. Is -0.2 at least as big as m?
False
Let t = 4 - 3.6. Let k = 2 + -1.6. Let o = k - t. Is 0 at most o?
True
Let t = 8 + -11. Let l be t/2*(-2)/12. Let j be (14/49)/(63/49). Which is bigger: j or l?
l
Let y = 3 - -3. Let c = y + -6. Is 4 bigger than c?
True
Let z be (-25)/(-5) - (2 - 0). Which is greater: 15/7 or z?
z
Suppose -2 = -3*l - 14. Let i(z) = -z**2 + z + 7. Let y be i(0). Suppose -y = -3*p + 4*a, 3*p + 2*p - 3*a + 3 = 0. Is l bigger than p?
False
Suppose 0 = -5*j - 2 + 12. Suppose -j*z = z. Let b be (-11)/9 - 16/(-72). Which is greater: z or b?
z
Let w be 1 - -9 - (-2)/(-1). Let z(c) = -c**2 + 7*c + 6. Let s be z(w). Are s and -1 equal?
False
Suppose 19 = -4*x - 5*g - 13, 2*x - 2*g - 2 = 0. Suppose 0 = -2*n - 2 - 2. Is n > x?
True
Let h(k) = 4*k**3 + k - 1. Let o be h(1). Let z(v) = v**2 - 6*v. Let c be z(6). Suppose c = -4*j + o - 0. Which is smaller: 0 or j?
0
Let w = -2.1 + 2. Let f = 0.4 - 0.3. Let z = f - 0.1. Which is smaller: w or z?
w
Suppose -5*b + 15 + 1 = 3*y, y - 4*b - 11 = 0. Suppose 3*n = -3*w - w + 43, -4*n - 5*w + 56 = 0. Is y equal to n?
False
Let n = -2.111 + -0.039. Let v = -0.25 + n. Let o = 0.4 + v. Which is greater: o or 0.1?
0.1
Suppose 0 = 4*u - 5*u + 1. Let l be -1*(u + (-54)/15). Let n = l + -3. Which is greater: 0 or n?
0
Let v be (-14)/4*(-4)/(-28). Which is smaller: -1 or v?
-1
Suppose 4*m - 80 = -m. Suppose -3*n - 6 = 0, 3*c - 2*n - m = -0*n. Are c and 3 nonequal?
True
Let k = 2 + 1. Let i be 12/(-8)*(-2)/k. Is i > -3/7?
True
Let k be 3 + (-2)/(588/891). Let y = -66/245 + k. Does -1 = y?
False
Suppose 4*u = -4*o + 16, 5*u - 2*u - 3*o - 24 = 0. Are u and 6 equal?
True
Suppose -4 = 4*o - 12. Suppose -5*a - 2*g + 7*g = -10, o*a + g = 7. Suppose k = 2*r - 9, -r - k = -a*k - 3. Are r and 5 non-equal?
False
Let k = 26 - 30. Which is smaller: k or -8/3?
k
Let m be 1/2*4*74/(-4). Is -37 greater than or equal to m?
True
Let t be 30/(-40) + (-19)/(-20). Which is greater: 0 or t?
t
Let m(z) = z**2 - 5*z + 4. Suppose -c - 5*p = -19, -p = -2*p + 3. Let y be m(c). Let v be -2 - -32*(-3)/(-51). Do y and v have different values?
True
Let j be 2 + (1 - 0) + -1. Let c be 1/j*(3 - 1). Let z be (-2)/6 - c/(-3). Is z at most as big as 1?
True
Let z = 29374/651 + -316/7. Is 0 at most as big as z?
False
Let r = -1 - -1. Suppose -c = -4*