/b + -2. Which is smaller: t or k?
t
Let x(c) = 5*c + 88. Let z be x(-17). Which is greater: 1 or z?
z
Suppose -5*b = -2*b + 4*w - 302, -b - 3*w + 109 = 0. Let h = 95 - b. Which is bigger: h or -3/26?
h
Let g = 17 - 15. Suppose -2*q - 3*u = -2, 0*u + 17 = -5*q - g*u. Let w be 17/(-3) - (-4)/6. Is q bigger than w?
False
Let h(b) = 12*b - 137. Let t be h(18). Which is bigger: t or 398/5?
398/5
Let w be (-16)/(-6) + (-1)/(-3). Suppose 12 = -8*l + 100. Suppose a - x = -l, -7*x = -w*x. Which is smaller: a or -10?
a
Let x = 2812/69 - 122/3. Let w = -3 + 3. Is w greater than x?
False
Let k be 16/(-6)*(-21)/175. Is k at most 1?
True
Let c(p) = p**3 - 7*p**2 - 3*p + 9. Let b be c(7). Let w = 13 + b. Let z = 9/55 + -907/6215. Which is smaller: w or z?
z
Let s(x) = -34*x + 6. Let m be s(2). Let j = -61 - m. Which is smaller: 0 or j?
0
Let u(k) = k**2 - 39*k - 112. Let y be u(41). Is y > -179/6?
False
Suppose 3*s - 57 - 42 = 0. Which is bigger: s or 162/5?
s
Let i = -1/25 + -618/175. Let j = 8 - 12. Which is bigger: i or j?
i
Let g be 2/(-3)*(-15)/2. Let p(r) = -4 - g*r + r**2 - 4 + 3. Let y be p(6). Is y less than or equal to -1?
False
Suppose 10 - 3 = -7*t. Let n(a) = -a**3 - 9*a**2 + 10*a - 4. Let k be n(-10). Are k and t equal?
False
Let u = -0.94 - -1. Let o = -7.84 - -8. Let a = o - u. Which is greater: a or 7?
7
Suppose 97 + 88 = 5*q. Suppose -5*x + 3*x + 72 = -j, 0 = x + 3*j - 50. Which is smaller: q or x?
q
Let q = 34 - 36. Let h = -0.1 - -0.6. Let k = 0.8 - h. Is k < q?
False
Suppose 29*f = 37574 - 11010. Is f less than or equal to 1833/2?
True
Suppose -2*r + 30 = -p + r, 0 = -5*p - 2*r - 133. Let x = -37 - p. Is x less than -9?
True
Let t(m) = m**2 + 10*m - 38. Let r be t(-12). Which is bigger: r or -16?
r
Let m = 214 + -48. Let h = m - 115. Is h at least as big as -1/2?
True
Let h be (-2)/11 + 460/1320. Which is smaller: -7/3 or h?
-7/3
Let x = 427 + -505. Do x and 1/3 have the same value?
False
Suppose 3*d + 3 + 3 = 0. Let p = -38 + 42. Suppose 0 = -p*n - t + 3*t - 14, -3*t - 9 = 4*n. Is d >= n?
True
Let t be (-1)/(2*1/(-452)). Let x = t + -10620/47. Which is greater: 0 or x?
x
Let r = -28.1 - -29.1. Are 42/5 and r equal?
False
Let t(k) = k - 5. Let c be t(5). Let f = -10223/34944 + 82/273. Is f < c?
False
Let h(k) be the third derivative of k**4/24 + 19*k**3/6 + 3*k**2. Let r be h(-15). Suppose w + 3 = -r. Is 1 > w?
True
Let q = -71384 + 19345040/271. Does q = 0?
False
Suppose -w + 3 = 2*w, -y - 3*w + 4 = 0. Which is smaller: y or 70?
y
Let h = 0.07 + 2.93. Let w = 2.9 - h. Suppose -11 = 2*n + 137*d - 138*d, 2*n + 5*d + 17 = 0. Which is bigger: n or w?
w
Let g be (2 + -2)/(-4) + -3. Let h be 3 + (g/15 - 3). Which is smaller: -1 or h?
-1
Suppose 8 = 4*q, -k - 4*k - 4*q - 167 = 0. Let u = -28 - k. Which is bigger: u or 1?
u
Let c(o) = o**2 - o - 4. Let v be c(3). Suppose 0 = 6*s - 4*s - v. Let b = 96 + -99. Is s < b?
False
Let i be 0 - 2/15 - (-6)/45. Which is smaller: i or -1/218?
-1/218
Let a = 1290 - 1288. Is a <= -219?
False
Suppose 3*w = t + 5, -3 = -2*w + 4*t + 7. Let z(p) = p**2 - p + 1. Let u be z(w). Let s be 2/7 - 148/(-70). Is s at most as big as u?
False
Let g be -1 + (-51)/(-85) - 4468/(-11145). Is g at least 1?
False
Let o = -223 - -222.9. Let p = -6 - -9. Let f = -5 - p. Do f and o have the same value?
False
Suppose 182*a + 576 = 186*a. Is a > 139?
True
Let l = 70 - 32. Let t = 40 - l. Suppose -3*v + 23 = -2*o, 41 = -o - 3*o + 5*v. Which is bigger: t or o?
t
Let h(n) = 4*n**2 - 218*n - 123. Let v be h(53). Is v <= -438?
True
Let w(z) = 2*z**3 - 55*z**2 - 28*z + 6. Let c be w(28). Is 55/12 equal to c?
False
Let x = 1334 + -1414. Is 0.2 at least as big as x?
True
Let j = 274 - 824/3. Let b = -0.04 + -11.96. Is b less than j?
True
Let x = -760 + 759.8. Let j be 2/(-9) - (-29)/9. Which is greater: x or j?
j
Let g(j) = -2*j - 267 + 284 + j. Let i be g(17). Suppose 5*c = 1 + 9. Which is smaller: i or c?
i
Suppose -5*o + 13 - 13 = 0. Let b be -4 - (-2 + (0 - o)). Let a(n) = n**3 - 12*n**2 + 11*n. Let s be a(11). Is s at least b?
True
Let l = -0.853 + 4.853. Is -18 <= l?
True
Let v = -1966 - -1966.08. Is -8.7 at most v?
True
Let l = -3 + 5. Suppose -4*i - 2*w = -4*w + l, 3 = 2*i - 5*w. Do i and 0 have different values?
True
Suppose 3*a - 3 = 3, 4*m + 2 = 3*a. Suppose 2*f + 12 = q, -f + m = 7*q - 11*q. Which is smaller: -5 or f?
f
Let i(f) = f**2 + 5*f + 3. Let r = 25 + -30. Let s be i(r). Suppose 0 = -3*x - s*t, -4*t + 2 = 3*x + t. Are x and -3/34 unequal?
True
Let s be ((-3)/(-3) - 3) + -4 + 6. Is -7/41 less than or equal to s?
True
Let l = 0.01 + -7.01. Suppose 0 = 5*c - 33 - 37. Let d be -3 - -4 - c/10. Which is smaller: l or d?
l
Suppose 2*y + 3*f = 5*y - 6, 0 = 2*y + 4*f + 14. Let a be 1/1 + y + 0. Suppose a*n = n. Is n > 0?
False
Let q be 72/(-63)*1/(-2). Let w be 10*(-3)/(-6)*3. Let y be (w/10)/(9/12). Which is smaller: y or q?
q
Let d be (1 - 0/(-1))/(-1). Let l be d - 6/27*-3. Let i = -217 - -215. Which is smaller: i or l?
i
Let i be (-99 - -95) + (117/(-31))/(-1). Is 0 less than or equal to i?
False
Suppose j + 4 = 3*j. Suppose -j*v - 4 = -4*v. Is 0.01 at least as big as v?
False
Let x(j) = 2*j**3 - 17*j**2 + 7*j + 7. Let u be x(8). Is 2/279 less than or equal to u?
False
Let k = 59.5 + -52. Let w = 7.6 - k. Which is bigger: w or 80?
80
Let i = -0.5 + 2.5. Let z = 3547/944 + -218/59. Is z equal to i?
False
Let y be (-106)/22 + 4/(-22). Let f(h) = -14*h - 8. Let j be f(-5). Let u = j - 66. Is y <= u?
True
Let p(f) = 80*f + 481. Let b be p(-6). Which is smaller: b or 2/821?
2/821
Let x = -54 + 809/15. Let z be 30/(-48) - 9/24. Is x < z?
False
Suppose 107 - 14 = -4*m - 5*h, 0 = 4*h + 4. Is m not equal to -19?
True
Let n be 20/15*((-270)/4)/5. Suppose 41 = -2*y + w + 3, 5*w = 5*y + 95. Which is smaller: n or y?
y
Let q be (4/5)/((-2)/(-10)). Let f = -63 + 106. Let s = -40 + f. Which is smaller: q or s?
s
Let s = -1.1 - -1.1. Let u = -4 - 8. Let r be 4 + (506/u)/11. Which is bigger: s or r?
r
Let o be 1*(-6)/4 + 86/(-4). Which is smaller: o or -19?
o
Let n(a) = -4*a + 6. Let p be n(5). Let l be 42/p*(-16)/18. Let y = -4 + 8. Is l greater than y?
False
Let w(m) be the first derivative of -7*m**2 + 16*m + 17. Let g be w(6). Is -68 smaller than g?
False
Let t = 0.033 + 0.337. Let p = 0.37 - t. Let n = 1 - 11/3. Which is smaller: n or p?
n
Let c = 2.59 - 2.69. Which is greater: -1 or c?
c
Let t be (3626/(-189))/(2/5). Let w = t + 48. Are -1 and w equal?
False
Let h = -13.1 - -12.1. Which is greater: 9/17 or h?
9/17
Let m(v) = 5*v**2 - 18*v - 19. Let f be m(7). Are f and 100 equal?
True
Let o(m) = -m**2 - 3*m - m + 14 - 3 + 3*m. Let j be o(0). Suppose 267*z + 44 = 271*z. Is z <= j?
True
Let s be (-1)/(-3*3/(-9)). Let i be (s - 0)*3 - -4. Which is smaller: 5 or i?
i
Suppose 6990*b - 6978*b = -16128. Which is smaller: b or -1343?
b
Let p = -14 + 10. Let s be 0 - 1 - (2 - (-2 - -3)). Let l be s/9 - (-304)/72. Are p and l equal?
False
Let p = -2121/2 - -221644/209. Which is smaller: p or 1?
p
Let l be (-8)/(-2) + (-80)/(-20). Let a be 18*(-5)/l + (-9)/12. Is -11 at most a?
False
Let t = -400/17 + 3327/119. Which is smaller: t or 1?
1
Let k be 14/(-6) + 0 + 2. Let q be (-10)/((-18)/10 + 11/(-55)). Let c(w) = -3*w + 15. Let g be c(q). Which is greater: k or g?
g
Suppose -7*r + 3*r = 8. Let m be (-9)/(-3) + r*2. Which is bigger: -2 or m?
m
Let k = -86 + 53. Let w be 2/(-8) - (k/(-28) - 1). Let x = 0 + -1. Which is bigger: x or w?
w
Suppose 0 = d + 5*f + 16, 0 = 4*d + 3*f - 3 - 1. Suppose 0 = -d*l - 3*l. Which is bigger: l or -2/39?
l
Let s = -41 - -24. Let x = s + 9. Is -2/5 smaller than x?
False
Let d = 0.833 - -38.167. Is 13 at most as big as d?
True
Suppose -5*g = 10, -5*g = -2*i - i + 244. Suppose 2*t + 47 = 3*p, 2*p - i = -3*p + 3*t. Is 2 greater than p?
False
Let i = -0.1 + 1.5. Let m = i + -0.4. Let l = 0.8 - -0.2. Is m at most as big as l?
True
Let t(v) = -v**3 + 5*v**2 + v - 1. Let k be t(5). Let r be 0*1/6*3. Suppose -4*j - k*z + 3*z + 4 = r, 4*j = -4*z + 4. Is -2/19 less than or equal to j?
True
Let n(m) be the first derivative of -2*m**3/3 - 35*m**2/2 - 17*m - 16. Let p be n(-17). Which is greater: p or 3/59?
3/59
Let s be -1*94*((-33)/180)/(-11). Let u = s + -1/10. Let p be (0 + 1 - 0)*-1. Is u at least p?
False
Let h = -4 + 