7 = 3*k. Let d be -3 - 14*c/(-4). Is d less than 6/5?
True
Suppose -4*z + z = -9. Suppose 0*h = z*h. Let i = -344 + 344. Is h at least i?
True
Let a be 22/55 - -3*(-4)/30. Let n be (a/2)/3 - (2 + -22). Is n not equal to 20?
False
Suppose -m = b - 3*m - 10, -4*b = m - 40. Let g be (b/(-7) - -1)*2. Does g = 0?
False
Let u(v) be the second derivative of v**6/360 + v**5/30 + v**4/6 + v**3/6 - 9*v. Let c(h) be the second derivative of u(h). Let g be c(-5). Is 10 <= g?
False
Let j be (-8 - 66/(-18))*3. Is -96/7 less than or equal to j?
True
Let z be 2/((-14)/(-10) + -1). Suppose -54 = -17*w + 8*w. Which is smaller: z or w?
z
Let j = 188 + -188. Which is bigger: 1/68 or j?
1/68
Let l be -6 - -3 - (-11 - -2). Let f(r) = r**3 - 3*r**2 - 5*r - 5. Let b be f(5). Suppose -b = l*a - a. Is a not equal to -2?
True
Let a be 714/(-920) - (-16 + 427/28). Is a smaller than -1?
False
Let q = 0.2 + 4.8. Let n = q - 5. Let x = 1.8 + -2.1. Which is bigger: x or n?
n
Let o = 6 + -5.5. Let t = o + -4.5. Let i = -3.8 - t. Is i less than -3?
False
Let j = 919 - 905. Let a be (-3)/(6/(-16)) - -1. Suppose -2*t + 21 = -a. Is j less than t?
True
Suppose 2*j = 4*p - 1006, 2*j + 2*j + 996 = 4*p. Which is smaller: p or 256?
p
Let g(h) = 15*h**2 - 17*h - 7. Let k be g(3). Are 78 and k non-equal?
True
Let z(o) = 6*o**3 - o**2 + 10*o + 4. Let v(n) = -9*n**3 + 2*n**2 - 15*n - 6. Let x(b) = 5*v(b) + 8*z(b). Let g be x(-2). Is -23 at most as big as g?
False
Let k = 47/13 + -679/195. Let v be 8/(-20)*12/9. Let d = v + k. Which is bigger: d or -7?
d
Suppose 6*x - 153 = m + x, -4*m + x - 688 = 0. Is -174 at most m?
True
Let f be (16/14)/2 - (-7332)/(-14742). Let z(v) = -v**2 - 4*v - 3. Let w be z(-3). Which is greater: f or w?
f
Let w = -200 + 200.6. Is 3/10 less than or equal to w?
True
Suppose 182 = -3*n - 172. Which is smaller: -122 or n?
-122
Let f(s) = s**3 + 10*s**2 - 15*s - 20. Let v be f(-9). Suppose v = -6*i + 142. Let h = -23 + 13. Is h < i?
True
Suppose -13 = -2*j + 5*h + 5, 4*j + 3*h - 62 = 0. Let i be j/(-4) - (-6)/(-6). Suppose -3*y - 3 - 9 = 0. Which is greater: i or y?
y
Let i = 581 - 4647/8. Which is bigger: i or -8/7?
i
Suppose -6*k - 48 = -2*k. Let x = -1111 - -1098. Is x at least as big as k?
False
Let b be 30/12*(-1)/25*4. Are b and 1159 unequal?
True
Let i = 296121974839/21120 - 70104636/5. Let b = i + -1/384. Is 1 < b?
False
Suppose 2*k = -2*o - 8, -4*o - 46 = -2*k - 0*k. Suppose 93*w + 16 = 91*w. Is o greater than w?
False
Let m be 48/(-168) - (-4)/(-14)*-652. Is m >= 184?
True
Let r = 9 - 85. Let t be 12/(-8) + r/(-40). Which is greater: t or -3/4?
t
Let i be -4 + 22 + (-8)/2. Let g be 9/72 - i/(-16). Is g less than 6/7?
False
Let s = 185 - 135. Let b = -903961/13 - -69485. Let p = s + b. Which is bigger: 0.1 or p?
0.1
Let m be (-4)/(-6) - (-1565)/15. Suppose -5*z + 3*a - 69 = 0, 4*a - m + 33 = 5*z. Which is smaller: -11 or z?
z
Suppose 13*h - 155 - 53 = 0. Which is bigger: 15 or h?
h
Suppose -4*n + n = -15. Suppose -n*j + 5*f - 35 = -0*f, -4*f + 12 = 0. Is -4 at most j?
True
Let n be (-2)/3 - (-280)/24. Suppose y + s - n = 4*s, s = y - 3. Which is greater: y or -12/5?
y
Let d(b) = -4*b + 91. Let l be d(19). Is l greater than 23?
False
Let p = -1 + 0.35. Let c = p - -0.68. Which is bigger: -8 or c?
c
Suppose -26 = 4*j - 3*u, 4*u + u = -10. Let r be ((-40)/15)/j*0. Which is smaller: -0.06 or r?
-0.06
Let i be ((-8)/(-12)*6)/4. Is i greater than 2/2383?
True
Let t be 7 + (0 + -2)*1. Suppose -t*c = -132 - 368. Let l = 1699/17 - c. Which is greater: l or -1?
l
Let h = -32 - -106. Let z = h - 449/6. Which is smaller: z or 1/7?
z
Suppose -102*k + 1 = -101*k. Is 16/31 greater than k?
False
Let m = 1604 - 1604. Which is smaller: 56 or m?
m
Suppose 8*y - 24*y = -6*y. Let h be 0 + 0/(2 - 1). Is y at least as big as h?
True
Let f be 16/12*27/(-342). Are 0.2 and f unequal?
True
Let a = -44.072 - -44. Let j = a + 0.041. Is -2/3 != j?
True
Suppose -4*i - 19 - 21 = 0. Which is smaller: i or -3?
i
Let g = -115 + 51. Let a(x) = -x**3 - 15*x**2 - 47*x - 35. Let p be a(-10). Is g bigger than p?
True
Let g = 15 - 12. Suppose -12 = g*o - 6. Let a be (-1 - 0) + o + 4. Is -2/39 < a?
True
Let k = -0.1 - -8.1. Which is smaller: k or 0.4?
0.4
Suppose 59 = g - 76. Let x be (g/(-12))/(6/16). Are -30 and x nonequal?
False
Let t be (-10)/55 + 5320/(-506). Let j = -9217/851 - t. Which is greater: 1 or j?
1
Let u be -1 + -1 + (-1)/1. Let c(h) = 2*h**3 - 15*h**2 - 16*h. Let b(x) = -x**3 + x**2 + x. Let z(w) = -b(w) - c(w). Let g be z(15). Which is bigger: g or u?
g
Let l = 186 + -185. Is l >= -2/659?
True
Let z(t) = 831*t**2 + 20*t - 830*t**2 - 56 + 5*t. Let x be z(-29). Are x and 60 non-equal?
False
Let r(x) = x**2 - 28*x + 157. Let q be r(8). Suppose -5*i = -b + 26, -29 + 9 = -b + 3*i. Let c = 41/4 - b. Is q >= c?
False
Let b be 3/2*(-8)/6 + -1. Let t be (-2 + 0)/(1 + -9). Which is smaller: b or t?
b
Let l be ((-308)/6)/(14/(462/55)). Are l and -32 non-equal?
True
Suppose 17*d - 10*d = 0. Suppose d = i - 4*i - 36. Which is greater: -34/3 or i?
-34/3
Let v be (2/(-1704))/(954/848). Is v <= 0?
True
Suppose -4*c + i + 1 = -4, 5*i = 4*c - 25. Suppose c*a + 7*a = 63. Let y be (-15)/a + (-2)/(-3). Is 1/9 not equal to y?
True
Let g be -22 + (-9 - -21) - -10. Let i = -0.06 - -0.46. Is g less than i?
True
Let k be 164/16 - (-1)/(-4). Suppose 3*o = 5*o - k. Suppose p - 5 = o. Do p and 10 have the same value?
True
Let w = -0.25 - -5.25. Let u = w + -9. Let b be (3/(-2))/(2 + 1). Is b > u?
True
Let i = 7 - -91.8. Let m = i + -99. Let z = -0.07 - -3.07. Is z greater than m?
True
Let q(c) = -c**3 + 16*c**2 - 16*c + 21. Let n be q(15). Suppose n*f - f = 25, -2*s = 4*f - 436. Let p be s/(-532) + 6/21. Which is bigger: p or 0?
0
Let p = 0.031 + 6.969. Let i = 29 + p. Is i at least 0?
True
Let p(i) = -2*i**3 - 17*i**2 - 8*i - 4. Let x be p(-8). Let a be (x/(-30)*-3)/((-1)/5). Which is greater: a or 0?
a
Suppose 0*r = -3*d - 4*r + 96, r - 96 = -3*d. Is d smaller than 30?
False
Suppose -2*w - 29 + 35 = 0. Let k = w + -10/3. Is k at least as big as -0.5?
True
Let s = -950 + 950.13. Suppose p - 2*p = 0, 5*w - 2*p - 15 = 0. Let i = -4 + w. Is s equal to i?
False
Suppose -2*q + 5*f = 172, -4*f = -q - 68 - 24. Is q less than -76?
False
Suppose -4*p = 2*m + 4, 0 = -4*p + 2*p - 3*m - 2. Which is smaller: p or 5/68?
p
Let l = -8 + 4. Let q be 43/8 + 6/(-16). Suppose 6*s + 2 = q*s. Is s greater than l?
True
Let s(r) = 7*r**3 - r**2 - 2*r - 1. Let g be s(-1). Let h = g - -1. Suppose -46*k = -35*k + 66. Is h equal to k?
True
Let d be -4 + -2*(-3 - 0). Let k be 0 + d/(-3 - -5). Is k greater than or equal to 3?
False
Let c = 0.2701 - 0.3301. Let k(w) = w**3 - 2*w**2 - 4*w + 4. Let l be (-1)/(-2) - 5/(-2). Let x be k(l). Is c at most as big as x?
True
Let m = -487 + 7309/15. Let g be 2/(-5) - (1 + -2). Let z = m - g. Which is smaller: 0 or z?
z
Let r = 97 + -100. Let t = -3.4 - r. Is t at most as big as -0.6?
False
Suppose -4*l + 52 - 8 = 0. Let c = l - 15. Let j = 92 - 92. Which is greater: j or c?
j
Let m be (-4 + (-165)/(-12))/(9/32). Let o = -34 + m. Let c = 12 + -17. Which is smaller: o or c?
c
Let x be (3/18 - (-158)/(-12))*2. Are -22 and x nonequal?
True
Let u be (-1 - 3 - 1)*1. Let t = -15 - -19. Suppose -3*w - 4 = t*c + 2, -3*w - 3*c - 6 = 0. Which is greater: w or u?
w
Let x = -0.0396 - -203.0396. Is x greater than -0.1?
True
Let h = -27 + 17. Let t(d) = -12*d + 5. Let q be t(h). Let s = 629/5 - q. Are s and 2 nonequal?
True
Let q(j) = 7*j**2 + j. Let p be q(1). Suppose -i + 12 = 2*i. Suppose 5*r + y + 32 = -0*y, i*y = -p. Is -5 greater than r?
True
Suppose -4*r = -3*o + 2194, 6*r = 6*o + 4*r - 4400. Is 0 at most o?
True
Let u = -2437/209 - 200/11. Let b be (-1)/3 - (-273)/9. Let v = u + b. Which is greater: v or 0?
v
Let p = -27.9 - -141.9. Let v = 114.1 - p. Which is smaller: -10 or v?
-10
Let f = -2 - -5. Let o be ((-78)/(-18) - 5)*9/6. Let m = o - f. Is -4 greater than or equal to m?
True
Let f = 30437911/5 - 3682426991/605. Let s = 926 - f. Is s >= 1?
False
Suppose -41*j - 284 = -5*u - 39*j, 4*u - 220 = -2*j. Which is smaller: 51 or u?
51
Suppose 2*t - p + 37 = 2*p, -4*p - 4 = 0. Let b be 192/15*t/(-406). Let o = b - 10/29. Which is bigger: o or 1/2?
1/2
Suppose -3*d = 5*z - 37, -5*d - 3*z + 45 = 2*z. Sup