s greater: y or g?
y
Let d(o) = o**3 + 5*o**2 + o. Let h be d(-5). Suppose 0 = -i - s - 6, -i + 3*i = 4*s. Is h equal to i?
False
Let g = -1 - -1. Let d = 2/1695 - -13546/11865. Which is smaller: g or d?
g
Let i(y) = y**2 - y - 35. Let c be i(-6). Let r = 0.1 + -0.1. Which is greater: r or c?
c
Suppose -3*r = -7*r. Suppose r = -3*u + 7*u - 60. Let l be 2/u*(5 + -2). Which is bigger: l or -1/3?
l
Let o = -67 + 15. Let p be ((-4)/(-10))/(o/20). Is p smaller than -0.2?
False
Let m = -21.99 - -22. Which is smaller: 0.04 or m?
m
Let h be (-1)/27*1*-2. Let t(s) = -s**3 + s. Let z be t(1). Is h > z?
True
Suppose -4*z - 4*z = -z. Is 1/2 at least as big as z?
True
Suppose -3*c = -14 - 16. Suppose 0 = w + c - 4. Let k = -6 - w. Are k and -1/12 nonequal?
True
Let h be (8/(-36))/(6/9). Is h smaller than 0?
True
Let x(s) = -s + 1. Let o(v) = -3. Let h(g) = o(g) + 3*x(g). Let y be h(-1). Which is bigger: y or 2?
y
Suppose z + 0*z = -3*v + 15, -2*v = 5*z - 23. Let f = -1.2 + 0.6. Let j = f - -0.5. Which is smaller: z or j?
j
Let c = 1.12 + -0.86. Is 0 at most c?
True
Suppose -3*y = 1 - 4. Let o be 3/(-9) + 1/1. Let m = -13/15 + o. Which is bigger: m or y?
y
Let n be (-4)/(-22) + (-534)/33. Let v = -9 - n. Which is smaller: v or 5?
5
Let r(t) = -t**3 + 4*t**2 - t - 2. Let s be r(4). Let p = -12 - s. Let o(f) = f**2 + 5*f - 5. Let h be o(p). Is h bigger than 0.2?
True
Suppose 5*g - 8 = -3. Suppose -3 = -c + g. Which is smaller: c or 5?
c
Let m(r) = -r**3 - 3*r**2 + r - 2. Let w be m(-5). Let n = 31 - w. Do n and -12 have the same value?
True
Let g = -9463/17 + 557. Which is greater: 0.2 or g?
g
Suppose -5*k = -37 - 13. Suppose 9 - k = z. Which is smaller: -3 or z?
-3
Let r = 38/91 - -2/13. Let f(u) = -u**3 - 19*u**2 - u - 17. Let x be f(-19). Are x and r non-equal?
True
Suppose -1 = -3*a + 2. Let r be (0 + a)*6/(-3). Which is bigger: r or -1/2?
-1/2
Let o = 1/49 - -43/294. Suppose -4*z - z = -5*l + 15, 4*z + 20 = -4*l. Are l and o equal?
False
Let p be 1*(-3)/2*-2. Let t(k) = -k**3 - 9*k**2 - 23*k - 5. Let o be t(-5). Suppose -5*y = -5*r - o, -2*r + 0*r = p*y + 4. Is r smaller than -4?
False
Let s = -0.01 + -0.99. Let f = -3 + 1.9. Let q = -0.1 - f. Do q and s have the same value?
False
Suppose 0 + 1 = -c. Let b = c - -3. Let p = 5 + -2. Is b equal to p?
False
Let u(s) = -s**3 - s**2 - s - 1. Let j be u(0). Let g(w) be the second derivative of -w**3/6 - w**2/2 - w. Let x be g(0). Is x equal to j?
True
Let m be 12*(1 + (-4)/6). Suppose 3*i - m*i + 6 = 0. Let f be -1 + i/(-3) + 3. Which is smaller: 2/5 or f?
f
Let c = 2.2 - 2.1. Let t = -19.21 - -0.21. Is c at most t?
False
Let s = -3.7 + 4. Let v = s - -1.7. Suppose 0 = 2*r - 5*r + 4*d - 18, r - 7 = -3*d. Which is smaller: r or v?
r
Let q(k) = -2*k**2. Let o be q(-3). Let m be 24/o*6/(-4). Let g = m - 2. Which is smaller: g or 4?
g
Let r be (-2)/(-3) + 16/3. Let n(l) be the second derivative of -l**5/20 + 5*l**4/12 + l**3 + 27*l. Let q be n(r). Is q at least as big as -2?
True
Let s = -0.7 - -0.8. Which is greater: 0.03 or s?
s
Suppose 0 = -5*u + 30 + 55. Let x = 29 - u. Suppose 5*d + 4*z - 26 + 9 = 0, -3*d = 3*z - x. Is 1/3 at least as big as d?
False
Let r = 57/11 - 1289/253. Which is greater: r or -0.1?
r
Let h = -36 - -14. Let w = 21 + h. Which is smaller: 0 or w?
w
Suppose -y = -5*v - 3, -3*v - 12 = -2*y + v. Is -1 equal to y?
False
Let b = 53 - 54. Is b >= 1/26?
False
Let u be (-4 + 7 + -2)/((-1)/31). Which is bigger: -32 or u?
u
Let q = 587/5 + -118. Let t = -1 - -1. Suppose g = -1 - t. Which is greater: g or q?
q
Suppose -78 = 13*d - 16*d. Are d and 26 nonequal?
False
Let v be -8 + 7 + 2 - 2/3. Let w = -1 - -1. Are v and w unequal?
True
Let a = -8 + 16. Which is smaller: a or 6?
6
Suppose 0 = h - 7 + 1. Let q = h + -4. Which is smaller: q or 1?
1
Let p = -27.13 + 27. Let r = -0.87 + p. Is r smaller than 0?
True
Suppose 4*z + 10 = 102. Let j be -3 - (-3 - z)/2. Let q be (-16)/(-154) + j/(-35). Is q not equal to -1?
True
Let w = -5/264 + -427/264. Are w and -1 non-equal?
True
Let b be (-10)/(-6) + 1*-1. Let t = 0.8 + -0.5. Which is smaller: b or t?
t
Let s = 6 - 5. Let j = -3 + s. Which is smaller: j or -2/11?
j
Let t be (-14)/6 - (-4)/12. Let h be t + (-36)/(-15)*1. Are h and -1 non-equal?
True
Suppose -20 = -5*y - 5*p, 3*y - 2*y - 4*p = -1. Let i be -3 + y*1959/63. Let w = i + -90. Is 2 at least w?
True
Let f = -2.1 - -3. Let s = -0.8 + f. Which is greater: s or 3/2?
3/2
Suppose 3 = 3*f - 4*f. Let x be ((-3)/2)/(f/4). Let r be x/4*2/(-3). Do r and -1 have different values?
True
Let u(v) = -v - 30. Let z be u(-14). Are -15 and z equal?
False
Let g = 44 - 47. Is -3 not equal to g?
False
Let s(v) = -3*v + 18. Let n be s(6). Is -3/10 != n?
True
Let b = -22 - -22. Let y = 3 + 0. Which is bigger: y or b?
y
Suppose 4*f + 120 = 2*f - 5*d, 4*d = 0. Is -61 >= f?
False
Let y be (-12)/(-15) + -79*6/580. Which is greater: y or 1?
1
Suppose -6*c + 3*c + 3*h = 0, 3*c - h + 4 = 0. Which is bigger: -5/9 or c?
-5/9
Let d = 3/775 + -11646/5425. Let c = d - -172/77. Which is smaller: -1 or c?
-1
Suppose -2*a = -a. Is -0.03 != a?
True
Let h be (8/6)/(39/9). Which is smaller: h or 1?
h
Let g be 2/12*54/(-24). Let k = -34 - -34. Which is greater: g or k?
k
Let a = 0.24 - 0.2. Let x = -0.06 - a. Which is greater: x or 0.2?
0.2
Suppose 3*h + 23 - 5 = 0. Suppose -4*f + 4*y = 2*y - 20, f = y + 6. Let c = f + h. Is c <= -2?
True
Let z = -2686/7 - -385. Which is smaller: 0 or z?
0
Suppose -2*n + 4 = -4*c, 5*n + c - 4 = -5. Let y be (2/(-3))/((-1)/(-2)). Is n <= y?
False
Let h(p) = -p**2 + 2*p + 5. Let l = -7 - -11. Let f be h(l). Let k be (-1)/(-4) - 45/20. Which is bigger: k or f?
k
Let h = 0.29 - 14.29. Let r = -8 - h. Let v = 6.2 - r. Do -0.2 and v have different values?
True
Let g = 2 + 1. Let p be 12/(-6)*2/4. Which is smaller: p or g?
p
Let q = 18/11 - 47/22. Let j = 3 - 1. Suppose -3*i - j*i = -2*y + 16, 2 = 3*y - 2*i. Is q less than or equal to y?
False
Let i = -20 - -20. Is 1/4 bigger than i?
True
Suppose 0*z = -z - m - 3, -z - 23 = 5*m. Let v = -3 + z. Let p be ((1 - v) + 0)/(-3). Is 0 >= p?
True
Let r(t) = t + 2. Let v be r(-6). Suppose 5 = -4*l - 3*n, n - 3*n = -5*l - 35. Is v at most l?
False
Let w = -6 - -10. Suppose 4*p = -2*t + 4*t - 56, 3*t + 5*p - 117 = 0. Suppose -3*v + t = -5*m, -3*m - 11 = 3*v + m. Is v at most w?
True
Let f = 9/2 + -5. Which is smaller: 0.05 or f?
f
Let a be 4/10 + (-22)/5. Which is bigger: a or -6?
a
Let j(z) = -2*z**2 + 3*z - 2. Let a be j(3). Is a at most -12?
False
Let n be 20/10 + -2 + 0. Let r be (-2)/(-2)*138/(-8). Let b = 17 + r. Is b less than or equal to n?
True
Let f(k) = -3*k**3 - 2*k**2 - 3*k - 2. Let a be f(-1). Are a and 24/11 nonequal?
True
Let c = -0.3 - -4.3. Let g = -3 - c. Let m = g - -8. Which is smaller: 4 or m?
m
Let i = 6 - 49/8. Let r(j) be the second derivative of -j**3/6 + 2*j**2 - j. Let k be r(3). Which is smaller: i or k?
i
Let b be (1/(-18))/(14/(-56)). Is 1/2 >= b?
True
Suppose 2*c - 20 = 4*u, 0*c - c - 2 = u. Which is bigger: u or -3?
-3
Let t be (-2)/((-1)/1) - -7. Suppose 0 = -5*r + t*r + 16. Is r greater than -3?
False
Suppose -3*a + 1 = 4. Let j = 6.9 - 6.6. Which is smaller: a or j?
a
Let n = -13.05 + 13. Let j = 0.05 + n. Is j at least as big as -2/3?
True
Let r(q) = -2*q**3 - 3*q**2 + 3*q + 3. Let t(m) = -m**2 + m + 1. Let l(a) = r(a) - 2*t(a). Let k be l(-1). Which is smaller: k or 0?
0
Suppose -4*x + 3*z + 13 = -118, 4*x = -4*z + 124. Which is greater: 33 or x?
33
Let d be (1 + -8)/((-4)/4). Suppose -d = -o - 2. Suppose -o*h = -6 + 1. Do h and 1/3 have the same value?
False
Suppose 5 = 2*k - 9. Suppose 2*g + 4 = 4*h, 4*h - h + g + k = 0. Which is smaller: 1.5 or h?
h
Let b be 9/(-27) + (-68)/30. Which is smaller: -2 or b?
b
Suppose 4*g = -x - 8, -2 = -x - 3*x + g. Let b be 0 - (-6)/(-33) - x. Which is smaller: 0 or b?
b
Let b = -0.75 - -0.85. Is -0.28 less than b?
True
Let b = 2 + 0. Let r(y) = y**2 + 8*y + 6. Let l be r(-5). Let w be 3/l*b - -1. Which is smaller: w or -1?
-1
Let g be -3*2*3/(-6). Suppose g*z = -3*y + 18, 0 = 3*y + z - 0*z - 16. Let s = y - 6. Is s != -6/5?
True
Suppose -5*h + 9 + 36 = 0. Suppose h = 2*b + b. Suppose 2 + b = -5*a. Which is greater: a or 3?
3
Let m = -4913/39 + 126. Is 0 != m?
True
Let x(q) = -q - 10. Let n be x(-7