4))/((-30)/(-21)). Which is greater: b or j?
b
Suppose -4*l + q + 302 = 0, -10 = q + 4*q. Suppose -2*w - p - 7 = 26, -5*w - l = p. Which is greater: -13 or w?
-13
Let z be 1/5 + (-136)/(-20). Let u be 16/(-22)*z/14. Which is smaller: 1 or u?
u
Let j be -6 - (3 - 2)*0. Let c = -4 - j. Let n be (c/(-3))/((-25)/(-30)). Is n < -1?
False
Suppose -10 = -j - 4*h, j + h = -j - 1. Let d(c) = -c**2 - 3*c - 3. Let t be d(j). Is t < -5/3?
False
Suppose -3*q + 38 - 251 = 0. Let y = 638/9 + q. Is y > 0?
False
Let n be (3 - (-8)/(-4))*5. Is n >= 0.1?
True
Suppose 0 = y - 1 - 3. Let x(m) = -m**2 + 7*m - 4. Let a be x(y). Is a less than or equal to 8?
True
Let l(u) = -16*u + 7. Let n be l(2). Is -25 greater than or equal to n?
True
Let j = -4.9 + 5. Is j at most as big as -1?
False
Let i be (1 - -11)/6 + -2. Let f = -0.2 - -0.1. Which is greater: f or i?
i
Let d be (9/10)/(6/5). Is d at most -0.4?
False
Let w = 1 + -1. Suppose 4*r + 2 - 6 = w. Suppose 5*x - x = 0. Which is bigger: r or x?
r
Let d be (8/498)/((-4)/6). Let i be ((-2842)/830 - -1) + 3. Let n = i - d. Is 2 at least n?
True
Let z = 7 + -8.2. Let t = z - -1. Is -1/4 less than t?
True
Let d be (4/(-5))/(12/(-30)). Let k(s) = -s + 2. Let n be k(d). Which is greater: 2/11 or n?
2/11
Suppose -3 = -x - 2. Suppose 3*q + 397 + 29 = 0. Let p = 1564/11 + q. Are x and p non-equal?
True
Let j = -12 - -14. Is j not equal to 4?
True
Suppose -5*v = 3*j - j - 24, 2*j = v. Suppose -3*q - 4*z + 10 = 0, q - z - v = 5*q. Which is greater: q or -1/2?
-1/2
Let r = 79 - 79. Which is greater: r or 3/28?
3/28
Let m(y) be the third derivative of y**6/120 + y**5/10 - y**4/4 + y**3 - y**2. Let a = 6 + -13. Let d be m(a). Which is greater: 1 or d?
1
Let z(q) = q**2 + 4*q - 2. Let f be z(-5). Suppose -1 + 16 = f*p. Which is smaller: p or 3?
3
Let j(r) = r**2 + 4*r + 2. Let f be j(-4). Let k be 0/f + (-1)/(-1). Let w = 25/448 + 1/64. Is k less than w?
False
Let q(h) = -h**2 + 12*h - 37. Let f be q(11). Which is smaller: -27 or f?
-27
Suppose -5*l - 2*x = -146, -5*x = -3*l + 76 - 7. Let d = l + -85/3. Which is smaller: -1 or d?
-1
Suppose 2*r + 17 = 9. Let p be ((-2)/(-2))/(r/(-52)). Is 13 bigger than p?
False
Let l = 9 + -9.5. Let s = -0.3 - l. Which is smaller: -5/4 or s?
-5/4
Let c = -0.03 - -0.13. Let f = -5.1 + c. Let x = f - -5.1. Is x >= -2?
True
Let m be (-3)/(6 + -3)*1. Let d = -3 - -4. Do d and m have the same value?
False
Let k = -3 - -2. Suppose 5*x - 2 = 5*p + 13, 2*p = -3*x + 4. Suppose 0 = 3*y - y + x. Is k at least as big as y?
True
Suppose 0*w = 4*w. Let d = -1.53 + -0.37. Let x = d + 0.9. Is x at least as big as w?
False
Let z be (-12)/8*3*16/36. Do z and -14/11 have the same value?
False
Suppose h + 3 - 2 = 0. Let k be (48/(-18))/(h/3). Let c = k - 5. Is c bigger than 1?
True
Let t be ((-232)/32)/((-1)/(-40)). Let q = 6672/23 + t. Is 0 bigger than q?
False
Let k(q) = q**2 + 3*q + 2. Let a be k(-4). Let b be (-5 + 2)/(a/8). Let l be (b/10)/(1/5). Which is greater: -1/2 or l?
-1/2
Let i = -491 - -10805/22. Which is bigger: i or 1?
1
Let q(i) = i**2 - 6*i + 6. Let r(u) = 1 + u + 2 - 2. Let l be r(4). Let g be q(l). Is g >= -4?
True
Let j = -7 + 7.2. Suppose 3*a + 20 = -2*a. Which is smaller: j or a?
a
Let u = -19 + 17. Which is greater: u or -3?
u
Let g(o) = 2*o**2 - 11*o - 8. Let x(d) = d**2 - 10*d - 9. Let k(v) = 2*g(v) - 3*x(v). Let z be k(-6). Is z at least -3?
True
Let n(a) = a**2 - 5*a - 8. Let d be n(6). Let r be -1 + (48/(-15) - -3). Which is bigger: r or d?
r
Let v(h) = -h**2 - 5*h + 4 + 1 - 2. Let m be v(-5). Suppose 2*s - 4*n = 3*s + 10, -5*s - m*n = -1. Which is greater: 1 or s?
s
Let d = 6 + -6.1. Is 3 at most d?
False
Suppose 9 = 4*r - 27. Suppose -25 = -6*m + m - 5*x, -x = 2*m - r. Suppose t + 0*t = -m*q + 7, -3*q + 1 = 5*t. Are -1 and t nonequal?
False
Suppose y + 2*m + 16 = 2*y, -m - 20 = -2*y. Let s(f) = -f + 1. Let n be s(y). Does n = -7?
True
Suppose 5*g - 137 = -57. Let q = g - 15. Is q greater than or equal to 2/11?
True
Let n = -9 - -4. Let g(f) = f + 4. Let h be g(-9). Let b = n - h. Which is smaller: -3/4 or b?
-3/4
Let z = -1004 - -4053/4. Let y = 17/2 - z. Let w be (1/7 + (-39)/(-21))*-1. Which is bigger: y or w?
y
Let g be (-27)/12 + (3 - 1). Does 5 = g?
False
Let o(y) = -y**2 - y. Let d be o(0). Let j = d - 1. Let u(m) = m**3 - 7*m**2 - 8*m - 1. Let i be u(8). Is j greater than or equal to i?
True
Let o(n) = -5*n + 13. Let y be o(2). Which is bigger: y or 5?
5
Let w = 2.94 - -0.06. Let l = 0.044 - 0.144. Which is greater: l or w?
w
Let f(t) = t**3 - 5*t**2 - 4*t + 2. Let v be f(6). Let j be 22/v + (-2)/1. Which is smaller: 1 or j?
j
Suppose -12 - 12 = 4*j. Which is smaller: -3 or j?
j
Suppose -2*s + 6 - 4 = 0. Let i be ((-3)/(1*12))/s. Which is smaller: i or 3/7?
i
Let m = -2/357 - -244/1071. Suppose 0 = 3*z + 3*y - 33, -z = 4*y - 12 + 4. Let g be -1 + 4/(z/(-3)). Is g smaller than m?
True
Let y = -13 + -3. Let w = y - -8. Let t = 3 + w. Are -1 and t non-equal?
True
Let x = 0.01 - 2.01. Let a = -0.51 - -0.61. Which is greater: a or x?
a
Suppose 2*i - 34 = -2*y, -i = -4*y - 0*i + 78. Is y <= 19?
True
Let p = -4 + 6. Let w be 3/p - 1/2. Is 3 >= w?
True
Let v(y) = y - 9. Let h be v(4). Which is greater: h or -4?
-4
Suppose -3*o + 0 = -6. Suppose 4*h - 764 = 4*b, 135 = o*h + b - 247. Let p = -1329/7 + h. Which is greater: 0 or p?
p
Let p be (-16)/64 - 22/40. Is p equal to -2?
False
Let u(a) = a**2 - 5*a - 9. Let w be u(7). Suppose 0 = w*i - 5 + 15. Does -1 = i?
False
Let r = -2490/13 - -192. Do 0 and r have different values?
True
Let f be (6 - 8)*2*1. Is f equal to -2?
False
Suppose 0 = 5*k - l - 10, 3 = -l - 2. Is -2/111 at least as big as k?
False
Let v = -502 - -501. Let h = -19/28 - -9/14. Is v bigger than h?
False
Let m = 0 - 0. Let u = -3 + m. Let r = u + 3.2. Is -1/2 at most r?
True
Let l = -20 + 8. Let v be (-3)/(l/(-4)) + 5. Are v and 3 equal?
False
Let h = -197 - -309. Suppose -4*s + 3*x = -x - h, -2*x - 26 = -s. Suppose 2*c - 20 = 4*q, 3*c - 4*q = s - 10. Are c and -0.4 equal?
False
Let h = -34 + 33. Is -11 bigger than h?
False
Let u = -3 + -6. Let m = -9 - u. Are 0 and m equal?
True
Let g be (-1 + 1)/((-3)/(-3)). Is -2/73 less than g?
True
Let r = -2/29337 + 4165864/146685. Let o(a) = a**3 - a**2 - a - 28. Let z be o(0). Let j = z + r. Which is greater: j or 0.3?
j
Let k = 0.12 - -0.11. Is -3 bigger than k?
False
Suppose 0 = 3*f - 0*n + 3*n - 3, -3*f - 5*n = 5. Let u = f + -6. Suppose 3*y - 2 + 5 = 0. Does y = u?
True
Let k = -41/21 + 9/7. Is 1.8 at most as big as k?
False
Let t(z) = 3 + 3*z + z**3 + 2*z**2 + 3*z - 4*z. Let n = 4 + -6. Let s be t(n). Which is greater: -2/7 or s?
-2/7
Suppose 1 - 13 = -4*p. Suppose v = -p*v - 108. Let k be 6/v - (-2)/90. Is 1 bigger than k?
True
Suppose 5*s = 3*s + 12. Let r be 32/(-6)*9/s. Let a be 2/r + 104/(-96). Is 0 smaller than a?
False
Suppose -4 = -3*u + 2. Suppose 3*s - u*s = 10. Suppose 4*h + h = -s. Which is greater: -3 or h?
h
Let x(y) = 2*y + 14. Let d be x(-11). Is d greater than -10?
True
Let n(l) = -l**2 + 5*l + 27. Let d be n(-3). Do 42/25 and d have different values?
True
Let r = 26 - 41. Is 1 not equal to r?
True
Suppose -2*q + 2 = -q - 3*x, 0 = 2*x. Suppose 15*n + q = 13*n. Which is smaller: n or -0.16?
n
Let y(i) = -i + 1. Let k be y(-1). Suppose -x = 3, -k*h + 10 = 3*h - 5*x. Let u = 52 - 53. Are h and u equal?
True
Let m(u) = -2*u - 11. Let t be m(-8). Suppose 5*i + 20 = 5*n, 11 = t*n - n - 3*i. Which is bigger: -0.2 or n?
-0.2
Let h be (-586)/136 + 8 + -5. Let s = h + 18/17. Let u(q) = q + 5. Let f be u(-5). Is s bigger than f?
False
Suppose s + 5 = 3*d, 0*s - 7 = -3*d + 2*s. Which is smaller: -4 or d?
-4
Let o be (4 - 2)/((-2)/(-7)). Suppose -2*r - r + 17 = 2*z, o = 2*z + r. Which is smaller: z or 6?
z
Let i be (19 - 21)/(19/3). Which is greater: -1 or i?
i
Let c be 0*(9/3)/(-3). Let w = 64/9 - 74/9. Is c less than w?
False
Suppose -6*j = -8*j. Is j < -2?
False
Let o(x) be the first derivative of -x**2/2 - x - 4. Let v be o(-2). Is v bigger than 1?
False
Let h(c) = c**3 - 10*c**2 - 12*c + 9. Let j be h(11). Suppose -2*f - g - 6 = 0, 3*f = 2*g + g - 9. Which is greater: j or f?
j
Let w(s) = -s**3 - 9*s**2 + s + 8. Let y be w(-9). Let k be y/(1/(-10)*2). Is k bigger than 1?
True
Let t(u) = -u**3 + u**2 - 2. Let i be t