Let q(o) = 6*b(o) - 7*l(o). Let j be q(13). Which is smaller: 16 or j?
j
Let g(j) be the third derivative of j**4/24 - 19*j**3/6 + 12*j**2. Let c be g(18). Let p be (c/(-3))/((-8)/72). Is -3 != p?
False
Let h = -1275 + 1272. Which is smaller: -0.25 or h?
h
Let u = 6.467 + 3193.533. Is u bigger than 1/3?
True
Let s = 8 + -8.06. Let c = 201904.7 + -201903. Which is smaller: s or c?
s
Let q = -3509 + 3492.99. Let k = -187.6 + 203.6. Let s = k + q. Is 1 >= s?
True
Let t be (-3 - (-42)/18)*-402. Suppose 0 = 18*u - 178 + t. Let w be 58/12*-1*1. Is u < w?
True
Let k = 182.2 + 3.8. Let b = 89 - k. Let l = 127 + b. Do -1 and l have the same value?
False
Suppose -8*v = -3*v + 4*d + 18, 2*v - 5*d - 6 = 0. Suppose -51*i = -19*i + 224. Let p be 4/i - 4/28. Which is greater: v or p?
p
Let i = -288.8 - -49.8. Let o = -140 - i. Let l = -98.9 + o. Is l greater than or equal to 10?
False
Suppose 0 = 3*i + i - 3*h + 104, h - 4 = 0. Suppose 0 = -7*c + 8*c + b + 27, 0 = -2*c - 5*b - 60. Which is smaller: c or i?
c
Suppose -219671 + 135296 = -25*n. Is 3374 greater than or equal to n?
False
Suppose 6*n - 344 = 8*n. Let p be (1/4*-1)/((-129)/n). Is p at least as big as 1.63?
False
Let d = 16958.36 - 16960. Which is smaller: -1/47 or d?
d
Let f = -0.347 + -154.653. Let z = f + 154.98. Which is bigger: z or 3/7?
3/7
Suppose 20*k - 16*k + 5*d = -111, -78 = 3*k + 2*d. Let b = -18 + 16. Let f be -14*((-9)/b - 3). Are k and f non-equal?
True
Let o = -83 - -192. Let p be 109 - (-1)/((-3)/3). Do o and p have the same value?
False
Let r(t) = t**3 + 2*t**2 - 1. Let b(w) = -w**3 + 2*w**2 + 2*w - 1. Let x be b(3). Let n be 1*(-6 + (x - -7)). Let d be r(n). Is -11 not equal to d?
True
Let f be 20/5870*(2 + (-55)/15). Let n = 269513/14088 + f. Is 20 smaller than n?
False
Let v be (-11949)/(-40)*(-8)/(-18). Let d = -133 + v. Which is smaller: d or 1?
d
Let o = -526.2 - -527. Let l = 44.8 - o. Which is bigger: 0.1 or l?
l
Let u = 127/24 + -21/8. Let a(n) = 7*n - 54. Let d be a(8). Suppose d*r + g - 5 = 0, -2*g + 6 = 5*r - 6. Which is greater: r or u?
u
Let t = -7793 + 7793. Which is smaller: -3/2593 or t?
-3/2593
Let f(l) = -l**3 + 2*l**2 + 5*l + 3. Let g be f(-1). Suppose g = -3*q + 4. Are 36/17 and q nonequal?
True
Let m = -6029/8305 + -1/755. Let l(a) = -18*a + 70. Suppose -57*o - 16 = -61*o. Let j be l(o). Is m at least j?
True
Let w = -13/2 + 6. Let j = -0.3366 + 0.4106. Which is bigger: j or w?
j
Let s = 42 + -24. Let h = s - 35. Let l = -25.1 + 25. Which is bigger: l or h?
l
Let a = -0.13206 - 559.76794. Let j = a + 560. Let b be 41/138 - 8/48. Which is bigger: j or b?
b
Let r(a) = -3*a**3 + 31*a**2 - 14*a + 44. Let g be r(10). Which is bigger: g or 43/9?
43/9
Suppose 4*c = -0*c - 5*a + 35, 2*c + 3*a = 19. Let d be 0 + (7 + -3 - (4 + -4)). Let y(r) = -5*r + 26. Let o be y(d). Which is smaller: o or c?
c
Let a(n) = 2*n**2 - 2*n + 1. Let d be a(1). Let g be 565/28 + 143/(858/(-120)). Which is smaller: d or g?
g
Let l = -4905 + 4024. Are -2/13 and l non-equal?
True
Let d = -5751291/36620 + 3141/20. Do d and 2/7 have different values?
True
Suppose -2*b + v - 12825 = 0, -329 + 301 = 4*v. Which is smaller: b or -6417?
-6417
Let c = 469/173 + 564807/3460. Let o = c + -166. Is -1 greater than or equal to o?
False
Let g(o) = 364*o - 6274. Let m be g(27). Which is bigger: 3555 or m?
3555
Let y(h) = h**3 - 8*h**2 - 4*h + 14. Let g be y(7). Let v = 63 + g. Is v greater than 0.04?
False
Let n be (-3 - -2)*(-231)/1155. Which is smaller: 37 or n?
n
Suppose -7*s + 36743 = -26901. Let x be (5 - 2) + s/(-24). Let i = x - -375. Is -1 less than i?
True
Suppose 621*x + 1120174 + 9146819 = 0. Which is bigger: x or -16532?
-16532
Let n = -10.5 - -14.5. Let s = -3.8 + n. Which is smaller: s or 5.2?
s
Let s = 177748744/45 + -3950206. Let g = -234 - s. Is 0 less than g?
False
Let j = 176 + -171. Suppose -3*b - 27 = -4*g, g - 8 = -0*b + b. Let y = b + j. Is y < -7?
False
Let q(k) be the first derivative of -15 - 4*k - 5/2*k**2. Let b be q(1). Is b < 2/7?
True
Let c be (-3227)/98 - (-12)/(-21). Let q = c - -34. Which is bigger: 1.23 or q?
1.23
Let k = 303/48124 + -5/454. Let x be (5 - 4) + 0/(-3). Which is smaller: x or k?
k
Let r be 262/6 - (-11)/33. Suppose 0 = -j - 5 + r. Let z = j - 30. Which is smaller: 8 or z?
8
Let n be -707*(-15 + 13) + 10. Is 1422 < n?
True
Let m = 21556.9661 - 21557. Which is greater: -0.02 or m?
-0.02
Let x be (-3)/14 + 2 - 1. Let w = 2/7 - x. Let a be -6 - (92/(-20))/(17/(1955/92)). Which is smaller: w or a?
w
Let y = 8 + -11. Let t = y + -6.4. Let i = t + 9.5. Which is smaller: i or 0.05?
0.05
Let u = -60 - -60. Suppose 5*a + q - 270 = 0, -a - 2*a - 3*q + 162 = u. Let k = -56 + a. Which is smaller: k or 25?
k
Let c be -1 + -3 - (-472 - -8) - 126/18. Is c >= 458?
False
Suppose 4055*c = 4080*c - 1150. Let r be ((-3)/(-2))/((-3)/(-90)). Is r less than or equal to c?
True
Let b = 829 - 590. Let y = 486 - b. Is y < 246?
False
Let t be (1/(-238))/(3/3246). Let h = t + 31/7. Let y be 5 + 0 - 2*(884/(-24))/(-13). Is y != h?
True
Suppose -26*m + 5177 = 2038 - 3127. Is 1682/7 <= m?
True
Let z = 1 + -0.9. Let f = -106107 + 106151. Which is greater: z or f?
f
Let b be ((-1)/(-4))/((-631)/316 - -2). Let r = -58 + b. Which is greater: r or 22?
22
Suppose -p = 3*n + 17, -3*p + 2*n + 20 = -8*p. Let x be p + -5 - (11 - 17). Which is smaller: 13 or x?
x
Let b be (11 - (-39)/(-13))*2. Suppose 8*w = 3*w + 80. Do b and w have the same value?
True
Suppose 5 = 2*l - 41. Suppose -112*d = -128*d + 2448. Suppose l*w + d = 6*w. Are -9 and w equal?
True
Let b = -4.3 - -4.2. Let m(h) = 15*h + 106. Let c be m(3). Is b equal to c?
False
Let p(z) = -21*z**2 + 741*z + 32. Let x be p(33). Is x <= 1616?
True
Let n(i) = 7*i - 94. Let h be n(0). Let f = h - -117. Suppose 4*y = -4*w + 84, 2*w - y = 30 + 21. Which is bigger: w or f?
w
Suppose 0 = -2*f + 2, -22*p + 18*p - 11988 = -4*f. Let z be 260/2990 - p/(-598). Which is smaller: z or -5?
-5
Suppose -2*d - 537 - 325 = -5*h, -5*h - 4*d + 886 = 0. Which is smaller: h or 172?
172
Let a = -47/944 + 14/59. Let z(n) = n + 11. Let m be z(-8). Suppose -2*x = 5*j + 2, -5*j = -4*x + 7*x + m. Are j and a equal?
False
Suppose 9*k + 3260 = 5*k. Let a = 7313/9 + k. Is -3 bigger than a?
False
Suppose 8*j = 28*j + 6*j + 4498. Is 1/4 at least j?
True
Let r be (-1)/(-4) - 7249/(-44). Suppose r = -5*s + 405. Which is smaller: s or 47?
47
Let m = -4.83 + 1.49. Let u = 3.3 + m. Let a = -0.28 - u. Is -1/4 > a?
False
Let r = 55.59 - 43.59. Which is smaller: r or -207?
-207
Let b(l) = 20*l**3 - l**2 - 2*l - 1. Let i be b(2). Let t = i - 151. Which is smaller: t or -9?
-9
Suppose 25 = 64*q - 39. Which is smaller: -3/547 or q?
-3/547
Let c(j) = -16*j - 13. Let z(k) = 47*k + 38. Let m(o) = 17*c(o) + 6*z(o). Let y be m(-4). Let q be 34/(-51)*4/8. Is y != q?
True
Let c be 3/(-7) - ((-122376)/35644 - -3). Let i = c + -96778/6365. Is -16 > i?
False
Let x be (2 - (-4)/(-3))*992397/301. Which is smaller: x or 8797/4?
x
Let x(t) = 5*t**2 - 97*t + 46. Let u be -4 + 1010/40 - (-3)/4. Let q be x(u). Is 332 at least q?
True
Let v = 489/2 - 256. Let i = v - -101/6. Is i at least as big as -1?
True
Suppose 9*k = -5*v + 798, -7*k + 6*k + 93 = 2*v. Which is bigger: 86 or k?
k
Suppose -41*w + 20*w = -20*w. Suppose -j + 36 = -h - 3*h, 5*h - j + 44 = w. Let c(i) = i**3 + 12*i**2 + 33*i - 10. Let r be c(h). Does -15 = r?
False
Let f(y) = y**3 + 59*y**2 + 50*y + 131. Let m be f(-58). Which is bigger: -6 or m?
m
Suppose -14*h = -40*h - 24*h. Is h bigger than -114/187?
True
Let t = 15 - 13. Let d = -12 - t. Let u = 1952 + -7861/4. Is u greater than or equal to d?
True
Let r be ((-6025)/15)/(4/(-12))*1. Is 1204 greater than r?
False
Suppose -2*n + 5*n = -2*n. Let o = -137/14 + -13/28. Let i = o + 4215/412. Is n at least i?
True
Let h = 2/413 + 2029/7434. Let q be (142/14)/(72/4). Let k = h - q. Which is smaller: -13 or k?
-13
Let a be (-966)/(-1288)*(-4)/15. Which is smaller: a or -7/120?
a
Let g = 26 - 32. Let w be (3/g)/(7 + -3). Which is greater: w or 4/7?
4/7
Let o = 6.514 - 13.624. Which is greater: -5 or o?
-5
Let f(x) = -2*x**3 + 25*x**2 - 5*x - 10. Let a be (-2)/(-8) + (-423)/(-36). Let o be f(a). Is 2 > o?
False
Let p(m) be the second derivative of m**4/12 + 13*m**3/6 + 19*m**2/2 - 3*m. Let n be