 13017.7 - 13020. Suppose 0 = -0*k + k - 1, 3*u - 2*k = 43. Let a be u/12 - (-2)/(-8). Is l at least a?
False
Let b = 0.03 - 3.03. Let j = b + 2. Let v = 3098 + -3100. Which is smaller: j or v?
v
Let n be -2*(-4)/2 + 2. Let p = -2 + n. Suppose -2*t = 4*u - t - 2, -6 = p*u + 5*t. Which is smaller: -1/4 or u?
-1/4
Let x = -36 + 36.02. Let a = x - 9.02. Let b = -32 - a. Is b > -1?
False
Suppose -5*a + 24 = 2*k, 0 = -7*a + 6*a - 3*k - 3. Let y be (159/30)/(a/(-15)). Is y less than -1?
True
Let a = 145 + -142. Suppose 4*o + 35 = -8*b + 9*b, 5*b - 22 = a*o. Which is smaller: o or 1/5?
o
Suppose -l + 290 = 3*n, -2*n - 280 = 28*l - 29*l. Let v = 283 - l. Which is greater: -9/32 or v?
-9/32
Suppose -5*x + 4*g - 10 = -g, 5*g - 15 = 0. Is x smaller than -5/2233?
False
Let q(v) = -v. Let r be q(-1). Suppose -9*n - 151 = 137. Let w be 0 - n/(-22) - (46 - 48). Are r and w equal?
False
Suppose 2*r + 5*v = -30, 3*v + 3 = r + v. Let i be r*(-3 - (3 - 5)). Let h be (-1)/i + 18/5 + -3. Is h > -65?
True
Suppose 2*w - 10 = f, f - 47 = -5*w - 2*f. Let o = 60 - 54. Which is greater: o or w?
w
Let j(p) be the second derivative of p**5/20 - 7*p**3/6 + 11*p**2/2 - 120*p. Let b be j(0). Let w(y) = 3*y - 2. Let t be w(5). Which is smaller: b or t?
b
Let y = -37211.89 - -36997. Let f = y - -215. Is -0.5 bigger than f?
False
Let b(v) = 4*v - 85. Let k be b(21). Suppose 5*d + 3563 = -3*t, -4*t = -d - 0*d + 4766. Let c = 27399/23 + t. Which is greater: k or c?
c
Let g = -9811/4 + 2425. Let p = 272 - 300. Let u = p - g. Which is bigger: 2/11 or u?
2/11
Let i be (-7)/7 + (-56946)/(-21). Let u = 2700 - i. Is u at most as big as -10?
True
Let q = -2.8 + 3.8. Let i = 6 + q. Let x = -6 + i. Which is bigger: x or -1/4?
x
Let p = 242 + -426. Let k = p + 5151/28. Which is greater: 1 or k?
1
Let s(b) = -b**3 + 23*b**2 + 22*b + 60. Let u be s(24). Suppose 46*z = u*z - 3332. Which is smaller: -97 or z?
z
Let r = -753/4 + 271. Let x = -82 + r. Let c be 2268/1323 + -2*3/(-21). Is x bigger than c?
False
Let t = 21893/596 + 5/298. Let q(w) = 10*w - 2. Let x be q(4). Is t < x?
True
Let n(z) = z - 6. Let j be n(7). Let r be (((-2)/6)/(-1))/(60/(-9) - -3). Which is bigger: r or j?
j
Let k(x) = -4*x - 20. Let g(a) = 7*a + 37. Let d(r) = -3*g(r) - 5*k(r). Let t be d(-4). Which is smaller: -13 or t?
-13
Let s = -119 + 401. Let o be 2*-2*3/s. Suppose 3 = -4*d - b, 0 = 2*d - 64*b + 66*b. Which is smaller: o or d?
d
Let k = 38186 - 38185. Is 5/4717 greater than k?
False
Let l = 2273 - 1565. Is 3 greater than l?
False
Let h = 6884.7 + -6888. Which is greater: h or -57/2?
h
Let x(d) = 4*d**2 + 21*d + 76. Let r(z) = -11*z**2 - 64*z - 231. Let n(i) = 3*r(i) + 8*x(i). Let b be n(-20). Which is smaller: -16 or b?
-16
Suppose -147 = -15*k + 48. Let r(a) = -a + 13. Let z be r(k). Which is bigger: -1/54 or z?
z
Suppose -619 = 2*o + 11*r - 16*r, 0 = 15*o - 2*r + 4465. Which is smaller: -307 or o?
-307
Suppose 0*y - 4962 = -2*c + y, 5*y - 7430 = -3*c. Suppose c = 6*i - 14*i. Are i and -310 non-equal?
False
Let o(a) = -16*a - 31. Let r(u) = -175*u - 340. Let c(h) = 65*o(h) - 6*r(h). Let y be c(3). Is y > 53?
True
Let r be (4 + -2 + -2)/(-7 + 8). Suppose r*w = -3*w - 3*n + 360, n + 3 = 0. Is w <= 0.1?
False
Suppose -4*o + 0*o - 5*r = 19438, 4*r + 4854 = -o. Does -4862 = o?
True
Let o(i) = -2*i + 391. Let g be o(63). Is g greater than 272?
False
Suppose r + 9*l - 1569 = 0, -7302 - 831 = -5*r + 3*l. Which is smaller: 1625 or r?
r
Let o = 3354 - 3354.1743. Which is smaller: o or -1?
-1
Let p be (-2420)/880 + 3/(3/2). Let c(x) = -x**2 - 5*x - 2. Let g be c(-5). Which is smaller: p or g?
g
Suppose -24*v + 95*v + 1008 = 43*v. Which is bigger: v or -64?
v
Let b = -39 - -29. Let w = -15 - b. Let y be (-1)/((25/(-3))/w). Are -1 and y unequal?
True
Let r = 129 + 51. Let p be (-87)/r - 2/(-24)*9. Is -1 greater than p?
False
Let t(a) = 5*a**2 + 11*a - 14. Let v(y) = 2*y**2 - y. Let o(h) = -t(h) + v(h). Let i be o(-5). Which is bigger: i or -3/53?
-3/53
Let w(y) = 4*y**3 + y**2 - y + 1. Let g be w(2). Let d be 0/(2 - 1/1). Suppose 4*z - 2*v - 84 = 0, -z + d*z = -4*v - g. Is 1/3 at most z?
True
Suppose 11*f = 1444 + 591. Let u be f/(-10) - (35/(-10))/(-7). Which is bigger: -20 or u?
u
Let j(o) = -19*o - 17. Let w be j(-7). Let l = w + -61. Suppose -l = -5*g - 60. Is -2/59 < g?
False
Let g(a) = 11*a**3 + 4*a**2 - 4*a + 5. Let w be g(2). Suppose w*n + 18 = 98*n. Let t(b) = 6*b + 50. Let f be t(n). Which is greater: f or 13?
f
Let q(h) = 5414 + 12*h - 5209 + 5*h. Let c be q(-12). Is c less than 11/8?
True
Let s = 3887/5 + -27214/35. Which is smaller: s or 4368?
s
Let r be 2 - (-1)/(-1 - 0). Let l = r - -8. Let k = 35712 + -35713. Which is bigger: k or l?
l
Let w = 394 + -429. Let m be (30/w)/((-310)/420). Which is smaller: m or 1?
1
Suppose 4 = -6*z + 40. Let p be -10*(0 + z/4). Is p at most as big as -8?
True
Let v = -0.46889 + -0.01811. Which is smaller: v or -8?
-8
Suppose -43 = 3*p + 59. Let f be (-4)/10*5/p. Which is smaller: f or -1?
-1
Let k(z) = 8*z - 54. Let y be k(6). Let u be 2/(-12) + (-3)/y. Do -18/17 and u have different values?
True
Let b = 7301/180 + -29/45. Are b and 40 nonequal?
True
Suppose -12*t + 4 = -3*h - 13*t, -4*t - 16 = 0. Is h at most as big as -9219?
False
Let s(z) be the first derivative of 7*z**2/2 - 21*z + 103. Let h be s(3). Let x(v) = v**3 + 4*v**2 - 5*v + 2. Let q be x(-5). Which is greater: h or q?
q
Let c be (-16)/344 - (-58)/1247. Is 5/7398 less than or equal to c?
False
Let w = -0.037 - 74.963. Let j = 75.062 + w. Let y = j + 5.938. Which is bigger: 0 or y?
y
Let k be (-328)/41 + 506/(-16) + -7. Which is smaller: k or -48?
-48
Let g = 157 + -357. Let q = 183 + g. Which is bigger: q or -152/9?
-152/9
Suppose 3*g + g = -t - 26, -5*t = -5*g - 45. Suppose 6*l - 56 = -22*l. Which is smaller: l or g?
g
Let q(g) = 2*g**2 + 324*g - 1950. Let o be q(-175). Do 2596 and o have different values?
True
Let n = -3.783 + -1.217. Which is greater: 4 or n?
4
Let q(x) = 24*x - 1. Let j be q(1). Suppose 76*p = 77*p. Let z(h) = 3*h**2 - 4*h + 24. Let n be z(p). Is n > j?
True
Suppose 0 = 3*b - 2*x - 22, 2*x + 3 = b - 7. Suppose 5*g = b*g - 44. Let h = g - 71. Are -28 and h equal?
False
Let t(w) = 5*w - 40. Suppose 2*r + 33 = 4*c - 3, -3*c = 4*r - 38. Let z be t(c). Which is smaller: 12 or z?
z
Suppose -25*d = -12*d - 14*d. Let p be 279/12 + 2 + d + -2. Which is smaller: p or 24?
p
Let v = -149.201 - -149. Let h = v + -23.499. Let u = 23 + h. Is 1 greater than u?
True
Suppose 4*t = -3*m - 262, -2*m + 479*t - 474*t = 121. Is m less than or equal to -42?
True
Suppose 25058 = -176*a + 49*a - 167093. Is -1517 at least as big as a?
False
Let m(f) = f**2 + 13*f + 46. Let d be m(-5). Let k be 12*(33/d + -2). Which is smaller: 43 or k?
k
Let c(b) = 3*b**2 - 7*b - 4. Let o be c(3). Let w be (1*(o + -2))/(2 + -3). Is w > 1/28?
False
Let m(t) = t**3 - 4*t**2 + 2*t - 3. Let o be m(3). Let x be -23*(4 + 30/o). Is 47/2 less than or equal to x?
False
Suppose 4*q = 2*x - 28, -q - 1 - 3 = 0. Let c be x/(-10)*32/144. Let a = -343/3 - -113. Which is smaller: c or a?
a
Let p be (-6)/(-4)*(-17 + 1113/63). Which is greater: -8/5863 or p?
p
Let o be 6/(-468)*(-24792)/18. Let x = -30263 + 393611/13. Let m = x - o. Which is smaller: m or -2?
m
Let c = -931292/559 + 1666. Let m = 34089/2795 + c. Does m = 12?
False
Let w(z) = 15*z**2 + 4. Let f(h) = 16*h**2 - h + 5. Let t(a) = -6*f(a) + 5*w(a). Let p be t(2). Let o = 75 + p. Which is bigger: o or -4?
-4
Suppose 16 + 32 = -2*z. Suppose 12*f - 13*f = 0. Let x be -29 + f + 40/8. Is z < x?
False
Let l(f) be the second derivative of -7*f**3/3 + 38*f**2 - 38*f. Let w be l(21). Which is greater: -219 or w?
w
Let b = -51 + 51.186. Let k = b + -0.226. Which is smaller: k or -1.8?
-1.8
Let w = 29526 + -28763. Which is smaller: 778 or w?
w
Suppose 4*v - z - 5366 = 0, 0 = -2*v - 3*z + 1241 + 1449. Which is smaller: v or 6706/5?
6706/5
Let a be (-2172)/2530 - (8 - 8) - 2/(-5). Which is smaller: a or 1?
a
Let o = 344 - 343. Let d(q) = -q**2 - 6*q. Let a be d(o). Are -12 and a equal?
False
Let j be (58/(-12) - -5)/((-63)/2313). Is -7 > j?
False
Suppose b + j = 2 - 3, -j - 1 = -3*b. Let z = 131 + -130. Let a be z/(-4 + 7) - b. Is 0.06 at least a?
False
Suppose -4*c + 0*q + 11 = 5*q, 0 = -4*c - q - 1.