et k be 14*(0 + v/(-2)). Is 9 < k?
False
Suppose -2*o = -5*q + 2*o - 11, -3*q - 5 = -4*o. Let z be 10/(-22) - (-3610)/(-3971). Is q bigger than z?
False
Let s be (0 - (-5018)/18) + 5*(-48)/(-1080). Which is smaller: s or 276?
276
Suppose 0 = -7*b - 72*b. Let y = -8 + 12. Suppose m = -4*o - 18, -4*m - o + y*o + 23 = b. Which is smaller: m or 4?
m
Let o = 334 + -135. Let p = -194 + o. Is 3 greater than p?
False
Let s be 4/(-14) - 648/224 - 204/(-357). Which is bigger: s or 1?
1
Let i be ((-188898)/190 - 23)/((-2)/(-10)). Does -5085 = i?
False
Let m(k) be the third derivative of k**4/6 + 3*k**3/2 - 10*k**2. Let g(p) = -6*p - 108. Let h be g(-17). Let r be m(h). Is r bigger than -16?
True
Let n = -0.9855 + 0.3305. Are 0.1 and n unequal?
True
Suppose -5*d = r + 3*r - 205, -2*d + 54 = -4*r. Let p be 1 + (-417)/(-12) + 1. Let k = d - p. Is -2/159 <= k?
True
Let f = -4.1 - -4.12. Let n = f - -0.43. Let p = 4.45 - n. Is -2 greater than or equal to p?
False
Let j(k) = k**2 + 12*k + 19. Let y be j(-12). Suppose -5*m = a - 2, 3*a - 3*m + 0*m = 60. Which is smaller: y or a?
a
Let q = 35179.811 - 34988.5. Let a = 0.311 - q. Which is bigger: -2/5 or a?
-2/5
Let c(x) = -2*x + 1. Let j be c(1). Let u be (14*(-36)/(-42))/((-18711)/54). Which is greater: j or u?
u
Let l be 1 - (-34)/6 - 52/78. Let a(n) = n - 6. Let k be a(l). Suppose 16 + k = 4*p. Which is smaller: 3 or p?
3
Let b(z) be the second derivative of -z**4/12 + 4*z**3/3 + 21*z**2/2 - 315*z. Let v be (-2)/2 - 22/(-2). Let s be b(v). Is -4/9 less than or equal to s?
True
Suppose -149 + 464 = -9*j. Let y(g) = -g**3 - g**2 + 28. Let l be y(0). Let t = l + j. Which is bigger: t or -9?
t
Let m = -339/605 + -337009/605. Let s = m + 558. Is s less than -18.1?
False
Let b = -13740 - -13741. Which is smaller: 5/5067 or b?
5/5067
Let f = 0 + -0.1. Let y = -619.61 + 419.61. Which is smaller: y or f?
y
Let r = 882 - -1068. Let x = r + -1356. Is x at most as big as 595?
True
Let q(u) = -13*u - 18. Let r(x) = -7*x - 9. Let n(f) = 6*q(f) - 11*r(f). Let h(j) = -49*j - 58. Let p be h(-1). Let b be n(p). Which is smaller: b or -2/59?
-2/59
Suppose 5*m + 2 = 4*m. Let x be (-1)/((-1)/(-2)*m). Let o be (-61)/((-16775)/5005) - (17 + 1). Is x > o?
True
Suppose -102752 = 417*y - 117*y - 307352. Is y <= 690?
True
Let r(y) = 64*y**2 - 129*y - 501. Let c be r(-4). Which is greater: c or -3?
c
Suppose 0*f = -3*x + 3*f + 21, -f = 5. Suppose x*p = 3*l - 47, 0 = 3*l + 4*p - p - 42. Let s be ((-19)/12)/(1/(-9)). Are l and s nonequal?
True
Suppose -i - 5*y = -0*i - 19, -3*i + 4*y = 38. Let j be (-174)/(-10) - (i/(-15) + -1). Let t = 151/10 - 31/2. Which is smaller: j or t?
t
Let t(x) = -3*x**3 - 2*x**2 - 3*x - 2. Suppose 4*j - 6 = 10*j. Let u be t(j). Suppose -3*k - 47 = l, -u*k = -5*k + 2*l - 59. Are k and -17 nonequal?
False
Let a = -116/113 + -45387/1469. Is a >= -32?
True
Suppose z = -5*f - 0*f + 5, 5*f = 4*z - 20. Suppose q - 2*t = 11, z*t + 0*t = 0. Let p = 11 - q. Is p bigger than -2/21?
True
Let m be (-17)/((6/(-12))/(39/(-6))). Let d = m + 235. Is d at least as big as 16?
False
Let x be -2 + -7 + (28 - -5). Let w be (364/x - 5) + -2. Is w greater than 7?
True
Let u = -188305125/962 + 195744. Let w = u + -36/37. Which is smaller: w or -1?
-1
Suppose -2445*p = -2456*p - 12067. Is -3289/3 less than or equal to p?
False
Let a = -3381.092 - -3381. Which is greater: -12 or a?
a
Suppose 6*d - 19*f + 1070 = -23*f, 5*d + 893 = -4*f. Is -2 not equal to d?
True
Let t = -642 + 635. Let b be t/(-147)*267*-1. Which is greater: b or -14?
b
Let c = 318 - 318.269. Let g = c - -0.239. Are g and 2 equal?
False
Let g be (-56)/(-2604)*7/(-14)*127. Which is smaller: g or -1?
g
Let t(x) = 53*x**2 + 43*x + 81. Let w be t(-2). Which is smaller: 211 or w?
w
Let t be (4/(-31))/(-4 + 6). Suppose 141*w + 19 = -4*n + 136*w, -3*w = -3*n + 6. Is t != n?
True
Suppose -6411*d - 5768 = -6425*d. Which is bigger: d or 401?
d
Let j = -128.76 - 389.24. Is j < 11/3?
True
Let i = 2.045 + -2.185. Which is smaller: -27/7 or i?
-27/7
Let h(r) = 12*r + 71. Let f be h(-6). Let i be ((-12)/69)/(f + 3). Let a = -0.7 - 0.3. Is i smaller than a?
False
Let o(m) = 5*m - 79. Let g be o(16). Let i be (-71 - -69) + 107/43. Is g at most i?
False
Let u be (-4 - (-300)/70) + (-80)/(-14). Is u != -203?
True
Let t(q) = 41*q**2 + 272*q - 1099. Let i be t(4). Is i bigger than 645?
False
Let v be 36/58*(510/(-45) - -11). Which is bigger: 1 or v?
1
Let a = -2342 - -2883. Is -1 >= a?
False
Suppose 30226 = -136*m - 102*m. Which is smaller: m or -151?
-151
Suppose -1840 - 4442 = 149*w + 3105. Let l be ((-8)/(-6))/((-6)/297). Which is greater: w or l?
w
Suppose 36 - 37 = -12*g - 109. Suppose -5*c + 16 - 66 = 0. Is c >= g?
False
Let m(h) = 5*h - 69. Let g be m(18). Suppose -28 = -4*b + 3*c + g, 12 = b - c. Suppose 0 = 3*r + 2 + b. Are -4 and r unequal?
True
Suppose 0 = 32*p - 35*p - 21. Let z be (-17)/p - (9 - 7). Is z equal to 0?
False
Let v be 36/2296*(70 - 72). Is 1 less than or equal to v?
False
Let i = 0.6 - 74.6. Let j = 73.1 + i. Which is bigger: j or 5?
5
Let j be ((-42)/(-42182))/((-48)/32). Which is smaller: -1 or j?
-1
Let t(f) = 13*f - 16. Let i be t(4). Which is smaller: i or 45?
i
Let z = 273.571 - 2.671. Let l = -271 + z. Are l and 2/1305 unequal?
True
Let v(g) = g**2 - 3*g - 10. Let x be v(9). Let w = x - 36. Suppose -w*y - 135 = -47. Which is greater: 0 or y?
0
Suppose -9*n - 639 + 1719 = 0. Let p = 120 - n. Let z be (-8)/(-12) - 112/177. Which is greater: p or z?
z
Suppose 10*y + 5*n = 11*y - 2, n = 2*y - 49. Do y and -13 have the same value?
False
Let u = -1790 + 1790.1. Which is greater: -5730 or u?
u
Suppose -2*p = w + 39, -2*w - 71 - 15 = 2*p. Let y be 594/8 - (-3)/(-12). Let f = y + w. Which is smaller: 25 or f?
25
Let l(j) = -j**2 + 10*j. Let h be l(8). Let u = -245 + 244.7. Is h less than or equal to u?
False
Let p = -2100.54 + 2051. Let r = p + 0.54. Let x = r - -13. Which is greater: x or 1?
1
Let u be (-1 - (-7)/4)/((-303)/12221). Is -29 <= u?
False
Let c be 5/(-1*(-1)/5). Let q(z) = 18*z - 245. Let f be q(15). Let s be f*(45/c - 1). Is -1 greater than s?
False
Let j(f) = f**2 - 15*f. Let h be j(15). Suppose -1894 = -5*g - 94. Let n be g/117 - (1 + h + 1). Does n = 1?
False
Suppose 1048 = -6*o + o + 3*l, 632 = -3*o + 5*l. Let b = -162413 - -162202. Is b > o?
False
Suppose 8*r - 20 = 20. Suppose -4 = 4*k + 4*q - 0, -q = 3*k + r. Let w be -1 + 6*k/3. Which is smaller: -6 or w?
-6
Let l = -15831 + 6474888/409. Is -1 != l?
True
Suppose 13*c - 15*c = -4*w + 10, -5*w = 3*c - 7. Is -14/337 bigger than c?
True
Suppose -2*l - 29464 = 5*q, -401*q - 17672 = -398*q - 2*l. Which is greater: -5891 or q?
-5891
Let b be (-182774)/(-30462) - (22 + 6 - 22). Is -1 equal to b?
False
Let l = -20 + 80. Let q = -899/15 + l. Let a(h) = h**2 - 8*h + 13. Let k be a(6). Which is smaller: q or k?
q
Let d be 19*2/6*12/4. Suppose -c + 2*g = 4, -c - 4*c = 3*g - d. Is 16/23 greater than or equal to c?
False
Let b = 1 - 1. Let a = -1281 + 1287. Suppose q + 5*d + a - 54 = b, 5*q - 192 = -d. Which is bigger: 0 or q?
q
Let h = -7229/9644 - 1/2411. Let c = 52.2 - 53. Is c equal to h?
False
Let m(c) be the second derivative of -3*c**4/8 + 4*c**3/3 + 2*c**2 + 12*c. Let s(f) be the first derivative of m(f). Let t be s(10). Is -83 < t?
True
Let j = -0.03 + -11.87. Let s = j - -7.9. Are s and -0.02 equal?
False
Let o = 75 - 157. Let j be ((-2)/(-5))/(o/(-10)). Let n = -94418/188823 - -13/377646. Does n = j?
False
Let c be ((-2)/10)/(-18 + 8806/490). Is 3/25 equal to c?
False
Suppose 4*j + 44 = 2*p, 29 + 43 = 4*p - 4*j. Let u = 13 + p. Let r be 105/10*(-3)/u. Do -2 and r have different values?
True
Suppose -2*k = -j - 10, -2*k + 0*j + 2*j = -14. Suppose 2*s - 135 = -k*u, -5*u = -10*u - 2*s + 229. Suppose 44*z + 111 = u*z. Is z greater than or equal to 39?
False
Let d = -0.9 - 0.733. Is d smaller than 1/2?
True
Let w = -415497 - -31175476/75. Let u = 153 + 23. Let p = u - w. Which is smaller: p or -1?
-1
Suppose -100 = 27*j - 77*j. Which is smaller: 27 or j?
j
Let c = 54 + -22. Suppose -4*g + 4*x = -20, c - 7 = 5*g + x. Suppose g*i - 77 = -2*i. Is 13 <= i?
False
Suppose 0 = -4*o - i + 158, 44 = -3*o - 4*i + 143. Which is bigger: -0.24 or o?
o
Let o be (123890/(-1360))/(-13) - 7. Let j = o + -275/408. Is 