16 + p. Let j(m) = m - 1. Let v be j(1). Is b less than v?
True
Suppose -4*q + 20 = 0, 16 = 4*u + 3*q - 23. Suppose -v = -u*v. Let w be v*2/4*-1. Which is bigger: -3/4 or w?
w
Let p(x) = -3*x**3 - x - 1. Let b be p(-1). Suppose 4*d = -d + 4*c - 19, -b*d - 3*c = 6. Let v(w) = 6*w - 47. Let q be v(7). Is d <= q?
False
Suppose -2*s = 3*s - 3*t - 20, -2*s - 4*t + 8 = 0. Suppose s*k + 9 = -q - 2, -3*q - 5*k - 5 = 0. Let c(d) = -d**3 + 5*d**2 - d - 3. Let l be c(q). Is l != -8?
False
Suppose 104 = -0*v + 4*v - 4*d, 4*v - 3*d - 105 = 0. Let g be v*23*(-2)/20. Let y = g + 62. Is 0 less than or equal to y?
False
Suppose 4*n - l + 47 = 0, -4*n + 2*n = -4*l + 20. Let a be n/75*(4 + 6). Suppose -5*b - 4 - 6 = 0. Which is smaller: a or b?
b
Suppose 0 = -2*v - 0*v - 24. Let k be 6*-2*(-2)/v. Let u be k + 2 + (-2)/(-5). Which is greater: u or -8?
u
Let i be (-15)/(-28) + 4/(-14). Let b(j) = -j**3 + 5*j**2 + 26*j. Let c be b(8). Let t be 2/c - (-252)/(-96). Which is smaller: i or t?
t
Let h = 15.076 + -15. Let s = -0.254 - h. Let n = s - -0.43. Is 2.3 < n?
False
Let h = 1.89 - -0.11. Let v = 0.28 - -0.02. Are v and h equal?
False
Let i = -5/4 - -27/28. Let c = 135 + -111. Let y = -25 + c. Which is smaller: y or i?
y
Let g = 1 - 0. Let x = 213 + -218. Let w = x + g. Is w equal to 3?
False
Suppose -17*j + 267 = -14*j. Is 89 at most as big as j?
True
Let b be (-9*4/(-594))/(1/6). Which is smaller: 4 or b?
b
Let b(l) = l**3 + 41*l**2 - 5*l - 84. Let g be b(-41). Is 359/3 greater than g?
False
Suppose -4*a + 0 = -4. Let k be 6/21 + 3 + (-10725)/3311. Is k equal to a?
False
Let n = 0.004 + -0.017. Let c = -0.987 + n. Which is greater: -0.15 or c?
-0.15
Let n = -353/3 + 109. Let q = n - -448/51. Is q at least -1?
True
Suppose 5*x = 13*x + 408. Let p = 50 + x. Which is smaller: p or -2/125?
p
Let t(p) = p**3 - 3*p**2 - p + 7. Let n be t(5). Suppose 0 = -4*m + 16, 5*d - m - n = m. Let j = 34 - 21. Which is smaller: d or j?
d
Suppose -b = -8*b - 28. Is b greater than 22?
False
Let q = 254 + -255. Which is smaller: -3/232 or q?
q
Let x(i) = -i**2 - 2*i. Let b be x(-2). Suppose -4 = -2*w - b*w. Let j = 303/194 - 6/97. Which is smaller: j or w?
j
Let l be -7 - 12/(-3) - -46. Is 169/4 != l?
True
Let s = 3 - 0. Let f be (s/(-6))/(4/(-8)). Is f at most as big as 2?
True
Let n = -5 - -13. Let p = -7 + n. Suppose 3*l + 2*f - p = 0, 3 = -4*l + 3*l + f. Is l != -5/6?
True
Suppose 3*j + 4*m = -159, 4*j + 270 = -j - 5*m. Do -54 and j have the same value?
False
Suppose -1209*u - 180 = -1212*u. Which is smaller: u or 65?
u
Let m = -27 - -76. Is m <= 48?
False
Let z(p) = -9*p + 2. Let i be 4 - (-8 - (-7 + 3)). Let x be z(i). Is x equal to -69?
False
Let i be (-2624)/(-1) + 13 + -13. Let l be -1 - 1 - (-5280)/i. Which is smaller: 1 or l?
l
Let d = 47126/125 - 377. Which is bigger: 1 or d?
1
Let f be 2/(-4) - 102/(-188). Let o be 182/168 + -1*(-2)/(-24). Which is greater: f or o?
o
Let d(a) = 5*a**2 + 9*a + 49. Let i be d(0). Which is smaller: i or -5?
-5
Let t be 7/(-4) + 2/(-8). Let x = t - -2. Let f = 395 + -3947/10. Which is smaller: f or x?
x
Let t be 19 + -23 - (-422)/107. Which is smaller: 1 or t?
t
Let t = -35.2 + 5.2. Let q = -29 - t. Which is bigger: -10 or q?
q
Suppose 3*r - 2*r = 5*o + 58, 3*r - 3*o - 186 = 0. Let t = 33 - 33. Let l be r/(-33) - (t + -3). Which is smaller: l or 1?
1
Let l = -0.15 + -27.85. Let q = 20 + 9. Let o = q + l. Does o = -6?
False
Let m = -3947/223876 - -5/2308. Which is bigger: m or 0?
0
Let o = 163 - 164. Which is bigger: -1/565 or o?
-1/565
Let s = -96 + 94. Let u = -20.07 + 0.07. Is s greater than u?
True
Let d(c) = c**2 - 8. Let r be d(-4). Suppose r = 5*i - 112. Let s = i - 24. Is 2/9 >= s?
True
Suppose -2*b - 398 = 2*v, b + 92 = -4*v - 698. Is -198 smaller than v?
True
Let x be (-4)/18 + (-40)/(-18). Let j = 5 - x. Let h(k) = -k**3 + 3*k**2 + k - 3. Let g be h(j). Which is smaller: g or 8/7?
g
Suppose -y = -2 - 0. Suppose 4*h + 0*h = -3*r + 23, 5*h - 30 = -4*r. Suppose -u = -h*j - 3, -2*u + 7 + 3 = 0. Is j greater than or equal to y?
False
Let h = -23.05 - -24. Let x = -0.64 + h. Is 1/3 > x?
True
Suppose 30*n + 195 = 95*n. Is -364 at most n?
True
Let r = 4.35 + -4.2. Let p = -0.25 + r. Is 1 at most as big as p?
False
Let d = -20.34 + -2.46. Let o = d - -24. Let q = -2 + o. Which is smaller: q or -0.1?
q
Let y(d) = d**2 - 6*d + 9. Suppose q = -j + 2*q + 7, 2*j - 3*q = 17. Let z be y(j). Suppose 0 = -5*u + 9*u. Which is greater: z or u?
z
Suppose 7*s = 4*w + 3*s + 4892, -4*w - 5*s = 4892. Is w smaller than -1223?
False
Let m = 0 - 4. Let l be (-15)/20*m - 4. Is l bigger than 4?
False
Let j(k) = k - 6. Let z = -15 - -21. Let a be j(z). Suppose -4*w + 23 + 37 = a. Is w greater than 15?
False
Suppose -5*a = 2 + 3. Let v be 6*a*1/2. Let l be 14*(9/(-6))/v. Are l and 6 nonequal?
True
Let b be 2/((-6)/((-18)/(-291))). Which is greater: -1 or b?
b
Suppose 5*a + 4*j = 20, 25 = -24*a + 23*a + 5*j. Are 19/60 and a equal?
False
Let q be (-48)/(-26) - (-6)/39. Suppose -3*n + 9 = -q*w - 22, -n + 5*w = 7. Let b = n + -14. Does -1 = b?
True
Suppose 0 = -10*n + 92 - 102. Which is smaller: n or -3/64?
n
Let d = 577 + -690. Is -0.2 less than or equal to d?
False
Let i = -172 + 172. Which is smaller: 51/38 or i?
i
Let o be (-17)/((-85)/2) - 4536/15. Which is bigger: o or -301?
-301
Suppose -5*c - 67 = 48. Let q = c - -22. Which is smaller: q or 2/49?
q
Suppose 15*g = 11*g - 76. Let r = 8 + g. Which is bigger: -10 or r?
-10
Let r = 35 + -17. Suppose -j = 11 - r. Let x be 10/j*63/18. Do x and 6 have the same value?
False
Suppose 85*a - 104*a = 19. Which is smaller: a or 21.5?
a
Let c(m) = 6*m**2 - m**3 - 2*m**2 - m**2 - 4 + 2*m. Let d be c(4). Which is smaller: -9 or d?
d
Let u(c) = 3*c + 13. Let p(f) = -13*f - 53. Let m(y) = -2*p(y) - 9*u(y). Suppose -2*w + 0*w = 14. Let h be m(w). Is h at least -9/2?
True
Let d = 0.1 + 0. Let b = -291 - -270.9. Let l = 1.9 - b. Is l equal to d?
False
Let m = 1570 - 1569. Is m at most 2/659?
False
Suppose -4*a - 7 = -5*v, -v + 20*a = 15*a - 14. Suppose 16 = 3*i - 4*i. Are i and v equal?
False
Let y(n) = -n**3 - 11*n**2 - 10*n - 3. Suppose d = -q - 12, 0 = d - q - 4*q. Let j be y(d). Let a be (-10 - 2) + j + 5. Is a at most -10?
True
Let u = 13.7 + -14.7. Is u smaller than 0.049?
True
Let v = 6 - 19. Suppose -10 + 32 = d. Suppose 4*j + d = -30. Is j at least as big as v?
True
Let d(q) = -6*q**3 - 71*q**2 + 2*q + 20. Let k be d(-12). Which is greater: k or 136?
k
Let a(j) be the second derivative of j**4/12 - 7*j**3/6 + j**2 - 11*j. Let y be a(7). Suppose -y*w - w - 24 = 0. Which is smaller: -4 or w?
w
Let j = -12 - -20. Let f be ((-308)/16)/((-2)/20). Let z = f + -185. Is z greater than or equal to j?
False
Let d = -19 - -18. Let w = -83/2790 - 4/155. Which is greater: d or w?
w
Let j = 20/43 + 3/86. Which is smaller: -0.87 or j?
-0.87
Suppose -25 = -5*w, 3*w - 58 = -5*b - 8. Suppose -31 + b = -3*f. Is 5 smaller than f?
True
Let h be 20/6 - 9/27. Suppose 48 = -h*x + 4*o, 6 + 30 = -4*x - 4*o. Which is smaller: -10 or x?
x
Let m be (-1 - (-398)/404)/(14/(-28)). Which is smaller: 1 or m?
m
Let x be (29/58)/(124/6). Which is bigger: x or 0.2?
0.2
Suppose 0 = -5*l + 15, -a = -2*l + 2 + 4. Are -3/110 and a non-equal?
True
Let h = -949 - -950. Which is smaller: h or 13/87?
13/87
Suppose 3*a = -5*j - 5, -a - 1 = -2*j - 3. Is 1/33 greater than j?
True
Suppose 0 = -5*i + 2*x - 476 + 96, 3*i + 228 = -5*x. Is i < -67?
True
Let z = 137392/107 + -1284. Which is smaller: -1 or z?
-1
Let n = -89 - -87. Are n and -6/7 equal?
False
Suppose 2*v - 3*o = -v - 5220, -4*v - 6958 = -3*o. Is v at least as big as -1739?
True
Let l = 37 + -37.022. Let s = l + -2.978. Is s smaller than 0?
True
Let l = -69 - -69.31. Let g = l - 0.31. Which is bigger: g or -16?
g
Let v = 729 + -729. Which is greater: 2/697 or v?
2/697
Suppose 5*b - 7 = -37. Let h = -5 - b. Suppose 0 = 36*o + 30 + 6. Is h less than or equal to o?
False
Let y(n) be the second derivative of -n**5/20 - 5*n**4/12 + 3*n**3/2 + 19*n**2/2 + 2*n. Let x be y(-6). Is 3/31 > x?
False
Let p = 2.6 + 0.4. Let s = p + -2.7. Let h = -2326.9 - -2327. Which is greater: h or s?
s
Let f be (7 - -1*2) + -2. Let q = -351 - -355. Are f and q unequal?
True
Let l(w) = 7*w - 3. Let p be l(-7). Let o = p + 467/9. Let