i = v + 4. Which is greater: -2/7 or i?
i
Let y be 11 + -12 + (-106)/(-52). Let h = -3/7 - -81/91. Let o = h + y. Are o and 1 unequal?
True
Let i be (-8 + 6/(-2)*-1)/1. Does i = -1?
False
Let q = 1/10 + -1/5. Suppose 5*l + 2 = -3. Which is smaller: q or l?
l
Let j be (0 - 0)/((-9)/(6 + -3)). Is -79 at least j?
False
Let z = -3 - -5. Let c = -4 - z. Let j be (9/60)/(c/4). Which is greater: 1 or j?
1
Suppose t + 18 = -4*c - c, 2*t - 4*c = -36. Is t != -19?
True
Let c = 0 - 0. Let j be 2/(-2) - 12/(-4). Suppose j*w - 10 = -4*i + 4*w, c = -2*w - 10. Is i != -1?
True
Let u = -84 - -70. Is -13 equal to u?
False
Let o = -55/2 + 15. Let c = 12 + o. Which is bigger: -0.2 or c?
-0.2
Let m = -0.5 + 0.3. Let a = 32696 - 6146793/188. Let c = a + -2/47. Which is smaller: m or c?
m
Let g(s) = -3*s**2 - 8*s + 4. Let n be g(-3). Which is bigger: n or 7/13?
n
Let w = 7 + -8. Let o be 1/((-3)/w - 2). Let s be (-3)/1 + 3 + o. Which is smaller: 1/3 or s?
1/3
Let d(h) = 2*h + 15. Let n be d(-8). Let b(i) = i + 8. Let m be b(-6). Suppose 0*a - 2*a = m. Does a = n?
True
Let c = -5 - -10. Suppose -f + c = 3. Suppose -4*y = 4*r + 4 - 0, 10 = f*y - 2*r. Which is smaller: 0 or y?
0
Suppose 0 = -2*w - 0*w - 40. Let r be w/(-16) - (-6)/8. Which is bigger: 1 or r?
r
Suppose 3*y + 9 = 3. Which is smaller: y or 1/8?
y
Let b be ((-5)/(-2))/(1/(-2)). Let u(g) = g**3 - 19*g**2 + 32*g + 31. Let r be u(17). Is r bigger than b?
True
Let r(u) = u**2 + 2*u + 2. Let i be r(-2). Suppose 5*m = 4*t - 11, 5*t + i = m - 0. Let z = -3 + t. Are z and -0.1 equal?
False
Let k be -1 + 3/(-6)*-8. Suppose 0 = 3*r + 15, -4*o + 8 = -3*r - k. Which is smaller: -2/25 or o?
o
Suppose 0 = 2*z + z + 18. Let h be -1*(z/2 + 1). Which is smaller: h or 0?
0
Let i be ((-14)/15 + 1)/(2/4). Which is greater: 5 or i?
5
Suppose -k - 2*b + 0*b = 8, 0 = k - 4*b - 16. Is -9/8 at least as big as k?
False
Let a = -107 - -77. Is a < -30?
False
Suppose -2*s = -n, -n + 3*s - 1 = -2. Let u(i) = -i + 2. Let g be u(6). Let p be (-27)/6 + n/g. Which is bigger: -6 or p?
p
Let k = -475/7 - -68. Which is smaller: 0 or k?
0
Suppose 5*i + 2 = 7, 2*n = -5*i + 1. Let f be 6/8*8/n. Is -6 not equal to f?
True
Let m(x) = x**2 - 7*x - 38. Let o be m(10). Does o = -8?
True
Let x(u) = u**2 - 4*u + 4. Let w be x(3). Let y = 8 + -6. Which is bigger: y or w?
y
Let y = 0.13 - 0.03. Is y < 3/5?
True
Let b(y) be the second derivative of -y**3/6 + 5*y**2/2 + 3*y. Let o be b(7). Let s be 2 - (3/(-6) - o). Is s >= 0?
True
Let r(v) be the first derivative of 0*v**2 + 3 + v - 1/3*v**3 - 3/2*v**4. Let x be r(1). Is -7 at most x?
True
Let f be (-6)/(3/1) + 7. Suppose 12 = -f*b + 2. Is b at least -3?
True
Let m(x) = x + 2. Let p be m(2). Suppose -5*n + 2 = p*b, 0 = -3*n - n - 8. Let c be 15/20*(-48)/(-9). Is b at least c?
False
Let i(d) = -3*d + 3. Let h be i(2). Let j be (-5 + 0)*h/5. Let w = -4/13 + 54/91. Which is bigger: w or j?
j
Let s(x) = x**3 + 7*x**2 - x + 5. Let r(z) = z**2 + 6*z + 1. Let u be r(-4). Let h be s(u). Is 12 bigger than h?
False
Suppose 0 = 3*o + 11 - 8. Which is smaller: -0.21 or o?
o
Let x(i) = -2*i**3 - 3*i**2. Let k be x(-2). Let y be 15/k*(-16)/(-6). Suppose -2*r - 3*r = 5*w + y, 1 = -4*w + 3*r. Which is bigger: 0 or w?
0
Let c = 72/5 + -14. Let w = -72.57 - -73. Let o = 0.07 + w. Are c and o non-equal?
True
Let p = 77 + -31. Let s be 10/5 + p/(-22). Which is bigger: s or -1?
s
Let s = -0.2 + 0.25. Let n = s - 0.45. Do n and -1 have the same value?
False
Let k = 9.1 - 8.1. Does 106 = k?
False
Let f(b) = -b**3 - b**2 + 5*b + 3. Let n be f(-3). Suppose 12 = -2*z + 5*t, 0*z - z + 5*t - n = 0. Which is smaller: -7 or z?
-7
Let h = 147 + -152. Is 9 at most h?
False
Let w(l) = 3*l**2 + l + 1 + l**3 - 6*l - 3. Let y be w(-4). Let o be y/(-4)*(-5 + 1). Is o greater than or equal to 1?
True
Suppose -i - 3 = -0*i. Let w be i*2*(-3)/15. Let f = -29/20 + w. Is f at least 0?
False
Suppose 7 = t - 2. Let y be 20/(-21) - 1*10/(-15). Are y and t equal?
False
Suppose -m = -4, 0*f - f - 5 = -3*m. Let t(k) be the third derivative of k**5/60 + k**4/4 + 3*k**2. Let d be t(-7). Is f less than or equal to d?
True
Let r = 3 - 6. Let v = 5 + r. Which is smaller: 1 or v?
1
Let l = -0.02 + 0.2. Let j = l - 1.18. Which is smaller: -2 or j?
-2
Suppose 5*t = r - 29, 4*r + 19 = -3*t + 3*r. Let j = -1 - t. Let z = -4 + j. Do z and 1 have the same value?
True
Let i(p) = -p**2 + 9*p - 1. Let o be i(9). Let u be 3/(-5) + (-17)/(-20). Let a = u - 3/4. Which is greater: o or a?
a
Let x(s) = -3*s**2 + s. Let y be x(1). Let i be y/(((-2)/(-8))/(-1)). Let q be i/(-36)*(-3)/2. Is q greater than 2?
False
Let p = -2 - -2.2. Is 0.1 less than p?
True
Suppose -4*g + 8*g - 12 = 0. Let s = 6 - g. Suppose 6 - 3 = s*k. Is k bigger than 1?
False
Suppose s + 4*g + 6 = 0, 5*s - g = 15 - 3. Which is smaller: s or 1?
1
Let p = -2 - -12. Which is bigger: p or 1/2?
p
Let q = 23.989 - -0.011. Let c = q - 24. Which is greater: 2 or c?
2
Let p be (-254)/9 - (-4)/18. Let l = p - -55/2. Suppose -24 = -5*d + g, 0*d + 4*g = -3*d - 4. Which is smaller: l or d?
l
Let m = -45 - 90. Let i = -140.7 - m. Let a = i + 6. Which is greater: a or -1?
a
Let o(m) = -2*m - 9. Let j = -2 - -4. Suppose 0 = -j*k - 3*k - 30. Let w be o(k). Which is smaller: 3/2 or w?
3/2
Let k = 0.37 - 2.37. Which is smaller: -0.1 or k?
k
Suppose 76 = 4*s - 4*g, -7 = -s - 0*g - 2*g. Is s equal to 14?
False
Suppose 3*f + c = -0*f - 2, -f = -3*c + 14. Which is greater: f or -3?
f
Let t = 6217/24 - 259. Let v = t - -1/24. Is 1 less than v?
False
Suppose 3*b = -b - 4. Let s be (-1 + b + 7)/1. Which is greater: -2 or s?
s
Let d be (-2)/(2 - 4) + 25. Let p = d - 128/5. Suppose 0 = 3*i + 3. Is p > i?
True
Let l = 5.7 + -3. Let q = 0.7 - l. Is 10 bigger than q?
True
Suppose 4*o - 4 = -0*o, 3*o = 4*r - 9. Suppose a = -2*h - 2 + 17, -r*a + 30 = 3*h. Let j = 29 - 23. Which is greater: j or a?
j
Let s be (-1)/(-2 - (30 - -1)). Which is greater: s or 1?
1
Let r(n) = n**2 + 5*n + 3. Let a be r(-6). Which is greater: a or 10?
10
Let m be 40/6 - (-2)/(-3). Let k be (4/(-10))/(m/110). Let i = k - -7. Which is smaller: i or 1?
i
Suppose 8*q + 87 = 175. Are q and 12 unequal?
True
Suppose -3*p + 7*p = -216. Let q be (-2)/5 - p/10. Let h = q - 6. Which is bigger: h or -3/5?
-3/5
Let h be 1*4/12*3*0. Which is bigger: h or 2/491?
2/491
Let q be (-4)/22 + 342/1584. Which is smaller: q or -1?
-1
Let o be (-6)/16*-12*-2. Which is bigger: 3 or o?
3
Let t = 10 - 5. Let c be (2/t)/(2/(-10)). Let h = c + 3. Is -3 < h?
True
Let b be (-10)/((-2)/(-2 + 6)). Suppose g + 5*n = -14, 3*g = 2*n - 6*n - b. Let k = -3 - g. Which is smaller: k or 2/3?
2/3
Suppose 0 = -4*j + 2*j - 3*c + 2, -3*j + 2*c + 3 = 0. Let u be ((-5)/((-5)/2))/j. Suppose 0 = -i - 2*s - 6 + 4, 0 = 4*s + 4. Is i != u?
True
Let k(o) = 3*o**2 + o - 1. Let h be k(1). Suppose -2*l + h + 1 = 0. Does 0.1 = l?
False
Let h = 10 - 10. Which is smaller: h or -1/14?
-1/14
Let s be 2/8 + 1527/(-60). Suppose 2*j + 5*n = 30, j = -j + 2*n + 58. Let r = j + s. Is r greater than 1?
False
Let w(j) = -j**3 + 15*j**2 + 16*j + 5. Let s be w(16). Is 26/7 bigger than s?
False
Suppose 41*s = 45*s - 12. Is 4 less than or equal to s?
False
Let p(m) = m**3 + 6*m**2 + 6*m + 5. Let s be p(-5). Let d = 36 - 13. Let x be d/(-8) - (2 - 5). Is s < x?
True
Suppose 2*k - 33 = 3*m, -m + 6*k - 3*k - 18 = 0. Is m equal to -7?
False
Let u be (-2)/6 - 5/(300/(-44)). Let n = -27/2 + 13. Which is bigger: u or n?
u
Let c = -0.68 + 0.7. Let v = 0.02 - c. Which is smaller: 1 or v?
v
Let l = -30 - -3. Let j = l + 23. Suppose -4*b = i + 19, -2*b - 12 = -0*b - 2*i. Which is bigger: b or j?
j
Suppose 68 = -2*n + 6*n. Let y = n - 5. Suppose -4*i - y = -4. Are 0 and i equal?
False
Let a be 1*(1 - 2)*1. Which is smaller: 1 or a?
a
Let x(m) = -m**2 + 2*m - 10. Let d be x(0). Is -10 at least d?
True
Let y(j) = -4*j**3 - j - 2. Let p be y(-1). Let v = 1 - p. Is v at least as big as -2?
True
Let m = 0.3 + -0.4. Let s = 0.3 + m. Let h(c) = c**2 + 2*c - 4. Let i be h(-3). Which is smaller: i or s?
i
Suppose 6 = m + 2. Let l(b) = -b**2 + 6*b - 5. Let o be l(m). Are o and 3/2 unequal?
True
Suppose -197 = 6*l + 43. Is l at most as big as -40?
True
Let v = 923.1 - 819. Let s = -98 + v. Let z = -6 + s. Is z not equal to -3?
True
Suppose 7 = -s + 