 5*x = 4*a - 86. Which is smaller: -23 or x?
-23
Let y(w) = 3*w**2 - 19*w + 26. Let n be y(4). Is n > -159?
True
Let y = -0.25 - -0.1. Let i = 0.5 + 0.5. Which is greater: y or i?
i
Let y = 43 - 41. Suppose -3*d + 1 = -3*f + 2*f, -y*d - 2 = 2*f. Is 2/51 less than or equal to d?
False
Let v = -4.9 + -24.1. Which is smaller: 5 or v?
v
Let q = 8 - 9. Let n be 2*(-6)/4 - -9. Let t be (3/n)/(-1)*0. Does t = q?
False
Let v be 4459/(-78) + (-7 - -2). Let j = -62 - v. Suppose k = 2*d - 0*d - 2, -4*k - 4*d + 4 = 0. Is j not equal to k?
True
Suppose 12*z - 10396 = -34*z. Do 225 and z have the same value?
False
Let r(k) = 23 + 25*k - k**3 + 15*k - 31*k + 9*k**2. Let h be r(10). Is 15 equal to h?
False
Suppose -l + 4 = 0, 38 = u + 2*l + 15. Suppose 47*t = 2*z + 48*t - 34, 5*z - 4*t = 59. Is z != u?
False
Let t = 133916/19637 - 500/73. Which is smaller: 0 or t?
t
Suppose -4*w + 3*w = -2*j + 6, 5*j - 18 = w. Suppose 5*y = -6 - j. Let i = 0.5 - 0.3. Which is smaller: y or i?
y
Let r be (12/5)/(1/5). Let a(k) = -31*k - 4. Let b be a(-2). Suppose -4*q + 3*w + b = 0, 4*q - 3*w + w = 56. Is q at least as big as r?
True
Let h(k) be the third derivative of k**5/60 - 7*k**4/24 - 3*k**3 - 5*k**2. Let t be h(9). Which is bigger: 0.4 or t?
0.4
Suppose -5*t + 20 = 3*z, t + z + 2*z - 16 = 0. Let m be (5 + (-12)/(-4))/t. Let q be -1 + 1 - m/(-12). Which is smaller: q or 1?
q
Let c(y) = y + 1. Let h be c(1). Let s be (2/(-16 - h))/(2/(-3)). Let a = 0.2 - 0.2. Is s less than a?
False
Let g = 7.2 - 1.2. Let d = 68 - 92.9. Let m = 25 + d. Is g at least m?
True
Let t(j) = -j**3 - 6*j**2 + 6*j + 1. Let n be t(-7). Let q be 5/(-20) + 34/n. Suppose q*a - 12 = 8*a. Which is greater: a or -4?
a
Let f = -50 + 46.3. Let k = -20.7 - f. Let v = -19 - k. Are v and -3/2 non-equal?
True
Suppose -2*v - 7*k - 17 = -2*k, -4*k = v + 13. Let r = v + 2. Let c be (10/5*(-5)/(-75))/((-45)/(-75)). Which is smaller: r or c?
c
Let d = 5.2 + -10.2. Suppose 6*m - 12 = 2*m. Which is smaller: d or m?
d
Let h = -4.3 - -4.11. Let v = h - 1.51. Do -1 and v have the same value?
False
Let y = -6350929/96776 - -1/24194. Are y and -66 unequal?
True
Let d = 3.39 + 0.61. Let x = d + 4. Let i = -1.1 + 0.1. Is i <= x?
True
Let o(g) = g**3 + 7*g**2 + 7*g + 8. Let z be o(-6). Are z and 63 unequal?
True
Let k = -13 - -22. Let c = k + -15. Let x be c/(-21) + (-8)/28. Does -1/4 = x?
False
Let w = 14.3 - 1.3. Let u = 8 - w. Which is smaller: u or -3?
u
Let t = -30 + 33. Let g be t/(-13) - 7/(-35). Are 1 and g equal?
False
Suppose 3*i + 5*m - 12 = 0, -5*m + 10*m = 0. Let u be 3*12/(-135)*(-10)/i. Which is bigger: -6 or u?
u
Suppose 4*a + 4 = -0*a. Let r = 0.093 - -40.907. Let p = r - 57. Which is greater: p or a?
a
Let d = -0.15 + 0.13. Let j = 28 + -17. Let t = 13 - j. Is d at least as big as t?
False
Suppose -35*a - 4*p + 153 = -38*a, 5*p + 255 = -5*a. Suppose -2*y - 3*y = 2*d + 75, 4*d + 190 = -2*y. Is d greater than or equal to a?
True
Let q = -3681/10 + 369. Is q at most 1?
True
Let t(o) be the second derivative of -o**5/20 + 4*o**4/3 + 17*o**3/6 - 23*o**2/2 - 11*o. Let s be t(17). Is -23 at most as big as s?
True
Suppose -j - 25 = -4*g + 2*j, -2*j = -2. Suppose -2 = -i + g. Suppose 2*l - 3*b = 5*l + i, 1 = -l + b. Which is smaller: l or -1?
l
Let t = -731 + 730.871. Which is greater: 0 or t?
0
Let y be 11/(-22)*((-6)/(-164) + 0). Let n = y - -1709/3772. Is n greater than 0?
True
Let k(y) = -21*y**2 + 1. Let u be k(-1). Suppose 0 = -j + 2*j - 5*h + 15, 5*j = 4*h - 96. Do j and u have the same value?
True
Let h = 0.2 - 0.1. Let l = 1803 + -1808. Is l at most h?
True
Let c(v) = -v**2 + v - 11. Let y be c(0). Let s be 3 - (2 - 118/(-10)). Which is greater: s or y?
s
Suppose -6*d = -d, -3*s + 2*d + 138 = 0. Let k be (18/4)/(78/s). Let u = 15/13 - k. Which is bigger: -0.7 or u?
-0.7
Let g be (-23)/((-2691)/(-720)) + 6. Is g < -3?
False
Let x(p) = -6*p - 62. Let m be x(-14). Is m bigger than 21?
True
Let j be 15/92 + (-2)/8. Let w be 0 + (-8)/12 + (-80)/15. Let x = w - -7. Is x equal to j?
False
Let l(r) = r**3 - 15*r**2 - 12*r + 10. Let j be l(14). Does j = -354?
True
Let x = 84.2 + -71.2. Let p = 3.7 - -13.3. Let c = p - x. Which is greater: c or 0.1?
c
Let j be (-22)/110 - 81*57/15. Is j > -308?
False
Let c = 36 - 58. Let k be (209/(-76))/(2/16). Are k and c non-equal?
False
Let o be 11 - 4288/432 - 4/54. Which is greater: o or -4/323?
o
Let a = -29 + 24. Suppose -27*b + 48 = -21*b. Is a less than b?
True
Suppose -5*y = 5, 3*y + 465 = -g + 4*y. Let l = g + 17236/37. Are l and 0 equal?
False
Let f(v) = 3*v - 26. Let y be f(0). Let r be 8/(-52) - (-230)/y. Which is smaller: -10 or r?
-10
Let g(q) = -q**3 - 6*q**2 - 7*q - 16. Let j be g(-5). Let c be j/(-1 - (-1)/(-2)). Is c at least 3?
True
Let k = 207 + -187. Is 21 less than k?
False
Let f be (-4)/14 - 120/21. Let l(o) = -o**2 - 7*o + 7. Let b be l(f). Suppose -c - 2*x = -12 - 15, 3*c - 3*x = 18. Is c greater than or equal to b?
True
Suppose -5*r = -5*t + 30, 5*t = 3*r - 4 + 30. Is r less than -25/31?
True
Let k be 5*(-15)/(-25) + (-150)/54. Which is bigger: k or -342?
k
Let y = -2.13 + 1.43. Let f = 33 - 32.6. Which is smaller: f or y?
y
Let l = -10 + 14. Let u be (-56)/21*42/l. Do u and -29 have different values?
True
Let i(a) = a**3 - 2*a**2 - 2*a - 3. Let q(m) = -m**3 + 5*m**2 - 7*m + 5. Let x be q(4). Let n = 10 + x. Let l be i(n). Which is smaller: l or -1/11?
-1/11
Suppose 3*b + p = 5*p + 160, 4*b - 232 = -4*p. Let j = b + -58. Are -3/8 and j unequal?
True
Let b = -47 + 52. Suppose 0 = -4*d - 4*q + q + b, -4*q = d + 2. Which is greater: -0.1 or d?
d
Let i be 6 - (1/((-522)/(-1056)) - -4). Let g be -1 - (-5 + 3 - -2). Which is greater: g or i?
i
Let w = -3 + -1. Suppose -11*s - 18 = -8*s. Which is bigger: w or s?
w
Let d = -0.847 - 0.153. Let h = -0.22 + 0.4. Is h >= d?
True
Let t(p) = -p**3 - 5*p**2 + 9*p - 20. Let c be t(-7). Which is bigger: c or 177/11?
177/11
Let p(v) = -v**3 + 10*v**2 - 24*v + 5. Let i be p(6). Suppose -i*g + 4*s - 46 = 1, s = -3*g - 35. Is -9 less than g?
False
Suppose 5*i = -3*a + 2*a + 1, -2*i = -4*a + 4. Let r = 1267/4290 - -2/429. Which is smaller: a or r?
r
Let h = -0.5 + 0.1. Let z = -380.8 - -381. Which is smaller: z or h?
h
Let w = 0.14 - 2.89. Let g = w - -3.2. Let l = 0.35 - g. Which is bigger: l or -1?
l
Let w = -0.05 + -1.95. Let h = -15.48 + 13.48. Is h less than w?
False
Let y = -6/3413 - 252508/30717. Do -8 and y have the same value?
False
Let c(s) be the third derivative of s**5/60 + 3*s**4/8 + 4*s**3/3 + 2*s**2. Let n be c(-8). Let l be (n/2)/(-7 + 6). Are l and -0.1 nonequal?
True
Let v = -114 + -9. Which is bigger: 0.1 or v?
0.1
Let s(u) = u**3 - 13*u**2 - 10*u + 33. Let f be s(14). Is 87 smaller than f?
True
Let h = 101 - 101.1. Which is smaller: h or 1.1?
h
Let u(f) = f**3 + 12*f**2 - 12*f + 14. Let r be u(-13). Which is bigger: r or 1/160?
r
Let w = -21277/2 + 10355. Let g = w + 310. Let i = -28 + g. Is i < -2/9?
True
Let u = 50 - -3. Let q = u - 53. Is q greater than or equal to -9/4?
True
Let z(j) = -4*j**2 + 2. Let g be z(-1). Let w be 4 - (1 - g)/3. Suppose -2*o = -3*a + 1, 0*a - 8 = -5*o - w*a. Do 5/4 and o have the same value?
False
Suppose 5*f + i - 63 = -0*i, 4*f - 39 = 3*i. Let d be 6 + 27/12 + (-3)/f. Which is greater: d or 12?
12
Let z = 19/59 + -1070/2773. Is z at least 5?
False
Let r = -91 - -95. Let g be (-48)/(-32)*34/42*r. Is g != 5?
True
Suppose 791 = 4*w - 777. Let j be (-1566)/w + (-1 - (-4 + -1)). Which is greater: j or 1?
1
Let f = 1/986 - -931/54230. Suppose 0 = -5*q + q - 48. Let d = q + 11. Which is smaller: d or f?
d
Let h be 54/(-27)*246/(-4). Which is smaller: h or 124?
h
Let v be (4/26)/(4/6). Let l be (-3)/(2 + 2/(-4) - 2). Suppose -4*s - l = -2*s, -4*b + 7 = -s. Do v and b have the same value?
False
Let u be ((-8)/42)/((-42)/(-147)). Which is bigger: -165 or u?
u
Let f(a) = -a**3 + 8*a**2 - a + 9. Let m be f(8). Let o be 8/(-2) - -6 - m. Do -1 and o have the same value?
False
Let x(r) = -r**2 - 3*r. Let w be x(3). Let p = -21 - w. Let g be ((-308)/(-42))/(2/p). Is -13 equal to g?
False
Let b = -7249/21 - -345. Which is smaller: b or -1?
-1
Let m = -16 + 19. Let b = -48.1 - -46. Let t = b + 2. Which is greater: m or t?
m
Let h = -118 - -65. Let z = h - -52. Are z and -8 equal?
False
L