 m or f?
f
Let u be 30/135 - 148/18. Is u bigger than -1?
False
Let a = 18 + -22. Is a greater than -4?
False
Let o(d) = d + 8. Let x be o(-9). Which is greater: -14 or x?
x
Let h(k) = -k + 2. Suppose 3*p = p + 10. Let s be h(p). Which is greater: -5 or s?
s
Let d(g) = -g**2 + 5*g - 3. Let i be d(4). Let n(y) = 4 - 2*y + 4*y - y. Let p be n(-6). Which is bigger: p or i?
i
Let x(z) = 3 + 0 - 5*z - 2*z**2 + 0*z**2. Let a be x(-4). Let u be (1/(-3))/(3/a). Which is greater: 2 or u?
2
Let h = 15 + -13. Which is greater: 0.3 or h?
h
Let q = -17 - -17. Is q greater than 2/3?
False
Let q = 527/14 + -37. Let m = -15/14 + q. Is 1 greater than or equal to m?
True
Let r = -4 + 7. Let a be 8 + (-1)/r*0. Let f be 2*-1 + a/12. Which is smaller: 0 or f?
f
Let i = -296 - -2660/9. Is i > -2/9?
False
Let q = -100.95 - -106. Let y = 0.05 - q. Let n = y + 7. Which is bigger: n or 4?
4
Let l be ((-2)/(-4))/(1/(-64)). Let m be (-3)/((-12)/l*4). Is m equal to -13/4?
False
Let q = 0.21 - 0.2. Let s = -453 - -455.99. Let j = q + s. Which is bigger: -1/3 or j?
j
Let p = 8 - 9. Let q be p - 12/(-9) - 3. Is q not equal to -3?
True
Let z be (-3)/(1 - (4 - 2)). Let j be (-1)/z - (-2)/(-3). Let q be (((-5)/10)/(-1))/((-2)/4). Is j smaller than q?
False
Let k = -8.6 + 1.6. Let t = 9 + k. Is -0.1 greater than or equal to t?
False
Let b(k) = -k**3 + 7*k**2 - 7*k + 2. Let s be b(6). Let c be ((-3)/(-6))/((-2)/s). Is -1/5 at most as big as c?
True
Let o = 3 + -2.8. Let c = -0.4 + o. Is c less than 2?
True
Let u = 0.93 + -1. Let g = 3.07 + u. Let c = 3.1 - g. Which is bigger: 2 or c?
2
Suppose -2*s + 4*j - 20 = 0, s + 7*j - 3*j - 20 = 0. Let z be (-8)/6 - 4/6. Which is bigger: s or z?
s
Let n be ((-2)/4)/((-2)/52). Let j = n - 11. Does 2 = j?
True
Let g(k) = 2*k + 12. Let t be g(-6). Is t at least as big as -1?
True
Let k be ((-10)/(-4))/(55/66). Which is bigger: 11/3 or k?
11/3
Let v(a) = a**3 + 4*a**2 - 5*a - 3. Let o be v(-5). Let p = -2 + 1. Let y = p + -1. Which is bigger: y or o?
y
Let d = 48.7 + -49. Does d = -0.3?
True
Let q = -175/3 - -58. Is 0 < q?
False
Let u be (-22)/28 - (-4)/14. Let x = 1 - 0. Suppose -3*c = x + 2. Which is greater: c or u?
u
Let j = -16 - -16. Let y = j - -8. Is y less than 1?
False
Let n = -0.2 - -0.3. Suppose 2*o - 10 = 5*x - 4*x, 4*x + 2*o = 10. Suppose x = -5*d + 3*d + 4. Are d and n nonequal?
True
Let v(h) = -h - 4. Let s be v(-4). Are 7/6 and s nonequal?
True
Let w be ((-18)/(-12))/((-22)/(-4)). Is w greater than or equal to -1?
True
Let t(b) = b. Let h be t(4). Let g(d) = -d**2 + 5*d - 2. Let j be g(h). Let y = j + -3. Is y less than or equal to -3?
False
Suppose 5*n - 30 = -4*d, 3*d + d = -n + 38. Let r = d + -11. Is -2/3 != r?
True
Let w(v) = -v - 2. Let n be w(8). Let t(x) = -x. Let l be t(9). Which is smaller: n or l?
n
Let p = -21 - -17. Let b be ((-6)/4)/((-3)/(-4)). Let m be ((-5)/2)/(b/(-4)). Do p and m have the same value?
False
Let m = 13 - 12. Is 3 != m?
True
Suppose 4*n + 3*u - 37 = 0, -3*n - u + 25 = 4*u. Suppose c = -3*k - n, 4*k - c + 20 = k. Are k and -2 equal?
False
Let q be (-6)/3*9/(-6). Suppose -q*s + s + 4 = 0. Which is greater: 4/5 or s?
s
Let p = 9 + -3. Let a = p - 9. Let d be -3*(a/9)/1. Which is bigger: -1 or d?
d
Let v be 6/3*2/4*7. Is 6 < v?
True
Let p(u) = 3*u**2 - 2*u - 1. Let d(n) = 15*n**2 - 11*n - 5. Let x(w) = -2*d(w) + 11*p(w). Let s be x(1). Is s equal to -0.1?
False
Let u be (-6)/3 - (1 - 0). Let q be 63/(-15) - 3/(-15). Which is smaller: q or u?
q
Let m = -9 - -12. Suppose 2 - 14 = 5*u + m*n, -2*u + 8 = -2*n. Which is greater: u or -1/6?
u
Let d be (20/(-14) + 2)/(-1 + 0). Is 1/2 at least as big as d?
True
Let s = -0.007 + 3.007. Which is bigger: -0.2 or s?
s
Suppose -i - 1 = -q, 3*q + 3 = -3*i + 5*q. Suppose 3*h + 3*x = -h + 17, -4*x + 21 = 5*h. Are h and i equal?
False
Let u = 2.13 + -1.5. Let k = u - -3.27. Let h = -4 + k. Are h and -2/3 nonequal?
True
Let w(b) = -b - 5. Let x be w(-5). Suppose x = -0*u + u - 1. Is 1 less than u?
False
Let y be (-1 + -8)/((-132)/88). Let a = 0 - 0.2. Let b = 0.1 + a. Is b < y?
True
Let w = -1 + 2. Suppose -5*k + 23 = -4*h, -4*k + 3 = 5*h + w. Let g be 4 + -2 - 12/k. Which is greater: 1 or g?
1
Suppose -63 = -3*t - 0*t + 3*s, 0 = -2*t + s + 39. Let l = 377/21 - t. Let v = 8/21 + l. Is -0.1 less than or equal to v?
True
Let u be 4/(-30) - (-17)/15. Is u greater than or equal to 3?
False
Let i(h) be the second derivative of -h**3/3 + 11*h**2/2 + 5*h. Let o be i(6). Is -2/19 greater than o?
True
Suppose -3*x = 2*n + 11, -x + 12 = -5*x - 2*n. Which is bigger: 3/44 or x?
3/44
Suppose 0*j + 2*j - 8 = -3*b, j - 9 = -4*b. Is -2/15 at least as big as j?
False
Let a be (-5)/(45/6)*6. Which is greater: -8/3 or a?
-8/3
Let i = 1 - -13. Suppose -4*g - 17 = -7*g + b, -3*b = 2*g - 15. Let l be (-4)/g - i/(-21). Which is greater: l or -1/5?
l
Let x(p) = 13*p**2 - 23*p - 9. Let m(g) = -7*g**2 + 12*g + 5. Let v(l) = -11*m(l) - 6*x(l). Let u be v(5). Let j = u + -4. Is 0 less than j?
False
Let z(u) = u**2 - 9*u + 16. Let s be z(7). Is s <= 1?
False
Let c = -14 + 12. Let k = -1 + 3. Suppose 0*x = -k*x. Is x at least as big as c?
True
Suppose 0 = 2*r + 2 - 6. Suppose 1 - 5 = -4*x + r*k, -x + k = -2. Let f(q) = q**3 + 6*q**2 + 5*q - 1. Let n be f(-5). Does n = x?
False
Suppose 5*l - 5*r + 35 = 0, l + r = 6*l + 19. Let a be 2 - (-8)/(-24)*6. Which is smaller: l or a?
l
Let b(i) = i. Let z be b(7). Let c(f) = 6*f - 4. Let y(h) = h + 1. Let j(m) = c(m) - 3*y(m). Let w be j(5). Is w greater than or equal to z?
True
Let j be 0/10 - 4/(-13). Which is bigger: 0 or j?
j
Let d = 201 - 206. Which is smaller: d or -34/7?
d
Let r(k) = k**2 + 4*k - 13. Let c be r(-7). Is 7 not equal to c?
True
Let v = 0.2 - -2.5. Let j = v + -0.7. Let y = -0.02 + 1.02. Which is smaller: y or j?
y
Let p = -5.2 - -5. Let f = p + 0.3. Is -0.1 smaller than f?
True
Let h be (-24)/36*(2 - (-250)/4). Are h and -44 unequal?
True
Let b = -31 + -8. Let q = b + 155/4. Let s be (-3)/9 + 2/6. Which is bigger: s or q?
s
Let b(u) = -9*u - 7. Let y be b(-1). Which is greater: y or 5?
5
Let t(q) = -q**2 - 6*q + 9. Let o be t(-7). Let m be o/2 - (-16)/4. Are m and 6 non-equal?
True
Let d be (18/15)/((-3)/(-10)). Let a(k) = k**2 + k. Let i be a(3). Suppose 2*j = d*s - 8*s - i, j = 0. Which is bigger: -4 or s?
s
Let d(c) = -c**3 - 10*c**2 + c + 13. Let i be d(-10). Which is greater: i or 0?
i
Let f = 10 - 8. Let w be (14/4)/((-3)/f). Which is greater: w or -2?
-2
Let t = -0.2 - 9.8. Let p = t + 10.3. Is p != 1/3?
True
Let o = -94 - -25. Which is smaller: 0.1 or o?
o
Let s(j) = j**2 + 14*j - 38. Let h be s(-16). Does -1 = h?
False
Let m be (2/6)/((-5)/(-45)). Suppose -m*i - 4 = -19. Which is smaller: 4 or i?
4
Let p = -2 + 4. Let f = 2.1 + -2. Are f and p non-equal?
True
Let l be 2 + (-8)/6 - 0. Let z(k) = -k**2 + 19*k - 16. Let x be z(18). Do l and x have the same value?
False
Let z be (0 - -4)/1 + 0. Which is smaller: z or 3?
3
Let n(u) = -u**2 - u - 1. Let l be (-4)/12*(4 - 1). Let g be n(l). Which is smaller: g or 1?
g
Let d be (2/3)/(4/6). Let m = 12.1 + -0.1. Let j = m + -14. Which is bigger: d or j?
d
Let g(a) = a**2 + 8*a + 8. Let h be g(-7). Do h and 3 have the same value?
False
Suppose 0 = -2*n + 6*n + 20. Is -2 != n?
True
Suppose 2*m + 4*p = p - 8, 0 = -p - 4. Suppose 2*o + 4*v = 24, -3*v + 10 = m*v. Suppose -3*s - o = 2*l - l, 5*s = 3*l - 18. Is s greater than or equal to -2?
False
Let v = 39 - 39. Which is smaller: v or -1/23?
-1/23
Suppose 4*w = -8 - 8. Let z(p) = 2*p + 5. Let s be z(w). Which is smaller: -4 or s?
-4
Suppose -3 = 3*a + 48. Let i = a - -12. Let q be i/3 - (-8)/12. Which is smaller: q or -2/9?
q
Let i be -1*(-6)/(-10) + 1. Let u = -15 + 16. Suppose u = a - 0. Are a and i non-equal?
True
Let w(s) = s**3 - 3*s**2 - s + 2. Let t be w(3). Suppose 2*m - b - 1 = 0, -5*m + 4*m = 3*b - 4. Let z be (0 - 1)*3*m. Are t and z equal?
False
Let x = 12.3 + -11.3. Let b = -4 + 5.1. Let q = -1 + b. Which is smaller: x or q?
q
Let i(m) = m**3 - 8*m**2 + 2. Let k be i(8). Let h be (-1)/k + 2/8. Is -1 at least h?
False
Let g = 0 - 0. Let u(i) = -2*i**2 - 4*i + 1. Let d be u(-2). Is d != g?
True
Suppose 4 = -0*l + 2*l. Suppose -5*c + 0*f = 3*f + 10, c - 4*f + l = 0. Let b be -2*-3*c/6. Are -2 and b non-equal?
False
Let g be (4/