
Suppose 5*i = 2*i. Are -1 and i equal?
False
Let y = -64 + 65. Is y equal to -1?
False
Let m be 2*-1*2/6. Let k = 0.1 + 0.9. Is m less than k?
True
Suppose -26 = p + 5*w, -2*p + 6 = 2*p - 2*w. Let l be (-1)/(p/((-1)/2)). Which is smaller: 6/7 or l?
l
Suppose 5 - 2 = -3*t. Suppose 3 = 4*m - 5*m. Let j be (m/(-7))/((-70)/49). Is j smaller than t?
False
Let m(x) = 3*x + 9. Let v(w) = -w - 5. Let k(f) = 2*m(f) + 5*v(f). Let n be k(12). Suppose -n*t = -3*b - 12, -b + 4*t - 17 = -6*b. Which is bigger: 1/6 or b?
b
Let i be ((-3)/(-60))/((-4)/(-16)). Which is greater: 4 or i?
4
Let u = -142 - -1848/13. Let d be (-1)/3 + 1/3. Which is greater: u or d?
u
Suppose 5*t + 11 = 3*c, 3*c - 2*c - 2 = 0. Which is smaller: t or 1/24?
t
Let y(u) = 3*u**3 + 2*u**2 + u - 2. Let r be y(1). Is 1 at most as big as r?
True
Let n be -1 + 2 - (-1 - -2). Let o be (-3)/(-4) + (-55)/(-44). Which is smaller: o or n?
n
Let z = 3 - 5. Let l = -75 - -77. Is z greater than or equal to l?
False
Let z(n) = -3*n**2 - 8*n - 1. Let m be z(6). Let w = m - -1097/7. Suppose q = -0*t + 3*t + 14, -5*t - 24 = -q. Is w > q?
True
Let x = -0.03 - -0.13. Let m = -27.06 + 27. Which is smaller: m or x?
m
Let v be 198/(-345) - (-2)/5. Let j = v + -7/92. Let q = 5.1 + -5. Which is smaller: j or q?
j
Let q be ((-14)/(-6))/(2/(-15)*-10). Which is smaller: q or 3?
q
Let a = -67 + 64. Does a = -17?
False
Let j = 4 - 3. Which is bigger: 2 or j?
2
Let j(p) = -p**2 + 6*p - 3. Let v be j(4). Suppose 3*m - 2*m + v = 0, -2*q + 9 = -m. Suppose k - 6 = -q*l, k + l + 3 = 2*l. Is 0 != k?
False
Let m(b) = 4*b - 24. Let j be m(11). Is 20 greater than j?
False
Let r = -22 + 20.9. Let g = r - -1. Which is greater: -2/7 or g?
g
Let j be 2/5 - -4*(-24)/235. Is j bigger than 1?
False
Let a be 3 - (1 + 72/20). Which is greater: a or 0.1?
0.1
Suppose -i = -4*i. Suppose 5*r + d + 22 = i, -7*r + 11*r - d = -23. Do 0 and r have the same value?
False
Let q be (2 + -1)/(-13 - -9). Which is smaller: 0 or q?
q
Let u = -183 - -182. Is u at least as big as -4?
True
Suppose 0 = -o - 2*o + 3. Let k = 0.9 + -0.8. Is o greater than or equal to k?
True
Let i = -95 - -62. Is i < 1?
True
Suppose 0 = -5*t + b - 12, 0 = -3*t - t + 5*b + 3. Let v be -5 - (3 + -4) - t. Which is bigger: -2/5 or v?
-2/5
Let g = 5 + 0. Let f = g + -3. Let a = f - 2. Which is smaller: a or 1?
a
Suppose 22 = v - 23. Is 45 greater than or equal to v?
True
Let v be (-3)/9*0 - -5. Let g = 8 - v. Suppose -4 = y + 4*f, 6*f - g*f = y - 3. Is 2/13 less than or equal to y?
False
Suppose r + 8 = -3*j + 6*r, 0 = -3*j + 2*r - 14. Let l be (-3)/9 - (-20)/j. Which is smaller: -3 or l?
l
Let d = 19 + -17.2. Let t = d + -1. Let r = t + 0.2. Is 0.02 less than r?
True
Let c be (4/(-3))/(2/6). Let r be 2/c + 10/4. Suppose 2*f = -r*a - 8, 0 = 2*f - 5*a - 0*a - 6. Is -2 at most f?
True
Suppose 5*p - 18 = -3. Let n(z) = -p - 4*z - 3 + z**2 + 5. Let l be n(4). Which is smaller: l or 2?
l
Let h = -0.51 + 0.5. Let s = -3.99 + h. Is 0.2 at least s?
True
Let l(g) = 2*g - 13. Let p be l(0). Which is bigger: -12 or p?
-12
Let u be (-46)/14 - 4/(-14). Let j = -3 - u. Which is smaller: j or -5/6?
-5/6
Let x(s) = -s + 15. Let m be x(5). Which is greater: 11 or m?
11
Let r = -4 - -3.9. Let h = r + -0.1. Let q be 15/(-10)*(-2)/12. Is h at least q?
False
Suppose -26 = -9*v - 8. Is 8 bigger than v?
True
Let q(r) = 3*r**2 + r + 1. Let x = -3 - -2. Let n be q(x). Suppose n*f = -f + 4. Which is bigger: 2 or f?
2
Suppose 2 = -x, -3*x + 1 = -5*m + 7. Is m less than or equal to -21/5?
False
Let m = 5 + -6. Let a = m - 1. Which is greater: a or 2?
2
Let z = 4 - 10. Suppose 0 = -5*h + 12 - 47. Let f = h - z. Is f at most -2?
False
Let n be (-2 + (2 - 0))/(-2). Let b be (-1)/((-112)/41 + 2). Let r = b + -7/10. Which is smaller: n or r?
n
Let s = -0.128 - -6.028. Let v = 24 + -30. Let y = v + s. Is 0 > y?
True
Let o = -93/2 + 1021/22. Is 1 less than o?
False
Let g = 187 + -427/2. Let r = -27 - g. Let j be 10/(-6) + 2/(-6). Is r at most as big as j?
False
Let h be 2/4 + 15/10. Suppose h*d = 5*d + 2*t - 11, 5*t = -3*d + 5. Which is bigger: 4 or d?
d
Let p(l) = -l**2 - 2*l + 1. Let n be p(-2). Is -2/43 greater than or equal to n?
False
Suppose 5*x + 16 = -u, 5*x + 10 = -5*u - 10. Let q = -2 - u. Which is smaller: 2/9 or q?
q
Let h = -7 + 6.88. Let a = h - -0.02. Are -1/2 and a equal?
False
Let y(b) = -b**2 - 4*b - 2. Let f = 9 + -13. Let c be y(f). Is -1 at least c?
True
Let m = 46 + -38.8. Let r = -8 + m. Let h = r + -0.2. Which is smaller: 1/2 or h?
h
Let m = 6 - 8. Let s(r) = -r - 6. Let q be s(-4). Let w be q/4 + (-3)/m. Which is smaller: w or -2/5?
-2/5
Suppose 3*l + l = 20. Suppose -783 = 5*c + 5*r + 912, l*r - 1685 = 5*c. Let k = c + 5744/17. Is 1 greater than k?
True
Let u(q) = -q - 2. Let j be u(-6). Suppose 5*v - 14 = 3*v - j*h, -v - 7 = -5*h. Let t = v + -4. Is 1 at most t?
False
Suppose -5*k = -4*m + 2*m + 9, 0 = 3*m + 5*k - 1. Let c be (8/6)/((-63)/(-27)). Do c and m have different values?
True
Suppose 3*g = g - 4. Let p be (g*1 + 2)/(-1). Suppose 4*o = -4*f, f - 1 + p = 0. Which is smaller: o or 0?
o
Let k(j) be the second derivative of j**5/60 + j**4/8 - j**3/3 - j**2/2 + 2*j. Let r(a) be the first derivative of k(a). Let h be r(-3). Is 1 < h?
False
Let a be -3 + -2 + (9 - 0). Suppose 5 = 3*n - a. Suppose 0 = d + 1 - 3. Is d != n?
True
Let x = -12.8 - -13. Which is bigger: 0.6 or x?
0.6
Let z(q) be the first derivative of -q**4/2 + 2*q**3/3 - 2*q**2 + 2*q + 4. Let o be z(2). Is o less than -13?
True
Suppose -5*n = -4*u + u - 58, 142 = -5*u - 3*n. Does u = -25?
False
Let p(n) = n - 3. Let f be p(3). Let i be -3 + 3 + 8 + -3. Let k be 2/i + (-2)/(-20). Is f at least k?
False
Let h = -25 + 25. Is -9/14 greater than or equal to h?
False
Let r be (-4)/6 + (18 - 18). Which is greater: 10/7 or r?
10/7
Suppose 3*v + 2*v - 5*o - 25 = 0, -2*v + 9 = -o. Let s = -44 - -48. Is v < s?
False
Let i be -1*-2*2/(-4). Let l be ((-5)/(-9))/((-291)/(-84)). Let k = 6/97 + l. Which is bigger: k or i?
k
Let p be (1 - -2) + (6 - 10). Which is greater: p or 5?
5
Let r be 4*(2 + (-1)/1). Which is bigger: 2 or r?
r
Let q = 5 - 2. Let t(r) = -3*r. Let c be t(-1). Suppose -15 = -4*j - 3*l, -q*l + 15 = c*j - 4*j. Which is bigger: -0.2 or j?
j
Let i = 2732/11 - 9084/55. Let b = -84 + i. Which is smaller: -2 or b?
-2
Suppose -6 + 8 = -2*d. Is -2/15 > d?
True
Let l(d) = d - 6. Let v(u) = -u**2 + 7*u - 3. Let k be v(5). Let t be l(k). Is t greater than 2/5?
True
Let z = 5 + -6. Let p = -2 - -2. Let l be p + 1/(-1) + 0. Is z greater than or equal to l?
True
Let w = 45 + -72. Let c = 44 - 71. Is w greater than c?
False
Suppose 27 - 1 = 4*z + 5*m, 3*z + 3*m - 21 = 0. Let q = -839/2 - -428. Is q bigger than z?
False
Suppose 0 = -4*a - 2*f - 50, -6*f + 2*f = -2*a. Let j be (-2)/1 - 16/a. Let x = -10 + 7. Which is greater: j or x?
j
Let a = 4 - 3. Let k = 1 + a. Are k and -2 non-equal?
True
Let h = 66 - 65. Does 2/171 = h?
False
Let a = 2 + -2. Let k = 1 - 5. Let y be (5/15)/(2/k). Which is smaller: y or a?
y
Let k = 532/5 + -106. Let u be 88/12*3/8. Let n = 9/4 - u. Which is smaller: n or k?
n
Let u = 116.7 - 117. Let o(y) = -y + 2. Let q be o(-4). Which is smaller: q or u?
u
Let q(h) = h**3 + 10*h**2 + 9*h + 2. Let g be q(-9). Let c = 1 + -1. Let x be (5 - c)*(-2)/(-5). Is g != x?
False
Suppose -k + 19 - 41 = 0. Which is smaller: -24 or k?
-24
Let c = -0.44 + -1.66. Let k = 1.1 + c. Let h be 2/4 + 1 - 1. Which is smaller: k or h?
k
Let d be (10/60)/((-4)/642). Let i = 10 + 17. Let r = i + d. Which is smaller: 1/3 or r?
r
Let t be (-3)/2*(-6)/9. Suppose -6*w + 30 = -0*w. Which is bigger: t or w?
w
Suppose -5*j - 15 = 0, -j = a + 3*j + 17. Let t(r) = r + 3. Let b be t(a). Let y = -7 - -5. Are b and y nonequal?
False
Let c(o) = -o**3 + 3*o**2 - 1. Let p(w) = -2*w - 6. Let t be p(-4). Let b be c(t). Which is greater: b or -2?
b
Let t(j) = j**3 + 4*j**2 + 2*j + 6. Let b be t(-4). Let y = 49 + -29. Let p be (-8)/y - 13/5. Which is smaller: b or p?
p
Let m be (7/(-14))/((-2)/20). Suppose 0*t - m*t = 0. Which is smaller: 4/3 or t?
t
Let o be 4/(-14) + (-27)/(-21). Let y = -13 + 14. Is y bigger than o?
False
Let m(u) = 3*u - 18. Let k be (9/(-5))/(15/(-50)). Let s be m(k). Is -1/15 at least s?
False
Suppose 2*m - 3 = -3*g, -4*g - m - 