3 - -19. Is -1/4 >= s?
True
Let i be (-936)/(-65) + (-4)/10. Which is smaller: 0.1 or i?
0.1
Let g = -30 - -2. Are -28 and g unequal?
False
Let n(s) = s**2 - 11*s - 3. Let p be n(8). Let z = -28 - p. Are 0 and z nonequal?
True
Let r be 1/(2/((-8)/12)). Is r != 0?
True
Let y = -0.159 - -7.219. Let x = y - 0.06. Which is bigger: x or -2?
x
Let w = -0.5 + -5.4. Let r = w - -7. Let l = 0.1 - r. Which is greater: l or -2?
l
Suppose 13*a = 2 + 11. Which is smaller: -2/481 or a?
-2/481
Let g = -25 - -25. Which is smaller: g or -2/27?
-2/27
Let c(n) = -n**2 - 9. Let i be c(0). Which is greater: -11 or i?
i
Let f = -1319/4 + 328. Which is smaller: f or -2?
-2
Let v = -1/858 - 1601/98670. Which is greater: v or -1?
v
Let j(k) = k**3. Let g be j(1). Let w(s) = -6*s + 1. Let d be w(-1). Let m be 8/70 - (-2)/d. Are m and g equal?
False
Let n(j) = -j**2 - 6*j + 3. Let y be n(-6). Suppose y*s + 2 = -10. Let v = 5 + s. Which is greater: -2/19 or v?
v
Suppose 0 = -2*w - 25 + 223. Are w and 100 unequal?
True
Suppose -2 - 8 = 2*r. Is r > -3?
False
Let v be 45/51*(-6)/5. Do -2 and v have the same value?
False
Let s = 12 + -12. Let v(y) = -y**2 - y - 1. Let w be v(0). Let b = w - -2. Which is greater: s or b?
b
Let w = -6 + 15. Let s be (-42)/(-9)*w/(-6). Which is smaller: -8 or s?
-8
Suppose 30*q = 7*q + 1357. Do 61 and q have different values?
True
Let a be (-2)/5 - 138/30. Which is greater: a or -3?
-3
Let u(j) = -2*j**3 + 2*j**2 - j. Let i be u(1). Let s = 1 + i. Which is smaller: -2/25 or s?
-2/25
Let h = -4 + 8. Suppose 0 = -h*g - d + 3, -2*g = -d - 3 - 0. Which is greater: g or -1?
g
Let r = 16/5 + -3. Let j(f) = 0*f**2 + 3*f**2 - 2*f - 2*f**2 - 2. Let i be j(3). Which is smaller: r or i?
r
Suppose 0 = -0*w + 3*w - 12. Let b = -43 + 25. Let v be 40/18 + w/b. Is 3 >= v?
True
Suppose 0*k - k - 4*b = 8, -b - 47 = 4*k. Let n be ((-2)/(-6))/(4/k). Let y(v) = 3*v + 13. Let a be y(-4). Is n greater than or equal to a?
False
Let l be (-416)/(-1064) - (-6)/(-21). Suppose 0 = 4*y - y. Are y and l equal?
False
Let t be 19 - 2*5/(-5). Which is bigger: 22 or t?
22
Let c(d) = -d**2 - d + 31. Let q be c(10). Is -80 greater than or equal to q?
False
Let v = 6 - 6. Let t be 2 - (2 - 2 - v). Suppose -t = -2*f + 4*f. Which is smaller: f or -2?
-2
Let g = -956 + 44929/47. Is g equal to 1?
False
Suppose 42*n = 47*n. Let u = 539/4 - 134. Which is greater: u or n?
u
Let m be (3 + -4)/((-1)/(-2)). Let s be (-1)/(3/(1 - m)). Is s greater than or equal to -4?
True
Let o = -6 - 1. Let c = 8 + o. Let a be 3/11*(-4)/6. Do c and a have the same value?
False
Suppose 2*w = 3*w - 232. Let q = w + -3020/13. Which is smaller: 1 or q?
q
Let k = 3/91 - 5/39. Is -1 bigger than k?
False
Suppose 4*o - 5 = z, -5*o = -o + z - 3. Which is greater: o or 0?
o
Let u = -11 - -26. Let z = u + -17. Let w be 4/10 + 9/(-10). Is w <= z?
False
Let k be (3/(-103))/((-12)/(-8)). Let m = -305/206 + k. Let a(h) = -3*h**2 + 1. Let q be a(1). Which is smaller: q or m?
q
Let y(c) be the first derivative of c**3/3 - c**2/2 + 2*c + 2. Let v be y(2). Suppose -v*w = -4*f + 24, 9*f - 3*w - 20 = 4*f. Which is smaller: -2/11 or f?
-2/11
Let t be 28/(-8)*(-2)/5. Let y = 11 - 12. Let o be y + (-1)/((-1)/3). Which is smaller: t or o?
t
Suppose w = -3*n, n - 4*w - 17 = -4*n. Is n >= 11/14?
True
Let i be 4/3 - 18/(-27). Which is bigger: i or 3?
3
Let m be ((-396)/(-432))/(((-4)/6)/1). Is -1 not equal to m?
True
Let c be (-5)/2 + 45/30. Are 2 and c nonequal?
True
Let b be ((-10)/(-15))/(1/15). Let p = b - 8. Suppose -q - 7 = -5*w, -23 = p*q - 3*q - 5*w. Is 8 equal to q?
True
Let v = -16 + 18. Is v smaller than 0?
False
Let a = -686 - -4811/7. Let k = a + -31/35. Which is smaller: k or -4?
-4
Let g be ((0*2/(-8))/1)/1. Let h(z) = -z**2 + 4*z + 1. Let u be h(4). Which is smaller: g or u?
g
Let u = 8 - 8. Let s be 3 + -1 - 13/5. Is s less than or equal to u?
True
Let d(z) = z**3 + 6*z**2 - 9*z - 14. Let g be d(-7). Does -1/36 = g?
False
Let c = 0.8 + -1.1. Let o = 1.3 + c. Which is smaller: -1/2 or o?
-1/2
Let t be 84/(-35)*(-20)/(-102). Which is bigger: t or -1?
t
Let s be -5*(4/10 + 0). Let q be (3 + -3)/2 + -1. Which is smaller: q or s?
s
Suppose -5*u + 0 = -5*m - 5, -2*u + 2 = 3*m. Suppose -5*n - 8 = -5*p + 7, 2*p - 10 = 4*n. Let j be u*(1*n - -3). Is -1 > j?
False
Let w be (-3)/5 + 115/25. Suppose -2*u + 2 = -w*u. Is u >= -1/7?
False
Suppose -3*f + 5*b + 4 + 3 = 0, 4*f - 2 = 3*b. Let w(s) = -s + 7. Suppose 2*u - 13 = 3. Let g be w(u). Is f > g?
False
Let x be (-2)/6 + 153/(-270). Which is bigger: -1 or x?
x
Let d(b) = -b**3 - 4*b**2 - b + 2. Let h be d(-2). Is -5 less than h?
True
Suppose 5*w + 0*w = 0. Let y = -3 - 7.2. Let p = 10 + y. Which is smaller: w or p?
p
Let s = -3.94 - -4. Let a = s + -1.86. Let n = 2 + a. Is n less than or equal to -0.1?
False
Let i(l) = 4*l - 14. Let o be i(6). Suppose 2*m + o = -3*m. Which is smaller: m or -4?
-4
Let u = 5 - -9. Let y be (-52)/84 - (-4)/u. Which is smaller: y or -2/5?
-2/5
Let t(s) = -s**2 + 3*s - 1. Let f(v) = -v + 1. Let p be f(-2). Let o be t(p). Is -4/7 > o?
True
Let r be 9/(-3)*(-2)/3. Suppose 0 = -2*s - 2*p - p - 11, -4*p - 16 = 3*s. Let m = 6 + s. Does r = m?
True
Suppose -5*l - m = 357 - 87, 0 = -3*l + m - 162. Let d = l + 30. Let r be d/(-9) + (-1)/(-3). Are 2 and r equal?
False
Let w be (-1)/6 - (-133)/854. Is 1 less than w?
False
Let n be -1 - (38/(-34) + 0). Is n equal to 1?
False
Suppose q = -2*r + 6*r - 1, q - 3*r = -1. Is q at most 4/27?
True
Suppose 0 = s - 13*x + 8*x - 3, -s - 5*x = -43. Which is bigger: s or 1?
s
Let q be 6/3 - (-1 - 0). Let t be 0 + q/9*3. Which is smaller: -0.1 or t?
-0.1
Suppose 4*i - 5*i + 5 = 0. Suppose -5*u + 117 = 3*w, 0 = 5*u - 2*w - i - 117. Do u and 24 have the same value?
True
Let r(n) = -n + 8. Let d be r(5). Suppose d*z - 2 = 4. Let v = -2 + z. Which is bigger: v or 5?
5
Suppose -w + 7 = b, 4*w + 4*b = w + 26. Let n be (-2)/(-4) - 1/w. Which is smaller: 1/8 or n?
n
Let k be (-2 - -7)*4/(-5). Let m(l) = l**2 - 8*l + 7. Let t be m(7). Suppose t = -5*s - 8 - 7. Which is bigger: k or s?
s
Suppose 0*z + 5*c = -4*z + 12, 6 = 2*z + 3*c. Which is smaller: 38/13 or z?
38/13
Let s(k) = k**3 - k**2 - k - 1. Let j be s(2). Which is bigger: -1 or j?
j
Suppose 5*v - 5*o - 28 = 127, -5*v + 153 = -4*o. Suppose 4 = -2*m, 4*b - v = m - 7. Let i be 1/(-2) - b/(-2). Which is smaller: i or 1?
1
Let u be 9/(-4) + (-6)/(-24). Which is smaller: -3 or u?
-3
Let s be (-806)/101 - -4 - -4. Which is smaller: s or -1?
-1
Let z(n) = -n + 13. Let u be z(9). Let x be (u/(-4))/(-2 - -3). Which is smaller: -3/5 or x?
x
Let v = -136 - -955/7. Let n be (2 + -1*3)*-1. Is v > n?
False
Let x = -15 - -21. Suppose 2*b + 19 = -3*i, -b + 2*i + x = b. Is b less than -3?
False
Let b(j) = -4*j**3 + 2 - 5 + 2. Let d be b(1). Let v = -9 - d. Which is greater: v or -2?
-2
Suppose -2*w + j + 7 = -2, 5*j + 19 = -3*w. Let x be 6 - 5 - (-317)/(-319). Let k = 1290/2233 - x. Which is smaller: k or w?
k
Let u = -2 - -3. Suppose 3*f + 10 = f - 2*v, 13 = -2*f - 5*v. Let y be 18/4*f/6. Which is greater: y or u?
u
Suppose 5*s + 12 = -q, 6*s - 4*s + 6 = 0. Suppose -3*c - 1 = -4*w + 1, 2*w = -q*c + 10. Suppose 0 = 3*r - 4*r + c. Are 1 and r nonequal?
True
Let j = -0.052 - 6.948. Are j and 0.4 non-equal?
True
Suppose 0 = 2*g + 2*g + 12. Suppose -2 - 1 = -u. Suppose -4*w - k = 11, 3*w - u*k = -3 - 9. Is g at most w?
True
Let f(n) = -n**2 + 14*n + 24. Let g be f(17). Which is smaller: -26 or g?
g
Let d = -4.69 + 4.5. Let k = -7 - -6.91. Let u = d - k. Which is bigger: -2 or u?
u
Suppose 0*t + t + 9 = 0. Let p be 19/(-14) - t/6. Which is greater: p or 1?
1
Suppose 3*t - 16 = -2*d + t, d + 7 = 2*t. Suppose -4*u = -d*u + 4. Do u and -4 have the same value?
True
Let y = 7 + -8. Which is smaller: 0.1 or y?
y
Let h be ((-4)/10)/((-527)/85). Is h equal to -1?
False
Let b be (1 + 1 - (-15)/(-5))*10. Is b at least -10?
True
Suppose 4 = -3*c + 7. Let n be 3 - (-3 - (c - 6)). Do 10/9 and n have different values?
True
Let v(g) = -g**2 + 6*g - 5. Let m be v(5). Is m > 2/19?
False
Let u(k) = k**2 + 7*k + 5. Let m be u(-6). Let n = 0.38 + -0.28. Is m not equal to n?
True
Let y be ((-9)/(-69))/((-3)/2). Which is smaller: y or -1?
-1
Suppose i = 4*i - 3. Is 2/17 >= i?
False
Let p be 4 - -12 - (3 + 0). Is p l