Let q(k) = 3*k**3 + k**2 + k - 1. Let a(v) = -v**3 - v**2. Let r(t) = -2*a(t) - q(t). Suppose 2*m = 1 + 1. Let c be r(m). Which is bigger: 2/5 or c?
2/5
Let a(n) = -3*n - 25. Let l be a(-8). Is l at most -27?
False
Let m = 5.1 - 4.1. Is m at most -2/9?
False
Let p be (6/(-4))/(2/((-40)/(-15))). Is p smaller than -9/4?
False
Suppose h = -j - 2, 5*j - 6*j + 4 = 4*h. Let y(q) = q**2 + 2*q - 5. Suppose 0 = 2*t - 0*t + 8. Let k be y(t). Which is smaller: k or h?
h
Suppose -m - 3*m + 8 = 0. Suppose m*x - 4*x + 6 = 0. Is 4 at most as big as x?
False
Let u = -2.01 - -2. Let n = -0.9 + 1. Are n and u unequal?
True
Let r(m) = -m**2 + 4*m + 7. Let n be r(5). Which is smaller: 4/5 or n?
4/5
Let n(l) = -l**3 - 4*l**2 + l + 7. Let v be n(-4). Suppose 2*d - 7 - 3 = 0. Is d greater than or equal to v?
True
Let c be 7*(-3 + 3 + -1). Let f = -11 - c. Let s be ((-12)/f)/(1 - 2). Which is bigger: -1 or s?
-1
Let o be 36/(-40)*10/12. Is -1 < o?
True
Suppose 0 = -3*v + 8*v. Let s = -1 + v. Let l be (-6)/(-15) + 16/(-15). Which is bigger: s or l?
l
Let v = -4 - -22. Which is smaller: v or 17?
17
Let u(z) = 20*z**3. Let i be u(1). Let a be (i/2)/(4/2). Let t = -39 + 43. Which is smaller: t or a?
t
Let h(r) = -r**2 + 18*r - 33. Let s be h(16). Are s and 7/18 equal?
False
Let f = -41 + 41. Which is bigger: 4 or f?
4
Let j = 2.2 + -1.9. Let c be -2*(0 - (-6)/(-4)). Is c at most as big as j?
False
Suppose -x + 3*s + 10 = -2*x, -12 = 3*s. Let p be 21/30 - x/10. Which is bigger: p or 2?
2
Let t = -11 - -53. Let p be ((-2)/t)/((-2)/(-6)). Are 0 and p non-equal?
True
Suppose -3*y - 148 = 5*s, -3*y + 172 = 5*s - 10*s. Is -31 at most as big as s?
False
Let j = 19 - 17. Suppose j*f - f = 9. Is 8 != f?
True
Let r = 2/1067 - -11729/4268. Let a = r - 5/2. Which is smaller: a or -2/9?
-2/9
Let a be (0/(4 + -3))/2. Which is bigger: 2/41 or a?
2/41
Let w = 61.965 + -62. Which is smaller: w or -0.1?
-0.1
Let j be 2 + -4 + ((-30)/(-25))/6. Which is bigger: j or -3?
j
Suppose -4*b + 0 + 4 = 0. Suppose -b = -3*j + 2*j. Which is smaller: j or -3?
-3
Let z be (-54)/(-36) - (-1)/(-2). Which is greater: 6/11 or z?
z
Let p be (-11)/(-7) - (-6)/14. Suppose p = -5*u - 8. Suppose 2*z + 4 = -0. Do u and z have the same value?
True
Suppose -5*r + 9 = 2*n, -n + 2*n - 5 = -3*r. Let j = -0.366 + -0.034. Which is greater: n or j?
n
Let l = -877/9 + 97. Let j = -4.8 - -5. Is j > l?
True
Let q(n) = -2*n - 3. Let z be q(-7). Let t = 5 - z. Let s be (1/2)/(3/t). Which is greater: s or 2?
2
Let h(l) = l**2 - 4*l - 8. Let x be h(6). Suppose 2*r = -2*r - 4*w - 36, -2*w = -x*r - 30. Is r greater than or equal to -9?
True
Let f = -35/4 + 461/44. Which is smaller: f or 3?
f
Let c be -1*((-322)/(-6))/7. Which is greater: -1 or c?
-1
Suppose -4*v = 2*v + 108. Are v and -18 non-equal?
False
Suppose 3*i - 88 - 200 = 4*j, -2*i + 5*j = -199. Which is smaller: i or 93?
i
Let h(f) = f**2 - 4*f + 4. Let t be h(2). Is t not equal to -3/35?
True
Let i = -58/357 - -1/51. Suppose -3*u = -5 - 1. Suppose 5*a = -0*r + r + 6, 5*r = -3*a - u. Which is greater: r or i?
i
Let a be 0 + -1 + 0 + 3. Let r be (1/(-3))/(a/3). Which is bigger: -1/10 or r?
-1/10
Let n be (-224)/(-218) - -1 - 2. Let t = n - -751/436. Is t less than 2?
True
Let x = 0.08 + 0. Are x and 1 nonequal?
True
Let z be -1*(-1)/(-2)*2. Let s be (1/(-25))/((-15)/25). Which is smaller: z or s?
z
Let h be (0/(5 - 4))/4. Is 5/37 greater than h?
True
Suppose 7 + 8 = -5*y. Let o be y/(-4) + 15/(-20). Does o = -1?
False
Let w = 29 + -54. Is -25 less than w?
False
Let h(y) = -9*y**3 - 5*y**2 + 19*y + 25. Let p(a) = -5*a**3 - 3*a**2 + 10*a + 13. Let d(u) = 6*h(u) - 11*p(u). Let f be d(-3). Is -6 <= f?
True
Let p = 105/8 + -397/40. Which is smaller: 4 or p?
p
Let c be (-2)/14*17 - (-12)/(-21). Let b = 21 + -13. Let r be 46/(-24) - (-2)/b. Do r and c have different values?
True
Let g(m) = m + 6. Let y be g(-7). Let z be y/(-4) + 5/(-12). Which is greater: 1 or z?
1
Let r(t) = -3*t - 14. Let a be r(-5). Which is smaller: a or 3/2?
a
Let t = 2 - -2. Let n = t - 4. Suppose -v - v = n. Is 0 greater than or equal to v?
True
Let r = -55 - -63. Suppose -8*c = -3*c - 45. Let q = r - c. Which is bigger: q or 0?
0
Let r = 3.4 + -0.4. Let z = -4 - -8. Let y = r - z. Is 0 <= y?
False
Let o = -1935253/10 + 193368. Let n = o - -311/2. Which is greater: n or -1?
-1
Suppose -2*n - 2*n = 12. Suppose 4*v - 3*f - 31 = 0, 5*f = -5*v - 1 - 4. Suppose -v*i + 18 + 2 = -4*g, -10 = -5*i. Is n at least as big as g?
True
Let j(a) = -2*a**2 - 4*a - 3. Let n be j(-2). Which is smaller: n or -7?
-7
Suppose -4*a - 28 = -0*a. Let m be a/5 - (-6)/15. Is m bigger than 1/4?
False
Let d(t) = -t - 4. Let z be d(-4). Suppose 0 = -z*u + 5*u - 60. Let v be 2/4 - 3/u. Which is greater: v or 1?
1
Suppose 4*n - 2*n + 2*m = 0, -n + m + 4 = 0. Suppose n - 3 = 5*c + 3*j, 3*c = j + 5. Is c less than 1?
False
Let c = -13.249 + 0.049. Let o = 16 + c. Let n = o + -3. Is -0.2 at least n?
True
Let h = 62/23 + -6928/2553. Which is greater: -1 or h?
h
Suppose -3*z - z = -12. Suppose -z*o + m - 6 = 0, -3*o = 3*m + 1 + 17. Let s = o - -7. Is s less than 4?
False
Let q = -21 + 13. Let u = -9 + 4. Let f = q - u. Which is greater: f or -2?
-2
Let q be 6/(-12)*(-54)/4. Is q less than or equal to 6?
False
Suppose -2*g + 1 = 3*u, -g + 5 = -2*g + 4*u. Let t = -2 - g. Is t < -1/5?
True
Let g be (-19 + 21)*(-1)/(-214). Which is greater: g or 0?
g
Let w be (1 + (-10)/6)*99/(-66). Which is bigger: -1/236 or w?
w
Let p = 0 - -0.1. Let f = 19.26 - 19. Let k = f + -0.06. Is k greater than p?
True
Let g be ((-33)/(-9))/((-3)/(-9)). Is g at least as big as 13?
False
Let s(m) = -7*m + 70. Let v be s(10). Is 1/10 != v?
True
Let f(n) = -n - 5. Let u be f(-5). Suppose 0 = 5*h + 25, 2*h - 9 = 2*p + 1. Let k be -1 - u - p/6. Which is smaller: -1/2 or k?
-1/2
Suppose -10*k + 10 = -0*k. Is k >= 3/64?
True
Suppose 4*d - 11 = -u, -u = -5*d - 0*u + 7. Suppose 2 = -4*b + x + 37, -13 = -d*b - x. Suppose -3*g - g + b = 0. Which is bigger: 1/2 or g?
g
Let o = 216 - 4321/20. Let m = o + 23/60. Which is smaller: -1 or m?
-1
Suppose 3*d + 10 = -2*d. Let g = d + 6. Suppose g*o = 0, i = -3*o - 1 - 1. Which is smaller: i or -1?
i
Suppose 13 = 5*y + 3*z, 5*y - 14 = -4*z - 5. Let r = 7 - y. Suppose 2*m + 20 = 4*s, r*m = 5*m + 12. Which is smaller: s or 1?
1
Let m = -1 + 1. Let k = m - -0.2. Let r = -0.64 - -1.64. Are r and k non-equal?
True
Let u = 3/130 + 197/2730. Let k be 1/9*(-1 - (3 - 1)). Which is bigger: u or k?
u
Let c = -1 + 5. Let o = c + -8. Let p = 117 - 359/3. Which is bigger: p or o?
p
Let d = 149/220 + 4/55. Is 0 less than or equal to d?
True
Let r be (-2)/(-10) + 552/(-10) + 3. Do -52 and r have the same value?
True
Suppose -3*t = -5*t + 28. Which is smaller: 12 or t?
12
Suppose 0 = -5*v - 2*d + 7, v + 0*d - 6 = -5*d. Which is bigger: v or -6/29?
v
Let n = -1.1 - -0.1. Let k be 196/(-102)*1/(-2). Let m = 5/17 - k. Which is smaller: m or n?
n
Let r = 4.8 - 4.85. Is r >= 2/9?
False
Let h be 3/(-7) - 132/(-210). Let r be ((-18)/15)/((-3)/10). Suppose -4*k + 8 = 0, -i - 13 = r*i - 4*k. Which is smaller: i or h?
i
Let k(v) = -v + 9. Let d be k(8). Let x be 0 + (d - 1) - -1. Let w = -1 + 3. Is w at most x?
False
Let c(h) = -h + 19. Let k be c(18). Which is greater: 24 or k?
24
Let q be 24/(-9) - 2/(-3). Suppose 2*g + 25 = 7*g. Let u = g + -8. Is q at most u?
False
Suppose -139*y = -136*y + 24. Is -5 at least y?
True
Let w = 12 - 13. Suppose -3*o + o - 4 = 0. Let n be (-11)/(-14) + o/4. Which is greater: n or w?
n
Suppose -4*w = -5*q - 12, -5*w + 2*q - 1 = 1. Let v be w/6 + 9/(-54). Is 3 less than v?
False
Let k be (-5)/(-10) + (-35)/2. Let q(n) = -n**3 + 8*n**2 + 7*n + 2. Let z be q(9). Which is bigger: k or z?
z
Let i be (1/2)/(3/(-84)). Let g = -8 - i. Are g and 6 unequal?
False
Let q = 4 - 2. Is -2/7 bigger than q?
False
Let t = 13132/33 + -398. Is 0 less than or equal to t?
False
Let k(m) = m + 1. Let f be ((-2)/(-1) - 2) + 0. Suppose 0 = -f*y + 3*y. Let o be k(y). Which is bigger: o or 0?
o
Let c = 21 - 15. Suppose -4*w = c + 22. Is w at least -7?
True
Suppose 3*p + 3*a + 105 = 0, 0 = -3*p - 0*p + 4*a - 126. Which is smaller: p or -39?
-39
Suppose -2*u - 16 = 12. Let o = u - -8. Let m be -2*1*o/12. Which is greater: 2/9 or m?
m
Suppose -4 = -2*z + 6*