alse
Suppose 0*o = -o + 2. Suppose 4*g - n - 7 - 17 = 0, -o*g + n + 14 = 0. Suppose -x - 2*m = -2, g*x + 2*m + 3*m - 5 = 0. Which is smaller: x or -1?
-1
Let m be 21/4 - 7/(21/(-9)). Which is smaller: m or 8?
8
Let w(l) be the third derivative of l**6/120 - l**5/12 - l**4/6 - 7*l**3/6 + 3*l**2. Let t be w(6). Let s be -1 - 1/(t/(-7)). Which is smaller: -1 or s?
-1
Let r be (1 - 3)/((-4)/(-6)). Suppose 0*x - 5*x = 10. Is x smaller than r?
False
Let s = 302 + -189. Let o = 457/4 - s. Which is bigger: 1 or o?
o
Let l(o) = -o**3 + 8*o**2 - 4*o - 10. Let f be l(7). Let u = f - 7. Is 3 <= u?
True
Let x = 15 - 3. Suppose x = q + 3*q. Let t be (-12)/(-35) - q/15. Which is greater: t or -1?
t
Let a = 77.15 + -77. Which is greater: 1/3 or a?
1/3
Let h = 16 - 28. Is h greater than -12?
False
Let x = -9.6 + 11. Let g = x + -2.4. Is g != 1/7?
True
Let m be (2/(-1))/2 + 3. Suppose 0*b + m*b = 0. Is 0 at most as big as b?
True
Let l = -49 - -491/10. Suppose -q = -6*q. Is l less than or equal to q?
False
Let r = 109 - 543/5. Is 5 bigger than r?
True
Let q = 65 + -64.7. Which is smaller: -1/5 or q?
-1/5
Let o = 15 - 1. Suppose h = 4*g + 3 - o, -2*g - 2*h + 18 = 0. Let u = -3 + g. Is u less than 2?
True
Let b be (-17)/(-4*1/12). Is 52 at least b?
True
Let p be (9/4)/(15/(-40)). Let m be 12/9*(p - -3). Is -2 at least as big as m?
True
Let j be (-6)/(-24)*0 + 5. Is j >= 5?
True
Suppose -1 = -4*i + 7. Which is greater: i or 4?
4
Let o = 21 + -7. Are o and 13 nonequal?
True
Let z be -2 + 4/(32/15). Suppose 0 = -6*o + 4*o - 4*k - 20, 2*o = k + 5. Which is greater: o or z?
o
Suppose -2*t = -t - 5. Suppose t*b = 3*o + 3, 2*o - 2*b - 2 = -4. Which is smaller: o or -1/5?
o
Let c(f) = 2*f - 24. Let l be c(13). Is 4 less than l?
False
Let b = 2717509/2332512 - -239/19936. Let f = b + -4/117. Is 2 not equal to f?
True
Suppose -4*x + x - 120 = 0. Let n be ((x/(-6))/(-5))/(-2). Which is smaller: n or -1?
-1
Let o = 251/6 + -42. Is o > 0?
False
Let k = 7 - 3. Let c be 9/(-3) + k + -1. Suppose c*m = m. Do 3/5 and m have different values?
True
Let h = -169/5 - -34. Let f = 1 + -1. Suppose 4*w + f*w = 0. Which is smaller: h or w?
w
Let k(q) = q**2 - 5*q - 6. Let b be k(6). Suppose 5*f = -2*r + 27, b*r + 13 = 3*f - 2*r. Suppose 6*t = t - f. Which is smaller: t or -3/2?
-3/2
Let h(p) = -9*p + 34. Let t be h(4). Which is greater: 3 or t?
3
Let s = -8159/23 + 355. Which is bigger: 0 or s?
s
Let u = 593 + -192133/324. Let i = u + -1289/2268. Is -1 smaller than i?
True
Let b be -1 + (-2)/(-1) + -2. Let i = -27 + 49. Let w = -22 + i. Do b and w have different values?
True
Let i = 22 - 32. Let h be (-4)/i - 186/(-60). Are h and 4 nonequal?
True
Let t = 160 + -643/4. Let r = -6 - -4. Which is smaller: r or t?
r
Let m = 6 + -1. Suppose 3*d = m*d. Which is smaller: d or -4/9?
-4/9
Let p(s) = -s**2 + 2*s. Let y be p(3). Suppose 5*b = -3*o + o - 9, -5*o = 4*b - 3. Is b != y?
False
Suppose 20*t - 15 = 17*t. Is 9/2 at most as big as t?
True
Suppose -4*f + 22 = 5*u, -3*u + f = -7*u + 11. Suppose 3*p = -q - 14, u*p - 2*q - 2*q = 0. Which is smaller: p or -2?
p
Let h be (-4)/((4 + -5)*1). Is h greater than 3?
True
Let s = 2 + -1. Let q be (-7)/4 + (-33 - -35). Are s and q unequal?
True
Suppose -2 + 4 = 2*r. Let v = -1 - r. Which is smaller: v or -1?
v
Let k be (-2 - -4) + 1*-4. Let b be 3 + -4 + k/8. Let s(l) = l - 8. Let h be s(8). Which is smaller: h or b?
b
Let l = -5987/4 - -60981/44. Let w = l + 111. Is 0 greater than or equal to w?
False
Let w(b) be the second derivative of b**5/20 - 5*b**4/12 + b**3/2 + 2*b**2 - 6*b. Let y be w(4). Is 4/9 at most as big as y?
False
Suppose 2*j = 4*i - 0*i - 22, 5*j = -2*i + 5. Suppose 0*z = 4*x - 5*z - 5, i = -5*z. Let h = -18/19 - -33/95. Which is greater: h or x?
x
Let c be (1 - -2) + (-14)/6. Is c greater than 0.04?
True
Let b = 67 - 67.2. Is b greater than 18?
False
Let a be (11/(-2) + 2)*2. Let m = a + 11. Suppose 3*x = -n + 7, -m*n + 5*x - 6 = -0*x. Which is bigger: -1 or n?
n
Let j = -0.3 - 0.7. Is j greater than or equal to -1?
True
Suppose -95 = -5*m + 5. Let z be 150/8 - 1/(-4). Which is greater: m or z?
m
Let o = 4313343464/583 - 279009886923653/37711938. Let q = -2/10781 + o. Let w = q - 81. Is 0 greater than or equal to w?
True
Let b = -404885 + 5259746/13. Let f(h) = -71*h**2 + 3*h + 1. Let m be f(-2). Let a = b - m. Is a greater than 1?
False
Let v be 0/(-2) + 3 + -1. Let u(x) = x**2 - 2*x + 2. Let a be u(2). Is a at most as big as v?
True
Suppose -c + 4*g = -4*c + 31, 3*c - 3*g = 24. Let l = -6 + c. Let p be -7 + l - -2 - -2. Are p and -2/7 equal?
False
Let q(p) = -p**3 - 7*p**2 + 6*p - 6. Let x be q(-8). Let f be 5/x*(-4)/(-3). Is -5 smaller than f?
True
Suppose 2*h + 9 - 29 = 0. Suppose -h*s + 11*s = 0. Is s < 1/18?
True
Suppose -3*k + u - 24 = -u, 5*k - 4*u + 42 = 0. Let p be (k/4)/(6/8). Let r be 6 + -6 - (-2)/p. Is r less than or equal to -1/4?
True
Let z = -5/11 - -1/2. Which is bigger: -1 or z?
z
Let h be (3 - (-21)/(-6))*10. Let t(g) = -g - 3. Let v(z) = -5*z - 15. Let a(s) = 11*t(s) - 2*v(s). Let n be a(h). Is 1 <= n?
True
Let i = -0.069 - -0.06. Which is bigger: 1 or i?
1
Suppose 0 = 2*l - 10*l + 8. Which is smaller: -4/25 or l?
-4/25
Let s = 52 + -36.3. Let g = s - 16. Let n = 30 + -119/4. Which is greater: n or g?
n
Suppose -2*t + 9*t = -7. Suppose -5*g = 1 - 11. Let w be g - (0 - t)*5. Is -1 not equal to w?
True
Suppose -4*z = -6*z. Do -6 and z have the same value?
False
Let x be (-6)/((0 - 4) + (-78)/(-24)). Which is greater: x or 7?
x
Let y be -26*(-1 + (-21)/(-18)). Let j = 4 + y. Are 2/7 and j equal?
False
Let c = -0.02 - -1.02. Let v be 17/(-51) - 16/(-21). Is c >= v?
True
Suppose 2*y + 2*r = 0, -2*y + 0*y + r = -3. Let f = y - 2. Which is smaller: 2/5 or f?
f
Let n(j) = 7*j**3 - j**2 + 2*j - 1. Let a be n(1). Let w(o) = -a + o - 7 + 3. Let g be w(9). Is g >= -2?
True
Let v = 9.8 + -10. Let u = 0.3 + -0.2. Is v <= u?
True
Let o be 4/6 - (1160/354)/5. Which is bigger: 1 or o?
1
Let c(h) = -h**3 - h**2 + 2*h + 2. Let p be c(-2). Let z be ((-12)/14)/((-1)/7). Let r(m) = m**3 - 5*m**2 - 6*m + 1. Let l be r(z). Which is smaller: p or l?
l
Let l = 0.03 - 8.03. Is -0.2 != l?
True
Let l = -5/66 - 14/33. Is l > 16?
False
Let k = 21 - 9. Let q be 6/(-4)*(-16)/k. Suppose 4*o = -3*w + 28, q*w = -3*o + o + 16. Which is bigger: 5 or o?
5
Let q = -40714/17 - -2396. Are 1 and q unequal?
True
Let j = -1.125 + 0.095. Let m = -0.03 - j. Which is smaller: m or 2?
m
Suppose -80 = 2*x - 28. Is 0 > x?
True
Let a(x) = -x - 6. Let j be a(-7). Let k be (6 - 2 - j) + 1. Let q be 0 + (-1 - k/10). Is q at most -2?
False
Let y = -5.3 + 1.3. Let w = -0.3 + -0.7. Let q = y - w. Which is smaller: -2/5 or q?
q
Let h be (-1)/(-4) - 1/60. Let f = -41/210 - h. Suppose 0 = -5*q - 2 - 3. Is f less than q?
False
Let c = 1 + 3. Suppose -75 = c*y + y. Let v = y - -74/5. Is 1 smaller than v?
False
Let s(v) = -2*v**2 - v - 1. Let w be s(-1). Suppose 0*d - 4*d = -h - 2, -20 = -5*h + 5*d. Suppose 5*x = 2*x - h. Is x smaller than w?
False
Let k = -90434/5 + 18012. Let f = k - -75. Does 1 = f?
False
Let g = 8 - 5. Let c = 3.2 - g. Let z = 1.86 + 0.14. Which is smaller: c or z?
c
Let c(i) = 6*i**2 + 13*i - 3. Let b(f) = 5*f**2 + 12*f - 4. Let p(g) = -5*b(g) + 4*c(g). Let l be p(-9). Which is smaller: l or -9/5?
-9/5
Let a be (-1)/(-2) - (-99)/(-192). Let d = -57/448 + a. Which is smaller: 0 or d?
d
Let c(z) = -7*z**3 + 5*z**2 + 2*z - 17. Let a(u) = -3*u**3 + 3*u**2 + u - 8. Let s(w) = -5*a(w) + 2*c(w). Let l be s(5). Is -2/13 smaller than l?
True
Suppose -2*i = 4*l + 16, 4*l + 9 + 13 = i. Let v = -1 - -3. Let j = v + -1. Is j less than or equal to i?
True
Suppose 0 = 5*l - 8 + 3. Is l < 4/13?
False
Let w = 0.13 - 0.03. Let c = 3.3 + -0.3. Is w < c?
True
Let f(n) = -n**3 + 2*n**2 + 2*n + 5. Let i be f(3). Are 11 and i non-equal?
True
Suppose 2*g - 2*w = -3*g + 539, -3*g + 3*w + 327 = 0. Is g <= 107?
True
Suppose -5*t + 3*n - 48 = 0, -9*n + 5*n = 16. Is t equal to -14?
False
Let y = 30 - 34.08. Let h = y - -4. Let q = h + 0.03. Which is smaller: 0 or q?
q
Let f be (3/(-6))/((-3)/24). Let x(s) = 5 - s - 2*s + 2*s. Let t be x(f). Are t and 2/7 nonequal?
True
Let n be (-3 - -1)/(2/(-3)). Which is greater: n or 6?
6
Let w = 0.4 - -0.05. Let g = 0.15 - w. Let m = 0 + 1. Ar