- 22, -2*h + 2*s - 10 = 0. Is -3 less than or equal to h?
False
Let o be (4/(-10))/((-48)/(-780)). Which is greater: -8 or o?
o
Suppose j = -2*j. Suppose -2*a - 2*a + 4*l + 12 = 0, 0 = -5*l. Suppose a*c - 4 + 1 = 0. Is j less than or equal to c?
True
Let t = 2/9 + -13/18. Is -1 at least as big as t?
False
Suppose 4*b - 5*x - 20 = -b, -2*x = 5*b - 41. Let w = -5 + b. Suppose -1 = v - w. Which is bigger: v or -1/10?
v
Let k(u) = -10*u**2 + 2*u + 1. Let l be k(-1). Let c = 11 + l. Is c at least 2/19?
False
Let s be (3/(-6))/(1/6). Let i be s/(-18) - 82/(-12). Suppose 2*y = -3*m + 5, 3*y + 6*m - 2*m = i. Do 1 and y have different values?
False
Suppose 0 = -h + 4*d - 2, -3*h + 13 = -d - 3. Let g = h - 4. Suppose 2*v - 6*v + 8 = 0. Do v and g have the same value?
True
Let x be (3/15)/((-8)/(-30)). Is 1 at least as big as x?
True
Suppose -2*o + 14 = -5*y, -o + 2 = -5*o - 5*y. Suppose -7*a + o*a = 0. Let v = 83/52 + -24/13. Which is smaller: a or v?
v
Let y(d) = -d - 1. Let l(t) = -2*t**2 - 3*t + 10*t + t - 1 + t**2. Let j(p) = l(p) + 3*y(p). Let r be j(4). Is r at most -1?
False
Let l = -18 - -17.9. Is l at least 17?
False
Let j = -5 + 8. Suppose p - 6 = j*a - 7*a, 4*p + a = -6. Which is smaller: -9 or p?
-9
Let j(d) = -d**3 - d**2. Let l be j(-1). Suppose 3*o + 9 - 6 = l. Which is greater: o or -3/4?
-3/4
Suppose -13 - 9 = -b. Let f be 9/12 - b/8. Let j(a) = -a**2 - 3*a + 7. Let t be j(-5). Are f and t nonequal?
True
Suppose -2*y = 3*y - 3*l + 44, 3*l - 2 = -y. Let i = -8 - y. Let w = 12 - 6. Does w = i?
False
Let s = 1889/21 - 275/3. Which is greater: s or -3?
s
Suppose 2*f = 0, -3*f - 4 = y - 5*y. Which is smaller: y or -3/10?
-3/10
Let n = -19 + 7. Let u be (n/(-15))/((-1)/(-10)). Let b(o) = -o**3 + 7*o**2 + 7*o + 8. Let t be b(u). Which is smaller: -1/2 or t?
-1/2
Suppose 4*m + 1317 = 6*l - 3*l, -2*m = -l + 659. Let i be 192/m - 2/(-11). Let u be (-6)/(-4)*2/(-3). Which is smaller: u or i?
u
Let a be 17*(-1*18 - 3). Let u = 1054/3 + a. Which is bigger: -7 or u?
u
Let r = -24.6 - -3.6. Let f = r - -23. Let z = 10 - 7. Which is smaller: z or f?
f
Let w = 4 - -6. Suppose -8*t = -w*t + 2. Which is smaller: t or 13?
t
Suppose 5*h - 5 = -5*y, y + 4*y - 3 = -4*h. Let b be (4 - 7)/(3/(-2)). Let n = -1 - b. Does y = n?
False
Suppose 6 = -r + 3*r. Suppose -r*h + 0 = -63. Let x be (3/(-5))/(h/(-14)). Which is smaller: 1 or x?
x
Let m be (1*-6)/(-1 + -1). Suppose -i + m - 1 = 0. Suppose i*s - s + 2 = 0. Is -1 at least s?
True
Let u = -3463 - -135088/39. Let h = -6/13 + u. Is h greater than -1/3?
True
Let q be (-4 - -1) + (-354)/(-120). Are q and 1 unequal?
True
Let k be 220/(-15)*1/(-2). Is k smaller than 6?
False
Let z be 23/(-4) - (-2)/(-8). Let r be 24/(-14) - z/(-21). Is r equal to -3?
False
Let h = 20.9 - 21. Which is greater: -4 or h?
h
Let y = 1 - -2. Let u = -3 + y. Is 0 <= u?
True
Let v be ((-30)/(-200))/(2/(-15)). Are -1 and v equal?
False
Let o = -5 - -1. Let g be (-10)/25 + 24/10. Suppose 1 = -q - g. Which is smaller: q or o?
o
Let v(s) be the first derivative of s - 2 - 1/3*s**3 + 1/2*s**2. Let k be v(1). Is k less than -1/6?
False
Let y be (-2)/5*50/80. Let t = 5 + -7. Are y and t unequal?
True
Suppose 0 = -5*h - 5*a - 15, -2 + 7 = -2*h - a. Let b = -1 - -1. Let s be 1 - b - 2*2. Is s > h?
False
Let w(n) = -n**2 + 7*n + 6. Let u = 23 - 15. Let o be w(u). Do -2 and o have different values?
False
Let a = 2.6 - -0.4. Is a bigger than 9?
False
Let t = 0.49 - 0.5. Let j = -0.21 - t. Is j at most as big as -2?
False
Let x = 2.058 - -0.022. Let a = 0.08 - x. Which is bigger: a or 0?
0
Suppose 6*s = -3*d + 3*s - 12, -3*d - 4*s - 15 = 0. Suppose 0*z = 4*z + 8. Which is smaller: d or z?
z
Let b be 8/1 + (-8 - -4). Suppose -3*p + 14 = -f + 6, 0 = 2*p + f - 7. Which is greater: b or p?
b
Let p(d) = 2*d**2 + 9*d + 10. Let i be p(-6). Let r = i + -22. Is r >= -1/4?
True
Let f(z) = 3*z**2 + 2*z + 4 - 3*z**2 - z**2 - 3*z. Let k be f(0). Suppose -12 = k*g - 4. Which is greater: 0 or g?
0
Let x be (30/(-9))/(4/(-6)). Let p be -24 - ((0 - -1) + -1). Let n be (-1)/1*6/p. Is n equal to x?
False
Let c be 1*-1*(2 - 3). Let o be (3/36)/((-1)/(-4)). Which is smaller: o or c?
o
Suppose 0 = g + s - 2, 0 = g + 3*s - 6. Is 2/29 greater than g?
True
Suppose -l = -2 - 1, -2*l = -5*x - 6. Suppose 5*i - 5*t - 50 = 0, 2*i - 25 = 3*t - 2*t. Let c be (i/110)/(1/(-4)). Is c >= x?
False
Let n(j) = -j**3 - 6*j**2 - 6*j - 5. Let r be n(-5). Is r <= -1/25?
False
Let v = -1523/15 + 101. Which is smaller: v or -1?
-1
Let a be -4 + 0 - (-22)/8. Which is bigger: a or 0?
0
Suppose -5*o + 43 = -17. Suppose -31*z + 28*z + 36 = 0. Is o greater than z?
False
Suppose 0*i + 2*i = 3*t + 17, i - 5*t = 19. Suppose 5*d = -5*a - 50, -a - 29 = 3*d + a. Let p = i + d. Is -6 > p?
False
Let p = -0.16 - -0.16. Which is bigger: -9 or p?
p
Suppose -5*n = -11 + 1. Let f(p) = -p**3 - 5*p**2 - 3*p + 5. Let o be f(-4). Which is greater: n or o?
n
Let w = -6.96 - 0.04. Let p = w + 6.97. Let z = -0.07 + p. Which is bigger: 4/3 or z?
4/3
Let c be 2/(-10) - 32/(-10). Which is smaller: -0.5 or c?
-0.5
Let n = 10121/15120 - -5/432. Let f = -1/70 + n. Are 1 and f non-equal?
True
Let q(m) be the second derivative of m**4/12 - 2*m**3/3 + 3*m**2/2 - 2*m. Let w be q(2). Is -3/8 less than w?
False
Let g = 11/40 + -1/40. Let q be (-23)/(-5) + 6/(-10). Suppose -s + 4 = -2*j, 4*j + 20 = q*s + 4. Are g and j nonequal?
True
Let c(i) = -3*i**2 + i + 4. Let r(m) = -2*m**2 + m + 3. Let x(z) = -5*c(z) + 7*r(z). Let w be x(0). Is -2 >= w?
False
Let v be (6/(-10))/(72/(-16)). Which is bigger: 0 or v?
v
Let h = -7 - -7.8. Let k = -0.4 + h. Let q = -13/10 - -17/10. Is q at most k?
True
Let s = 1 - 1. Suppose -4*i = -5*w - 175, -w + 2*w = 5*i - 14. Let g be (-4)/22 + w/(-33). Which is bigger: s or g?
g
Suppose 2*u - l + 30 = 0, 2*u + l + 34 = 3*l. Let m = u + 10. Which is smaller: m or -4?
-4
Suppose -3*s + 3 = 0, -6*f + f + 10 = 5*s. Let x = f - -5. Which is greater: x or -2/7?
x
Suppose 6*o - 2*o - 16 = 0, -o = 5*a - 44. Is a != 10?
True
Suppose -6 = -6*a + 7*a. Let u be (-9)/a*(-4)/21. Are 0.7 and u nonequal?
True
Let q(u) = -u**3 + 7*u**2 - 8*u + 10. Let h be q(6). Which is smaller: h or -3?
-3
Suppose 0 = 4*g, 0*t - g = -4*t + 16. Let a = 2 + -2. Suppose -3*k + 0*f + 3*f + 24 = a, -k - 3*f = 4. Which is bigger: t or k?
k
Let x be (-6)/(-21)*((-3 - -1) + 1). Which is greater: -3/50 or x?
-3/50
Suppose 5*i + 3*y - 12 = 0, 2*y - 3 = -2*i + 1. Suppose 0*v + i*v = 3. Do v and 1/3 have the same value?
False
Let h = 21.98 + -24. Let y = h + 0.02. Is -2/7 less than y?
False
Let z = 7 - 7.1. Is z != 4?
True
Let k be (-11)/(-4) + -2 - (-4 - -5). Let w = 2.01 - 0.01. Which is bigger: k or w?
w
Suppose -2*b - 16 - 12 = 0. Which is smaller: -13 or b?
b
Let o = -15 - -6. Which is smaller: o or 0?
o
Suppose -6*r = -2*r - 4. Let o be (-3)/(-2)*4/18. Is r > o?
True
Suppose -4*x = 3*w - 20 - 19, -5*x + w + 44 = 0. Let y = x - 7. Is 3 less than or equal to y?
False
Suppose 0 = u + 4*h + 8, u + 2*h = 6*u - 4. Suppose 4*o - 3*y - 20 = 0, y + 0*y = u. Suppose 5 = o*n - 10*n. Which is greater: n or -2?
n
Suppose -2*k - 3*h + 14 = -3*k, 22 = -3*k + 5*h. Suppose 3*l = -5*b + b - 7, -4*l = -2*b - 20. Let j = -3 - b. Is j not equal to k?
False
Let v = -0.7 + -4.3. Let g(d) = -d**3 + 4*d**2 + 3*d - 13. Let m be g(4). Is m at most v?
False
Let w = -46 + 46. Is -2/3 less than or equal to w?
True
Suppose -5*u = -4*u + 4. Which is greater: u or -25/7?
-25/7
Let h be 13/45 - 6/15. Suppose -3*v + 5*v = 2. Which is smaller: h or v?
h
Let o = 13/4 - 37/12. Is o bigger than 4/7?
False
Let h = -147 - -1763/12. Let a be 4/8 + 9/(-6). Do h and a have the same value?
False
Suppose 4*j + 2*f = -f - 23, j + f = -5. Let m = -5 + -3. Is j greater than or equal to m?
True
Suppose -9*g = -6*g - 27. Which is bigger: g or 2?
g
Suppose 3*i - 27 = -3*u + 33, 0 = 5*u + 3*i - 98. Is 19 less than or equal to u?
True
Suppose -5*q = 3*x + 2 - 12, 2*x - 2 = -q. Which is smaller: q or 13?
q
Let j be ((-4)/3)/(-2)*3. Let g = 0 - -1. Let y be (6 - 5)*2*g. Is y <= j?
True
Let h be (-6)/(72/(-213)) + 2/8. Let m = 18 + -1. Which is smaller: h or m?
m
Let v = -2 + 1. Let i = -32 - -226/7. Are v and i unequal?
True
Let s = 6 + -54. Is s less than -48?
False
Let i = 0.4 - -0.2. Let w = 0.54