a). Is j < -3?
False
Let j(w) be the second derivative of -w**3/6 - 6*w**2 - w. Let v be j(-14). Is 1 bigger than v?
False
Let j be ((-4)/(-8))/(1/(-264)). Let d = j - -657/5. Which is smaller: -2 or d?
-2
Let t = -2.1 - -2. Let r = t + 3.1. Which is bigger: 0.1 or r?
r
Suppose 50 = -5*y - 5*q, -2 = -y + q - 6*q. Which is smaller: -14 or y?
-14
Let w be (3 + 18/(-4))*-8. Let f = -13 + w. Which is smaller: f or -2/7?
f
Let v be (-1)/1 - 0*1/(-3). Is v less than -8?
False
Let j(r) = r. Let w = -12 + 19. Let t be j(w). Which is greater: 6 or t?
t
Let k be 2/(-6)*4/6. Let u(i) = i. Suppose 0 = 2*t - 6*t. Let j be u(t). Which is greater: j or k?
j
Suppose 5*o - 12 = 2*z, -2*z - 2*z - 36 = -4*o. Let i be 8/(-44) - 2/z. Which is smaller: -1 or i?
-1
Let f = 45 + -44. Is f bigger than 2?
False
Let l(q) = -q**3 + 9*q**2 - 6*q + 9. Let n(y) = -3*y - 7. Let b be n(-5). Let o be l(b). Suppose o = -4*d + 5. Do d and -3 have different values?
True
Let x be ((-6)/4 - -2)*0. Suppose 0 = -x*i + i - 99. Let f be 48/i + (-2)/(-11). Which is smaller: f or -0.1?
-0.1
Let q = -47 + 47. Is -2 < q?
True
Let q(i) = i**2 + 6*i + 7. Let u = 19 + -22. Let v be q(u). Which is greater: -1 or v?
-1
Suppose 5*s - 53 + 160 = n, 3*n = s + 335. Let m be 3/2*n/6. Let j be 2/(-7) - (-36)/m. Is 1/4 at most as big as j?
True
Let i be 2/(-10) + 74541/255. Let g = i - 292. Is 1 at most g?
False
Let g(n) be the third derivative of n**5/60 - n**4/6 - 5*n**3/6 + 3*n**2. Let a be g(5). Is a at most 6/5?
True
Let k(u) = -2*u - 6. Let w be k(-5). Suppose -o + 2 = 0, w*o + 2 = 3*m + 2*o. Which is greater: m or 2/3?
m
Suppose -3*d = 3*v + 75 + 24, 3*d = -5*v - 159. Let q be 2/(-10) - 36/v. Let k be 0*q/(2 + 0). Is k smaller than 2/15?
True
Let y(s) = -s - 6. Let h be y(-7). Let t be 1*(-16 - (h + -4)). Does t = -14?
False
Let h = -43.1 - -43. Is -3 >= h?
False
Let d = 0.036 + 33.964. Which is bigger: 0 or d?
d
Suppose 0*m = -m - 2. Let d be 2 - (1 - (-3 - m)). Suppose -4*y - 1 = 4*i + 3, 5*y + 2 = -2*i. Is d >= i?
True
Suppose 0 = -5*z + 7*z - 2. Is z at most as big as -2?
False
Let y = -21 - -24. Is y at most as big as 0.02?
False
Let i = -176/255 + 2/85. Which is greater: 0 or i?
0
Suppose -5*w + 20 = -3*w. Let j be (-7)/41*w/6. Let x = j + -2/41. Is 0 smaller than x?
False
Let v(a) = -a**3 - 3*a**2 + 5*a + 5. Let b be v(-4). Let l be (18/(-8))/(6/112). Let w be (-16)/l - (-14)/(-21). Is b at least as big as w?
True
Let t be (0 + 1)/(6/12). Let m be (2 + (-66)/34)*t. Which is bigger: 1 or m?
1
Let a(t) = -t + 8. Let m be a(8). Which is smaller: -3 or m?
-3
Let w(a) = -a**2 - 11*a - 4. Let x be w(-10). Let h = 6 - x. Does 3/4 = h?
False
Let u(r) = -4*r + 4. Let y be u(-2). Let j be ((-1)/(-2))/(5/y). Is j less than 0?
False
Let r = 10 - 8. Suppose 5*s = -2*m - 17, 2*m - 13 = 3*s + 2*s. Which is greater: m or r?
r
Suppose 0 = 2*j - 2, -3*b + 4*j + 5 = 6*j. Is 3/10 at most b?
True
Let v be (-264)/(-385) - (-4)/(-14). Let x = -2 + 2. Which is smaller: x or v?
x
Let f = -2 + 1. Let a = -125 - -1124/9. Is f at most a?
True
Let w = 55 + -74. Which is smaller: -20 or w?
-20
Let s = -355/9 + 2249/57. Is 1 equal to s?
False
Let u = 0 + 1. Suppose 2 = v - 1. Suppose b + 3*z = 2*b - v, -4*z = 2*b + 4. Which is greater: u or b?
u
Let a be 2/(-15)*9*10/(-26). Is -1 < a?
True
Suppose -3*t - 1 - 5 = 0. Let p be (-5 + 6)*(t - 0). Is -2 at most as big as p?
True
Let x be ((-68)/16)/(22/4). Let b = -1/44 - x. Let p = -3.9 - -4. Does b = p?
False
Let h be 0 - ((-75)/(-72) + -1). Which is bigger: -1 or h?
h
Suppose 1 = 5*t - 4*u + 2*u, -5*t + 3 = -u. Let g = 6805/3 + -2238. Let n = g + -30. Is t greater than n?
True
Let m = -12 - -11.5. Is 7/2 at least as big as m?
True
Let w(s) = s**2 + 11*s + 10. Let n be w(-11). Are 10 and n nonequal?
False
Let g = 0.28 + -0.09. Let i = g - 0.3. Which is bigger: i or -1?
i
Let o = 11 + -8. Let m = 5.7 - 5.3. Which is smaller: m or o?
m
Let h = 25 + -35. Let i be (8/20)/((-8)/h). Let y = -1 - -1. Is i at most as big as y?
False
Let q = -2 + 3. Let k be 2/8 + 3/84. Is k > q?
False
Let x(r) = r**2 - 8*r - 8. Let w(u) = u**2 + 2. Let q be w(0). Let b(s) = 3*s**2 - 2*s + 1. Let v be b(q). Let m be x(v). Does -1 = m?
False
Let y(x) = -x**3 - 7*x**2 - 8*x + 10. Let u be y(-8). Let s = -964/7 + u. Are s and 0 unequal?
True
Let z = -281 - -191. Let w be (-12)/10*z/(-84). Which is bigger: w or -2?
w
Let g = -9 - -15. Suppose -15 = -11*p + g*p. Let t be 1/3 + (-28)/(-24). Which is smaller: t or p?
t
Let p = -3692094/17615 - 2/3523. Let v = -207 - p. Let u = -49/15 + v. Which is bigger: u or 0?
0
Let g(x) = -41*x - 3. Let v be g(-9). Let o = 5488/15 - v. Which is greater: 1 or o?
1
Let f be (-8)/28 - 922/56. Which is bigger: f or -18?
f
Let m = 20 - 29. Let a = -64 - -57. Which is bigger: a or m?
a
Let r = 0.085 - 0.085. Which is greater: r or -18?
r
Let d = 33.8 - 37. Let j = d + 3. Let b be 9/(-6) + (1 - 0). Is j at most b?
False
Let d = -87/5 + 7559/435. Does d = -1?
False
Let n = 2 - 1. Let w = 23 - 64/3. Is w < n?
False
Let n(s) = -s**3 + 9*s**2 - 9*s + 7. Let a be n(8). Let p be a/4*(-24)/30. Which is smaller: 0 or p?
0
Let u(z) = -z. Let c be u(3). Which is greater: -4 or c?
c
Let j = 2.8 + -3. Suppose 11*h - 3 = 12*h. Which is greater: j or h?
j
Let p = -3.01 + 0.01. Let s = 3 - p. Let j = s + -5.9. Are -3 and j equal?
False
Let j = 0 - 0.1. Which is smaller: j or -1?
-1
Suppose -h + 7 = h + j, 0 = -5*h + j. Which is smaller: -2/225 or h?
-2/225
Let c(b) = -7*b - 37. Let j be c(-7). Are j and 12 nonequal?
False
Let s(h) = -h**3 + 11*h**2 - 14*h + 14. Let w be s(10). Let l = 17 + w. Is l at least -7?
False
Suppose 2*b - 8 = 2*x, 0 = 2*b + b + x. Which is smaller: 1/50 or b?
1/50
Let z = 96.1 + -101. Let q = -7 + 12. Let s = q + z. Which is greater: 0.4 or s?
0.4
Let d = -215 + 626/3. Which is bigger: -7 or d?
d
Suppose 5*u - 20 = -w, 2*u + 14 = -5*w - 1. Suppose 0*f = u*f. Which is smaller: 3 or f?
f
Let w = -36 - -25. Let d = 10.9 + w. Which is smaller: d or 0.09?
d
Let n(h) be the second derivative of -h**4/12 - 4*h**3/3 - 5*h**2/2 + 2*h. Let u be n(-7). Suppose -u*p = 2*p. Are -2 and p equal?
False
Let z be -1 + (-2)/(-2) + 2. Let o be (z/(-3))/(2/(-6)). Suppose -o = 3*c + 1. Is c <= 2/5?
True
Let h = 32 + -22. Suppose -4*y + 5*y - h = 0. Suppose 2*f + 6 = 3*k, -5*k + y = -f - 4*f. Is 2 greater than k?
False
Let u = 1 - 0.9. Is u < 13?
True
Let k = 16 - 14. Let h = 0.2 + -0.3. Let a = h - -0.2. Which is smaller: k or a?
a
Let t = 2 + 0. Let d(z) = 6*z**3 + 0*z - 3*z**t + 1 - 3*z**3 + 2*z - 2*z**3. Let o be d(2). Which is bigger: -4 or o?
o
Suppose -4*b - 1 = -3*o - 0, -4*b - 2 = -2*o. Let h = -19 + 96/5. Which is greater: o or h?
h
Let p be 65/20 - 6/(-8). Suppose p = -4*r + 2*i, -4*r + 0*i = -4*i. Let o be (r/(-55))/(9/(-45)). Which is bigger: o or -1?
o
Let t = 7.6 - 3.7. Let z = -5 - -1. Let x = z + t. Is x greater than or equal to 0.1?
False
Let u(h) = -h**3 + 10*h**2 - 7*h - 8. Let s be u(9). Let m = s - 11. Is m >= -1?
True
Let s be (-10)/(-45) - (-32)/18. Suppose -s*i = -4*k + 20, k - 5 = -i + 3*i. Is i at most -3/4?
False
Let k(n) be the first derivative of -1/4*n**4 - n + 1/2*n**2 + 1 + 0*n**3. Let z be k(0). Which is smaller: -1/5 or z?
z
Let h = -146413/5 + 29405. Let g = h - 122. Is -1 greater than g?
False
Suppose -3*o = 4*n - 10, 3*o + n = o + 5. Let u be o + 3/(-3) + 3. Is 3 > u?
False
Let u = -54 + 56.14. Let o = u - 0.14. Is 2 equal to o?
True
Let l be (-5024)/12460 - 2/(-5). Let y = -29988405 - -317607196766/10591. Let c = l + y. Is c bigger than 0?
False
Let g be (-1)/((1/1)/1). Which is greater: g or -2?
g
Let n be (-1)/(4/360*-2). Suppose -9*k - n = -4*k. Is k greater than or equal to -9?
True
Suppose -4*b - 14 = 6, 0 = -3*t - 5*b + 74. Let c be 1/(-3) + (-253)/t. Is c greater than or equal to -8?
True
Let t = 141.98 - 142. Which is bigger: 1/12 or t?
1/12
Suppose 3*x - 3*w = -15, -5*x + 2*w = -x + 12. Let y = 1 - 2. Is y smaller than x?
False
Let l(f) = 4*f**2 - 56*f + 47. Let j(g) = -g**2 + 14*g - 12. Let p(t) = -9*j(t) - 2*l(t). Let v be p(13). Is 1/2 bigger than v?
False
Let w be (1/(-20))/(10/(-225)). Is 0 at least as big as w?
False
Let u = 16870/37 + -456. Let w = -45/148 - u. Is w bigger than 1?
False
Suppose -2*v - 5*g + 20 = 0, -2*g = 3*v -