Is w bigger than f?
False
Let n be 6/20*10/12. Which is smaller: 1/2 or n?
n
Let f(x) = x - 30. Let w be f(9). Is w greater than -22?
True
Let k be 4 - (3 - 8/(-12)). Which is smaller: k or -5/3?
-5/3
Let o(g) = -9*g**2 - 7*g - 21. Let p(a) = -5*a**2 - 4*a - 11. Let d(t) = 6*o(t) - 11*p(t). Let r be d(-3). Is -5 at least as big as r?
False
Suppose -3*v = -v - 14. Let q = 16 - v. Let x = q - 9. Which is bigger: x or -2?
x
Let l = 82 - 4508/55. Which is smaller: -1 or l?
-1
Let o = -2/383 + -1518/2681. Are 0 and o nonequal?
True
Let g = 7 + -3. Does 4 = g?
True
Suppose 21 = -d - 16. Is -39 less than or equal to d?
True
Let h(u) = u**2 - u - 9. Let v be h(0). Is -8 >= v?
True
Let o = 569 - 2877/5. Is o > -7?
True
Suppose 4*j + 24 = 4*v, 2*v - 4 = -4*j + 2. Are 3 and j non-equal?
True
Let s be 2/(3*2/9). Let l = -1 + 4. Is s at most l?
True
Suppose 3*x - r - 60 = 0, -7*r = -12*r + 15. Which is bigger: x or 18?
x
Let d be (12/8)/(6/(-8)). Let g be -1 + d - (4 + -4). Let p be ((-2)/(-2))/((-1)/3). Is g less than p?
False
Let x be 0 + 1 + 1 + -2. Let n be x - 1 - (0 + 1). Let b be (-6)/(-27) - 2/9. Which is greater: b or n?
b
Let t(m) = m + 1. Let r be t(-3). Let f = 15 + -18. Is r bigger than f?
True
Let a = 33 + -98/3. Let z(j) = j + 4. Let w be z(-4). Suppose 4*m + w*m = 3*i + 4, 3 = -3*i + 3*m. Is i less than a?
True
Let g = -5 + 8. Suppose -5*a + p - 1 = 4, g*a = -4*p - 3. Is 1 at least a?
True
Let i = 0.23 - -0.23. Let c = i + 0.04. Let v = -3 + 2.9. Which is smaller: c or v?
v
Let p = -1 + 1. Let q = -3/2 + 5/4. Is q smaller than p?
True
Let h be 4/(-18) + 32/306. Suppose 0 = -0*r - 2*r. Let x be r + 0 + 0/(-2). Which is smaller: x or h?
h
Suppose l - 1 + 4 = 0. Let s = 4 + l. Is 3/7 <= s?
True
Let a = 6.6 - 4.7. Let j = -1.94 + -0.06. Let p = a + j. Which is bigger: p or 0.1?
0.1
Let u = 0 + 1. Let v = -0.2 - -1.2. Let x = 0 + v. Is u >= x?
True
Suppose 0 = 4*z - 2*z. Let n be 5 + -2 + (-51)/21. Which is greater: z or n?
n
Let m be (-10)/35 + (-80)/(-84). Which is bigger: m or 1/3?
m
Let f = -16 + 13. Let s(n) = n**2 - 7*n + 7. Let x be s(6). Let j be (f/6*-2)/x. Does j = 1?
True
Let n(x) = 2*x - 4. Let c be n(7). Suppose -4*w = -t - 5 + 3, -5*t = -4*w + c. Let i = -0.2 - -0.1. Which is smaller: i or w?
i
Let b(t) = t**3 + 4*t**2 - 7*t - 3. Let k be b(-5). Suppose -3*s + 4 = -8. Suppose -3*z - 6 = -s*z. Which is greater: k or z?
k
Let f = 2.4 - 5. Let t = -0.6 - f. Let p be (7 - (-10)/(-2))/4. Are t and p equal?
False
Let t = -1 - 3. Let g be (-85)/(-20) + 1/t. Let q be g/14*2/4. Which is bigger: -1 or q?
q
Suppose 21 = -5*t - 14. Is -6 < t?
False
Let g(n) = n**3 - 4*n**2 - 3*n - 3. Let k be g(5). Let r be k/((-3)/(-3) - 2). Let l be ((-64)/r)/(-4) - -2. Which is greater: -1 or l?
l
Let t be (-5)/(-10) + (-3 - -2). Which is smaller: 21 or t?
t
Suppose 2*v + 2 = w + 3, 5*w + 5 = 3*v. Let t be 1/(2/(-4)*-1). Let l be 5/((-100)/6)*t. Is w less than l?
True
Suppose -17 = -4*n + 19. Are n and 10 equal?
False
Let m = 6 + -4. Let g be ((-12)/(-10))/((-20)/(-50)). Suppose g - 1 = -m*a. Is -3 >= a?
False
Suppose -3*t + 4 = -5. Let o be (((-9)/(-2))/t)/6. Suppose 2*g - g = 1. Which is bigger: o or g?
g
Suppose -2*u = -4*k + 18, 2*k - 3 = 3. Let h be 4/(0 - -1) + u. Is 3/5 at most h?
True
Let m(h) = 0*h**2 + 0*h**2 - 2*h**3 + 3*h - 2*h**2 - 2. Let a be m(3). Let p = -1103/17 - a. Is p less than 1/4?
True
Let x be 15/(-3) - -4 - -4. Suppose 5*d = 3*u + 11, 2*d = 3*u - u + 2. Suppose v = -d - x. Which is bigger: v or -8?
v
Let w(j) = 0*j + j + 7 - j**2 + 2*j**2 + 6*j. Let y be w(-6). Is 1 < y?
False
Let w = -28 + 19. Is -9 greater than w?
False
Let w(o) = 7*o - 4. Let f be w(3). Let k = -18 + f. Let c(b) = -b - 4. Let t be c(-3). Are k and t non-equal?
False
Let d = 0.93 - 2.93. Which is bigger: -0.13 or d?
-0.13
Let q(d) = -d**3 + 7*d**2 - 5*d - 6. Let k be q(6). Let y = -3 + 3. Suppose m + 2 = 0, 4*h - m = -y + 10. Is k smaller than h?
True
Let p = -0.8 + 1.1. Let d = 0.7 + p. Let i = 0.5 + -2.5. Which is smaller: i or d?
i
Suppose -2*b + 4*w - 19 = -3*b, -33 = -3*b - 4*w. Suppose 16 = 5*h - 14. Are b and h equal?
False
Let b(y) = 18*y**2 - 3*y + 3. Suppose -8 + 2 = -3*k. Let p be b(k). Let j = -346/5 + p. Which is smaller: j or -1?
-1
Let c(x) = x**3 - 5*x**2. Let w = -10 + 15. Let i be c(w). Is 8/7 != i?
True
Let y(h) = h**2 + 10*h + 12. Let l be y(-8). Is l smaller than -5/2?
True
Let f be ((-208)/(-3 - -7))/(-1). Is 53 greater than f?
True
Let s = 0.38 + -0.28. Are s and -2/13 unequal?
True
Let t = -23 - -19. Let l be ((-3)/(-2))/((-6)/t). Which is smaller: -17 or l?
-17
Let t be ((-78)/(-84))/((-3)/(-6)). Is 1 at most t?
True
Let l = 15.07 - 15. Let y = l + 0.03. Which is smaller: y or -1?
-1
Let c = 3095868499/78 - 39686525. Let h = -4098 + c. Let b = h - -18/13. Is -1 at least b?
False
Let q = -15 - -14.9. Is 13 equal to q?
False
Let z(p) = -p + 5. Let i be z(-11). Do i and 17 have the same value?
False
Let s = 38 - 26. Let n = -15 + s. Which is smaller: n or 2?
n
Let y be (-45)/9*3/(-5). Let d be y/(2/(8/66)). Is d less than -1?
False
Let h be 1 + 5/(1660/(-324)). Let d = h - -245/166. Does d = 1?
False
Suppose 5*v = -21 + 1. Suppose 0 = -b + t + 7, 4*t - 1 + 5 = -4*b. Let z be b/v + (-21)/(-12). Which is greater: z or 2?
2
Let v = -27 - -18. Let a = -9.1 - v. Is 1/3 at least as big as a?
True
Let d(q) = 2*q**2 - 4*q - 16. Let a be d(5). Is 13 greater than a?
False
Let u(i) = i**3 + 2*i**2 - 5*i - 2. Let b be u(-3). Suppose -4 = -b*q + 2*v, 2*q - 5*v - 10 = q. Which is smaller: q or -1/13?
-1/13
Let t be (-8)/12 + 2/3. Let j = -28 - -169/6. Is t not equal to j?
True
Let l(s) = -s**2 + 10*s + 9. Let m be l(-6). Let k = m + 608/7. Is k less than or equal to 1?
True
Suppose 0 = -6*y + y + 20. Let x = 8 - y. Which is smaller: x or 5?
x
Suppose 3*s - 4 = -0*s - 4*d, -5*s + d = 24. Which is smaller: s or -10?
-10
Let b be (-5)/(-20) + (-1 - (-14)/8). Suppose 1 = v - 0. Is v != b?
False
Suppose 4*p + 12 = -2*b, 6*p + 3 = b + 5*p. Suppose b = -2*d + 3 + 1. Which is smaller: 3 or d?
d
Let l = 4 - 8. Let h = 3.9 + l. Which is smaller: -2 or h?
-2
Let h(m) be the second derivative of -m**5/20 + 17*m**4/12 + 3*m**3 + 11*m**2/2 + 7*m. Let o be h(18). Is o smaller than 11?
False
Let m be 28/12 - (2 - (2 - 3)). Are -0.051 and m nonequal?
True
Let w = 20/121 + -1865/7623. Let p = 4/21 + w. Do p and 1 have the same value?
False
Let r = 8 - 7. Suppose 4*n = -2*q, 3*q + 0 + r = -5*n. Do -1 and n have different values?
True
Let x = -29 - -30. Which is greater: 0.1 or x?
x
Suppose 0 = -4*o + 3*z - 57, 5*z = -o - o - 9. Let m be 4/o - (-4)/(-6). Let c = 2 - 4. Is m not equal to c?
True
Let n = -18 + 26. Which is smaller: 7 or n?
7
Let p be (-538)/4 - 2/(-4). Let q = -410/3 - p. Let j = q - -4. Which is greater: 2 or j?
2
Let q(r) = -r + 5. Let g be q(8). Which is smaller: -8/5 or g?
g
Suppose 2*x + 24 = -4*g, -4 = 5*g - 3*x - x. Let u be (30/(-27))/(g/(-6)). Which is smaller: -3 or u?
-3
Let b(g) be the third derivative of g**4/12 - g**3/6 - 7*g**2. Let m be b(-1). Is m <= -2?
True
Let x be (-1)/(-6 + 2 - -3). Which is greater: x or -1/10?
x
Suppose -2*n + 14 = t, -2*t + n + n + 4 = 0. Suppose -3*d + t*d = 0. Is d smaller than -2?
False
Let b = 38 - 22. Let n = b + -17. Suppose -2*q = -5*y - 0*q - 7, -5*q - 23 = y. Is n not equal to y?
True
Suppose 3*y = -m + 20, 7*y + 5*m = 3*y + 45. Suppose 2*q = q - y*a + 18, 0 = -3*q - 5*a + 24. Which is smaller: q or 4?
q
Let a = -30 + 28. Which is smaller: a or -0.1?
a
Let l = 0.03 - 0.03. Let r = 0 + l. Let y = 0.02 + -3.02. Is r at least y?
True
Let z = 3.35 - 2.4. Let j = 0.05 + z. Which is smaller: j or 3?
j
Let z be 3/(-9) - 4/(-12). Which is smaller: z or -9/4?
-9/4
Let a = -70.81 + 70. Let t = -0.11 - a. Which is smaller: t or -2/3?
-2/3
Let k be 7 - 5 - 1*5. Let y be k + 2 + -1 + 1. Does 0 = y?
False
Let s = -1.2 - -1.3. Let p = 15.6 - 22.9. Let k = 7 + p. Which is greater: k or s?
s
Let b be (10 - 11)/((-1)/4). Suppose d = -0 + 4. Is d less than b?
False
Let t = -5966/11 - -544. Which is smaller: t or 3?
t
Suppose -4*n + l + 0*l = -507, 3*n + l = 375. Let q = n + -628/5. Let r = -5 + 2. Which is bigger: r or q?
q
Suppose 95 = -5*i + 5*u, 7*u = 3*i + 3*u + 53. Let w = -14 - i. Let o be (4/3)/(6/w). Is o at most 2?
