 Which is smaller: 15/14 or a?
a
Let z = 264 + -473350/1793. Which is bigger: z or 0?
z
Let q(g) = -2*g**3 - 6*g**2 - 6*g. Let c be q(-4). Let i = c - 55. Does i = 2/93?
False
Suppose j - 5*j - 368 = 0. Let b = -91 - j. Which is greater: b or 1/8?
b
Let z = 17.21 + -17. Let k = -0.14 + z. Let g = 0.93 + k. Are g and 2 non-equal?
True
Let x(n) = -n**2 - 13*n + 12. Let l be x(-14). Let j be (l/16)/(6/(-36)). Is j less than 2/7?
False
Let p be -6*4/(-15)*5*-1. Which is greater: -41/5 or p?
p
Let k = 375/7 + -397/7. Is k at least as big as -1?
False
Let y be ((-12)/16)/(2/(-8)). Let o(r) = -r + 10. Let f(s) = -1. Let m(v) = 6*f(v) + o(v). Let c be m(2). Is c at most as big as y?
True
Let h be ((-2)/4)/((-10)/(-268)). Suppose -34 - 18 = 4*m. Let k = h - m. Which is greater: -2/7 or k?
-2/7
Let p be (-2 + (-102)/3)*-1. Let f = 109/3 - p. Is 1 < f?
False
Let f = 241 - 71. Suppose 5*k = -q - f + 9, 4*q = 16. Let i be (-18)/k*(-1)/9. Is i less than 1?
True
Let r be (-18)/12*(-84)/7. Let j(m) be the first derivative of m**3/3 + m**2 - 7*m + 1. Let b be j(-6). Which is greater: r or b?
r
Let h(i) = i - 7. Let g be h(11). Let m = g - 10. Suppose 2*c - 11 + 21 = 0. Which is bigger: c or m?
c
Let c = 5.57 + -5.97. Are c and 13/5 equal?
False
Let d be 2 + -3 - 1*(-4 + 0). Let u be (-96)/(-16)*1/d. Which is smaller: u or 4?
u
Suppose -3 = -293*j + 296*j. Are -12 and j non-equal?
True
Let h be 23/3*(-16 + 19). Which is smaller: h or -2?
-2
Let z(h) = 1 - 7 + 9*h - 3 - h. Let b be z(-12). Let x = -527/5 - b. Which is greater: 0 or x?
0
Suppose -10 = 4*q - 90. Let c be ((-1)/(-4))/(q/16). Are c and -0.2 unequal?
True
Let x = -342.217 - 0.783. Is x <= 0.1?
True
Let x(r) = 4*r + 54. Let t be x(-17). Which is greater: -26 or t?
t
Let x = 16.6 - -0.4. Let l = -16.97 + x. Let j = 123 + -124. Is j bigger than l?
False
Let f = 48 - 43. Suppose 0 = -l - 1, -3*l + f = 2*w + 18. Which is bigger: w or 2?
2
Suppose 14*z = 24*z - 3660. Is 366 <= z?
True
Let w(r) = 2*r - 7. Let s be w(5). Suppose s*l - 102 + 30 = 0. Suppose 5*a + 2*g + 2 + 13 = 0, -4*a - 4*g - l = 0. Is a at least -2/9?
False
Let i = 0.1787 - 307.1787. Which is greater: i or -1?
-1
Let j = -15 + 18. Suppose j*r + 14 = -34. Let v be (r/48)/((-13)/6). Is v at most 0?
False
Let w(p) = -p**3 - 17*p**2 - 33*p + 8. Let r be w(-14). Is r greater than or equal to -117?
False
Let i be 104/12 - (1 + 1). Let y = i - 254/39. Suppose s = -4*s. Is y greater than or equal to s?
True
Suppose 3*r - 2*c - 18 = -2*r, -4*r + 21 = 5*c. Suppose 172 = 4*i - 4*q + 32, 5*i = -r*q + 130. Suppose -2*x + i = x. Is 8 greater than or equal to x?
False
Let x be 3 + -12 + (4 - -4). Is 1/852 equal to x?
False
Let f(q) = q - 11. Let l be f(5). Let x be (-4)/l + 1040/24. Suppose -2*y - 2*y = x. Which is bigger: y or -12?
y
Let b = 6068 + -6096.51. Let w = -0.51 - b. Let i = w - 28.1. Which is greater: -0.5 or i?
i
Suppose -5*d = 2*u - 9 - 11, -8 = -2*d - 5*u. Let t = d - 1. Let g be 1 - (1 + t/(-7)). Which is smaller: g or 0?
0
Let s(g) = g**3 + 2*g**2 + 1. Let v be (6/5)/((-9)/(-75)). Suppose -2*u - 2*c + 10 = -6*u, 3*u - 4*c = -v. Let t be s(u). Is t at most 2/19?
False
Suppose -3*g + 66 = p, p + g + 0*g = 68. Are p and 71 nonequal?
True
Suppose 2*x - 5*s = 395, -4*x + 14 = 4*s - 734. Is 1 not equal to x?
True
Let c = 9 + -4. Let w(g) = 2*g + 3. Let r be w(-8). Let l be (c - 7) + (-25)/r. Which is bigger: 1 or l?
1
Let r = 1644 - 4931/3. Suppose -u - 60 = -4*n, -n - 2*u + 5*u + 26 = 0. Is n < r?
False
Let g = 3.29 - 2.97. Which is smaller: g or 0.1?
0.1
Let d(f) = -f**3 + 5*f**2 - f + 4. Let w be d(5). Let g be ((-70)/(-5) - -7)*(-3)/9. Is w equal to g?
False
Let d = -2 + 2.04. Let m = 20 - -6. Let i = -25 + m. Is i at most d?
False
Let y(q) = -q**3 - 5*q**2 + 5*q - 3. Let m be y(-6). Suppose -h + m = -0. Suppose -a = h - 4. Which is greater: a or -1/19?
a
Suppose 0 = -r - 2*r - 3. Let g = -1658 - -1656. Which is bigger: g or r?
r
Let f = 29 - 8. Let l = 156 - 156.1. Which is bigger: f or l?
f
Let u be (0 - 0)/((-8)/(-15 + 7)). Is u smaller than -8/65?
False
Let z be (-5 - -1)*(4 - (-3 - -8)). Let b be -155 - (-1 - -1*2). Let d be (-128)/b + z/(-6). Is 1 bigger than d?
True
Let q be 11/(-36) - (-2)/(-8). Let j = -4243/138 + 19/46. Let w = j - -30. Which is smaller: q or w?
q
Let h(y) = 11*y - y**3 + 2*y**3 + 2*y**2 - 16 - 10*y**2 - 3*y**2. Let t be h(10). Let l be 4/t - 644/69. Which is bigger: l or -9?
-9
Suppose -x + 3*f + 0*f = 6, -4*x - 3 = -5*f. Suppose -x*y - 3 = -4*y. Let p be -1*y + 469/147. Is 1 less than or equal to p?
False
Suppose 3*y = 7*y. Let s(x) = 2*x - 1. Let o be s(y). Is 2/7 at most as big as o?
False
Let p be ((-2)/(-6))/(1/(-3)). Let j = 913 + 633. Let y = j + -17018/11. Which is greater: p or y?
p
Let i = 28 - 27.8. Let h = 1.2 - i. Which is smaller: h or -2/27?
-2/27
Let d(u) be the third derivative of -u**4/24 - 9*u**3/2 - 24*u**2. Let n be d(-26). Is n != 2/103?
True
Let j be (-192)/(-15) - (-16)/(-20). Do -5 and j have different values?
True
Suppose -4*p + a = 31, -5*p + 10 - 47 = -3*a. Do -10 and p have the same value?
False
Suppose 3*i - i = -90. Let x be 30/(-700)*-15 + 3/(-21). Do x and i have the same value?
False
Suppose 179 - 35 = 8*m. Let j be ((51/m)/17)/((-2)/(-16)). Which is smaller: j or 0?
0
Let p(u) = -u**3 + 7*u**2 + 9*u - 7. Let r be p(8). Suppose 2*h = 5*b - 8*b + 2, 3*b - r = -h. Which is smaller: h or 3/10?
3/10
Let c be 3*(14/(7 + -5) + 4). Which is smaller: 30 or c?
30
Let z(u) = -u**3 + 16 + 11*u**2 + u**2 + 2*u**3. Let b be z(-12). Do b and 17 have the same value?
False
Suppose -32*r = -9677 + 941. Is r greater than 274?
False
Let h be 3 - (88/(-6))/(20/30). Let d = 15 - -12. Is d smaller than h?
False
Suppose -5*r + 108 = -8*r. Let h = -198/5 - r. Are -3 and h equal?
False
Let u be (-340)/51*(-3)/2. Let d = u - 22. Is d < -13?
False
Let n = -38 - -56. Let v be (163 - 1)*12/n. Let w be ((-6)/(-5))/(v/(-40)). Which is bigger: w or -1?
w
Let x be 2/20*5 + (-6426)/36. Is x != -176?
True
Suppose 0 = 6*z + 19*z + 19750. Do -792 and z have different values?
True
Let k be (-12)/4 - (-981)/326. Let w = k + 3417/652. Is w smaller than 0.2?
False
Suppose 3*c + 3 = 5*a, -a + 2*c + 88 = 86. Is 3/577 > a?
True
Let k = -9.1 + 1.6. Let p = 1.5 + k. Let v = p - -5. Which is greater: v or 5/8?
5/8
Let c(w) = w**3 - 8*w**2 - 5*w - 15. Let b be c(8). Do b and -52 have the same value?
False
Suppose 26*c = 39*c - 21*c. Is c greater than or equal to -12/187?
True
Let z be (-5)/(-75)*3*30/(-4). Let b be -1*(3 + 28/(-8)). Does b = z?
False
Let u = 17 - 15. Suppose -n - u = -19. Are n and 17 nonequal?
False
Let z be (92/6)/((-196)/(-18471)). Let l = -1445 + z. Are 0 and l non-equal?
True
Let j be 2603/285 - 9 - 17/540. Which is smaller: 0 or j?
0
Let f = 1067 + 201. Is 1270 > f?
True
Let y = -1.32 + 1.5. Let a = 3.5 + -3.62. Let o = a - y. Which is greater: o or 1/6?
1/6
Let d(y) = -4*y + 77. Let v be d(20). Which is bigger: 8 or v?
8
Suppose g = 3*g + 8. Let h be ((-447)/63 - -3) + (-10)/(-15). Which is greater: h or g?
h
Let t be 19/(95/10) + -2*1. Let x be -3*(3/(-9) - -1). Let r be x/1*(-2)/4. Which is greater: r or t?
r
Let q = -1372 + 1373. Which is bigger: q or -2/4379?
q
Let l(s) = -22*s - 8. Let c be -3 - -7 - 3 - (1 + 1). Let j be l(c). Is 16 at least j?
True
Let o = -89/9 + 29/3. Let m(v) = 14*v + 6. Let j be m(-4). Let c be (-15)/j*(-8)/6. Is o greater than or equal to c?
True
Let a be (4 - -1)*(-2)/(-5). Suppose -a*i = -i. Suppose i = 4*x - 2*x. Is 2/9 at least x?
True
Let l be 5 + -2*(2 - (-4)/(-8)). Let u = -1 - -3. Let g be (-1)/(5/3 - u). Is l less than or equal to g?
True
Suppose -3*y + 13 = 4. Suppose -35 = y*p - 38. Is -4/19 != p?
True
Suppose -4*q = -v, v = -4*v + 5*q + 30. Suppose 0 = -p - 2*p + 15. Suppose 0 = -3*j - r + 29, -p*j - 4*r + 38 = -22. Is v at most as big as j?
True
Let u = -9258/11 + 839. Are -3 and u equal?
False
Let r = 360 - 361. Let a(s) = -s**3 + 8*s**2 - 8*s + 9. Let t be a(7). Is t at least as big as r?
True
Let j be (-2)/(-2) - (-1)/(-50)*134. Let v = 48/25 + j. Is 0 <= v?
True
Let g = 27 - 17. Suppose -9*c + g = -8. Which is greater: c or 18/13?
c
Let s(a) = 15*a**2 + 25*a - 24. Let i be s(1). Is 19 at least i?
True
Suppose 2*f - 20 = t + f, 2*t = -3*f - 25. Let w = 9