e 4*a + 8 - p = 0. Let f be 4 + (a/5 - 7). Which is greater: f or 3?
3
Let z = 23/2490 - -2852149/830. Let n = 3476 - z. Let r = -39 + n. Are r and 1 equal?
False
Let g be 4 - (-85)/150*-6. Which is greater: 92 or g?
92
Let d = -2152 - -2151. Is d at least -280?
True
Let x = 518 + -177157/342. Are x and 1 unequal?
True
Let r = -41.86 + 42. Let q = r + 0.26. Which is smaller: -0.06 or q?
-0.06
Suppose 85 = 9*v - 68. Is -3 <= v?
True
Let o = -1 - 0. Let m = -3/1267 + -3786/6335. Is m at most o?
False
Suppose -11*y - 220 = -16*y. Let h = 57 - y. Which is smaller: 8 or h?
8
Suppose -62*k - 390 = -52*k. Let u = 60 + -101. Which is greater: u or k?
k
Let u = -339 - -181. Which is greater: -156 or u?
-156
Suppose -9 = -4*s + 131. Suppose -5*r + 5*g - 25 - s = 0, 5*g = -4*r - 21. Let h be (-4)/69*r/(-6). Do h and 0 have the same value?
False
Let h(s) be the second derivative of -s**3/3 - 7*s**2/2 + 4*s. Let l be h(0). Suppose 4*u + 3*t - 5 = -31, 3*u - t = -26. Which is smaller: u or l?
u
Let l be (-2)/(8/132)*(-1)/3. Let d = 25 + -15. Let u = l - d. Which is greater: u or -1/5?
u
Let q be 9/((-135)/10)*(-6)/412. Which is smaller: q or 0?
0
Let f = 1.07 + -0.36. Let z = f + -0.55. Is z at most 0.1?
False
Let s = 31732/21 - 1511. Is 0 greater than s?
False
Let d = -12.1 + 12.89. Let h = d + -13.67. Let v = 0.12 - h. Which is smaller: 0 or v?
0
Let r be (1 - 17/(-2))*(-286)/(-143). Does 16 = r?
False
Suppose 0 = -3*s - 3*v + 9 - 3, -s - 2*v = -4. Let h = 3052/11 + -278. Is s at most h?
False
Suppose -4*b = -0*b - 20. Suppose v - b*h + 15 = -4*v, -5*v - 15 = 2*h. Let l be (v/(-4))/((-117)/13). Which is greater: l or 0?
0
Let g = 0.14 - 1.08. Let n = g + 2.94. Which is smaller: n or -33?
-33
Let m(u) be the second derivative of -u**3/2 + 61*u**2/2 + 13*u. Let o be m(20). Which is smaller: -1/79 or o?
-1/79
Let f be -3 - (-1 + 9 - 2). Let x = -6 - f. Let b(d) = d - 1. Let a be b(7). Is x greater than a?
False
Let s(w) = w**3 - 5*w**2 + 2*w - 7. Let x(v) = -v**3 - 6*v**2 - 3*v - 13. Let d be x(-6). Let h be s(d). Is 1 at least h?
False
Let z be ((-6)/(-5))/(4*(-1)/(-30)). Suppose z*y - 30 = 6*y. Which is smaller: 4 or y?
4
Let c be -2 - (-2 + 3 - 5). Suppose i - 3*z = c*i - 8, 0 = 2*z. Let a = -0.06 - 0.04. Is a less than i?
True
Let m = -26.9 + 27. Which is bigger: -0.075 or m?
m
Let l be (-2 - 1) + (-11 + 7 - -91). Let n = l + -422/5. Which is bigger: n or -2?
n
Let w = 42 - 25. Suppose -6*u - w = -7*u. Suppose 0*p - 28 = -o + 2*p, 67 = 4*o + p. Which is smaller: o or u?
u
Let x be 6/10 - (-6)/(-10). Suppose 5*n + x = -20. Let m be ((-18)/4)/((-2)/n). Is -8 at least as big as m?
True
Let j = 293 - 342. Are j and 4 non-equal?
True
Let n(k) = -k - 3. Let j be n(-6). Suppose 2*t - 4*s = 42, -t + 11*s - 14 = 16*s. Suppose j*w + t = -4. Which is smaller: w or 1?
w
Let a = -30 - -17. Let l = 12 + a. Let x = 8 + l. Are 7 and x equal?
True
Let w = -8.31 - 0.89. Let r = w - -8. Let t = r - -2.2. Is t at least 0?
True
Let j = -68 - -70. Suppose -j*z + x + 48 = 0, -5*z + x + 170 = 53. Does z = 24?
False
Suppose -3*d = 2*u - d, -2*u = 3*d + 2. Suppose -8*h + 24 = 16. Is u <= h?
False
Let v = -13 + 14. Suppose 0 = -3*n - 4*b - v + 4, -4*n = 2*b - 14. Suppose x - 6*x + 10 = -3*d, n*d = x - 2. Which is bigger: x or 1?
x
Let s = 1904 + -13301/7. Let d = -2 + 7. Are s and d nonequal?
True
Suppose -11*p + 9*p - w - 263 = 0, p + 3*w + 144 = 0. Let k = p + 123. Which is smaller: 7 or k?
k
Let y = 12.32 + -10.32. Is y at most -5.98?
False
Let s(b) = -b**3 - 3*b**2 - b - 2. Let l be s(-3). Let m be (8 - (5 + 4))*0/(-2). Which is greater: m or l?
l
Let m = 31 + 14. Let p = m - 39. Is p less than or equal to 3?
False
Let s = -300.95 - -299. Is s equal to 1/2?
False
Suppose p - 3 - 7 = 0. Suppose -2*h + 18 = -2*w, -5*h + w = -w - 54. Which is greater: p or h?
h
Let v = 612 - 589. Which is bigger: v or 32?
32
Suppose 0 = 4*p - 3*y + 11, -3*y = 2*p - 16 - 1. Let c = 58 + -54. Let x be c/6 + (1 - p). Which is smaller: 1 or x?
x
Suppose -5*d - 411 + 51 = 0. Suppose -50*p - 2454 - 178 = 968. Is p less than d?
False
Let n(l) = -l + 42. Let i be n(0). Suppose 2*b + 4*g = 42, 0*b + 2*b = -2*g + i. Suppose -4*z + b = -m, -6*m - 13 = -3*m - 2*z. Is -2/25 less than m?
False
Let j be -4 - -6 - (-23)/(-1). Let l be 10/28*(-40)/50. Is j < l?
True
Let g(f) = -7*f + 3. Let a be g(2). Let w be a/3*(-5 + 2). Let s = w + -11. Is s less than 0?
False
Suppose -7*a - 63 + 56 = 0. Is -20 equal to a?
False
Let k(q) = -q**3 + 6*q**2 + 7*q - 2. Let t be k(6). Let p be (3 - 2)*(-2)/t. Let o = p - 1/5. Is -0.3 smaller than o?
True
Suppose w - 231 = -4*f, -36 = -f + 3*w + 25. Which is bigger: f or 62?
62
Let y(x) = x**2 + 5*x - 4. Let j be y(-6). Let z(g) = 6*g - j*g**3 - 2*g - 1 + g**3 - 9*g**2 - 3*g. Let m be z(-9). Is -10 at most as big as m?
True
Let b(q) = -q + 29. Let g be b(28). Suppose -4*d + g = -3*d. Which is smaller: -1/59 or d?
-1/59
Let g(k) = 3*k**3 + 3*k**2 + 3*k - 2. Let r be g(-2). Let w be ((-1)/(-2) + r/24)*12. Which is smaller: -6 or w?
-6
Let d = 231 - 225. Is d smaller than 6?
False
Let p be (-37)/38 - 2/(-2). Let r be (10/40 - 10/(-24))*6. Suppose -5*j = r*o - 21, 3*j - 3*o = -0*o - 9. Is j less than p?
False
Let m = -20 - -23. Suppose -r + m*r = -56. Let t be r/70 - (-194)/10. Which is smaller: 1 or t?
1
Let n = 17 + -24. Suppose 22*o + f - 6 = 24*o, 2*f = -3*o - 16. Which is greater: n or o?
o
Let a be ((-75)/250)/(2/172). Which is smaller: -26 or a?
-26
Let l be 10/(((-1)/21)/((-8)/64)). Let c = l + -2189/84. Which is smaller: c or -1?
-1
Let k(m) = m - 5. Let o be k(11). Suppose 0 = 11*u - o*u - 95. Which is bigger: u or 20?
20
Suppose 5*g = -3*i, 26*g - 30*g - 4*i = 0. Is 230 at most as big as g?
False
Let s(o) = o**3 - 7*o**2 + 19*o + 14. Let n be s(7). Is n greater than 0?
True
Let w = -962.473 + 962. Let v = -0.073 - w. Which is bigger: v or -1?
v
Let j(y) = y**2 - y + 1. Let m(q) = 4*q**2. Let p(u) = 5*j(u) - m(u). Suppose 4*a - 12 = -5*z, -z + 7 = -3*a - 3. Let b be p(z). Is 1 at least b?
True
Let p = 22 + 14. Let u = 40 - p. Let y be (1/2)/(u/40). Is 5 > y?
False
Suppose -4*k - 8 = -6*k. Let l be (-38)/95 + ((-12)/5)/(-1). Is l at least k?
False
Let d = 282380/3 + -95809. Let l = d + 1700. Is l != 18?
True
Let n be -95 - -91 - -1*(6 - 0). Which is smaller: n or 7/3?
n
Suppose 4*r - 16 - 84 = 0. Suppose 5*n + 0*n - r = 0. Suppose n*h - 28 = -f, -5*h - 6 = -3*f - 22. Is h smaller than 1?
False
Let c = 1.17 - 0.55. Let g = c - -3.38. Let w(a) = -a**3 + 2*a**2 + a + 4. Let b be w(3). Is b < g?
True
Let r be ((-7300)/(-30) + (-4)/(-6))*-1. Do r and -244 have the same value?
True
Let s = -3.09 - -0.09. Suppose -10 - 35 = 5*k. Is k at least s?
False
Suppose k - 2 = 1. Suppose -k = x - 0*x. Let s = 2 + -2.2. Which is bigger: x or s?
s
Let v(b) = -5*b**2 + 4*b - 5. Let x be v(3). Let h = -32 - x. Let m be (-242)/66 + 4/h. Is -3 at least m?
True
Let r = 19 - 21. Let z be r/6*(-4)/(-10). Suppose 4*d - 4 = -0*d. Which is smaller: z or d?
z
Suppose -f + 6 - 2 = 2*k, 4*f + k = 51. Let x(t) = -t**2 + 20*t + 13. Let h be x(f). Let m = h + -69. Is m != 27?
True
Let f be 252/1064*(-6)/9. Suppose 5 + 0 = 5*c + 2*u, -4*u = 3*c - 17. Let t = 2 + c. Which is bigger: f or t?
t
Let p = 24923/14025 + -91/51. Which is bigger: -1 or p?
p
Let n be (-830)/(-4) - (-5 - -3)/4. Suppose -38*u - n = -42*u. Which is greater: 51 or u?
u
Let q(m) = -9*m - 46. Let v be q(40). Which is bigger: v or -404?
-404
Let m be 20/(-110) + (-45)/55. Which is smaller: -10/11 or m?
m
Let s = 16525/8 - 2069. Let u = s - -63/8. Which is smaller: u or 5?
u
Let y = -810 - -784. Is y equal to -25?
False
Let q be (180/(-105))/(2/(-7)). Suppose 5*r - q - 4 = 2*j, r = 0. Which is smaller: 7 or j?
j
Suppose -25*v + 103 = 253. Let s be (2 + 7)/((-9)/v + -1). Is 17 <= s?
True
Let n be (-4)/(-26) - ((-3440520)/234)/19. Which is greater: n or 773?
n
Suppose -10 = 2*m - 4*m. Let h(w) = 36*w + 9. Let z be h(m). Let p be (-4)/6*z/(-70). Are p and 2 unequal?
True
Let y(k) be the first derivative of k**3 + 2*k + 23. Let a be y(3). Which is bigger: 28 or a?
a
Let d be -16*(4 - (-21)/(-12)). Let m(p) = -6*p - 97. Let x be m(-10). Do d and x have the same value?
False
Let r = -100683/93601630 + 1/49394. Is 1 greater than r?
True
Let s = 112