 Which is greater: k or -0.3?
k
Let p(q) = -q**3 - 7*q**2 - 6*q + 3. Let h be p(-6). Suppose -l = 4*l + h*l. Which is smaller: -1/130 or l?
-1/130
Let c = 920 - 920.06. Let o = -10/41 + -12/287. Which is smaller: o or c?
o
Let j = 101 - 87. Suppose 3*s - 17 = 19. Is j greater than s?
True
Let d = 13950/7 - 1996. Which is smaller: -1/6 or d?
d
Suppose 0 = -6*d + 6. Let q(r) = -r**3 - r**2 + 2*r - 1. Let l be q(d). Let m be l + 1 - (-27)/36. Which is bigger: m or -1/3?
m
Let k(t) = t - 7 - 1 + 2. Let z be k(-6). Let u be 6/(-10) + z/30. Which is smaller: u or -1/26?
u
Let p = 2 - 1. Suppose -14 = v - 0*v. Let s be v + 11 + 136/46. Which is greater: p or s?
p
Let d(k) = -k**3 - 31*k**2 + 66*k + 4. Let z be d(-33). Which is smaller: z or 44/9?
z
Suppose -5 = -i - 4. Suppose -2*s = 75*q - 74*q - 5, -2*q = s - 16. Is q bigger than i?
True
Let w be (-4)/54*(1 + -4). Let h = -180.3 + 180.2. Which is bigger: h or w?
w
Let d(t) = 2*t**2 - 5*t + 2. Let c = -61 - -63. Let v be d(c). Is 2/23 bigger than v?
True
Let s be (-50216)/438*39/(-26). Let i = s + -172. Let v = 0 - -1. Do i and v have different values?
True
Let p be 5/(805/(-14)) + (-56)/414. Is 83/4 less than p?
False
Let v be 2/4*(-8)/(-16). Let d = -5/12 - v. Which is smaller: d or -34?
-34
Let x be (20/25)/(3/90). Let w = -20 + x. Suppose -21 + 0 = -3*s - 3*m, -3*s + w*m + 14 = 0. Which is greater: 8 or s?
8
Suppose -3*r + p = -17, -4*r + 2*p + 43 - 23 = 0. Is r equal to 106/13?
False
Let y(g) = -7*g**3 - 7*g + 6 - 11*g + 8*g**3 + 12*g**2 + 6*g. Let q be y(-13). Is -8 at least q?
False
Let j be 610/(-25) + (-7)/(140/(-8)). Which is greater: j or -114/5?
-114/5
Let z(n) = 0*n + 5 + 0*n + 0*n + n. Let d be z(-3). Suppose -d*p + p = -1. Which is smaller: -2/11 or p?
-2/11
Let q(k) = -k**2 + 12*k - 11. Let h be q(14). Is h > -42?
True
Suppose 0 = -4*h - 9*h + 13. Let s be 3 + -1 + 2 - h*4. Let l be (-5 - -2)*2/3. Is s > l?
True
Suppose -9*z + 25 - 34 = 0. Which is smaller: z or -2/1173?
z
Let k = -1.3 - -2. Let m = -0.2 + k. Let n = m + 2.5. Is n bigger than -1?
True
Suppose -5 = 4*n - 37. Suppose 0 = 6*f - 4*f - 2*z, 2*f - 25 = -3*z. Are n and f equal?
False
Let i = -267 - -345. Is i not equal to 77?
True
Let i = 58 + -37. Let o = 23 - i. Is 0.17 greater than or equal to o?
False
Let v be (-14 - -25)*5/((-35)/(-8)). Is v smaller than 2/7?
False
Let q = 147 - 349. Which is smaller: 0.1 or q?
q
Let q be ((-44)/528)/((-6)/(-296)). Are -4 and q non-equal?
True
Let i(y) = 13 - 2*y + 7*y + y - 2*y. Let c be i(8). Which is smaller: 46 or c?
c
Let d = 172 - 54. Let g = d - 117.7. Is 2.1 greater than g?
True
Suppose 5*y = 3*l + 62, 6 + 11 = -l - 2*y. Is l less than 0.3?
True
Suppose 26*z + 36 - 10 = 0. Let s = -9/2 - -19/4. Is z <= s?
True
Suppose -89 = -2*r + 3*a, -2*a + 2 = 12. Let z(c) = -c + 53. Let s be z(15). Which is smaller: r or s?
r
Let a be (-32)/(-12) + 68/(-12). Let q = 0 - 2. Is a != q?
True
Let w = 237 - 113. Let f = 125 - w. Suppose -2*v - 1 + 3 = 0. Is v not equal to f?
False
Let d = 43/16 + -947/400. Let m(u) = u**2 - 26*u + 69. Let i be m(23). Is i at most d?
True
Suppose -5*m - 4*k = -0*k - 36, -5*k = 3*m - 32. Let v be (-2 + -3)*1/m. Let f = -11.4 - -11.5. Is v bigger than f?
False
Suppose p + 2 = 0, 6*v - v - 2*p + 246 = 0. Let g = -60 - v. Which is smaller: g or -0.3?
g
Let a be 45/6*20/6. Let c = 16 - a. Let s be ((-1)/(-4))/(c/36). Is -1/4 > s?
True
Let u(g) = g**3 + 3*g**2 - 2*g + 8. Let i be u(-4). Let a = -23 - -19. Let b be (a/9)/((-4)/18). Are i and b equal?
False
Let r(p) = 21*p + 83. Let f be r(-4). Is f < -6/53?
True
Let u be (-40)/(-3) - 4/12. Let f = 64/5 - u. Let m = -27/35 - f. Which is smaller: m or -2?
-2
Let m = -675 - -635. Which is greater: m or -0.2?
-0.2
Let k(z) = 2*z**3 - 4*z**2 + 4*z - 2. Let h be k(2). Let i be 0 + 0 + -2 + 2 + -8. Let v be i/6 + (-4)/h. Is -1 smaller than v?
False
Let r be (-2)/(-4) + (-98)/(-28). Let m(a) be the first derivative of a**4/4 - 3*a**3 + a**2/2 - 5*a + 2. Let z be m(9). Is r != z?
False
Let o be 1 - (5 + 6 + (-3 - -3)). Which is bigger: 6 or o?
6
Let j = -11 + 14. Suppose 0 = -3*w + 4*n - 63, w + j*n = -6 - 28. Let p = -2 + 1. Which is smaller: p or w?
w
Let m be 2/3 - (-32)/6. Let y = 175 - 169. Suppose -7*k + 39 = y*k. Which is smaller: k or m?
k
Suppose -y + 3*y + 2 = 0. Let v = -52783/9 - -6866533/1170. Let q = 39/10 - v. Are y and q equal?
False
Suppose 3*y - 67 = 4*a - 0*a, 140 = 5*y - a. Suppose 6 = -h + y. Let g = 35 - h. Which is bigger: 13 or g?
13
Let z = -11 - -11. Which is smaller: 24 or z?
z
Let z = -0.33 + 0.85. Let u = z - 0.12. Let d = 0.6 + u. Which is bigger: d or -0.2?
d
Let i = -3 - 0. Let n be ((-8)/(-20))/((-1)/5). Let z be (n/8)/(26/16). Are i and z unequal?
True
Let m be 3/((2 + -20)/6). Which is greater: -4 or m?
m
Suppose 136*h - 125*h = -209. Is h less than or equal to 0?
True
Let q = 1312 - 1343. Is -31 < q?
False
Let p(w) = w**3 + 4*w**2 - 2*w - 4. Let c be p(-4). Let x be 5 + 0/4 + (-1 - 0). Suppose x*y + 2*h + 14 = -6, -2*y - 4*h = c. Which is smaller: -2/3 or y?
y
Suppose o = -5*o + 42. Let n(y) = y**3 + 2*y**2 + 2*y + 6. Let b be n(0). Is b greater than o?
False
Suppose 3 = -3*x - 3*n, n = -4*x - 0*n + 11. Let h be x/26 + (-1)/(546/(-384)). Let z be ((-2)/(-8))/(3/8). Is z at most as big as h?
True
Let v = 16/11 - 70/33. Which is smaller: v or -12?
-12
Let m be 5/(6*-5)*-366. Which is bigger: m or 62?
62
Let l = 0.175 + 349.825. Is 1 bigger than l?
False
Let p = -24 - -24.1. Which is bigger: -15/4 or p?
p
Suppose 0 = 10*x + 4*x - 70. Suppose 3 = -2*d + l, x*d - 2*l - 2*l = -12. Is -1/41 equal to d?
False
Suppose 0 = 20*q + 6 + 14. Let y = 15735/23 - 684. Is q > y?
False
Suppose -412*h - 18 = -394*h. Let r be 1/(-4) - 463/(-12). Let p = r - 38. Which is smaller: p or h?
h
Suppose -5*d + 2*m + 288 - 56 = 0, 4*m - 20 = -d. Suppose 2*y + 2*y + 3*n = 157, 3*y - n = 134. Which is smaller: d or y?
y
Let a(y) be the first derivative of -y**4/24 - 7*y**3/6 - 4*y**2 + 2. Let f(z) be the second derivative of a(z). Let u be f(-3). Is u at most as big as -5?
False
Let k = 6506033868/1253 - 5192366. Let b = 2/179 + k. Is b at most as big as -2?
False
Let o = -43 - -46. Suppose -3*k - 5*r = -147, -o*k + 87 = 3*r - 66. Which is smaller: k or -0.1?
-0.1
Let g be (-2)/8*0/1. Suppose g = -2*a - x + 3, -7 = a - 3*x + 2. Suppose 2*n + 6 = -n + 3*l, -4*n + 5*l - 10 = a. Which is smaller: 1 or n?
n
Suppose 2*h + 4*i + 56 = 0, -9*h + 3*i + 87 = -12*h. Is h at least -30?
True
Let q(u) = -2*u**3 + u**2 + 4*u - 3. Let r be q(2). Let a(i) = i**3 + 7*i**2 - i + 3. Let x be a(r). Is x at most 10?
True
Let z = 1735 - 29507/17. Let d = 17 - 19. Which is smaller: z or d?
d
Let x = -12 - -12. Suppose -o = i - 37, x*o = -o - 2*i + 38. Let n = o - 361/10. Are n and 1 unequal?
True
Let z = -24 + 91/4. Suppose 5*m = 3*c - 6, m + 0*m = 3*c - 6. Which is bigger: m or z?
m
Let w = -0.0337 + -0.0663. Is w less than -0.15?
False
Let w be (-37)/74 + (-3)/(-14)*3. Which is smaller: w or -34?
-34
Let n(l) = l**3 + 2*l**2 - 4*l. Let x be n(-3). Suppose -a + x*a + 56 = 0. Let q be (-8)/a + (-192)/574. Which is greater: -1 or q?
q
Let d(c) = -3*c**2 + 70*c - 37. Let u be d(25). Is u smaller than -163?
False
Let b = -1 - -13. Let n be b/(-10)*120/(-18). Suppose n*g = 11*g. Which is smaller: -2/37 or g?
-2/37
Let w(c) be the first derivative of -c**2 - 9. Let l(k) = -k - 1. Let u be l(-1). Let n be w(u). Is n at most as big as 7?
True
Suppose -c - 14 = -4*t, 0 = -5*c + 3*t - 25 + 6. Let y = 178 + -1252/7. Do c and y have different values?
True
Suppose -3*k - 3*a = -66, -3*k + a - 74 = -6*k. Let p be k/12 - 4/24. Does 1 = p?
False
Let w(d) be the first derivative of d**3/3 + 3*d**2/2 - d + 2. Let u be w(-4). Suppose 4*h = u*k - 30, -14 = -5*k + h + 36. Is k greater than or equal to 10?
True
Let l = 5432492/15 + -362485. Suppose -h - 5*f + 309 = 0, 4*h + 5*f - 1258 = 8. Let y = h + l. Which is smaller: y or -1?
-1
Let n = 396 - 389. Is n != 33/4?
True
Let m = -1629 + 1013237/622. Let y = m + -929/2488. Is -1 at least y?
False
Let z be 712/10*180/(-72). Is z equal to -2?
False
Let i be (-19)/(-15) + 6/(-9). Let f(w) = w - 18. Let d be f(18). Which is smaller: d or i?
d
Let n = 24 + -24. Suppose 2*r + k + 3 = -n*r, -4*r = 5*k + 9. Is r at most -