ich is smaller: p or 63?
p
Suppose 6*l = 2*l + 72. Suppose 0 = -7*w + w - l. Let y be w + ((-87)/(-21) - 1). Is 0.1 bigger than y?
False
Let j = 1864/5 + -374. Let m be 0*((-4)/8 - 0). Is j at most m?
True
Let j = 5.078 - 0.078. Let o = 0.3 + -0.3. Is j less than o?
False
Let s = -13.9 - -2.5. Let w = s - -10. Is w bigger than 0?
False
Let s = -103 + 74. Let y be 1 + 0 - 87/s. Is y != 31/8?
True
Let p = -317/5 - -64. Let g be 15 + -4 + 2/2. Suppose g = i + 11*i. Are p and i unequal?
True
Let a be (-24)/110*(1 + 4). Suppose 5*k - 4*k - 6 = 0. Suppose 11*d - k*d = -5. Are d and a unequal?
True
Let v be ((-1)/4)/(2/(-16)). Suppose -58 = 3*q - 3*w + v*w, 3*w - 3 = 0. Is -19 greater than q?
False
Let s(u) = -u**3 + 6*u**2 - 8*u - 1. Let f be s(4). Let i = -903/68 - -53/4. Which is smaller: f or i?
f
Let n = -0.2 - -0.4. Let j be (4 + 119)*5/(-15). Let l = 124/3 + j. Which is smaller: n or l?
n
Let k(l) = l**3 + 15*l**2 + 15*l + 19. Let x be k(-14). Suppose -x = -5*p + 20. Which is greater: 4 or p?
p
Let r(u) = u**2 - 7*u + 10. Let n be (-32)/8 + (-20)/(-2). Let t be r(n). Suppose 3 + 9 = 4*q. Is q <= t?
True
Let r = -658/15 + 44. Let n = -5896 + 5897. Which is smaller: n or r?
r
Suppose 4*y + 2*s = 16, -4*y + 2 = -2*s - 6. Let c be (3/(-2))/(3/(-4)). Let t be (c/(-7))/(2/(-14)). Do t and y have the same value?
False
Suppose -2973 = 5*f + 3*x, 0 = 4*f - f + 2*x + 1783. Let y be 2/((-1206)/f + -2). Let z = y - 102. Is -2 bigger than z?
True
Suppose -8 = 4*q, -5*v + 5 = 3*q - 24. Suppose 9*y = v*y. Let p be (12/(-18))/(16/12). Which is smaller: p or y?
p
Let j(i) = -5*i - 9. Let q(u) = u**2 + 4*u. Let p be q(-2). Let o be j(p). Suppose 5*k = 2*k + 9, -d - 4*k = -o. Is d smaller than -3/14?
True
Suppose -2*n - 3*t - 51 = 2*t, 3 = -t. Let u be (-40)/(-6)*(-87)/58 - 8. Are u and n nonequal?
False
Let s = 42 + -45.7. Let i = s - -1.5. Is i not equal to -1?
True
Let w(n) = -n + 10. Let g be w(7). Let v(h) = 2*h**3 + 10*h - h**g + 13 - 6 + 4 + 9*h**2. Let y be v(-8). Is y greater than or equal to -7?
True
Suppose -2*i + 9*i + 2*i = 0. Which is bigger: i or 2/711?
2/711
Let i(q) be the third derivative of q**5/60 - q**4/24 - 17*q**3/6 - 7*q**2. Let m be i(-8). Let p be 11/m - 6/5. Which is bigger: 0.1 or p?
0.1
Let o = -1726 + 1724.99. Is -5 at least as big as o?
False
Let w be (-656)/(-6)*18/(-66). Let y = 30 + w. Which is smaller: y or 1?
y
Suppose 43*d = -15*d + 174. Which is smaller: 97/29 or d?
d
Let n(w) = w**2 - 8*w - 1. Let f be n(6). Let c = -9 - f. Suppose -c*v - 2 = -2*v. Is -0.3 at most as big as v?
False
Let k be (17/3 + 1)*(-384)/(-160). Suppose 43*o = 39*o - k. Let s be ((-88)/42)/(4/6). Is o greater than s?
False
Let x(w) = 11*w - 56. Let o be x(5). Which is bigger: o or -42/25?
o
Let f = 103.1 + -69.1. Is f at most 1?
False
Let o(z) = -z**3 - 20*z**2 + z + 11. Let t be o(-20). Let p be 4 - 2 - 49/5. Is p < t?
False
Let h = 15229/6 - 2533. Is h >= 6?
False
Suppose -344*k = -335*k + 3978. Is -443 < k?
True
Let r = -11 - -11. Suppose 5*a - a + 20 = 0. Let k(q) = -q - 4. Let y be k(a). Which is bigger: r or y?
y
Suppose 2*y - 3*l + 15 - 7 = 0, -3*y + 5 = 4*l. Let t = -550/25207 + 3/277. Is y not equal to t?
True
Let l(r) = 14*r**2 - r - 91. Let d(k) = -3*k**2 + 18. Let a(h) = 11*d(h) + 2*l(h). Let p be a(3). Do -35 and p have different values?
False
Let h = -37 + 37. Suppose 0 = -y - 5*j - 34, 2*y + 4*j + 62 + 30 = h. Which is bigger: y or -55?
y
Let d(j) = 5*j**2 + 2*j - 3. Let b be d(1). Suppose -22 = -5*n + 3*c + c, b*c + 18 = 3*n. Is n > 42/17?
False
Let v = 884 + -900. Are v and -47 unequal?
True
Let a(x) = x**3 + 4*x**2 - 7*x + 15. Let o be a(4). Are o and 115 equal?
True
Let x = 5826/13 - 448. Which is greater: x or -20?
x
Let g = -2 + 1. Let t(j) = -j**3 + 13*j**2 - 6*j - 17. Let r be t(12). Let v be -1*(r/(-30))/(-11). Which is greater: v or g?
v
Let z(u) = -u**3 - 7*u**2 - 9*u - 48. Let n be z(-6). Let q = 56 - 85. Which is bigger: n or q?
q
Let u(q) = 2*q + 17. Let c be u(-19). Let t be (-6)/c + (-10)/(-14). Which is bigger: 1/32 or t?
t
Suppose 855 + 1430 = 4*m + 5*q, 3*q = -m + 566. Let k = 2892/5 - m. Which is bigger: 2/5 or k?
k
Suppose 5*k - k = y - 5, -3*y - k - 24 = 0. Let b be 12/(-42)*y/3. Are -26 and b unequal?
True
Let i = -107/7 + 109/7. Suppose 1 = -3*a + 4*a. Are i and a unequal?
True
Let i be (-36)/(-48) - (-1414)/(-1896). Which is bigger: -1 or i?
i
Let u(g) be the second derivative of -g**3/6 + 5*g**2 + 6*g. Let p be u(9). Let a(b) = b**3 - 13*b**2 + b - 14. Let d be a(13). Which is smaller: d or p?
d
Let f = -23 - -26. Suppose f*k = 5*k - 5*k. Is 1/13 less than k?
False
Let g(a) be the third derivative of a**5/60 - 5*a**4/12 + 4*a**3/3 - 6*a**2. Let j be g(9). Let t = -9/13 - -76/91. Which is greater: j or t?
t
Let b(t) = -9*t - 70. Let h be b(-9). Let v = h + -4. Which is bigger: v or 4?
v
Let k = -17/54 - -163/1890. Is k greater than -1/3?
True
Let a be ((-16)/(-5))/((-8)/40). Let r = a - -78/5. Are -40 and r unequal?
True
Let r(s) = -7*s**2 + 26*s - 11. Let q(o) = -6*o**2 + 27*o - 10. Let p(f) = -5*q(f) + 4*r(f). Let n be p(15). Which is smaller: n or -1/3?
n
Suppose 2*r - 5*x = -5, x + 2*x = 4*r - 11. Let n(o) = 4*o + 28. Let t be n(-14). Let y be ((-1)/(-10))/(7/t)*-15. Is r bigger than y?
False
Let a = -272 + 281. Which is smaller: 3 or a?
3
Let r = -251 + 221.1. Let o = 30 + r. Which is greater: o or -11?
o
Let k be (-5 - -7)/(-2 + 10/4). Suppose -k*j = 2*t - 198, 11*j - 6*j + 357 = 4*t. Does t = 94?
False
Let w(m) = -m + 17. Let c be w(16). Let v be 1 - (0 + 0) - c. Let z be -4 + (-14)/(-6) + v. Is -2 bigger than z?
False
Suppose x + a + 9 = -x, -5*x = -4*a + 55. Let v = -30 - -30. Suppose 20 + v = -4*k. Which is smaller: x or k?
x
Let l(s) = s**2 - 7*s + 43. Let o be l(8). Is o less than or equal to 51?
True
Let n be (-61)/12*-1*(-18)/(-12). Which is smaller: 8 or n?
n
Let k be 4/(-70)*(3 + 2). Let s = 0.1 - 0.3. Let b = s - -1.2. Which is smaller: b or k?
k
Let f = 19 - 25. Let v = 0.1 - 0.2. Let o = -1.1 - v. Is o < f?
False
Suppose 4*r + 0 = 8. Suppose 0 = -r*p + 6*p + 2*d, -5*p - 10 = 5*d. Let j be -4 + 4 + 4/p. Is 1 > j?
False
Let a be 84/2*-6*(-10)/(-780). Which is smaller: a or -4?
-4
Let t(j) = j**2 - 5*j - 3. Let p be t(7). Let k = -4.7 + 3. Let m = 2.7 + k. Which is smaller: p or m?
m
Suppose -3*h - 620 = -5*g + 189, -3*g = 3*h - 495. Let c = -2125/13 + g. Which is greater: 0 or c?
0
Let c be (-9)/(-6)*4 + -2. Which is bigger: c or 17/6?
c
Let t = 16 + -17. Let y be (-2 - t) + (2 - -2). Suppose y = -4*h - 5. Is -2/3 greater than h?
True
Let t = -430 - -430. Let k be 0 + 1 + 88/(-86). Which is bigger: k or t?
t
Suppose -3*p - 14 = -4*u, -14 = -3*p + p - 2*u. Let i = 0 + p. Let v(k) = -k**3 - 18*k**2 - k - 17. Let x be v(-18). Is i less than x?
False
Let d(b) = -b**2 + 20*b + 260. Let j be d(29). Is j < -1/313?
True
Let t(p) = -28*p - 17. Let r be t(0). Which is smaller: r or -22?
-22
Let p = 0.7 - -0.3. Let b = -0.019 - -17.019. Let h = b - 16.7. Is p greater than or equal to h?
True
Let n be (-110)/(-4)*6270/1100. Is n <= 156?
False
Let h(o) = -o**2 - 11*o + 3. Let f be h(-11). Suppose f*s + 8 = -25. Let p be s/(-3) + (-4 - -2). Which is smaller: 0 or p?
0
Let l = -705/4 + 174. Let c = l + 19/12. Let z = -43/30 + -1/15. Is c > z?
True
Let u = -1462.9 + 1401. Let b = 62 + u. Is -0.045 greater than b?
False
Suppose -15*c = -47 + 17. Which is bigger: c or 13/16?
c
Let q = -290 + 272. Is q greater than or equal to -1?
False
Suppose -30 - 5 = 5*d. Suppose 5*q = -4*c - 57, 2*c + 1 = 4*q + 5. Which is smaller: c or d?
c
Let j(d) be the third derivative of d**6/120 - d**5/10 - 7*d**4/24 - d**3/6 - 6*d**2. Let x be j(7). Is x < 1/13?
True
Let z be 280/38 + (-15 - -9). Does z = 1?
False
Let s = -28 + 67. Suppose 2*l = -5*t + 4*l - s, 0 = -t - l - 5. Let n(v) = v - 1. Let k be n(t). Is k >= -8?
True
Let n = -6.39 + 3.62. Let u = n - -0.27. Let b = 4.5 + u. Which is smaller: -3/10 or b?
-3/10
Let j = -2012 + 2020. Which is smaller: 85/9 or j?
j
Let y = -10274/5 - -2051. Let p be 13/3 - (-1)/(-3). Suppose 0*z = -z - p. Which is smaller: z or y?
z
Let m be ((-5)/(-6))/(9/18). Let j = m - 1/3. Which is bigger: 0 or j?
j
Suppose -5*r = -4*r - 1. Let u be -2*(12/8 + r). Let v = u - -8. Is 2 greater than v?
Fal