se -4*m + 15 - 3 = 0. Which is greater: 4 or m?
4
Suppose -2*u + 22 = 4*s, 5*s = -2*u + 6*u - 5. Suppose -4*a + 25 = -0*c + 5*c, c = 2*a - 9. Suppose c = -s*x - 2. Which is greater: -1/7 or x?
-1/7
Let j = 22 + -14. Suppose j*y = 3*y - 5. Do 1/4 and y have different values?
True
Let g be 1 - 6*2/(-3). Let m(d) = 3*d**2 - 3*d - 3. Let i(h) = -4*h**2 + 2*h + 3. Let k(w) = -2*i(w) - 3*m(w). Let v be k(g). Is 2 smaller than v?
True
Let h be 9/12 - 122/(-8). Suppose 12 = -h*n + 12*n. Is n equal to -1?
False
Let f = -25/3 - -8. Which is bigger: 5/9 or f?
5/9
Let i be 5/7*5/(25/(-4)). Which is smaller: 0 or i?
i
Let a(x) = 4*x**2 + 8*x - 7. Let i(n) = 3*n**2 + 8*n - 6. Let v(o) = 4*a(o) - 5*i(o). Let d be v(8). Which is bigger: 3/5 or d?
d
Let u be (-2)/20*8/(-2). Are 0.6 and u equal?
False
Let c = 53/119 - 2/119. Is 3/5 greater than c?
True
Let k be (4/(-6))/(38/(-285)). Are 4 and k nonequal?
True
Suppose -2*f + 16 = 2*f. Suppose -22 = t - 5*i, 2*t - f*i + 16 + 4 = 0. Let l = -1/16 + -29/48. Is l at most t?
False
Suppose 6*u - 7*u + 1 = 0. Is u > -5?
True
Let x be (-2)/8 - 42/(-104). Suppose -2*q + 5 = -7*q. Is q less than or equal to x?
True
Let m = 10 + -5. Let g = 1 + m. Let w = -2 + g. Is w bigger than 4?
False
Let r(h) = 5*h - 1 - 4*h + 6. Let v(f) = -5*f - 21. Let b(s) = 9*r(s) + 2*v(s). Let w be b(0). Is 3 greater than or equal to w?
True
Let h = -8 + 6. Suppose 2*d = -9 + 3. Let f = 3 + d. Is h less than or equal to f?
True
Let n = -4 - -4. Suppose n = 3*v - 7*v - 16. Let c = 2 - 3. Is c > v?
True
Let h = 33 - 23. Is h greater than or equal to -1?
True
Suppose -2*b = -2*i + 6 - 22, -3*i = -4*b + 34. Let n be (-2)/(-4) - 9/b. Let z be (5/15)/(2/(-6)). Which is smaller: n or z?
z
Let o(x) = 2*x + 12. Let g be o(-6). Let p = -7 - -4. Let y = 2 + p. Is g <= y?
False
Let j(u) = -u**2 - 18*u - 64. Let z be j(-5). Let x be -1 + 0/(-2) + 10. Which is greater: x or z?
x
Suppose 12 = 2*w - 6*w. Which is smaller: -6 or w?
-6
Let a = 31 + -32. Which is smaller: 1 or a?
a
Let g = 43.9 - 44. Let y = 2.93 - 3. Is g at least y?
False
Let m = 0.4 + -0.4. Let d = m - -7. Let v = 6 - d. Which is greater: 0.1 or v?
0.1
Let a be (-60)/70 - 1/7. Let q be 6/(-14)*(-2)/(-3). Is q greater than a?
True
Let j be -1*8/(-2) + -2. Suppose 50 - j = 2*b. Let t be ((-2)/b)/((-2)/4). Which is bigger: 0 or t?
t
Let z be 867/(-11) + -4 + 7. Let n = -76 - z. Which is greater: n or -1?
n
Let a = 0.105 + -0.305. Which is smaller: 4.2 or a?
a
Let b(s) = -3*s - 3. Let v be b(-2). Suppose -4*c = v*i + 4, -i + 7 - 19 = -4*c. Is 2 at least as big as c?
True
Let y = 65 + -70. Suppose -9 + 21 = 3*q. Suppose -2*u + 5*m = 5, -q*u + 3*m - 4 = -m. Which is smaller: y or u?
y
Let p = 0.3 - -0.7. Let o = p + -1.4. Is o smaller than -2?
False
Let h(f) = 4*f - 4. Let b be h(4). Let w be 11/(-24) - (-4)/b. Which is smaller: 0 or w?
w
Let d be 3 + ((-108)/20 - -3). Let y be 1/4 + 9/60. Is d >= y?
True
Let r(w) = 0*w**2 + w**2 - 1 + w**3 - 3*w + 0. Let p be r(-2). Let u be (-2 - (-4 - 1))/4. Is p not equal to u?
True
Let z be (0 + 1)*(-2)/6. Let j = 1.9 + -2. Which is smaller: j or z?
z
Suppose 7*t = 4*t. Which is bigger: -1/4 or t?
t
Let x = 1.079 - 0.019. Let r = 0.06 - x. Let d be 4/(-14) - 4/(-7). Which is bigger: d or r?
d
Suppose -2*c = 2*c. Let d(b) = b. Let v be d(c). Is 2/7 at most as big as v?
False
Let g be ((-32)/(-12) - 3) + 0. Which is smaller: 5/2 or g?
g
Let t = -0.5 + 1.5. Let c(i) = i**2 - 5*i - 8. Let b be c(6). Are b and t nonequal?
True
Let m = 3.3 - 3.43. Let k = m - 4.87. Let j = k - 0. Is 1/3 bigger than j?
True
Let x be (-2 + 22/6)*3. Suppose -5*b = -5 - x. Let g be b*(-2)/8*2. Are 2/13 and g equal?
False
Let i(t) = t**2 + t - 8. Let q be i(7). Suppose -o + 5*o = 2*a - q, -2*a = -o - 12. Let p be (-27)/o*(-16)/(-42). Is p at least 0?
True
Suppose 8 = -3*g - x - x, 5*g + 2*x = -8. Which is bigger: -2/55 or g?
g
Let i = 29/36 + -8/9. Let u(c) = -c - 7. Let y be u(-7). Which is bigger: y or i?
y
Let z be 13 + 0 + (-1 - 2). Suppose -z = -l - 8. Is 1 <= l?
True
Suppose 5*p = 4*p + 2. Suppose p*h - 10 = 5*a, 2*a = 5*h + 2 - 6. Let l be (0 - -3)*6/(-63). Is l > h?
False
Suppose -3*t - 2*m = -16, -3 + 7 = -4*m. Which is smaller: 4 or t?
4
Let m = 1.1 - 0.1. Let g = m + -2. Let d = 6.1 - 2.1. Is d greater than g?
True
Let n = -1038/7 + 148. Which is greater: n or 2/61?
2/61
Let d = -157/42 - -5/21. Is -3 <= d?
False
Let j(g) = -g**3 + 5*g**2 + 4*g + 6. Let n be j(6). Let w = n + 6. Is 3/5 >= w?
True
Suppose h = -3*p + 8, -5*p - 3*h - 10 + 30 = 0. Suppose -i - 6 = -4*i. Which is bigger: i or p?
i
Let x = 19 + -32. Suppose -127*v + 33 = -130*v. Which is bigger: v or x?
v
Let i be (-3)/9*-3 - -3. Suppose -i*w - 7 + 31 = 0. Is w > 5?
True
Let v be (-36)/(-60)*(9 - -1). Suppose 0 + v = -3*x. Is -3 > x?
False
Let f(i) = -2*i**2 - 2*i - 1. Let m be f(-1). Let o be (0 - 2)/(-2)*-2. Let r be o/(-4) - 21/18. Which is greater: m or r?
r
Let n = -11 - -11. Suppose n*v - v - 1 = -c, 41 = -4*c - 5*v. Is c less than or equal to -4?
True
Let i(y) = 2*y**2 + y. Suppose 5*x = -5*c + 15, -3*x + 2*c - 18 = x. Let d be i(x). Which is bigger: d or 7?
7
Suppose -b = b. Suppose b = 4*x - 9*x. Suppose x*u - 1 = -u. Is 1 at least u?
True
Let w = 250/3 - 84. Let g = -2 - 0. Which is smaller: w or g?
g
Let t(p) = -3 - 18*p**2 + 3*p**2 - p**3 - 4*p + 3*p. Let c be t(-15). Is c > 13?
False
Let n(r) = -r**3 + 8*r**2 - r - 5. Let z(h) = h**3 - 9*h**2 + 2*h + 5. Let k(x) = 4*n(x) + 3*z(x). Let o be k(5). Suppose -4*t = t - o. Is t > 1?
False
Let x = -50 - -50. Let d(a) be the first derivative of a**3/3 + 3*a**2 + 6*a + 2. Let h be d(-5). Which is smaller: h or x?
x
Let n be (-1)/(-5) + (-32)/10. Is -2/5 greater than n?
True
Let f = 4/10403 + 12993327/52015. Suppose -2*j - 513 = -3*s, 5*s = 4 + 21. Let l = f + j. Is l bigger than 0?
True
Let i = -162 - -158. Is 0.02 equal to i?
False
Let a be (1/(-3))/(4/(-24)). Let g be 3 - (2 - -2) - 0. Which is smaller: a or g?
g
Suppose -8 = -2*r - 4*a, -3*a = -r - r - 6. Is 3 at least r?
True
Let p = -0.085 + -0.115. Let j = 0.45 + -0.1. Let k = 0.05 - j. Which is greater: p or k?
p
Suppose 0 = q - 4*q. Let m be (q - 1)*(-1)/(-2). Is m greater than or equal to 1?
False
Let o(g) = 4*g + 8. Let c be o(-3). Is c at least -7?
True
Let y be (6/(-4))/((-63)/(-12)). Let g be 277/5 + 4/(-10). Let o = 113/2 - g. Does o = y?
False
Let n = -0.8 - -2.6. Let x = n + -2.8. Is -1 smaller than x?
False
Suppose 3*x + 7 = 19. Let q(w) = -w**2 + 3*w + 4. Let r be q(x). Is 4/3 greater than r?
True
Suppose 2*u = -0*u + 12. Let t be 3/u*(-8)/(-20). Do t and -1 have the same value?
False
Let k be (-4)/(-14) - (-830)/35. Let m = -24 + k. Are -3/29 and m equal?
False
Let m = 52 + -32. Suppose 0 = -7*g + 2*g - 4*a - 16, 0 = 5*a + m. Are g and -2/13 equal?
False
Suppose 0 = -2*m - 10 - 2. Let k = -656 - -649. Which is smaller: k or m?
k
Suppose -7*p = -2*z - 3*p - 2, 0 = -4*z + 2*p - 4. Which is greater: 8/17 or z?
8/17
Let t = 520/3 - 175. Let m = 4/3 + t. Is -1 at most as big as m?
True
Let f(p) = -p**2 - 8*p + 9. Suppose 0 = -4*m + c - 14 - 17, 4*m + 3*c = -51. Let h be f(m). Which is smaller: -3/7 or h?
-3/7
Let p(o) = o**2 + 7*o - 10. Let z be p(-9). Which is bigger: 7 or z?
z
Let b = -64 + 82. Is 14 > b?
False
Let v = 7.1 + -0.1. Let x = 7.3 - v. Let z = 0.3 - 0.4. Is z greater than x?
False
Let z(j) = 2*j + 12. Let s be z(-6). Let c = 2 - 6. Let f = c - -1. Is s not equal to f?
True
Let l(n) be the first derivative of n**4/4 + n**3 - n**2/2 + n - 4. Let s be l(-3). Let u be 3/(3*s) - 0. Which is smaller: -4/3 or u?
-4/3
Let i = -7/2 + 4. Is i not equal to 3/11?
True
Let i be 0 - (-4 + 440/125). Which is smaller: 1 or i?
i
Let j be (2/8)/((-30)/(-72)). Is j equal to 2/3?
False
Let l(w) = -w**2 + 6*w + 8. Let d be l(7). Let z be (-8)/(-3) - (-2)/(-3). Let y = z - 2. Is y at least as big as d?
False
Suppose 0*h - 10*h = -320. Do h and 32 have the same value?
True
Suppose -4 = -4*p + 2*p. Suppose -p*d = -u + 12, -5*d + u - 30 = -2*u. Let m(n) = n**2 + 6*n - 3. Let g be m(d). Which is smaller: -2 or g?
g
Let g = -15 + 25. Let q = -0.132 + 0.232. Which is bigger: g or q?
g
Let j be ((-4 - 0)/(-1))/2. Suppose 2*y - 54 = 18. Let t be (7 - 3)*j/y. Is t at most as big as 2?
True
Let z(h) = -2*h - 1. L