d(c) = c**3 + 16*c**2 - 15*c + 30. Let p be -1*(20 + (-1)/(-2)*-6). Let g be d(p). Let t be (-1705)/180 + 4 + 3/g. Is -6 > t?
True
Let n be (1/(-69))/(-6 - (-28016)/4664) - -2. Is n > 1?
False
Suppose -y + 0*y + 10 = 4*v, 3*v = 5*y - 50. Suppose 5*a - y + 0 = 0. Suppose -a*q = -4 - 0. Is 4/7 less than q?
True
Let d = 7185/2528036 + -4/1921. Which is greater: d or 1?
1
Let u be (78/2912)/(540/35). Is u > -2/3?
True
Let m(g) = -g**3 - 8*g**2 + 7*g + 6. Let t be m(-9). Suppose 0*i + 4*i = -80. Let l be (72/i)/(6/(-40)). Is l at least t?
True
Let j = 3.99 + -39.09. Is -4 less than j?
False
Let l = 0.03828 + -480.03828. Are l and -0.8 nonequal?
True
Let z be (-11)/(-66) - (-745)/30. Suppose 30 = m + 4*d, -7*d + 135 = 5*m - 2*d. Is z less than or equal to m?
True
Let o(j) = j**2 + 4*j + 1. Let n be o(-4). Let s be (2 + 111/(-6))*(-784)/7056. Is s less than or equal to n?
False
Let d = 77 + 183. Suppose -229 = -3*x - 2*j + 562, j + 257 = x. Is x equal to d?
False
Let a be 31 - (-36)/41472*-35628. Let d be 0*-1*(3 - 2). Which is smaller: a or d?
d
Suppose -5*h - 3 = 2*x, h - 21 = 2*x - 6*x. Suppose 810 = -x*y - 3*y. Which is greater: y or -91?
y
Suppose 3*k - 18*k = 180. Let a be 112/k + (-3)/9. Which is greater: a or -9?
-9
Let d be (243/324)/(0 - 6/(-88)). Let f = 7 - -7. Is d <= f?
True
Let w(y) = y**3 - 10*y**2 - 8*y + 37. Let c be -2 - (2/(-2) + 1) - -10. Let a be w(c). Is a bigger than -155?
False
Let v = 2 - -8. Suppose 4*o = 2*w - v, -2*w + w - 4*o = 19. Let l be w/(-9)*(-4 - -3). Is l smaller than -0.2?
True
Let l be (1/2 + -1)*-6. Let g be (-3 + 6)/(-3) - -3. Suppose 3*v - 10 = -0*w + g*w, l*v = 12. Which is smaller: w or -2/37?
-2/37
Let v(l) = -31*l**2 + 40*l + 224. Let j be v(13). Which is smaller: -4494 or j?
j
Suppose 14*k = 7*k + 630. Let v = -156 + k. Let y = v - -63. Is y > -5?
True
Let d = -53 - -49. Let r be (0 + -1)/(d/8). Suppose -9 + 7 = -r*q. Is q >= -2/129?
True
Suppose -y - 3*b - 2 = 0, 0 = -5*y + 5*b + 42 - 12. Let d be (-188)/(-6) + 3 + (-65)/(-13). Let u = 523/12 - d. Is y at most u?
True
Let g = -149.8 + 150. Let w = 58.02 - 58. Which is smaller: g or w?
w
Let p = 104 - 105. Let a(f) = 4*f + 4. Let x be a(p). Is x greater than 1/172?
False
Let z be 10/(-73)*(-10)/50. Let m(b) = b**3 - 5*b**2 + 3*b + 3. Let c be m(4). Which is bigger: c or z?
z
Let s be 148/(-3)*128/2560. Which is smaller: -3 or s?
-3
Suppose -m + 166 = -0*m. Suppose -m = -4*h + 90. Let q = 30 - h. Is q less than or equal to -35?
False
Let r be (-5)/3*(-36)/(-10). Let w be r/9*-1 + (-39)/63. Let f(y) = y**2 + 8*y + 6. Let l be f(-7). Which is smaller: w or l?
l
Let l(h) = -10*h - 150. Let f be l(-12). Let x be 5627/255 + 2/f. Which is bigger: x or 15?
x
Let z(n) = -3*n**2 + 7*n - 57. Let t be z(23). Let f = t + 45967/31. Which is bigger: -0.1 or f?
-0.1
Suppose 13*q - 4*l = 14*q + 235, -3*q = -4*l + 801. Which is greater: 1/2 or q?
1/2
Let h = 4/493 - 1342/43877. Suppose 21*d = 19*d - 5*p + 10, d = -4*p + 8. Which is bigger: h or d?
d
Let k(w) = -14*w - 559. Let p be k(-40). Which is smaller: p or 2/4711?
2/4711
Let p = -31.1 - -28. Let o = 3.9 - p. Let n = 13 - o. Which is smaller: -2 or n?
-2
Let o(j) be the first derivative of -j**4/2 + j**3/3 + j**2 + 13*j + 43. Let t be o(0). Is 13 < t?
False
Let s = -3239 + 3178. Which is bigger: 7/9 or s?
7/9
Suppose 65*v + 26*v + 3344 = -61*v. Which is smaller: 15 or v?
v
Suppose 5*s + 4*q - 16 = 0, 3*s + 18 = 4*q + 2. Let y = s - 66. Is -66 at least as big as y?
True
Let l be ((-1)/(-10))/(0 + -4 - (-25672)/6416). Which is bigger: l or 80?
l
Let g be (-1262)/2170 - (-597)/995. Are 22 and g equal?
False
Let u = -1/2523 - -20257/184179. Let a = u - -25/438. Is -1 at least as big as a?
False
Let h be (-5)/(20/(-52)) + 3. Let r be h/16*(-13)/(-7). Suppose -27*j = -51*j + 48. Is j less than r?
False
Let v be 6 - -616 - 3 - (6 + 0). Let s = v - 616. Are s and 2 non-equal?
True
Suppose -8*d + 521 = -495. Let n be (-12)/15 - (-5)/(50/1258). Is d < n?
False
Let s be 28/(-35) + 65518/(-765). Which is smaller: -87 or s?
-87
Suppose -2*g + 1408 + 2118 = j, -4*g - j = -7058. Is 1766 bigger than g?
False
Suppose 5*k + 125 = 2*h + h, -125 = 5*k + 4*h. Let g = 24 + k. Let i = 736 - 11036/15. Is g at most as big as i?
True
Let u = 37.5769 - 35.5769. Let p = -1.8 - -0.2. Let l = -0.5 - p. Which is greater: u or l?
u
Let m = -80.58 - -54.58. Which is smaller: m or -2/33?
m
Let u be (4 + 404/(-112))/(2/328). Let q = -64 + u. Let x(k) = -k**3 - 5*k**2 + 2*k + 8. Let w be x(-5). Which is bigger: w or q?
q
Let m(p) = 4*p**2 + 27*p + 6. Let g be m(13). Let f = 930 - g. Is f bigger than -104?
True
Suppose -695*j = 2*z - 692*j + 3162, 2*z + 3154 = -4*j. Is -1594 less than z?
True
Let d(p) = -p + 2. Let t be d(4). Let n = -2689 + 2691.6768. Let q = -0.0768 + n. Which is greater: t or q?
q
Let w(p) = -p**3 + 6*p**2 + 7*p + 2. Let g be w(7). Let i be (-2)/g*(-102)/1462. Let z(m) = -m + 12. Let y be z(11). Is i <= y?
True
Suppose 0 = 39*w + 56352 + 26016. Is w at least -2112?
True
Let i be 10/(-1)*((2 - -2) + -2). Let b be -5*(-4)/i*5. Let j be (-6 - b/5) + 3. Is -1 >= j?
True
Suppose -4*t = -4*z - 4, 5*t - 18 + 9 = z. Let y = -13 - -28. Suppose y = h + t*h. Which is smaller: h or 6?
h
Let y be -1 + (0 - -1) + 4. Suppose -211 = y*p + 3*h, -7*h + 176 = -4*p - 3*h. Are p and -49 unequal?
False
Let s be 0 - 0 - -2 - (-6)/2. Suppose -d + 24 = 3*d - 3*i, 5*d + s = -5*i. Suppose -d = 4*w - 2*b + 17, 0 = -w - 3*b - 19. Is w smaller than -6?
True
Let v(j) = 21 - 15*j + 14*j - 5*j. Let t be v(4). Is t >= -2?
False
Suppose -4*l + w = -20, 3*l - w - 14 = -0*l. Let g = 235.2 + -517. Let z = g - -282. Are l and z nonequal?
True
Let y = -0.0074 + -3.7726. Let s = y - -3.34. Are s and 7 unequal?
True
Let t = 5.954 + 1.046. Let i = -0.23 - 6.97. Let d = t + i. Is -0.1 < d?
False
Let j be 4/(-1 - (-2 - -3)). Let w be (-8)/32*((-284)/(-3))/j. Is 12 > w?
True
Let w = 7989 + -8221. Is w < -235?
False
Suppose -f + 16*f = -9*f. Suppose 0 = 2*d + 10 - 18, -5*l - d + 214 = f. Are -4 and l nonequal?
True
Let f be 1 - 0 - 1512/945*10/8. Which is smaller: 19/69 or f?
f
Let w = -23127690/293 - -78934. Which is bigger: w or 1?
1
Let r = 454 + -218. Let q = 126 - r. Are 1/3 and q non-equal?
True
Let a be (-2 + 3/6)/(1/(-2)). Suppose 3*g = -a*g - 24. Which is smaller: g or 1?
g
Let d = -6422 + 6241. Which is bigger: d or -0.22?
-0.22
Suppose -11*j + 9*j + 8 = 0, 3*n + 2*j + 850 = 0. Which is smaller: -292 or n?
-292
Let s = -3498 - -3666.3. Let z = -168 + s. Is -3.9 at most z?
True
Let o = -1 - -2. Let i be 1 + (1 + 1)/o. Let u be i - (63/27 + 1/(-3)). Which is smaller: -1/34 or u?
-1/34
Let v = 179.9 - 175. Let l = v + -4.8. Which is greater: -28/11 or l?
l
Suppose n - 6 = 22. Let y be 18/n - 1/2. Suppose 11 = 5*p + k, -68 = 3*p - k - 65. Which is smaller: p or y?
y
Let f = -1453.99223 + -0.00777. Is -1 >= f?
True
Let x = -1802 + 1046. Let o = x - -767. Which is greater: -0.2 or o?
o
Suppose 4*a + 2*c = 282, -2 = 5*c - 3*c. Suppose 77*v - a*v = 162. Is v greater than 25?
True
Let m(g) = 229*g**2 - 458*g**2 + 235*g**2 - 2*g**3 - 3 - 5*g. Let u be m(2). Which is bigger: u or -4?
-4
Let d = -1.72 - -10.02. Let c = -8.66 + d. Is c < 8?
True
Let d(s) = -53*s + 3. Let y be d(-6). Let p = -108918 - -109240. Does p = y?
False
Suppose 90 - 25 = -13*q. Let d be 47/(-12) + 0 + q + 9. Is -0.4 at least as big as d?
False
Let w(n) = n**3 - n**2 - n - 52. Let o be w(0). Suppose 3*t - 32 = 4*u, -3 = t + 2*u + 3. Suppose -20 = -4*j - t, 3*l = -2*j - 151. Which is greater: l or o?
o
Let w be (17 - 28) + ((-10)/(-2) - -5). Which is smaller: w or 2/67173?
w
Suppose 5 + 13 = -9*w. Let b = -60.005 + 60. Let y = -0.025 - b. Is w greater than y?
False
Let x = -4106 + 5435. Is x bigger than 1321?
True
Let v be 5 + -2 + -6 + (-3 - 0). Let b be (-27)/v*(-120)/36. Is -55/4 < b?
False
Let p be (1 + 4/(-6))*(-156 + 33). Let g = p + 48. Suppose g*d + 81 = -2*d. Is d smaller than -29/3?
False
Suppose 3*p = -5*m - 85, 0 = -6*p + 2*p - 20. Let h be (-4)/(-6) - 3*m/(-63). Let a be (-472)/1130 - 6/(-15). Which is greater: a or h?
h
Suppose -44*b - 19 - 25 = 0. Let t = -161/1027 - 11/395. Let q = t + 122/1365. Do b and q have the same value?
False
Let h(n) = -n**3 - 9*n**2 - 13*n - 19. Suppose 0 = -3*o +