 -3*j - 8 = r. Which is greater: o or j?
j
Let k(g) = -4*g + 1. Let q be k(-2). Let t(b) be the second derivative of b**4/12 - b**3/6 + b**2 + 11*b. Let d be t(-2). Which is smaller: d or q?
d
Let i be 6 - 4/(-1)*-1. Which is greater: 2/13 or i?
i
Let b = 0.105 - 0.175. Let g = 0.03 + b. Is 1 > g?
True
Let o = -2945 - -173750/59. Which is greater: 1 or o?
1
Let y be 1/(2*1/22). Let h(p) = -5*p + 10. Let m be h(1). Let j = m - y. Is 1 <= j?
False
Let b = 3197/154 + -152/7. Is -2 greater than b?
False
Let j(n) = -n**2 + 15*n - 9. Let i be j(12). Let v be -12*16/(-108) - 6/i. Let s = 2 + 0. Is s at least v?
True
Let y = -0.513 + -5.377. Let j = 0.11 - y. Let s = -0.027 - -0.127. Is s greater than j?
False
Let z = -5496/4433 - -38/31. Let s = -1 - 0. Which is bigger: z or s?
z
Suppose -24*u = -21*u - 843. Are u and 283 nonequal?
True
Let x(j) = 2*j**3 - 167*j**2 + 2208*j + 201. Let q be x(67). Let u be -1 - 5*1864/(-22). Let l = u - 423. Is q <= l?
False
Let r = -794/3135 + 12/55. Is r != -1?
True
Suppose 0 = 4*j + 4*w + 1020, j + 4*w + 229 = -17. Which is smaller: -257 or j?
j
Suppose 4*v - 4 = 28. Let h be 76*(34/v + -3). Let y be 2/(-6) - h/(-195). Is -1 != y?
True
Let b be (-5880)/756 + -1*(-2)/(-9). Is b greater than -6?
False
Let l = -2 - 2. Let g be ((-8)/6)/(l/18). Suppose 14*b + 16 = g*b. Which is smaller: 1 or b?
b
Let w be (2 + 16)*100/90. Is w > -0.1?
True
Suppose -b + 1 = -5. Let o be (-21)/14*52/b. Let p = o + 10. Is p < -4?
False
Let q be (307/(-30) - 1)/(1182/(-168)). Let s = q - -2/591. Do 3 and s have the same value?
False
Let u = -20 - 6. Let t = 25.9 + u. Are t and 0.2 non-equal?
True
Let v = 21.8 + -7. Let w = 15 - v. Let b = w + -0.3. Is -1/10 at least b?
True
Let p = -141 + 144. Let n be (-4)/(-14) + (-24)/(-14). Suppose 0 = 3*q, -n*m - 8 = -p*q + 5*q. Which is smaller: -9/2 or m?
-9/2
Let k be 182/(-147)*-4 - 10/2. Which is greater: 2/5 or k?
2/5
Let k = 12 + -12.2. Suppose -10 = -5*i - 5*r, 2*i + 2*r = -2*r - 6. Is i at most k?
False
Let g be (3/2)/(3/66). Let b = g + -25. Which is bigger: b or 6?
b
Let y = -649/18 - -73/2. Let k be (-56)/24 - 4/6. Let x be 2 + (12 + k)/(-3). Which is greater: x or y?
y
Let u = -45 + 45.2. Let l = u - -0.8. Which is smaller: l or -10?
-10
Let r = 817 - 866.3. Let c = 50 + r. Is c smaller than 0.2?
False
Let j be 3/(-1 - (2 - 4)). Let n(g) = -3*g**j - 5 - g - 2*g**2 + 4*g**3 - 5*g**2 - 2*g**3. Let l be n(-7). Which is greater: 2/3 or l?
l
Let v = -28.05 + 0.05. Let c = 32 + v. Which is bigger: c or 0?
c
Let u = -17 + 23. Let x be (-2)/4*(-4 + u). Is x greater than or equal to -3/11?
False
Let a = 0.219 + -30.519. Which is greater: 0.1 or a?
0.1
Let v = -66 + 68. Let f = 1 + -3. Let s = f + 1.8. Is v at least s?
True
Let n(f) = -10*f + 1. Let u be n(1). Let c = -103 - -466/5. Which is smaller: u or c?
c
Let g be ((42/4)/(-7))/(12/(-200)). Are g and 0 equal?
False
Let j(p) = 8*p - 14. Let o be j(-7). Let g be ((-3)/(-6))/(5/o). Let s(q) = -q - 18. Let i be s(g). Is -9 bigger than i?
True
Let l(k) = 2*k - 2. Let m(j) = 2*j**3 - j**2 - 2*j - 1. Let c be m(-1). Let p be l(c). Let b be (-102)/(-9)*p/(-8). Is b less than 10?
True
Suppose -4*y - b - 6 = -3*b, 2*y - 3*b + 9 = 0. Let q = 2 + y. Let h be q/(-1) - 68/(-32). Which is smaller: h or 2/11?
h
Let r be (-10 + 8)*2/4. Let s = 605/126 + -34/7. Which is smaller: r or s?
r
Let i(a) = -10*a - 9. Let r be i(-3). Suppose 5*x - x = 88. Are x and r equal?
False
Let p = -189 - -1325/7. Let v(a) = -10*a - 5 + 0*a + 6*a + 5*a. Let t be v(5). Is p greater than t?
True
Let p be -1 + (0 - 370/(-435)). Are 0 and p equal?
False
Let h be 9/(-6)*-2*3/9. Which is smaller: -2.61 or h?
-2.61
Let w be 659/(-7) + (-1 - -1). Suppose 44*l = 42*l - 192. Let p = l - w. Is p at least as big as -3?
True
Let g(b) = b**3. Suppose 3*w = -4*h + 6, -2*w - 3*w + h = 13. Let a be 4 - ((-16)/w + -4). Let v be g(a). Which is smaller: -1/7 or v?
-1/7
Let y = 16516431/161 - 102587. Let s = y - -1/23. Is -1 less than or equal to s?
True
Suppose 200 = 3*o - c - 322, 0 = 3*o + 5*c - 522. Which is greater: o or 173?
o
Suppose b - 4*q = q + 13, 0 = -b - 4*q + 22. Let d = -19 + b. Which is smaller: -2/133 or d?
d
Suppose -59 = -2*p + 7. Suppose -3*o + p = -3. Let t be 30/(-252) + (-2)/o. Is -0.3 bigger than t?
False
Let a(k) = 329*k**2 - k. Suppose -4*o + 13 = -3*t, -12 = 4*t - 6*o + 2*o. Let c be a(t). Let z = 7219/22 - c. Which is smaller: -1 or z?
-1
Let s = 1189.0639 + -1189. Is s smaller than -0.1?
False
Let s = 86.39 - 87. Let f = 6.61 + s. Which is greater: -1/3 or f?
f
Suppose 3*n - 60 = -2*n + 5*m, -n + 5*m - 8 = 0. Suppose 23 + n = -5*l. Let j be (32/(-7 + 3))/1. Is j greater than l?
False
Let a(s) = s**2 + 7*s - 19. Let q = -26 + 16. Let o be a(q). Do o and 10 have different values?
True
Suppose 6*r - 5*r - 73 = x, -3*r = -x - 65. Let w = 31 + x. Is -45 at least as big as w?
True
Suppose 0 = -4*s - 8, -3*j - 3*s - s = 410. Let y be 2/10 + j/(-5). Let m be ((-2)/6)/(36/y). Is -1 bigger than m?
False
Let y = 1409/2 + -724. Which is bigger: y or -20?
y
Suppose 58 = 2*j + 20. Let q be (-1 + (-9)/(-6))*0. Let p(u) = -u**2 + 18. Let m be p(q). Is m equal to j?
False
Let a = -128.4 - -120. Let n = a - -8.4. Which is greater: -23 or n?
n
Let b be 2 + -1 + (-3 - -2). Suppose b = -19*u + 18*u + 3. Let a be (-6)/(-1 + u/(-7)). Which is greater: a or 4?
a
Suppose -5*x - 1 = -4*x + 2*g, 0 = 4*g. Let l be x + (1 - (-1 - -1)). Do -7/11 and l have the same value?
False
Let j = -15 + 14.4. Let u = -1 + j. Which is smaller: u or 0.1?
u
Let v = -56 + 64. Let n(u) = -u + 8. Let t be n(v). Which is smaller: t or -0.05?
-0.05
Suppose 2 = -7*c + 5*c. Let h(t) = -3*t - 2. Let w be h(-2). Suppose -l = w*x - 5 + 4, 0 = x. Which is greater: c or l?
l
Let q = 151 - 3169/21. Is q at most as big as 0?
False
Let f(k) = 3*k**2 + 49*k - 13. Let x be f(-14). Is x at most as big as -2?
True
Let a(y) = y**3 + 14*y**2 + 1. Let p be a(-14). Suppose 5*l + 10 = -5*w, 4*l + w - 6*w = p. Let g be (-10)/18 + (-4)/(-18). Which is bigger: g or l?
g
Let d(r) = -6*r**2 - r + 2. Let g be d(1). Suppose 4*j + 0*j = 4*z - 20, 4*j = -z - 35. Let m = j - -4. Is m less than g?
False
Let u = 898 + -886. Is u at most -0.8?
False
Suppose 402 = -28*j - 1278. Let w be 4/12 - 362/6. Are j and w unequal?
False
Let k(p) = 35*p + 106. Let a be k(-6). Is -102 greater than or equal to a?
True
Suppose 5 = c - 7*w + 5*w, 2*c + 3*w + 4 = 0. Does c = -4/121?
False
Let x be (-245)/13 + (-4 - 350/(-91)). Let b = 4 + -22. Which is smaller: b or x?
x
Let t be 0*(1/(3 - 0) + 0). Suppose -3*j - 17 + 23 = t. Is 1 >= j?
False
Suppose 56*c - 14976 = 92*c. Which is greater: 0.2 or c?
0.2
Let h = 0.4 - 0.4. Let s = 0.01 + 17.99. Let d = 27 - s. Which is bigger: h or d?
d
Let y = -6421/7 + 899. Let r = y + 130/7. Let c = -0.278 + -1.422. Which is smaller: c or r?
c
Suppose a = 3*x + 1, -4*a - 4*x + 2*x + 60 = 0. Let z = a - 8. Suppose -z*b + 1 - 6 = 0. Which is greater: -1/4 or b?
-1/4
Let s(h) = -h + 2. Let d be s(6). Let q = 8 - d. Which is smaller: q or 11?
11
Let o(m) = -m**2 + 18*m - 72. Let f be o(6). Which is smaller: -2/365 or f?
-2/365
Let z be (78/(-15))/(3/(-45)). Suppose -2*k + t + z = 0, 74 + 42 = 3*k - 2*t. Which is greater: k or 41?
41
Let s be 1/((-22)/(-2534)) + -2. Let w = s + -113. Let t = 1232 - 1232. Is w less than t?
False
Let i(u) = u**3 - 4*u**2 - 5*u - 5. Let w be ((-34)/10 - -4)*10. Suppose -w = -5*k + 19. Let z be i(k). Is -2 <= z?
False
Let i = -210 - -209.9211. Which is smaller: -1/3 or i?
-1/3
Suppose 9*f + 1260 = 4*f. Let l be 64/11 - (-4 + f/(-66)). Is -7 at most as big as l?
True
Let d be 130/(-14) + 4/14. Let x be d/(-6)*-2 - -3. Suppose -2*i = -2*c - 8 - 2, -i - 5*c - 19 = x. Are 3 and i non-equal?
True
Let p = 0.069 + 216.931. Which is smaller: 1 or p?
1
Let y = -2755 - -2780. Which is smaller: y or 167/7?
167/7
Let g = 36.99 - 40.5. Is 1/6 > g?
True
Let k(y) be the second derivative of 3*y**4/2 - y**3/2 - y**2 + 10*y. Let q be k(-1). Which is smaller: q or 20?
q
Suppose 6*l - l - 2*k = 4, -2*l = k - 7. Suppose 5*g + 27 = -2*r, -2 = l*g - 0*g. Let z(o) = -2*o**2 + 5*o + 1. Let d be z(4). Are r and d equal?
True
Suppose -3*q = -3*b - 2*b - 2, -5*q = -4*b - 12. Let s = b - -4. Let l = 0.7 - 0.5. Is l at most as big as