40) + 15/(-20). Which is bigger: 1 or j?
1
Let n = -1.3 - -0.3. Let i(j) = -j + 2. Let g be i(4). Let u be g + 3 + (-6)/3. Are n and u equal?
True
Suppose -l - 2*l + 504 = 0. Suppose 7*y + l = 3*y. Let f be (y/20 - -2)*-4. Which is smaller: 1 or f?
f
Let p = 40 - 131/3. Does -3 = p?
False
Suppose 4*h + 10 = 2*m, -4*h + 4 - 15 = -3*m. Let p = -1 - 3. Let g = p - -3.8. Which is smaller: g or m?
g
Let p be ((-5)/(-2) - 4) + 3. Let k(q) = -8*q**3 + 3*q**2 + 2*q. Let c be k(-2). Let b = c + -362/5. Are p and b equal?
False
Let i = 1.4 - 8.4. Let q = i - -7.5. Let o = 0.6 - q. Is 1/5 equal to o?
False
Let c = 24 - 24. Which is greater: -1/5 or c?
c
Let n = -2 - -1. Let k(z) = -z**2 - 6*z - 2. Let x be k(-6). Which is bigger: n or x?
n
Let a be (-43 - -61) + (-1 - (1 - -2)). Is a at least 15?
False
Let x = -31/11 - 248/33. Is -11 greater than x?
False
Let w = 7 - 2. Let a = 6 - w. Which is smaller: -2 or a?
-2
Let m = -89 + 88. Which is smaller: m or -10/13?
m
Suppose -5*s - m + 11 = 0, 0 = -s - 3*s + m + 16. Let g be 28/(-6) - 4/(-6). Let j = g - -7. Is j != s?
False
Let u be 1*(3 + -1 - 1). Let i be (u/(-2))/(10/4). Let d = -17 + 117/7. Is i greater than d?
True
Let o be ((-6)/(-4))/((-21)/(-4)). Is o at most -2/37?
False
Let j(h) = 2 - 4 - 21*h**3 + 20*h**3 - h. Let o be j(-2). Let m be (3/o)/(3/4). Is -7 less than or equal to m?
True
Let m = 2 + -4. Let x = 5 + -4.5. Let h = x + -0.5. Is h smaller than m?
False
Let p = -11 - -16. Let h be 0 + -1 + (0 - -5). Suppose m = p*y + 11, -h*y = 2*m - 0*y + 6. Which is smaller: 0 or m?
0
Suppose 2*g - 6 = -0*g. Let s = -1 + g. Let i(u) = u**3 + 8*u**2 + 6*u - 6. Let q be i(-7). Is s smaller than q?
False
Let m = 68/45 - 2818/1845. Does m = -1?
False
Let m = -0.01 + 3.01. Let u = 0.177 - 0.177. Are m and u unequal?
True
Let p(g) be the second derivative of -g**4/12 - 3*g**3/2 - g**2/2 + 3*g. Let a = 10 - 19. Let q be p(a). Which is smaller: q or -4/5?
q
Let g(i) = 7*i**3 - i**2 - i + 2. Let s be g(1). Is s equal to 8?
False
Let x = 9 - 6. Suppose x*a + 7 = -p, -2*a + 1 = -3*a - p. Let u = 0 - 2. Which is greater: a or u?
u
Let g(n) = -n**2 + 6*n + 2. Let y be g(6). Suppose -4*r + 9 - 1 = 0. Suppose 8 = -r*o + 6*o. Is y less than or equal to o?
True
Let r = 32/105 - -2/21. Let s = 8.8 + -9. Which is smaller: s or r?
s
Suppose 2*m - 4*w - 57 = w, 89 = 4*m - 5*w. Let j be (-8)/(-12) + m/30. Is j >= 1?
True
Let k = 1 - 1. Suppose -3*h + h = k. Is -4/3 at least as big as h?
False
Let z = -6 + 9. Suppose -3*t - s = -3, -4*t + 15 = 2*s + z*s. Let v be ((-2)/5)/(26/(-10)). Is t > v?
False
Let b(u) = u**3 + 20*u**2 + u + 20. Let p be b(-20). Suppose 0 = -2*z - z - 9. Is p not equal to z?
True
Let x(l) = 5 + 7 - 10 - l. Let p be x(5). Which is smaller: -4 or p?
-4
Let t be (1 - 2)*-1 - 187/(-55). Is t equal to 2/7?
False
Suppose -i = b - 0*i + 8, -4*i = 4. Let t = b - -8. Suppose -3 = -4*g + t. Which is smaller: g or -2?
-2
Let c be (-6)/12*100/(-2). Suppose c*i = 21*i + 28. Is i <= 7?
True
Let h = 2 - 3. Let s = -1.2 - h. Let n = 131/3 + -44. Are n and s non-equal?
True
Let s be 2 + 0 + 0/(-2). Let b be (1/s)/(2/(-8)). Is -2 not equal to b?
False
Let d = -0.8 - -3.8. Let g = d + -2.9. Is -5 > g?
False
Let b = -0.37 - -0.23. Is b equal to -1?
False
Suppose -4*o = -o - 9. Suppose 7 = 4*n - 5*t - 5, 5*n - 15 = 3*t. Is o at most as big as n?
True
Let o(n) = -n**3 + 17*n**2 + n - 3. Let u be o(17). Is u <= 14?
True
Let f be 2/(-8) - (-17)/36. Let l = 7 - 8. Which is smaller: f or l?
l
Suppose 3*k + 6 = 6*k. Suppose r + 4 = 5*a, k*a - 20 = -a + 5*r. Let y = -201/1736 - 2/217. Is a < y?
False
Let b = -42.7 - -43. Which is smaller: b or 4/5?
b
Let a be 2/(3 - 4 - -2). Suppose a = -2*o + 4*o. Which is bigger: o or 0?
o
Suppose -6 + 1 = -m. Suppose -b + 6*b = m. Is 0.05 equal to b?
False
Let h be -1*2 + -1 + 7. Suppose -l = -h*l. Which is smaller: l or 1?
l
Let h(k) = -5*k + 7. Let c(b) = 6*b - 6. Let s(v) = 4*c(v) + 5*h(v). Let a be s(9). Let t = 17/2 + -115/14. Is t bigger than a?
False
Let u = 0.074 - 4.974. Let g = u - 0.1. Let v = g + 2. Are v and 0.2 nonequal?
True
Let m be ((-4)/(-6))/(5/(-15)). Suppose 6 = -0*v + 2*v, -4*o - 4*v = 0. Let t = 0 + o. Is t < m?
True
Let p = 4/181 - -174/8507. Which is greater: p or 0?
p
Let p(v) = -v**2 - 16*v - 15. Suppose 16*b - 19*b = 45. Let j be p(b). Which is smaller: -10 or j?
-10
Let w = 0.03 - 0.13. Is w at least as big as 2.5?
False
Suppose 4*d = -2*m + m - 9, -5*m - 30 = 5*d. Let y = m - -4. Let q be 3/(-2)*(-4)/(-8). Which is bigger: y or q?
q
Let i = -0.5 - -0.3. Let r = i + -0.8. Are 2 and r nonequal?
True
Let c(n) = n**3 - 3*n**2 + 2*n - 3. Let m be c(2). Let o(f) = -f**3 - 2*f**2 + 3*f - 2. Let l be o(m). Let z be (-5 - -8)*l/(-6). Which is greater: z or 6/7?
z
Suppose 0 = 5*r - 3*r - 4. Suppose 5*x - 4*c + 57 = -2*c, -2*x + r*c - 24 = 0. Which is bigger: x or -10?
-10
Let p be 2/3 - (-10)/(-6). Let w = 13 - 12.83. Let a = -0.07 + w. Which is greater: a or p?
a
Let a = 1 + -2. Let v = -13 + a. Let k = 20 + v. Which is smaller: k or 1?
1
Suppose -7*s = -12*s - 85. Let m = s - -17. Which is smaller: -6/11 or m?
-6/11
Let j = -2 - 0. Let g be -2 + 1/(j/(-4)). Is 4/3 greater than g?
True
Suppose 0 = -4*w + 5 + 7. Suppose -6 = -w*g + 3. Is g smaller than 5/3?
False
Suppose 10*w = 7*w + 9. Suppose -w = 5*c + 2. Which is smaller: c or -2?
-2
Let o(d) = -7*d**2 + d + 1. Let q be o(-1). Let c be (-6 - q)/((-1)/(-2)). Suppose 2*f + 0*f + c = 0. Is 1/3 less than f?
False
Let w(q) = -228*q - 4. Let a be w(-5). Let p be a/(-44) + 6/(-33). Let o be 3 + p/(-9)*-1. Which is smaller: o or 1?
o
Let z(j) = -j + 9. Let l be z(9). Let n(c) = c**2 + 5*c + 1. Let b be n(-5). Suppose -i - b = -l. Are 0 and i equal?
False
Suppose -4*w = -3*a + 29, a + 3*w + 16 = 4. Let v = 1 + a. Suppose 6 = -3*o, -4*o + v = -5*m + 2*m. Is m at least as big as -4?
True
Suppose 4*v - 5 = -1. Which is smaller: v or 2/109?
2/109
Suppose -5*x - 24 = i - 2*i, 2*i - x - 30 = 0. Do 2/7 and i have different values?
True
Let a = -9 + -7. Let y be (2/a)/((-2)/(-4)). Is y equal to 2?
False
Suppose -4*g = 3*a - 9*g + 17, -4*a - 16 = -5*g. Which is smaller: a or 3?
a
Let d = -11/2482 + -256250/3723. Let x be (264/(-15)*1)/(78/325). Let w = x - d. Which is smaller: -4 or w?
w
Let m = 36/7 - 1023/203. Which is smaller: m or 0?
0
Suppose 5 + 4 = 3*j. Suppose -k - k = -4. Does j = k?
False
Let k be (-1 - 1)*2/4. Let m = 6 - 3. Let n be m*2*1/3. Is k at most n?
True
Let o = 1.2 - 1. Let r = 12 - 13.2. Let i = o + r. Which is smaller: 2/5 or i?
i
Let m be (0 + 5 + 3)/2. Suppose -m = -4*j - 8. Let i = j + 5. Is 3 less than or equal to i?
True
Suppose -27*t = -32*t + 100. Are t and 20 non-equal?
False
Let l(h) = -h**3 - 6*h**2 - 5*h + 3. Let c be (4 - 2)*5/(-2). Let y be l(c). Let g = -3 + y. Is g > -2/3?
True
Suppose 666 + 63 = -9*x. Which is smaller: x or -80?
x
Let n = 338/781 + 8/71. Do 0 and n have different values?
True
Let k(f) = -f**2 + 3*f + 4. Let r be k(4). Let o be (-11)/(-30) - (-4)/(-8). Which is bigger: r or o?
r
Let q = 71.6 - 72. Let w = 0.2 - 0.2. Let g = 1 + w. Is q > g?
False
Let g(w) = 9*w + 3. Let j be g(3). Suppose 3*x = 3*y + j, 3*y + 40 = 6*x - x. Suppose -x*h + h = -8. Which is smaller: h or 2/3?
2/3
Let r(i) = -i**2 - 17*i - 15. Let z be r(-16). Which is smaller: -6/17 or z?
-6/17
Let o = -89.9 + 86. Let y = o - 0.1. Let k = -4.2 - y. Which is smaller: -1 or k?
-1
Let k(n) = 2*n**3 + 2*n**2 + 1. Let o be k(-2). Let t be 44/6 - (-1)/(-3). Let a = t + o. Is 1/11 smaller than a?
False
Let b(i) be the second derivative of i**4/6 + i**3/2 - 2*i**2 - 2*i. Let g be b(-3). Suppose 10 = -5*y, -g*y - 26 = 2*c - 8. Is c at least -2?
False
Suppose -3 = -4*z + 1. Let b be 2/(-4)*z/(-2). Let g = 1 + -2. Are b and g equal?
False
Let b = 72/65 - 282/325. Which is bigger: b or 0?
b
Let a = 5 + -13. Let d = 7 + a. Is d > -1?
False
Suppose k - 58 = -3*j - 14, 4*j = 4*k + 32. Let w = 9 - j. Is -4 greater than w?
False
Let h = -3 + 10/3. Suppose -t + 4*t - 3 = 0. Is t less than or equal to h?
False
Suppose 5*l + 16 = 3*t, 2*t + 0 = 3*l + 10. Suppose t*m + 6 = -0. Suppose 3*b + o + 17 - 5 = 0, 5*o = 3*b + 12. Is m equal to b?
False
Let q be (-6)/(-2) + 110/(-30). Which is bigger: q or -2?
q
Suppose -4*b = 5*k + 9 - 70, 0 = 