18. Are -1/46 and x nonequal?
True
Let f = -6 + 11. Let m be (10/(-8))/((-3)/(-15)). Let t = -79/12 - m. Which is greater: t or f?
f
Suppose o = 9*o - 8. Do o and 1/106 have the same value?
False
Suppose -3*w + 7 = g - 2*w, -11 = g - 5*w. Suppose -4 = 2*o - 0, g*d - o - 6 = 0. Is 1 != d?
False
Let g = 0.57 - -4.43. Which is smaller: g or -1?
-1
Let j(o) = 9*o + 6. Let a(i) = -i + 1. Let y(h) = 15*a(h) - 3*j(h). Let m be y(3). Let p = 513/4 + m. Which is smaller: p or -1?
-1
Let v = -0.03 - 5.97. Let t = v + 4. Is t not equal to -2?
False
Let p be 6/(-4)*(-49)/(-3). Let w = p + 24. Suppose 3*n = 4*o + 15 - 2, 0 = -4*n + 5*o + 16. Is n <= w?
True
Let m = 10 + -6. Suppose 0 = 4*n + 4*d - 20, m*n + d + 1 = 15. Which is bigger: 1 or n?
n
Let q = -0.43 - -0.23. Are q and -0.4 nonequal?
True
Let w = -15 - -11. Is -1 less than w?
False
Let h be 0/(-2 - 0/2). Suppose 3*j + j - 20 = h. Suppose 4*i - 53 = -4*w - 13, -5*i + 46 = 4*w. Which is smaller: i or j?
j
Let o be 0*1/(-3) + 0. Let c be o - (-2)/(-20)*-2. Do 1 and c have the same value?
False
Let q be (-34)/(-42) + 2/(-3). Let u(c) = -c**2 + 8*c + 1. Let z be u(8). Which is smaller: z or q?
q
Let j be (-2)/(-9) + 2/72*-74. Which is greater: j or -0.2?
-0.2
Let a be ((-1)/(-2))/((-6)/12). Is a bigger than -3?
True
Let b be (-30)/50*(-15)/(-4)*4. Which is smaller: -35/4 or b?
b
Let n = -0.04 + -0.96. Let f be 2*(-2 - -1) + 1. Is n at least f?
True
Let b = -19 - -26. Which is greater: 8 or b?
8
Let i(r) = -2*r - 4. Let n be i(-3). Let q = -2 + n. Suppose -a + 10 = -q*a. Which is bigger: a or 9?
a
Let a = -26 - -10. Let j = 33/2 + a. Which is smaller: 1 or j?
j
Suppose -5*l - 5 + 0 = 0. Let y be 1 + 0 + -2 + l. Is y equal to -1?
False
Let j = -0.04 - -5.04. Let k = j + -5.1. Do -2 and k have the same value?
False
Let l = 17/144 - 1/144. Let a = -221/4 - -55. Which is bigger: l or a?
l
Let a = 173 - 273. Let o = a - -100.51. Let n = -0.01 + o. Is 1/3 at least as big as n?
False
Let a = 1 - 3. Let g be 9/(-27) + (-4)/(-21). Let b = g + -5/14. Is a at most b?
True
Let o = 90.1 - 84. Let p = -2.1 + o. Which is greater: p or -1/5?
p
Let l = 18 + -14. Which is greater: l or 3?
l
Let m(w) = -w. Let n be m(-3). Suppose 0 = -0*p + n*p - 3. Is 3/10 bigger than p?
False
Suppose 2*j + 6 - 9 = -r, j - 2*r = -6. Let f be (1/20)/((-6)/16). Is j at most f?
False
Suppose -a + 7 - 2 = 0. Suppose -4*b + a*b = -4. Which is smaller: -3 or b?
b
Let z(i) be the first derivative of i**4/4 + 11*i**3/3 - 3. Let b be z(-11). Suppose f - 2 + 4 = b. Is -1 less than f?
False
Let k = 8 - 8. Let t be (-6 - k)*(-3)/(-9). Is -5 greater than t?
False
Suppose -2*y = 10, 5*j + y - 135 = -0*y. Suppose j = -3*v + c - 6*c, 12 = -2*v - 2*c. Let d be -3 + -1*(0 + 1). Is v less than d?
False
Let w(d) = -d - 3. Let h be w(-5). Let x be 18/14 - h/2. Suppose 12 = 2*i - 5*g, 0 = -3*i - i - 5*g - 6. Is x at most i?
True
Let s(d) = -d**2 - 5*d + 3. Let j be s(-8). Which is smaller: -22 or j?
-22
Let z be (30/(-5) - -5)*1. Is z greater than or equal to 0.019?
False
Let c = -0.93 + 1.93. Are 27 and c unequal?
True
Suppose 2*p + 0*p = 0. Which is greater: p or -1/7?
p
Suppose y + k + k - 12 = 0, 3*y + 19 = 5*k. Suppose 32 = y*j - 6*j. Let c = j - -5. Which is smaller: c or -4?
-4
Let f(g) = -g**2 - 12*g. Let q be f(-12). Is 0 at most q?
True
Let k(i) = -2*i**2 + 22*i + 4. Let b be k(10). Let f(h) = -7*h - 4. Let p be f(-4). Is p > b?
False
Let z(g) = g. Let m be z(-4). Let y = m - -2. Suppose 4*s + s + 5 = 0. Which is bigger: y or s?
s
Let h = 38 + -40. Is h at most 2/19?
True
Let c be (-1 - (-52)/(-8))*(-5)/275. Is 0 at least as big as c?
False
Suppose -35 + 10 = -5*z. Suppose -z*x - 11 = -r, -2*r - 1 = 2*x + 1. Let n = 2 - r. Which is bigger: 3/2 or n?
3/2
Let g be (3 - 3)/((-1)/(-1)). Suppose 2*y - 4*x = -0*x + 4, 4*y - 4 = 4*x. Is y > g?
False
Let o(u) = -u**3 - 25*u**2 + 25*u - 25. Let i be o(-26). Which is smaller: -2/7 or i?
-2/7
Let o = -73 - -74. Let f = -0.05 + -3.95. Which is bigger: f or o?
o
Let u = 9 + -4. Suppose 0 = 3*c + 2*w - 0 - 13, 0 = 2*c + u*w - 5. Suppose 0 = o - c*b - 0*b + 24, -4*o - 2*b = -14. Is o at most as big as -2/5?
False
Suppose 3*s = -s - 4. Are s and 2/21 non-equal?
True
Let b be (0 - -1) + -7 + 9. Suppose 0 = b*j - 2*j. Let d = -4/13 - -7/65. Which is bigger: j or d?
j
Let j = -81 + 41. Let a be j/(-22) + 6/33. Is a less than 1?
False
Let o be (-4 - (-171)/42)*3. Is o equal to -1?
False
Let l be 4 + -4 + -2*2. Is l less than or equal to 3?
True
Suppose -5 = -4*y + 9*y. Which is bigger: 1/27 or y?
1/27
Suppose -2*x + 0 = -6. Let z = 0 + x. Suppose -z*h - 8 + 4 = n, 4*h = 5*n + 1. Is h bigger than -2/5?
False
Let g be 6/(-10) - 96/(-135). Let a be 22/(-8)*2/(-9). Let h = a - g. Which is greater: 0 or h?
h
Let p(m) = m**3 - 4*m**2 + 5*m - 3. Let x be p(3). Suppose x*o = o + 2. Let v = -14 - -17. Are v and o equal?
False
Suppose -3 + 15 = -3*l, l = -4*v - 4. Let s(d) = -d**3 - d**2 - d + 4. Let o be s(v). Suppose -2*f + 4 = -4*q, 5*q - o*f + 2 = -0. Are -1/2 and q equal?
False
Let b = 5.8 + -6. Let m = b + 4.2. Which is smaller: m or 0.1?
0.1
Let r = 231/940 + 1/235. Is 0.19 smaller than r?
True
Suppose -p = 4*p. Let s be 18/14 + -1 - 0. Are p and s equal?
False
Let j = -2731/14 - -195. Which is greater: j or -1?
j
Suppose 0 = -4*j + 3*f + 23, -4*j + 26 = -6*f + 4*f. Which is smaller: 9 or j?
j
Let l(r) = 82*r**3 + 3*r**2 + 2*r. Let x be l(-1). Which is smaller: x or -82?
-82
Let g(a) = 2*a**3 + 2*a**2 + 3*a - 4. Let w be g(0). Which is smaller: -1 or w?
w
Suppose 0 = -r - 3, -2*j + 2*r + 3 = r. Let l(m) = 2*m**2 + 6*m + 3. Let g be l(-4). Let x = g - 56/5. Is x less than j?
True
Let k be 6/(-45) + (-65)/75. Which is bigger: -4/23 or k?
-4/23
Let h = 7 + -4. Suppose h*a - 1 + 7 = 0. Is -3 <= a?
True
Let y(n) = -n**3 + 3*n**2 - n - 2. Let x be y(2). Suppose -4*t = -6*t - 2. Let s be (-32)/(-14) - (t - -3). Are s and x equal?
False
Suppose c + c = 8. Let v = -7 + c. Let f be 40/18*v/(-8). Is 1 not equal to f?
True
Let w = -21 - -23. Let p = 0.2 - 0. Is p greater than w?
False
Let b(y) = 6*y + 4. Let i(v) = v. Let n(p) = b(p) - 5*i(p). Let k be n(-4). Is 6/11 at least k?
True
Let p be 20/24 - (-1)/6. Let z(v) = v**2 - 5*v + 3. Let t be z(4). Which is bigger: t or p?
p
Let t be 2/(-6)*90/6. Does t = -4?
False
Let p = -5 - -12. Let x = -149 + 155. Which is greater: x or p?
p
Let j(x) = -x**3 - 6*x**2 - 4. Let v be j(-6). Let u be 0/(-2 + (-16)/v). Which is bigger: u or -1?
u
Let s = -5 - -101/19. Are 1 and s non-equal?
True
Let k be 3/(-12) + 30/(-8). Are k and -6 non-equal?
True
Suppose y = 2*u + 1, -2 = -3*u + 5*y - 7. Suppose u*d + d = 0. Which is smaller: d or 1/5?
d
Let p be (2/4)/(3/(-54)). Let b = -8 - p. Which is bigger: b or -2/15?
b
Let m = -4 + 7. Suppose -4*p - 2 = v, p + 5*v + 7 = -m. Is p bigger than 2/9?
False
Let l be (-22)/(-9)*(-24)/(-188). Let h be 92/94 + -2 + 1. Let p = h - l. Which is smaller: 0 or p?
p
Suppose -4*a - 5*f + 23 + 8 = 0, -a = 3*f - 13. Suppose 0 = a*n - 2 - 14. Is 2 smaller than n?
True
Let k(u) = u**2 - 6*u. Let j be k(6). Let q = 0 - j. Let y be (q - 4/34) + 0. Which is smaller: 0 or y?
y
Let x = -61 + 365/6. Let i = 8.91 + 0.09. Let u = -9 + i. Is u greater than or equal to x?
True
Let m be (-3)/(-2) - (-26)/(-12). Let c(s) be the first derivative of s**3/3 - 3*s**2/2 - 5*s + 2. Let d be c(4). Which is smaller: m or d?
d
Let w(l) = 2*l**3 - 4*l + l**3 - 2*l**3 + 0*l - 4 - 3*l**2. Let d be (-40)/(-12) - (-2)/3. Let u be w(d). Do -2/7 and u have the same value?
False
Let g be (-2)/(0 + (-4)/2). Let b = g - 2. Which is bigger: -2/9 or b?
-2/9
Let r = -16.84 - -14.9. Let n = -5.16 + 5.1. Let b = r + n. Which is smaller: b or -2/9?
b
Let l = 0.93 + 0.07. Let u = -14 + 6. Let m be (1 + 0)*u/(-2). Is m at most l?
False
Let w(y) = -2*y + 4. Let d be w(4). Suppose 0 = u + 11 - 5. Let z be 8/(-6) + u/9. Which is smaller: z or d?
d
Let g = 0.27 + -0.27. Which is smaller: 19 or g?
g
Let w = -14 - -14. Does 1 = w?
False
Suppose -3 = -4*q + 9. Suppose -q*n = -k + 3, 3 = -5*n + 3*k - 2. Which is smaller: -3/2 or n?
-3/2
Let c be -8*((-15)/6 - -2). Let b be 1/(48/15 - 3). Which is smaller: b or c?
c
Suppose -9*w + 3 + 6 = 0. Which is bigger: 3 or w?
3
Let z = -9.96 + -0.04. Let t = -6 - z. Let j be 