0 = 2*w + 4*x + x - 24, u = 3*w + 4*x. Is 2 smaller than w?
False
Suppose -s = 2 + 4. Let c be (-4)/(3 + s - -2). Suppose -3*j + c = -2*u - 0, 5*j - 4*u = 8. Is j not equal to -2?
True
Suppose -3*c - 24 = -3*f, -2*c + 6 = 4*f + 4. Let h be (-52)/(-14) + 2/7. Is h bigger than f?
True
Let b(q) = -q**3 + 6*q**2 - 4*q - 6. Let h be b(5). Is h smaller than 1?
True
Let g be 0*(0 - (-3)/(-6)). Suppose g = i - 0 - 2. Is i greater than 1?
True
Let l be (544/(-13))/(-1) + 1. Let t = l + -43. Which is bigger: 1 or t?
1
Let h(d) be the third derivative of 0*d + 0 - 1/120*d**6 + 1/2*d**3 + 1/4*d**4 - d**2 - 1/12*d**5. Let w be h(-6). Is w greater than 2?
True
Let a(t) = -t - 1. Let j be a(-4). Which is greater: j or 7/4?
j
Let x be (28/5)/((-2)/(-5)). Suppose 0 = 5*w - 5*i - 30, -3*i + 5 = 2*i. Let b be 4/x + 5/w. Is 2 at least as big as b?
True
Suppose 2*k - 18 = -5*l, 0 = 8*k - 3*k - 4*l - 12. Let n = -2 - k. Let g be (n/(-4))/(45/(-4)). Are 1 and g unequal?
True
Let j(b) = -b**2 - b - 4. Let h be j(0). Let m = 2 + h. Let q = -12.6 - -12.5. Which is bigger: q or m?
q
Suppose 0*k + 2*k - 36 = 0. Let d = 22 - k. Suppose -2*p = x + 2*x - 1, -5*x + 5*p + 35 = 0. Is x smaller than d?
True
Let q be ((-72)/(-10))/(7/385). Let v be q/(-54) + (1 - -3). Let x = -1 + -1. Which is smaller: x or v?
v
Suppose -8 = -2*n - 3*s, n - s - s = -3. Suppose -2*p + 4*x + 18 = -3*p, -5 = x. Is n > p?
False
Let t = 39 - 39.1. Which is greater: t or -6?
t
Let h = -17 - -17. Which is greater: h or -2/17?
h
Suppose -32*a + 30*a = 0. Let v = 96 - 1055/11. Is a at least v?
False
Let s = -12 + 12. Let w be 2 - 2/10*11. Let n = w + 8/15. Is n >= s?
True
Let m = 126/13 + -2872/299. Let s = -0.2 + 0.1. Is m < s?
False
Let i be 2/6 + (-4)/(-6). Let r be (2 - 0) + (-2755)/1475. Let q = r - -4/59. Is q greater than or equal to i?
False
Let p = 16 + -12. Is 3 < p?
True
Let d = -3 - -3.1. Let g = 43 - 45. Is g less than or equal to d?
True
Let h = -4.9 + 5. Which is smaller: h or 13?
h
Let h = -17 + 15. Is -1 greater than h?
True
Suppose -4*q + m - 12 = 0, -2*q + 3*q = 4*m - 18. Is 2 less than or equal to q?
False
Let k(n) = -n**3 - 6*n**2 + 7*n + 4. Let u = -7 + 0. Let j be k(u). Let c be ((-4)/(-6))/(j/6). Is -2/21 < c?
True
Suppose 2*b + 0*b = 144. Suppose -b = 5*x - x. Are -18 and x equal?
True
Let w(v) = -v**2 - 5*v + 1. Let a be w(-5). Let g be -2 - (2 + -2 + -2). Which is bigger: a or g?
a
Let u = 36 - 48. Which is smaller: -10 or u?
u
Let l be (2/(-16))/(-1)*(-5)/(-20). Which is smaller: l or -1?
-1
Suppose -4*y = -0*y - 3*x, -3*x = 0. Let c = 6/7 - 5/14. Is y bigger than c?
False
Let v = 6 - 5.6. Let c = v - 0.4. Which is smaller: c or 1?
c
Let y = -8.72 + -0.28. Is 0.1 at least y?
True
Suppose h + 2*r = 2*h + 8, -r = -3. Let t = -0.09 + 2.09. Is t < h?
False
Let o be 0 - -1*10/2. Let g be 15/(15/2) - (-4 + 1). Is g greater than or equal to o?
True
Let o = -23 - -33. Let z = -5.6 + 6.6. Which is smaller: o or z?
z
Let x = -8 + 17. Let h = x - 8. Which is smaller: h or 0.08?
0.08
Let z(a) be the first derivative of -a**4/12 - 5*a**3/6 + 3*a**2 + 2*a + 3. Let h(k) be the first derivative of z(k). Let p be h(-6). Is p > 2/5?
False
Suppose -3*n + 2*n = 2*q - 83, -5*n = -5*q + 185. Do q and 40 have different values?
False
Suppose x = 2*r - 0*x - 66, 5*r - 160 = 5*x. Which is bigger: 35 or r?
35
Let b(h) = -h**2 + 7*h + 2. Let t be b(7). Let p = 1 + 1. Suppose p*o + 1 = m + 6, 11 = 5*o - m. Is o bigger than t?
False
Let c = 6 + -4. Let h be (-22)/12 + c + 0. Is 1 not equal to h?
True
Let b be 28/(-154) + (-17)/(-33). Let g(z) = -z**2 - 5*z - 5. Let n be g(-4). Do b and n have the same value?
False
Let m be 144/10 - 4/10. Let y = m - 6. Is y greater than or equal to 6?
True
Suppose 10*r - 113 = -403. Does r = -28?
False
Let c = 18 + -3. Let v be 5/c*6/(-8). Does v = -0.04?
False
Let z(q) = q + 4. Let a be z(-4). Let b be 4/(-49)*(-9)/(-36). Let u = b - -55/294. Is a bigger than u?
False
Let c be (2/67)/((-1)/(-2 - -3)). Which is smaller: 0 or c?
c
Let t be (-3)/(-6) - 21/(-6). Is 5 >= t?
True
Let r be 14 + 2*2/(-4). Suppose 3*u + r = 4*o, o = 5*u + 16 - 0. Is -3/2 at most as big as u?
False
Let t = 1.2 + 1.2. Let q = t + -3.4. Let y = -0.3 - -0.2. Are q and y non-equal?
True
Let z(k) = -k**3 - 3*k**2 - 3*k - 3. Let x = 4 + -6. Let g = -4 - x. Let b be z(g). Which is greater: b or 1/6?
1/6
Let t be -2 - 13/(-24)*5. Let k = -1/24 + t. Do k and -1/2 have different values?
True
Let w = 11/105 + 2/21. Let m(h) = -h**2 - 6*h - 6. Let f be m(-4). Let j = 3 - f. Which is bigger: w or j?
j
Let a be 68/6*(-774)/(-132). Let t = a - 67. Which is bigger: t or 0?
0
Let m be -6 - -2 - 24/(-4). Which is greater: m or 0.4?
m
Let f = 5 + -8. Is -3 at least f?
True
Let i(m) = -2*m - 4. Let l be i(-3). Let r = l + -2. Let c(x) = x**3 + x**2 + x - 2. Let h be c(r). Which is bigger: -2/3 or h?
-2/3
Let i = -135.1 + 135. Which is bigger: -3.4 or i?
i
Let b(y) = y**3 + y**2. Let k be b(-1). Let g = 459 - 249. Let i be (36/g)/(6/20). Is i < k?
False
Let t = -0.05 - 0.35. Let p = -0.34 - t. Let s = p - 0.06. Does -4 = s?
False
Let x = 72.0677 + 0.0323. Let s = x + -69. Let l = -3 + s. Which is bigger: -2/7 or l?
l
Suppose 2*j - 16 = -2*j. Suppose -4 = -3*s - 3*d + 2, 6 = 3*s - j*d. Is s < 2/3?
False
Suppose 0 = -m - 45 + 38. Does m = -8?
False
Let p(g) = 17*g + g**3 + g**2 - 4 - 17*g. Let u be p(0). Is -5 smaller than u?
True
Let k = -4 - -3. Let c(y) = -3*y - 4. Let i(h) = h + 1. Let t(z) = c(z) + 2*i(z). Let b be t(-3). Is b greater than k?
True
Let b be 4/1*2/(-4). Suppose -4*a + 0*a - 20 = 0. Let g be a*(-3 + 34/10). Do b and g have different values?
False
Suppose 2*f + 5 = 1. Let l(r) = r**2 + 7*r + 4. Let v be l(-6). Is v at least as big as f?
True
Let j = 23 + -14. Let d = -9 + j. Let v = -7873/17 - -463. Which is greater: v or d?
d
Let n be 0 + (3 - (-2)/(-1)). Let v be 18/5 + 2/5. Suppose -k - v*k = 0. Which is bigger: n or k?
n
Let p be -2 + ((-18)/4)/(-3). Suppose -5*o + 4*j - 36 = 0, 4*o - j = -0*o - 20. Let t(q) = q + 4. Let v be t(o). Is v >= p?
True
Let u(y) = -5*y - 3. Let s be u(-3). Let j = 15 - s. Let c = 10 - 6. Which is greater: c or j?
c
Suppose 0 = -z - 5*c - 8, -5*z - c = -4*c - 16. Let i be ((z - 2)/3)/2. Is i bigger than 1/6?
False
Suppose 5*r + 0*r - 310 = 0. Which is smaller: 63 or r?
r
Suppose -3*b + 6*b - 24 = 0. Let v = b + -6. Suppose -k = f - v + 1, -6 = -3*k. Which is bigger: 2/9 or f?
2/9
Let q = -83/60 + 17/12. Let x = q + -17/60. Which is bigger: -3 or x?
x
Let r = 323/5 - 65. Let l(m) = 2*m**2 + m + 1. Let n(s) = 3*s**2 + 2*s. Let p(u) = 4*l(u) - 3*n(u). Let t be p(-3). Is r at least as big as t?
False
Let s = 2161/4 + -540. Let k(c) = -c**3 + 5*c**2 + 7*c - 7. Let y be k(6). Which is bigger: y or s?
s
Suppose -j + 5*j = 4. Which is greater: -2 or j?
j
Let n be (108/135)/(2/(-25)). Which is smaller: n or -35/4?
n
Let r(h) = h**3 + 7*h**2 + 8*h + 6. Let s be r(-6). Is -3 greater than s?
True
Let j be 1*(-1 - 1 - 1). Let r(g) = -g**2 + 6*g - 3. Let t be r(6). Let w = t - j. Do 1/4 and w have different values?
True
Let p be -3*(-1)/((-630)/(-4)). Let j = p - 23/105. Is -1 > j?
False
Suppose -4*y = -0*y. Let j be (5/25)/((-1)/(-2)). Which is smaller: j or y?
y
Suppose c + 0*c - 2 = 0. Suppose 0 = -4*n + 3*d - 12, -d = -3*d + 8. Suppose n = t - 5*w + 1, -3*w - c*w = 0. Is -1/4 at least as big as t?
True
Let m = -2 + 2. Which is smaller: m or -2?
-2
Suppose -65*f + 2 = -67*f. Is 32 equal to f?
False
Let p be ((-10)/6 - -1)/(52/1092). Is p < -13?
True
Suppose -5*r - 110 = -b, -3*b - 62 = 2*r - 7*b. Is r smaller than -21?
False
Let p = -1.39 + 0.09. Let l = p + 0.3. Let i = 0.4 + -6.4. Which is smaller: i or l?
i
Let l be ((-20)/25)/((-2)/5). Is 0 at least l?
False
Let h be 2/(-3)*60/8. Let i be 2/3 - h/15. Is i at most as big as -2/7?
False
Suppose -3*u = -26 - 1. Which is smaller: 8 or u?
8
Let l = -0.06 + 0.18. Let o = l + -0.02. Which is smaller: 0 or o?
0
Let u = -5/72 + -49/1368. Which is greater: u or -1?
u
Let c be 32/36 - (0 - 2/6). Is 0 > c?
False
Let l be 3 + 30/(-21) - 0. Which is greater: l or 2?
2
Suppose -3*w = -4*n + 2*w + 64, 5*n - 80 = -5*w. Is 15 >= n?
False
Let s(j) = j**2 - 4*j + 2. Let d be s(3). Is -2/49 > d?
True
Let r be (-39)/52 + (-161)/(-236). Is r great