 Which is smaller: 26 or c?
26
Suppose 5*j + 5*f = -0*j - 10, -2*f = 5*j + 13. Is j greater than or equal to 1?
False
Let j = 8 + -10. Let u be 4/j*6/(-60). Suppose -9 = -3*h, -5*h + 17 = -v - v. Which is smaller: v or u?
v
Let z = -0.33 - -0.3. Is -0.2 < z?
True
Let f = 0.3 - 0.1. Which is greater: -5/2 or f?
f
Let a(y) = y + 2. Let l be a(-6). Let u(f) be the third derivative of f**6/120 - 3*f**5/20 + f**4/4 + 2*f**3 + 9*f**2. Let d be u(8). Is d <= l?
True
Let t = -14 - -12. Is t at most as big as -0.02?
True
Let i(c) = -c**2 - 12*c + 26. Let x be i(-16). Does x = -38?
True
Suppose 3*g = -5*j + 12, -4*g = 5*j + 6 - 22. Is j at most as big as 6/7?
True
Suppose 5*l + 5*n - 10 = 0, 2*n = 2*l + l + 19. Is l > -1?
False
Let a(s) = s - 8. Let w(n) = -n + 3. Let t be w(-3). Let g be a(t). Let u = g - -3. Are u and 1 unequal?
False
Suppose 0*p - 140 = -4*t + 3*p, 2*p = 3*t - 106. Let a be t/14 - (-8)/28. Let s be a + 0 + -10 - -1. Do s and -6 have different values?
False
Suppose -3*m - 3 = -y - y, 5*y - 4*m = 4. Is -1/6 bigger than y?
False
Let w(g) = -g**3 + 7*g**2 + g. Let p be w(7). Suppose p*t - 3*t = -3*r + 16, -5*r = -2*t - 18. Let z be 1*3/(-6)*t. Is -1 smaller than z?
True
Let g = 0.03 - 3.03. Let v = -1/8 + 11/24. Which is smaller: v or g?
g
Let b = -10 - -10. Suppose 3*t + 8 = -2*m, -m - 3*m + 4*t + 4 = b. Are 2/21 and m equal?
False
Suppose 3*g - 10 = -76. Let r be 2/(g/19) + 2. Let f(i) = -i - 5. Let b be f(-6). Which is greater: r or b?
b
Let o be ((-5)/2)/(6/(-12)). Suppose -5*r + o*v + 55 = 2*v, 3*r - 39 = 3*v. Let x be (-26)/r + (-4)/(-16). Which is greater: x or -2?
-2
Let z be 17/(-3) - (-2)/3. Let f be 3 + (135/6)/z. Which is smaller: -2 or f?
-2
Suppose -2*g = 2 - 14. Let r be (g/15)/2*-9. Which is greater: -3 or r?
r
Let n = 0 + 0. Let y = -6 + 6. Let q be y + -1 + (-11)/(-9). Which is bigger: q or n?
q
Let d(m) = -m**2 - 5*m - 6. Let a be d(-4). Let y be (8/(-5))/(20/50). Is y greater than or equal to a?
False
Let q = 0.26 + -0.1. Let v = -0.06 + q. Which is greater: -0.5 or v?
v
Let s = -2 + -1. Let a be ((-1)/3)/((-1)/s). Let v be (2/(-3)*3)/2. Is a greater than v?
False
Let y(w) = 4*w**3 + 0*w - 3*w**3 - 2 + 8*w - 7*w**2. Let o be y(6). Suppose -5*j - 10 = -k, 2*j + o = -5*k - 3*j. Which is bigger: k or 3?
3
Let j = 8.01 - 8. Let v = 5/24 + 1/8. Which is smaller: j or v?
j
Suppose -h - 24 = 4*l + 17, -3*l - 17 = -2*h. Is l > -10?
True
Let v be 8488/6*(5/30 - 0). Let c be (2 + 1)*472/6. Let l = c - v. Which is bigger: l or -1/2?
l
Suppose 5 - 21 = 2*v. Let f(l) = -l**3 - 9*l**2 - 9*l - 7. Let n be f(v). Which is bigger: n or 0?
n
Suppose b + 6 = -b. Let m be (-23)/6 + 2/6. Is m at least as big as b?
False
Let r = -25 + 25. Is 1/3 >= r?
True
Let r(l) = -l + 7. Let w be r(6). Let k be -5*(-1 - (-9)/12). Let f = k - 11/8. Which is bigger: w or f?
w
Suppose -b - 1 + 22 = 0. Is 23 less than or equal to b?
False
Let l = -9 + -4. Is -13 != l?
False
Let o(g) = 3*g - 9. Let x be o(3). Let p = -382/45 - -62/9. Is x greater than or equal to p?
True
Let i(d) = -d**2 - 4*d - 1. Suppose 2 = -q - z, 4*q + 2*z + 0 = -8. Let b be i(q). Let l = -4 + b. Which is smaller: -1/3 or l?
l
Let y = 3 - -1. Suppose o + 1 = -5*q - 0*o, -y*q - 4 = 4*o. Suppose 4*r - 6 + 2 = q. Is r less than -1/5?
False
Let y(o) = -o**3 + 4*o**2 - 4*o + 3. Let v be y(3). Suppose 4*q + 2*u = 6*u - 32, v = 3*q + u + 4. Is q >= -3?
True
Let d = 9 + -8.94. Let h = 0.09 - d. Let x = 1 - 1. Which is smaller: x or h?
x
Suppose 2*w + 3*w = 25. Is w greater than 3?
True
Suppose 5*b + w - 80 = 0, -2*b + 48 = b + 4*w. Suppose 0 = 5*s - 10, -2*j + 2*s - s + b = 0. Let x be 4/18 - 38/j. Which is smaller: x or -5?
-5
Suppose -3*p + 0*p - 3 = 0. Let b be (0 + 0 + 1)*p. Let s = 1 - b. Which is smaller: s or 2/3?
2/3
Suppose -35 = -7*a - 0*a. Which is greater: a or 2?
a
Let f = -5132 + 35996/7. Which is greater: f or 10?
f
Let a = -25 - -24. Is a equal to 4/13?
False
Suppose 5*l = -14 - 1. Which is smaller: 1 or l?
l
Let w be (-22)/(-3)*12/(-32). Let u = w - -25/12. Is u less than 0?
True
Suppose 3*k + 15 - 51 = 0. Which is smaller: 16 or k?
k
Let y(a) = -a - 3. Let m be y(-4). Let z be 6/(-3)*m - -1. Suppose -3*p - 4 = p. Is p at least as big as z?
True
Let a = 31 + -31.1. Which is smaller: -2/29 or a?
a
Let b be (-28)/49 - (-246)/14. Are 17 and b unequal?
False
Let z = -52 + 56. Let v(s) = s + 2. Let x be v(-2). Suppose -z*q - 5*o + 6 + 0 = x, -2*q = -2*o + 6. Which is bigger: q or 0?
0
Suppose -6*j + 10 = -j. Suppose 5*c = 12 - j. Let s be (-1)/1*(-1 + c). Is s <= 1/4?
True
Suppose -315 = u - 6*u. Suppose 5*b + 2*y + u = 0, b + 2*y - 67 = 6*b. Is -13 at least b?
True
Let b(h) = 3*h - 17. Let z be b(7). Let w(s) = 5*s - 6. Let r be w(z). Is 13 greater than r?
False
Let l = 5/4409 + 1221233/52908. Let x = -23 + l. Suppose 12 = 3*w + 4*k, 2*k - 6 = 3*w - 0*w. Which is smaller: x or w?
w
Suppose 5*b + 5*a + 15 = 0, -b - 2*a - 9 = -4. Let u be 3*(-2 + 15/9). Is b bigger than u?
False
Let w = -39 + 38. Which is bigger: w or -2?
w
Let q = 0 + 0.1. Let w = 4.8 - 6. Let d = -0.2 - w. Which is greater: d or q?
d
Let h be (-2)/4*(-2)/13. Suppose 0 = 269*m - 283*m - 14. Is h less than m?
False
Let b = -1 - 7. Let r be ((-3)/(-2))/((-6)/b). Let d = -2.1 - -2. Which is smaller: d or r?
d
Suppose 6*a + 2*j = a + 17, 2 = 2*j. Suppose 0*x - 4*k = -4*x, k - 2 = a*x. Which is smaller: -15/7 or x?
-15/7
Let u be -1*(2 - 0) + 18. Suppose -4*g = 2*f - 5*f - u, 0 = 3*f. Is g bigger than 3?
True
Let z be ((-288)/(-136))/((-2)/239). Let l = 253 + z. Does 0 = l?
False
Let o = -272 - -844/3. Is o equal to 9?
False
Let v = 2101/20 - 105. Is v at most -1?
False
Let x be 154/(-33) + 4/1. Which is smaller: x or -38?
-38
Let x be 3/(3/2*1). Let c = 39 - 11. Let f be (-2)/3 + c/24. Which is smaller: f or x?
f
Let u = -0.047 + 3.047. Which is smaller: -2 or u?
-2
Let k be (-4)/10 + 3648/(-1155). Let u = k - -36/11. Is u smaller than 1?
True
Let a = 11.01 + -0.01. Let d = 10.1 - a. Let i = 1 + d. Which is smaller: -3/2 or i?
-3/2
Let r be (-6)/(-18) - 28/(-6). Does r = 1?
False
Suppose 4*l - 3 = -11. Let i(k) = -k**3 - 4*k**2 + 4*k - 4. Let q be i(-5). Let p = q - l. Is 4 bigger than p?
True
Suppose 3*s - 9 = -0. Which is smaller: 2 or s?
2
Let d(i) = 2*i + 19. Let u be d(-20). Which is smaller: u or -20?
u
Suppose 0 = 3*s + 21 - 6. Which is smaller: -7 or s?
-7
Let g = -199798 - -15384669/77. Let u = 19/7 - g. Let s(z) = z**2 + 3*z + 2. Let j be s(-2). Is u less than j?
True
Let k = 2/263 + 1504/9731. Are 0 and k non-equal?
True
Let n(v) = v - 1. Let i be n(2). Let p be 6/3 - (-1 + i). Is 4/3 <= p?
True
Suppose -2*g + 7*g + 4*k = 1119, 3*g - 693 = 3*k. Let o = g - 489/2. Let r = 17 + o. Which is smaller: r or -1?
-1
Let r(a) = -2*a**2 - 4*a - 2. Let b be r(-2). Let d = b + 7. Suppose -2*i + 11 = -5*c, 2 = -d*c - 13. Which is smaller: -1 or i?
i
Let f be -2 - ((-68)/12 + 3). Are f and -2 equal?
False
Suppose -3*h + 5*r = -0*h + 5, 4*r = -h + 4. Let w(z) = -z**3 - z**2 + 4. Let c be w(h). Let t = c - 3. Are -1/5 and t equal?
False
Suppose 0 = -4*h - 2*v + 112, 0 = -3*h + 4*v - v + 84. Which is greater: h or 27?
h
Suppose p = -4*p - 5. Suppose -4*d = d + 870. Let j = d + 691/4. Which is smaller: p or j?
j
Suppose 3*t - 18 = -6*h + 2*h, -h - 23 = -2*t. Let s = t + -9. Which is greater: s or 1/3?
s
Let l = 2 + -2. Let z = l - 0. Is z bigger than -1/11?
True
Let i = 0.8 - -0.2. Suppose -3*f - 2*f = -5*z + 10, 0 = -5*z - 4*f + 28. Is z < i?
False
Suppose -5*b + 6 = 3*l + 16, -3*b - 6 = 2*l. Is -10/7 at least l?
False
Suppose 6 = -r + 1. Which is greater: -4 or r?
-4
Let g = 82/9 - 592/63. Which is greater: 1 or g?
1
Suppose 3*h - 5*h - 3*d + 15 = 0, -10 = -2*d. Suppose h = 4*m - 12, -c = 4*m - 9 - 5. Which is bigger: 1 or c?
c
Let g = 0.7 - 1.7. Let m = 0 + 0. Let x = 0.1 + m. Is g at least x?
False
Let o(r) = r**3 - 3*r**2 - 2*r - 2. Let a be o(-2). Let h be (-2)/5 - a/45. Is 0 less than h?
False
Let r = 10 + -9. Let y be (r/3)/(20/(-24)). Is y bigger than 0?
False
Let k = 2 + 0. Let j be k - -3*2/(-2). Which is smaller: j or 1/4?
j
Let t = -81 + 241/3. Let u = 1/2 - 3/4. Which is greater: u or t?
u
Let j = 150/11 + -655/44. Is -2 at most as big as j?
True
Let p = 2786/5 + -559. Suppose 0*y = -2*y - h - 7, 0 = y - 3*h