(-12)/3) + -1. Is 1/6 greater than or equal to q?
True
Suppose 0 = -17*p + 19*p - 2. Let v be (1/(-1))/((-33)/(-6)). Which is smaller: v or p?
v
Suppose -3*s = -4*s - 5, f - 5*s = 25. Which is smaller: 2/403 or f?
f
Let h(a) = -a**2 + 13*a - 27. Let j be h(12). Is j < -15?
False
Let r = 5 + -4. Suppose -2 = p - r. Is 1/7 != p?
True
Let m = 0.28 + -2.22. Let j = m + -0.06. Let f be (-1*(-2)/(-4))/(-1). Which is bigger: j or f?
f
Let n = -31 + 17. Is n bigger than -14?
False
Let r be -1*((-7881)/39 + 4). Let x = 198 - r. Which is greater: x or 1?
1
Let x = -17/2 + 8. Let u = -53 - -317/6. Is u bigger than x?
True
Suppose 2*t + 3*q + 5 = 22, -5*t - 3*q = -29. Are t and 3 nonequal?
True
Let j(x) be the third derivative of -x**4/24 - x**3/3 - x**2. Suppose 0 = -2*g + 13 - 17. Let l be j(g). Does l = -1/4?
False
Let h(c) = -c - 4. Let y be h(-12). Let i be (1/(-17))/(y/16). Is 1 bigger than i?
True
Let v(q) = -2*q**2 - 3*q + 1. Let h be v(3). Let m be 13/h*(0 - 0). Is -1 < m?
True
Suppose 4*s - 2 = -10. Are -3/2 and s non-equal?
True
Let h be 18/(-24)*(8/(-783) - 0). Is h greater than -1?
True
Let q = 0.4 + -0.3. Let c = 13 - 9. Let r = 3 - c. Are q and r nonequal?
True
Let y be (7/(-28) + 6/(-8))/1. Is y >= -2?
True
Let r be 50*(2/2)/(-549). Let n = r + -8/61. Is n != -1?
True
Let x(d) = 2*d + 30. Let h be x(-17). Are -1 and h equal?
False
Let m = -5 + 6. Let r = m + 0. Let n = 1.1 - r. Which is smaller: 1 or n?
n
Let h(f) = 4*f**2 + 15*f + 6. Let n be h(-3). Let d be (0 + -22)*(-1)/2. Suppose d = 4*z - 4*u - 1, -5*z + 2*u = 0. Which is greater: z or n?
z
Suppose 0 = -4*a + a. Let k be 5/10 - 3/(-2). Let x = 1 - k. Which is smaller: x or a?
x
Let d be 35/210*20/(-6). Suppose 5*y + 0 = -10. Does y = d?
False
Let n(v) = 4*v**3 - v**2. Let t(p) = -p**2 + 3*p - 1. Let d be t(3). Let b be n(d). Let i be 2/7*(b - -4). Which is bigger: i or 1?
1
Let y be ((-86)/90 + 1)*-10. Is y at most as big as 0?
True
Let r be 1701/140*-4*1. Let i = -49 - r. Suppose -p - p - 2 = 0. Which is greater: p or i?
i
Let q(w) = -w + 8. Let a be q(8). Suppose -5*l = -2*z + 15, -1 = -3*l - 4. Let g be z + a + (-4 - -2). Is 2 less than g?
True
Let z be (9/(-27))/(2/6). Which is smaller: -6/13 or z?
z
Let v = 34 + -19. Let p = -14.9 + v. Which is smaller: p or 1?
p
Let b = 59 + -62. Is -17 greater than b?
False
Let j = 1.9 - 1.87. Which is smaller: 2/7 or j?
j
Let x be (-1 - 0)*(-8)/(-16). Which is greater: x or -0.26?
-0.26
Suppose 3*p + 29 = 8. Let q = p + 9. Suppose -q*z = z. Is 4/7 less than z?
False
Let i(j) be the third derivative of -j**6/120 - j**5/30 + j**4/24 + j**3/6 - j**2. Let b be i(-2). Let t = 245/4 + -61. Which is bigger: t or b?
t
Let o = -0.15 - -0.22. Which is bigger: 0.1 or o?
0.1
Suppose 3*x = -0*x. Is -2/75 at least as big as x?
False
Let w be 42/38 + 1 + -2. Which is smaller: w or 1?
w
Suppose 1 = y - 2*y. Let u = 45 - 44. Is u equal to y?
False
Suppose 0 = -2*y - 2*i, 3*y - 2*i - 3*i + 8 = 0. Let t = -0.02 - 2.98. Let g = 2 + t. Is g at least as big as y?
True
Let l = -18 - -18. Is 1/3 at least l?
True
Let m = -8 + 3. Which is greater: m or -2?
-2
Let t(j) = -j**3 + 6*j**2 + 7*j - 3. Let c be t(7). Let s be -2 + 1/(c/(-9)). Which is greater: -1/13 or s?
s
Let n = -1.2 + 1. Let a = -0.3 - n. Let u = -5 - -4.7. Which is smaller: u or a?
u
Let x(p) = -p - 3. Let a be x(-8). Suppose b - a = -4*b. Let w = -9 - -9. Is b != w?
True
Let t = 2563 + -366511/143. Is 1 <= t?
False
Let i be (0 + 3)/(((-2)/(-3))/(-2)). Is -8 not equal to i?
True
Suppose 3*c + 12 = -5*p - 0, 8 = 2*c - 2*p. Is c >= 4/19?
True
Suppose 4*k = h + 5, 3*h - 1 = 5*k - 2. Suppose c + 3 = 2*w, -5*w + c = -0*w - h. Suppose w = 3*q - 0 - 3. Which is bigger: 3/10 or q?
q
Let j = -57 + 72. Are j and 13 non-equal?
True
Let b be (-3)/(-2)*68/6. Let x = -50/3 + b. Which is bigger: 0 or x?
x
Let h = 209/5 + -41. Is h greater than or equal to 3?
False
Let p = -30 - -5. Are p and -0.1 equal?
False
Let k = -28 + 14. Does k = -14?
True
Suppose -a + 3*a - 527 = -3*w, 3*a - 12 = 0. Let g = w - 77. Let t = 478/5 - g. Is -1/5 > t?
True
Suppose -3*o = -4*j + 2, j + 3 = o - 2*o. Which is greater: -2 or j?
j
Suppose -15 = 2*p + 3*p. Suppose 0 = 3*g + g. Suppose 4*v = 2*q - 18, -v + g*q - 3 = q. Which is smaller: v or p?
v
Let f = 44 - 44. Which is smaller: -3/14 or f?
-3/14
Let o = -3 + 3. Suppose -5*s - 2 + 12 = o. Is 2 <= s?
True
Suppose -8*d = -7*d + 4. Let l be (-2)/8 + (-49)/d. Which is smaller: 13 or l?
l
Let m(n) be the second derivative of -n**4/12 + 5*n**3/6 + n**2 - 3*n. Let i be m(4). Let d be (-24)/16*16/i. Do d and -4 have different values?
False
Suppose -64 = 4*g + 5*k - k, -5*g = k + 64. Let r be 20/(-42) - g/(-18). Which is greater: r or -2?
r
Suppose -u + 3*f - 2 = 0, 2*u = -3*f + 10 + 4. Let o = 0 + 3. Which is greater: u or o?
u
Let o = 0.1 + -0.6. Let q = 0.5 + o. Let i = -3 - -2.9. Is q equal to i?
False
Let x = -12 + 15. Is x less than -3?
False
Suppose 0 = 5*o - 35 - 10. Let b be (-6)/15 - 156/(-15). Is b greater than o?
True
Let h = 54 + -55. Which is bigger: -51 or h?
h
Let s be 19/((1 + 2)/3). Let j = 117 + -98. Is s bigger than j?
False
Let i(u) be the second derivative of -u**5/20 - 3*u**4/4 - 3*u**3/2 - 7*u**2/2 - 3*u. Let t = -3 + -5. Let s be i(t). Which is bigger: 2 or s?
2
Let m = -14 - -11. Is -2 at most as big as m?
False
Let a(r) be the third derivative of r**5/60 + 5*r**4/24 - 2*r**2. Let q be a(-5). Is -2/7 bigger than q?
False
Suppose -6*w = -4*w. Suppose 5*f - 5 = 0, -3*k - f + 2 + 2 = w. Which is smaller: -2/7 or k?
-2/7
Let f = 528 - 526. Let w be (-9 + 2)/(0 - 5). Which is smaller: f or w?
w
Let j(o) = -o**3 - 2*o**2 + 3*o - 6. Let s be j(-4). Is s < 15?
True
Suppose -10 = 3*a + 4*p, -23 = -4*a + 5*p + 5. Suppose 4*d = 12, 9*j - a*d = 4*j - 1. Which is bigger: 2 or j?
2
Let l(v) = v**3 - 3*v**2 + 1. Let y be l(1). Is 15 at least as big as y?
True
Let r = 3 + 0. Let w = r - -3. Let n = w - 6. Which is smaller: -0.2 or n?
-0.2
Let b = -23 - -24.7. Let z = b - -1.3. Let d = -37 + 112/3. Which is greater: z or d?
z
Let u(w) be the first derivative of -w**3/3 - 2*w**2 + 3*w + 3. Let a be u(-3). Which is bigger: -0.1 or a?
a
Let p be (-35)/(-14)*(-146)/20*2. Which is greater: p or -38?
p
Let i(q) = -q**2 + 8*q + 1. Let n be i(6). Is 12 < n?
True
Let u = -487.97 + 486. Let i = u + -0.03. Let z = -13 + 16. Which is smaller: i or z?
i
Let t = -215/927 + 1/103. Let f be (-12)/2 - 1*-2. Let o be 2 + 0 - f/(-2). Are o and t non-equal?
True
Let m = -58 - -55. Suppose 8*w = 3*w. Are m and w equal?
False
Let d be ((-4)/40)/((-68)/60 + 1). Is -9 at least d?
False
Let a = -43.6 - -44. Which is smaller: a or -14?
-14
Let f(d) = d**3 + 12*d**2 + 6*d + 9. Let i(c) = c**3 + 13*c**2 + 5*c + 9. Let w(u) = -4*f(u) + 3*i(u). Let q be w(-8). Are q and 3/8 equal?
False
Let s = -2036 - -431631/212. Which is greater: 1 or s?
1
Let a(j) = -j**3 + 2*j**2 + 11*j - 11. Let z be a(4). Which is smaller: -2/65 or z?
-2/65
Let z be (-4)/(-50)*(-20)/(-14)*-1. Do 1 and z have the same value?
False
Let i be -1*(2 - 0) + 22. Suppose -3*x = x - i. Suppose 3*g - 4*g + h + 2 = 0, -g - 10 = x*h. Is 1 less than or equal to g?
False
Let a = 46 + -187/4. Which is smaller: a or -1?
-1
Let t = -7.02 - -0.02. Let n = -8 - t. Which is smaller: 2/7 or n?
n
Suppose -2*q + q = 14. Let g = -125/9 - q. Is g < -1?
False
Let x = 2 + -4. Let s be ((x + 0)*1)/5. Let p = 40 - 81/2. Is p not equal to s?
True
Let f(w) = -4 + 0*w - w**2 - w + 3 + 0*w. Let j be f(0). Let r = 1 + -2. Does r = j?
True
Let w = 20 + -22. Let i be 1/w*(-9 - -9). Is i equal to 1/24?
False
Suppose 4*v - 50 - 34 = 0. Let s be v/(-2)*(-2)/3. Is 7 bigger than s?
False
Suppose 3*r = -2*v - 2*v + 23, 9 = 4*r + v. Are 2/7 and r nonequal?
True
Suppose 4*v = 3*v. Which is smaller: v or -1?
-1
Let v = 155/34 - -1408/51. Let w = -32 + v. Which is bigger: -1 or w?
w
Let t(y) = y**3 + 4*y**2 - 4*y + 5. Let a be t(-5). Let j be (-2)/(-7) - 43/28. Which is smaller: j or a?
j
Suppose 4*m = -g + 8 - 24, -2*m = 5*g - 10. Suppose -g*p - 3 = -5*p. Which is smaller: p or 2?
2
Let c be (-2)/(-24) - 1/3. Let i be 3/(-2)*4/(-3). Suppose -i*o - 4*m = 22, -2*o - 3*o - 4*m = 25. Is o < c?
True
Suppose 3*t = t + 2*h - 44, -2*t + h = 40. Let o = 14 + t. Is o less than -7?
False
Let k