6 - q. Which is bigger: 3 or x?
x
Let c = -1.2 - -1. Let u = c + 0.3. Suppose 3*d + 3 = 2*z, -4*z + 12 - 3 = -3*d. Is z greater than u?
True
Suppose 5*r - p = -13, 0 = r + 12*p - 10*p - 4. Let j = 4 - 6. Is j not equal to r?
False
Let u = 42 + -755/18. Is u >= 1?
False
Let q(y) = y**3 + 6*y**2 + 6*y + 7. Let r be q(-5). Let l be 2 + 6 + -3 - 4. Is l < r?
True
Let p = 35 - 33. Is p > 4?
False
Suppose c + 1 = -3*d, -3*d + 10 = -d - 2*c. Let v(h) be the third derivative of h**5/60 + h**4/8 + h**3/2 - 3*h**2. Let j be v(-2). Is d < j?
False
Let i(l) = 4*l - 14. Let o be i(17). Are o and 54 equal?
True
Let q = -753 - -4543/6. Let s = 9/2 - q. Which is bigger: -4 or s?
s
Suppose 8 = 2*l, 0*h - 2*h + l + 4 = 0. Suppose -h*k + 120 = -5*k. Let o = 838/7 + k. Is o equal to 0?
False
Let z(r) = -r**3 - r**2 + r + 20. Let t be z(0). Let x be (2/(-12))/(5/t). Is -2 smaller than x?
True
Let f = -0.86 + 0.92. Which is bigger: f or -6?
f
Let u = -9 - -15. Let i(l) = l**3 - 6*l**2 - l + 8. Let b be i(u). Let r be ((-4)/b)/(-1 - -2). Is r at most as big as -2?
True
Let n be 0 + 2*-1 + -1099. Let h = 723 + n. Let d be 192/h - (-4)/18. Is d greater than or equal to 0?
False
Suppose -32 - 43 = -5*r. Let v be 2/6 + 4/r. Let g = -273.9 - -274. Is v < g?
False
Suppose -4*y = 12, -3*b - 2*y - 14 = 10. Let i = b - -8. Which is greater: i or 4/7?
i
Let x be 17 - (0 + 2) - 1. Suppose 3*i - 3*q - 19 = -7, x = 4*i - 3*q. Is i less than 6/11?
False
Let v = -1/328 + -6877/3608. Is v smaller than -1?
True
Let a = -8 - -4. Let y be a/(-3) - (-4)/6. Let z be y/(-18) - (0 - 0). Which is bigger: 0 or z?
0
Let i = 8 + -13. Let d = -5 - i. Suppose -4*s - 4 = 0, r = 5*s - d*s + 7. Is r <= 2?
True
Let u be 35/(-22) + (-3)/3. Let x = u + 1/11. Which is greater: -2 or x?
-2
Let n = 17/60 + -1/30. Which is greater: 1 or n?
1
Let g(f) be the first derivative of f**4/24 + 3*f**3/2 + f**2 - 2. Let h(o) be the second derivative of g(o). Let q be h(-7). Is q greater than or equal to 3?
False
Let v(l) = -l**3 - l**2 - l. Suppose -4*k + 21 = 5. Suppose k*y = -0*y. Let a be v(y). Is -2/11 < a?
True
Let w be ((-1)/(-2))/((-3)/(-24)). Let z be w*4/((-32)/(-18)). Let c be 11/(-3) - 3/z. Does c = -4?
True
Suppose 3*f - f + 26 = -4*o, -29 = 4*o + f. Let b = o + 9. Let j = 0 - b. Is j greater than 1?
False
Let z = -128 - -2430/19. Suppose -7*u = -6*u. Is u < z?
False
Let a(p) = p**3 - 4*p**2 + p - 5. Let c be a(4). Suppose 0*r + 5*s = -2*r + 29, -r - 3*s + 17 = 0. Suppose 5*g + 13 = -4*h, r*g + 2*g = 3*h + 2. Does c = g?
True
Let v = -134 - -135. Which is smaller: v or 1/44?
1/44
Let q = -52 - -53. Is q > 0.14?
True
Let m = -8.11 - -0.11. Which is smaller: m or 0.1?
m
Let t be (-1064)/49 + 6/(-21). Which is smaller: -20 or t?
t
Suppose -2*w = -5*o + 16 + 3, 0 = -5*o - 4*w + 7. Let h be ((-1)/(-21)*o)/1. Which is bigger: h or -1?
h
Let x(h) = 2*h + 1. Let n be x(-3). Let j = n + 4. Does -4 = j?
False
Suppose -2*w - 5*p - 34 = 2*w, -12 = w + 3*p. Is -5 not equal to w?
True
Suppose -5*j = -0*s - 2*s - 8, 3*s - 5 = -j. Which is smaller: j or 5?
j
Let k = 4.4 + -4. Let n = 0.4 + -1. Let y = k - n. Is y at least as big as -0.2?
True
Let j be 32/40*5/(-2). Suppose -5*y + 20 = -10*y - 2*c, 2*y - 1 = c. Is y at most as big as j?
True
Suppose -p - 1 = g - 2*p, -2*g + p = 0. Is 20/9 smaller than g?
False
Let h = -1.3 + 1.3. Is -0.06 equal to h?
False
Let a = -181 - -1265/7. Let k be 0 + 1 + 1 + -4. Which is smaller: k or a?
k
Let o = -10 - -7. Let x = -1.3 - -1.45. Let r = x + -0.05. Which is smaller: r or o?
o
Let i = -8 - -12. Suppose -9*m = -i*m + 5. Is m <= 2/19?
True
Let b be 15/24*-2*-4. Let g = -4 + b. Which is greater: 2/29 or g?
g
Let v = -17 + 12. Let w be (2 + -1)/((-18)/54). Let i be (5/w + 2)*-9. Are i and v equal?
False
Let m = 6 - 3. Suppose 2*x - 5*s + 15 = -m*x, -6 = 4*x - s. Is -1/6 < x?
False
Let i(a) = 0*a - 5 + a - a**2 - 2*a. Let l be i(0). Is l at least as big as -6?
True
Let n = 16 + -15. Let y be ((-52)/60 + n)/(-1). Suppose -4*p = -9*p + 3*q + 15, -2*q = -2*p + 10. Is p != y?
True
Suppose -2*w - 184 = -4*b, -4*b - 3*w - 70 = -244. Is b bigger than -0.1?
True
Let q be (-5 + 2)*(2 + -3). Let u be 143/(-78) + 1/q. Which is smaller: u or -1?
u
Let o = -20.3 - -20. Which is smaller: o or 2?
o
Let k be 0 + -1 + 8/9. Is k bigger than 1?
False
Let q = -1109 - -769. Let o be (-176)/q - (-2)/(-5). Is -1/4 > o?
False
Suppose -4*u - 4*n + 304 = 0, -2*u = 3*n + n - 154. Which is smaller: 76 or u?
u
Let j be 258/24 + (4 - 0). Is 14 at least as big as j?
False
Let x = -59 - -59.1. Which is greater: -11 or x?
x
Let a = -10 - -17. Let u = -7 + a. Suppose 0*q = 3*q + 3. Is q at most u?
True
Let t be (0 + 16/20)*-10. Let x be -2*((-36)/t + -3). Is x less than -6?
False
Let c = 9 - 7. Which is smaller: 1 or c?
1
Let u = 6/1867 - 41164/28005. Let w = u - -4/15. Which is bigger: -1 or w?
-1
Let p = -8 + 11. Suppose -p*b + d = 2*b + 54, -d = 1. Are -11 and b unequal?
False
Suppose 0 = 5*f - 10, -5*f - 14 = 5*q - 34. Is -16 > q?
False
Let r = 2 - 4. Let g = 2 + r. Which is greater: g or 2?
2
Let o be (-3*1/9 + 0)*-3. Let h(v) = 8*v**3 - v**2 - 2*v - 1. Let n be h(-1). Let w be 4/(-3)*9/n. Which is smaller: o or w?
o
Let d = 86 + -39. Do 46 and d have the same value?
False
Let y be -15 - (-2 + 1)/3. Let t(l) = -3*l - 13. Let n be t(-9). Let i = y + n. Which is smaller: i or -2?
-2
Let z(a) = -3*a**2 - 19*a - 13. Let n be z(-6). Which is smaller: n or -14?
-14
Let j(n) = 2*n + 8. Let b be j(-4). Which is smaller: b or 1/10?
b
Suppose -4*r + 20 = 0, r - 1 - 3 = w. Which is greater: w or 7/6?
7/6
Let h = -20 - -19.1. Let j = h + 0.1. Does 1/3 = j?
False
Let c = -0.51 + 69.51. Let g = 68.03 - c. Let q = g + -0.03. Which is smaller: q or -0.4?
q
Suppose -4*l + 6*l - 24 = 0. Suppose b = -2*b - l. Is -4 > b?
False
Suppose 0 = -5*o - 2*l - 39, 2*o + 6*l + 12 = 4*l. Which is bigger: o or -10?
o
Let y = 797/11 + -73. Is y smaller than 0?
True
Let g = 6 - 7.7. Is 2/7 equal to g?
False
Suppose -2*c + w = 2, 5*c - 21 = -2*w - 2*w. Suppose 0 = -0*o - 5*o + 15. Suppose 12 = u + o*u. Which is smaller: u or c?
c
Let a = -4 - -7. Let q = -4 + a. Let g be (18/6)/(1*q). Is -3/2 equal to g?
False
Let f = 3371/14 - 241. Let y = 5/3 - 50/21. Let r = f - y. Is 2 bigger than r?
True
Let z = -6 + 20/3. Let j = -0.8 + -0.2. Which is greater: z or j?
z
Let t = 4 - 4. Which is smaller: t or -29?
-29
Let t = -26 - -22. Let d be ((-7)/(-14))/(2/(-20)). Which is greater: t or d?
t
Let c = -0.21 + -1.85. Let l = c - -0.06. Let g = l + 2. Is g <= 2/7?
True
Let w be (2/(-4))/(2/(-4)). Let g = -15 + 14.6. Let n = -0.6 + g. Which is smaller: w or n?
n
Suppose -2 = 3*p - 4*p. Let a = 1 - p. Let u = 616/795 + -34/53. Is u not equal to a?
True
Let d(a) = a**3 - 3*a**2 - 3*a. Let x be d(4). Let m(v) = v**3 - 5*v**2 + 4*v + 3. Let k be m(4). Let z = x - k. Which is smaller: -1 or z?
-1
Suppose 0 = -14*m + 12*m + 4. Are m and 3 equal?
False
Suppose -2*m + o = -23, -21 = -3*m + 2*o + 11. Suppose 2*k - m = -2. Suppose 0 = 5*q + 4 + k. Is -1 at most as big as q?
False
Let g be -1*(0 - 10/2). Let m = -35.4 + 34.4. Is m smaller than g?
True
Let c be 0/(-1) - (-1 - -211). Let m be 119/c + (-1)/(-6). Does -1 = m?
False
Let f = -18 + 17.9. Is f < 5?
True
Let w = -6.7 + 7. Let x = w - 0.4. Let t = x - 0. Are t and -0.1 equal?
True
Let s(o) = -o**3 + 8*o**2 - 11*o - 5. Let l be s(6). Are l and -3/28 non-equal?
True
Suppose 2*w = -d - 12, -42 = 5*w - 17. Let f be (d - 24/(-9)) + -1. Do f and -1 have the same value?
False
Let l = -5533/15 + 369. Suppose -20 = p + 4*p. Let c be 0*(-1)/(p/(-2)). Which is smaller: l or c?
c
Let f be (-5)/35 - 1/42. Suppose 3*z = -o - 1 + 9, -o + 5*z - 16 = 0. Which is smaller: o or f?
o
Let u = 126 + -1388/11. Let q = u + 1/66. Let i(m) = -m**3 - 13*m**2 - 11*m + 11. Let g be i(-12). Do g and q have different values?
True
Let g = -91 - -91. Is -63 at least g?
False
Let b = -16 - -15. Are b and -17 nonequal?
True
Suppose -5 = 2*h + 3*h. Let w be (h/(-3))/(3/81). Which is smaller: 10 or w?
w
Let o = 35/2 + -17. Let d(x) = 2*x**2 + 16*x + 9. Let q be d(-7). Which is smaller: o or q?
q
Suppose 0*b - 6 = 2*b. Suppose 0 = 2*o + o + 3. Is o != b?
True
Let y be -1*1/3*0. Suppose a = -y*a + 2*v + 5, a + 3*v + 10 = 0. Is 1/10 equal to a?
F