 p be 9/(-15)*4/(-6). Which is smaller: p or t?
t
Let x = 5.333 + -0.033. Let g = 5 - x. Which is greater: 1/3 or g?
1/3
Let c = -0.05 + 0.05. Let q = c + 0.2. Which is smaller: -1/4 or q?
-1/4
Let q = 0.002 - -0.108. Which is smaller: q or -1?
-1
Suppose -3*d = d - 64. Suppose 0*q - 3*q + 48 = 0. Is q greater than or equal to d?
True
Let k = -2/59 - 45/413. Which is bigger: -1 or k?
k
Let h be 4 - (-3 - (-8)/4). Which is greater: 0 or h?
h
Let m be (-12)/16 - (-7)/4. Suppose -t + m - 4 = 0. Let j = t + 3. Is 1/4 < j?
False
Let u = 0.5 - -1.1. Let r = -1.4 + u. Suppose 5*j - 13 = 2. Does r = j?
False
Let r be (15/9 - 2)*-15. Let k = r - 9/2. Is k at least as big as -1?
True
Let s(o) = -2*o - 1. Let w be s(-1). Let u be (6627/(-6))/((-11)/(-2)). Let x = u - -201. Which is bigger: x or w?
w
Let n = 2091/13 - 161. Which is bigger: 0 or n?
0
Suppose 0 = 4*j - 4. Let o be (-1 + 2)/(-1)*j. Let f(d) = d**2 + 4*d - 5. Let a be f(-5). Which is smaller: a or o?
o
Let h be 3 + (-3)/(-6)*-8. Is -3/2 <= h?
True
Let f be (-2)/10 + 62/10. Let w be 10/(-15) + (-8)/f. Which is greater: -3/5 or w?
-3/5
Suppose 0 = 4*g + 13*g. Is g > 2/449?
False
Let w be 0/(-2 + 1 - 1). Which is smaller: w or -4?
-4
Let s = 14 + -12. Let g(v) = v**3 - 2*v**2 - v + 1. Let u be g(s). Which is bigger: u or -3/8?
-3/8
Let z be ((-108)/(-3))/2*-2. Let w be z/165 - 2/11. Which is smaller: w or 5?
w
Let t = -25 - -16. Let g(y) be the first derivative of -y**3/3 - 7*y**2/2 + 13*y + 3. Let w be g(t). Is w less than or equal to -4?
True
Let o = -46.05 + 47. Let y = -1 + o. Do y and -2/5 have the same value?
False
Let v = 10/37 - 302/1665. Is v != 0?
True
Let c = -35.79 + 36. Let f = 0.01 - c. Let k = f + 0. Is -3 at least k?
False
Let k(a) = -15*a**2 + 8*a. Let v be k(-6). Let i be 2/8 - (-129)/v. Let u = -31/98 + i. Which is bigger: u or 0?
0
Suppose 5 = m + 3. Let u = -53/2 - -27. Which is smaller: m or u?
u
Let v(s) = 5*s. Let h be v(1). Let d = h - 13. Does d = -8?
True
Let t = 5 + 5. Let h = t - 6. Is 1/4 greater than h?
False
Suppose 3*x + 5 = -16. Let c = 4 + x. Which is bigger: -2 or c?
-2
Suppose -2*p = -2*n - 4, 12 = 5*p - 2*n - 1. Let w = -2 - -4. Are p and w equal?
False
Let y(x) = x**3 - 12*x**2 + 12*x - 12. Let l be y(11). Let k be l/((-1)/(-4)*4). Which is smaller: k or -2?
-2
Suppose 0 = 2*m + 3*m - t - 14, -4*m + 3*t + 20 = 0. Suppose 4*z - c = 17, 3 = -c - m*c. Suppose x + z*x = 10. Which is smaller: x or 1/4?
1/4
Let w = -47 - -45. Is w >= -5/9?
False
Let b be 1/4 - (-30)/8. Let c be 3*(2 + b/(-6)). Suppose c = x - 5*x. Which is smaller: 0 or x?
x
Suppose 0*r - r = -25. Is r greater than or equal to 24?
True
Let q(s) = -3*s**3 - 3*s + 5. Let r(h) = h**3 - h**2. Let a(x) = -q(x) - 4*r(x). Let m be a(5). Do -14 and m have the same value?
False
Let t = 2 - -10. Let z be (t/(-63))/(2/3). Let d be 3/2 + (-2)/4. Which is bigger: z or d?
d
Let f = 1 - 1. Suppose t = 3*o + 8, 5*t + f*o = 2*o + 40. Suppose 1 = k + t. Is k > -6?
False
Let z = -7.4 + 7.1. Is z greater than -4?
True
Let s = 20 - 61/3. Let b(l) = l**3 + l**2 - l - 2. Let h(r) = r**3 + 2*r**2 - 2. Let u(n) = 2*b(n) - 3*h(n). Let o be u(-3). Which is smaller: o or s?
o
Let i(w) = -2*w**2 - 3*w + 6. Let n(h) = -3*h**2 - 4*h + 7. Let v(z) = 4*i(z) - 3*n(z). Let g be v(9). Let f be 4/(-14) - (-10)/g. Are f and 1 unequal?
True
Suppose u = -4*u - 4*y + 6, 2*u + 1 = -5*y. Let z = 1 - -1. Suppose 4*o - 14 = z, 2*a - 3*o = -8. Is u greater than or equal to a?
True
Let n = -7 + 9. Let k = -2.3 + n. Which is smaller: 2/3 or k?
k
Suppose o - f = -2, 3*o - 4*f = -3*f - 4. Do o and 1 have different values?
True
Suppose -2*r = -2*f - f - 4, -3*f = -4*r + 2. Is 4/15 < r?
False
Let n(h) = -2 - 4*h + 6*h - 4*h + h. Let l be n(0). Is -2 less than l?
False
Let v = -6440/11 - -586. Which is greater: v or 0?
v
Let w be (-1015)/(-7)*4/10. Let k = -523/9 + w. Is k bigger than -1?
True
Suppose 0 = 4*z + 5*h + 3 - 29, 16 = 5*z - 2*h. Do z and 3 have different values?
True
Suppose -3*u - 123 = 3*o, -4*o = 5*u - 2*u + 124. Let t be (-6)/(-27) + u/18. Is t less than or equal to -8/7?
True
Let a be 3*((-4)/3)/(-2). Let l = 21 - 18. Suppose 3 = l*w - 2*w. Is w <= a?
False
Let k be 1884/21 - 1 - 1. Let x = -88 + k. Let b = 2 - 1. Is x bigger than b?
False
Let d(s) = 2*s - 7. Let w be d(4). Let u be (-1 + 0 + 0)/(-17). Is u at least w?
False
Suppose 0*k = 2*k + 2. Let q be (24/2 - 2)/(-1). Let w be 4/q - 4/(-5). Is w greater than k?
True
Let m = 1 + -2. Let t be (3 + -2)/(-1 + m). Is t less than or equal to -1?
False
Let l be 58/78 - (-10)/(-15). Which is smaller: -1 or l?
-1
Let m = 4 + -11. Is -7 at most m?
True
Let b = 72 + -20. Let f be 1 + (-180)/b + 2. Which is greater: 0 or f?
0
Let v = -16.97 - 4.93. Is v >= 2/3?
False
Let h be (-12)/18 + (-2)/(-12). Which is bigger: h or -4?
h
Let k = -1 - -1. Suppose -3*n = -k*n. Suppose -3*m + 8*m = i - 14, -4*m = 3*i + 15. Is i greater than or equal to n?
False
Suppose -s = 5*l, 4*l + 3*s + 1 = 12. Which is smaller: 1/34 or l?
l
Let u = -59 + 73. Is u > 0?
True
Let l be (-1)/4 - (-90)/(-24). Are l and 2 equal?
False
Let b be 2/(-7) + (-23)/(-7). Suppose -b*w + 5*w - 8 = 0. Let f = -6 + w. Is f > -4?
True
Suppose 0 = x - 5. Let w be 2 - (-5)/(x/(-3)). Is w equal to -1/5?
False
Let z = -0.0482 + 3.1182. Let t = z - 0.07. Is t at least as big as 0?
True
Let q = -10.1 + 9. Let w = -0.9 - q. Is w less than -2?
False
Let o be (-6)/4 - (-12)/24. Is o >= 0.17?
False
Let f = 1/45 - 137/90. Is f greater than or equal to -1?
False
Let a = 5 - -1. Is 0.1 greater than a?
False
Suppose -2 = j + 1. Let s be (-2)/(-6)*(-9)/j. Which is greater: s or 2/3?
s
Let z(w) = -2*w**3 + 8*w**2 - 11*w + 14. Let y(l) = 5*l**3 - 25*l**2 + 33*l - 42. Let h(k) = 3*y(k) + 8*z(k). Let b be h(-12). Which is smaller: -3/4 or b?
b
Suppose -14 = 2*y + 3*j, -y = 2*j - j + 5. Suppose 5 - 4 = -5*i + 4*q, -i + 3*q = 9. Which is bigger: i or y?
i
Let r = -223/2 - -114. Which is bigger: 2 or r?
r
Suppose d + 0*d = 0. Suppose 4*x - 28 = -d*x. Is x at least 6?
True
Suppose 0 = -2*i - 81 - 11. Is i >= -44?
False
Let q be (-6 - -2)/12 - 40/(-3). Is q at most as big as 10?
False
Let k = 390 - 3505/9. Which is smaller: -0.2 or k?
-0.2
Let z = -0.18 + 36.18. Which is smaller: 0.1 or z?
0.1
Let b = -23 + 23.18. Which is smaller: -2/3 or b?
-2/3
Let n = -77 - -77.1. Is n >= -0.058?
True
Suppose 0 + 1 = -4*q - 5*a, 0 = 4*q + 3*a - 1. Let u = 1.6 + -0.7. Let c = -1 + u. Which is bigger: c or q?
q
Let z = 14 + -23. Let p = z - -7. Is p greater than -2?
False
Let z = 3 + 8. Is 11 smaller than z?
False
Let f = -3 + 0. Which is smaller: f or -6?
-6
Let j = 532 + -37771/71. Which is greater: 1 or j?
1
Let t be (-77)/(-55) + (-2 - -2). Suppose -3*s + 4*g = 17, -g = -4*s - 3 + 2. Is s <= t?
True
Suppose 2*j = 2*d + 34, 2*d + 61 = -3*d - 3*j. Let y = -7853/5 - -1557. Let c = y - d. Is 1/3 not equal to c?
True
Let z = 72 - 72.07. Do 0.2 and z have the same value?
False
Suppose 0 = -3*p - 5*t - 23, 3*t - 2*t = 5*p + 1. Let h be 3 - (-701)/(-240) - 0. Let i = h + 1/48. Which is greater: p or i?
i
Let b be 8/(-6)*2/(-8). Suppose 2*d + 5 = 5*v, 5*d + 8 = -17. Which is smaller: v or b?
v
Let i = 540 - 5944/11. Let h be (-27)/(-21) - 4/14. Is h bigger than i?
True
Let r = -32 + 151. Let l = r - 114.1. Let g = 5 - l. Is 0.3 bigger than g?
True
Let g = -11 + 10.5. Which is smaller: -0.3 or g?
g
Let x = 222 - 226. Let s = -1.1 + 0.1. Which is smaller: x or s?
x
Let w = -60/367 + -801482/4771. Let l = w + 168. Which is smaller: 0 or l?
l
Let d = -394222/191 - -2064. Is d not equal to 0?
True
Let q(p) = -4*p - 12. Let v be q(-3). Let k = 1 + -1. Is v greater than k?
False
Suppose 0*z - 5*z = -30. Suppose 2 = -2*i + z. Which is smaller: -1 or i?
-1
Suppose 0 = -3*f + 4*f - 1. Let y be f/(2 - -2 - 3). Which is greater: -1/25 or y?
y
Suppose -9*r = -30*r. Is 1/119 not equal to r?
True
Let j(f) = 2*f**3 - 2*f**2 - 2*f + 2. Let o be j(2). Let m = o - 6. Which is greater: -1/7 or m?
m
Let w = 40 - 12. Which is smaller: w or 0?
0
Let r(w) be the third derivative of -w**4/24 - 4*w**3/3 - 2*w**2. Let b be r(-5). Which is smaller: -4 or b?
-4
Let j be 54/(-15) + 4 - (-1648)/(-4170). Which is greater: j or 0.1?
0.1
Let v = 3/31 + 29/341. Is v greater than -13?
True
Let s(u) = 2*u - 