22 or g?
-22
Let d = -2 - -1. Suppose -4*f = 2*j - 8, 0*f - 33 = -3*j + f. Let a be (-22)/210 + 2/j. Which is greater: a or d?
a
Suppose -j + 2*j - 1 = 0. Let r be (-3 - -8) + (-2)/j. Which is bigger: 2 or r?
r
Let b = 1.98 - -0.02. Let c = b + -2. Which is bigger: -5 or c?
c
Let k(y) = -4*y**3 - y + 1. Let t be k(1). Let m be ((-6)/(-4))/((-48)/80). Which is smaller: t or m?
t
Let m = 3 + -3.1. Let i = 0.2 + m. Is i <= 3?
True
Suppose -22 = -4*i - 3*p, 0 = -3*i + 3*p - 2*p + 23. Let d = 3 - i. Which is bigger: 1/2 or d?
1/2
Let f = 68 - 67. Which is bigger: f or 2/99?
f
Suppose -5*i = -79 + 9. Suppose 3*x = -p + 1, 3*p = -p - 3*x - i. Is p bigger than -13/3?
False
Suppose -5 - 3 = 4*b. Is -2/3 equal to b?
False
Let c = -2622/8635 + 16/55. Is 1 at most c?
False
Let o(q) = q**3 + 8*q**2 + 2*q - 4*q**2 + 0*q**3. Let j be o(-4). Let c be 3/(-2)*j/42. Which is smaller: c or 0?
0
Let w = -5 + 5.2. Is 8/7 greater than w?
True
Let s be 8/(-4 - (-2 + -1)). Let y be s/14*(-7)/6. Let r(u) = u**3 - 5*u**2 + 3*u + 5. Let x be r(4). Which is smaller: x or y?
y
Let n be ((-183)/65 - -3)*(-70)/4. Is n > -2?
False
Let m be (-3)/1 + 60/3. Let n be 3/(-6)*(-38 + 4). Do n and m have the same value?
True
Let b = -70/11 + 155/33. Suppose -2*z - f = -61, 4*z + 5*f - 124 = f. Let a be z/(-9) - (-2)/6. Are a and b non-equal?
True
Suppose -4 = 3*b + 2. Let v = b - -2. Is v smaller than 2/9?
True
Let q(b) = b. Let n be q(4). Let g = n - 1. Let s be 3 - (13 - (5 - g)). Is s greater than -7?
False
Let b = 8 - 9. Which is bigger: 0 or b?
0
Let b = -27 + 39. Suppose -2*c = 8, -5*z + 2*c = -10*z + b. Is 1 at most as big as z?
True
Let t = -10 - -20. Let d be 9/(-3) - t/(-5). Which is smaller: d or 2/19?
d
Suppose s + 18 = 6. Which is smaller: s or -11?
s
Let z(y) = -y**2 + 6*y + 10. Let w be z(7). Suppose -w*i - 2*n - 43 = 0, -4*n = 21 - 1. Do i and -11 have the same value?
True
Let v be (-8)/(-6)*(-6)/76. Let d = -3 - 0. Let f be 3/(-6) + d/(-2). Do f and v have different values?
True
Let b be ((-1)/(-6))/(1/3). Let d be (2 - 2)/(-2*1). Which is bigger: d or b?
b
Suppose -1 = 4*w - 9. Suppose w*p + 20 = -2*p. Is p at most -6?
False
Let w = 0 - 0. Suppose -3*p - 4*t - 5 = w, -4*p - 3 + 1 = 3*t. Suppose 4*z + z - 4*q - 11 = 0, -3*z - q - 7 = 0. Is p not equal to z?
True
Suppose 4*k - f - 10 - 23 = 0, 2 = -2*f. Let l = k - 7. Let q be -1*(-2 + -1 + 2). Is l < q?
False
Let z = -190 - -201. Is 4 != z?
True
Let v = -293/505 + -2/101. Is -2 <= v?
True
Let q(n) = -n - 2. Let u be q(3). Let b(v) = -4*v**3 + 2*v**2 - 1. Let h be b(1). Let a be 1*h*(-8)/(-12). Are u and a unequal?
True
Let p = -2/77 + -17/11. Let u = 1/14 + p. Are -2 and u unequal?
True
Suppose 4*s - 12 = -0*s. Suppose -4*i = -s*i. Suppose i = 3*b - 3 + 6. Is 0 >= b?
True
Suppose -5*w + 0 = 5. Let b be w + -1 + 32/22. Suppose -5*n = -0*n. Which is smaller: n or b?
b
Let b = 5 + -3. Suppose -h = b*n - 14, 5*h - 4*n = 3*h + 20. Suppose -4*k = 3*g + h, -4*k = -g - 0*g - 4. Which is smaller: 1/2 or k?
k
Let f(t) = t**3 + 5*t**2 - t - 2. Let l be f(-5). Suppose -4 = -l*x - o, 4*x + 2*o = 2*x + 8. Which is smaller: x or -10/9?
-10/9
Let z(w) = -w**2 - 10*w - 11. Let a be z(-8). Suppose 5*m = -s - 3, -a*s + 5 = -0*m + 5*m. Let u be (1/(-4))/(1/s). Is u > -2?
True
Let t = 2.077 - -0.023. Let x = t - 2. Let s = -2.9 - x. Which is smaller: s or -2/3?
s
Suppose 7*p + 30 - 23 = 0. Is p equal to -1/22?
False
Let o = -11 + 11.8. Let i = -0.3 + o. Let w = 3.5 + i. Is 0 < w?
True
Let r = -46 + 45. Suppose 2*s + 1 = s. Is r greater than s?
False
Let p = -10 - -12. Suppose 18 - 4 = p*y. Which is smaller: 6 or y?
6
Let o = 153/2 + -78. Let a be (-2 - 0/2)*1. Which is smaller: o or a?
a
Let t = 5 - 22. Which is bigger: t or -18?
t
Let i be (1/(-4))/(12/(-32)). Let n be (-2)/(-6) - (-7)/(-3). Is i < n?
False
Let g(s) = 11*s + 0*s**2 - 4*s**2 - s**3 - 4*s**2 + 13. Let u be g(-9). Which is smaller: u or -4?
u
Let j = 37 - 37. Is 12 at least as big as j?
True
Suppose -8*v + 2*v + 90 = 0. Let x = 44/3 - v. Is -1 bigger than x?
False
Let y = 67 + -37. Let q be 112/y + 4/(-1). Is q bigger than -1?
True
Let v = -8 - -10. Suppose v*f = 5*f. Is -6/5 less than or equal to f?
True
Let q be (-1 - -1)/(3 - 5). Suppose 0 = 4*c + 3*m - 107 + 336, -2*m - 226 = 4*c. Let t = c - -277/5. Which is smaller: q or t?
q
Suppose 3*f - l = 3, -5*f + 8 - 3 = 5*l. Which is greater: -1 or f?
f
Let k = -34.57 - 0.43. Let h = -33.3 - k. Let p = 0.3 + h. Which is greater: -1/3 or p?
p
Let v(f) = -2*f. Let b be v(-2). Let t = -32/35 + 6/5. Is t greater than or equal to b?
False
Suppose -4*p - 67 = 3*a, -4*a + 6*a = p - 52. Is -26 <= a?
True
Let s be (1*-7)/((-4)/(-8)). Let i be 8/s*(-1)/(-2). Is 1 greater than i?
True
Suppose -9*h + 47 = -8*h. Is h > 47?
False
Let n = 6 - 10. Let r = n - -6. Which is smaller: r or 3?
r
Suppose -22 = -d + 3*d. Let g be (-3 - -6) + 32/d. Is -1 <= g?
True
Let l be 4 + -5 - -2 - 0. Let a = -62 - -808/13. Which is smaller: l or a?
a
Let v be ((-10)/8)/(4/16). Let x be (8/2)/(5 + -6). Are x and v non-equal?
True
Let m be 1/10*(-120)/16. Is 0 equal to m?
False
Let c = -175 + 336. Is 161 > c?
False
Let x be (-98)/12 + 7/42. Is x at most as big as 1?
True
Let g(y) = y + 4. Suppose 30 = -5*c - 0*c. Let h be g(c). Let s(n) = n**2 + 5*n + 3. Let d be s(-2). Which is greater: h or d?
h
Let x = -7 + 8. Let j be ((-1)/(-2) - 0)/x. Which is greater: j or 0?
j
Suppose 3*q - 4 - 14 = 0. Let l be (-120)/(-126) + (-4)/q. Let m = 3 + -2. Which is smaller: l or m?
l
Let m = 10.03 + -10. Let i = m - -0.07. Let f = -1 - -3. Is i < f?
True
Let s be (-100)/(-140) - 1/(7/(-2)). Let f = 2319/11 - 211. Is s less than f?
False
Let j(q) = -q**2 + 4*q + 5. Let k be j(5). Let d be k + -2 - (-8 + 6). Which is greater: 2 or d?
2
Let b = 30/161 - 1/23. Which is smaller: -0.14 or b?
-0.14
Let q = 0.2 + -0.16. Is -1 bigger than q?
False
Let l be (1 - 1)/(-1 - 1). Let n(u) = u**2 - u - 1. Let p be n(l). Which is smaller: p or -1/14?
p
Suppose 2*h = 29 - 25. Which is bigger: h or 17/5?
17/5
Let m = 1 + 11. Let u = m + -19. Which is smaller: u or -8?
-8
Let u = 12 + -11. Do u and -1/6 have the same value?
False
Let r = -40.95 - -42. Let z = -0.05 + r. Let q = z - 0.8. Which is smaller: q or 1?
q
Let h = 1 + -1. Let s = -16 + 16.28. Let v = s + -0.08. Which is smaller: h or v?
h
Let g = 2 + 2. Let l(f) = 8*f**2. Let m be l(1). Suppose 2*k - m = -2. Which is smaller: k or g?
k
Let h(d) be the third derivative of d**4/24 + 5*d**3/6 + d**2. Let u be h(-4). Is 2 greater than or equal to u?
True
Let c = 8 + -4. Suppose 0 = -c*v + 1 + 15. Is v not equal to 7?
True
Let y(z) = 2*z**2 - 2*z - 4. Let h be y(3). Let x be (h/13)/4 + 0. Which is smaller: x or 0?
0
Let d(h) = -h**3 - 7*h**2 + 4*h + 7. Let t be d(-5). Let u be (4/7)/((-90)/t). Which is greater: u or 0?
u
Suppose 4*l = -y, -4*l - 10 = 4*y + 2. Let j be (-6)/(-15) + (-14)/10. Is j > l?
False
Suppose 2*k - 81 = -2*k - 3*l, 0 = -3*k + 3*l + 66. Let i be 7/(-3) - 14/k. Suppose 0 = 5*j - 5*f - 10, -1 = -3*j - 5*f - 27. Which is smaller: i or j?
i
Let d be ((-1)/(-2))/(1/2). Which is greater: -2/19 or d?
d
Let i(p) = p**2 - 6*p + 4. Let r be (1 + -5)*20/(-16). Let o be i(r). Which is smaller: 1/5 or o?
o
Suppose -2*n = 3*n - 10. Let j be (-4)/22 - (-96)/44. Suppose -6*w + j*w + 4 = 0. Which is smaller: w or n?
w
Suppose n = -2*v + 3*n + 184, -v - 5*n = -62. Are 87 and v non-equal?
False
Let u = -119 + 96. Are -23 and u equal?
True
Suppose a - 3*u + 1 = -3, -3*a - 3*u = 72. Is -19 smaller than a?
False
Let s = -8293905/26 + 318945. Let w = s + 103/2. Do -1 and w have the same value?
False
Let k = 45 + -25. Is k at most as big as -1?
False
Let y(k) = k + 5. Let h be y(-9). Let u be 6/h - (-6)/(-4). Is u greater than -3/2?
False
Let j = 3/5 - 1/10. Let v = 0 - 4. Let r be (v/(-30))/((-72)/(-40)). Which is smaller: r or j?
r
Let o(j) = 2*j + 4. Suppose -m = -1, -3*u + 10 = -7*u - 2*m. Let r be o(u). Let k be -2*3/42*r. Which is greater: 1 or k?
1
Let o be (-2)/((-4)/(-5 + -3)). Let j = -2 + o. Is j smaller than -7?
False
Suppose -8 = 2*l + 5*t, 0 = -3*l - 5*t - 0*t - 12. Let o = l - -5. Which is smaller: o or 2/5?
2/5
Let z be (60/45)/((-4)/(-6)). Is z bigger than 7?
False
Suppose -3*c = 12, 4*x - 4 = 5*c + 4. Which is smaller: -4 