13 = -3*n - 2*g + 19. Suppose n*v - 9*v = 0. Is v less than 1/16?
True
Let q = -0.1 - -0.1. Let g = -7.8 - -7.5. Let d = g - q. Which is greater: 5 or d?
5
Let b(c) = c**3 - 7*c**2 + 3*c - 5. Suppose 2 - 6 = -2*h. Let a be 280/45 + h/(-9). Let g be b(a). Which is smaller: -22 or g?
g
Let g be (-54)/189 - (-1054)/14. Is g at most as big as -4?
False
Suppose -283*j - 208 = -275*j. Is j >= -25?
False
Let f be (-1 - 1) + 2 - 4. Suppose -48 - 2 = 5*w - 5*b, 5*w + 3*b = -10. Which is bigger: w or f?
f
Let l = 1/24 - -1/40. Let r(m) = m**3 - m**2 - 22*m + 22. Let u be r(1). Which is smaller: u or l?
u
Let h(p) be the second derivative of -7*p**3/6 - 13*p**2/2 - 27*p. Let b be h(-4). Are 17 and b equal?
False
Suppose 0 = -5*b - 20, 2*b - 233 = 3*n + 44. Let t = -79 - n. Which is bigger: t or 20?
20
Suppose -1072 = -28*c - 316. Do c and 27 have different values?
False
Let j = -7454.97 - -7218. Let c = 238 + j. Let k = c + -0.03. Are -1/8 and k non-equal?
True
Let d(o) = -o**3 + 7*o**2 - 5*o - 9. Let h be d(6). Let m be 4 - 366/(-279)*h. Which is greater: 1 or m?
1
Let n = 145 - 145.1. Is n at least as big as -13.9?
True
Let z = -196.6 + 175. Let t = z - -20. Let p = -1.6 - t. Do p and 0.03 have the same value?
False
Suppose -8 = u - 3*u. Suppose a - u + 2 = 0. Let i be -1*(-2)/a*-1. Is -2/19 smaller than i?
False
Let f(h) = -67*h + 120*h + 13 + 105*h + 2. Let i be f(7). Let n = 25779/23 - i. Which is bigger: n or -1?
n
Suppose -7*q = -6*q - 19. Let y = 21 - q. Is 4/3 at least y?
False
Let j = 663 - 434. Is -2 not equal to j?
True
Suppose -5*p - 41 = -5*s + 19, -3*s - 2*p + 16 = 0. Let r = 6 - s. Let c be (15/(-10))/(r/4). Which is smaller: 4 or c?
c
Suppose 0 = -4*j - 2*m + 16, 2*j + 4*m + 20 = 7*j. Suppose 4*g + 22 = -j*l - 34, g + 3*l + 8 = 0. Do g and -17 have the same value?
True
Suppose -56 = -2*t + 8. Which is smaller: t or 30?
30
Let j = -3.85 + 2.45. Is 0 not equal to j?
True
Let y = -34659/80 + 8577/20. Let o = y - -22/5. Let s = 121/80 - o. Which is bigger: 1 or s?
s
Let d = 0.1795 - 0.1795. Is 12/47 at least d?
True
Let a be (-63)/33 - (-4)/2. Let l = 1066 + -1066. Is a != l?
True
Suppose -2*i - 2*c = 2, -4*c = -3*c + 1. Suppose -2*b - 6*d + d = 21, 3*d + 9 = i. Let q be 12/(-4) + -18 - b. Which is bigger: q or -17?
-17
Let s = -477 + 475. Which is smaller: s or 5?
s
Suppose 2*k + 8 = 2*f, -3*f - 12 = -f + 3*k. Let t be 4 + (-17)/2 + 4. Is f at least t?
True
Let v be 6/(-39) - (-4 + 15/(-13)). Suppose -139 = -v*j + 4*k, -5*j + 5*k - 30 = -170. Which is bigger: 28 or j?
28
Let o be (-3)/9 - (-26)/6. Suppose -z + 3*l = -12, o*l + 9 = -4*z + 3*z. Is z < 5?
True
Let i = 1074/13 + -342619/4147. Let q = 29 - 29. Which is greater: q or i?
q
Let g = -0.427 - 0.573. Let f = 0.2 + -0.3. Which is bigger: f or g?
f
Let u be 6/(-1593)*3*(-17)/(-17). Is u equal to 1?
False
Let r = 1.5 + -2. Let w = -13183 - -13183.1. Are r and w non-equal?
True
Let f = -17 - -16.1. Let a = f - -4.9. Let s = a + -4.08. Is s equal to 2/7?
False
Let t be (4/(-36)*3)/1. Let o = 1915/11 + -173. Is t at most o?
True
Let i = 1.12 - -26.88. Which is bigger: i or -2/7?
i
Suppose -10*c + 8*c + 82 = 0. Let x = 41 - c. Which is smaller: -4/41 or x?
-4/41
Let g = -0.63 - -0.03. Let v = g + -5.4. Let q = -6 - v. Is q not equal to 0.3?
True
Suppose -5*y = 10, -4*x + 2*y + 20 = -8*x. Suppose -23 = -s + 4*h - h, 4*h - 56 = -2*s. Let a be 18/12 - s/4. Which is smaller: a or x?
a
Let q = -0.541 - -0.541. Which is greater: q or 2/573?
2/573
Let u = 76 + -151. Let x = 226/3 + u. Which is smaller: x or -19?
-19
Let f be 0*1/12*-3. Suppose -2*u + 72 + 48 = f. Suppose h + u = 4*h. Which is smaller: 19 or h?
19
Let u be 304/420 - 18/(-135). Which is greater: u or -2/13?
u
Suppose -r - 70 = -19. Let p = -0.9953 + -0.0047. Which is smaller: p or r?
r
Let n = 2.43 + -1.62. Let u = n - 0.26. Let o = u - -0.15. Which is smaller: 2 or o?
o
Let t be 7/((-63)/(-474))*27/29184. Let r = t - -1/256. Let w = 0 - 0. Is w greater than r?
False
Let j be -5 + 7 + 0 + (-906)/2. Let p = j - -4979/11. Is p >= 3?
False
Suppose -8 = p + 2*z, -2*z - 2*z - 26 = -3*p. Which is smaller: 25/41 or p?
25/41
Suppose 3*k = -5*d + 270, 65*k = 60*k + 3*d + 484. Are k and 94 nonequal?
True
Let c be (1 + 0)/(-1 + -1). Let q be 4*-1 + 1 + (28 - 3). Let h be q/(-6) - (39/9 - 4). Which is smaller: h or c?
h
Let g = -1 - 0. Suppose 100 - 219 = 17*x. Is g != x?
True
Let s(r) = r**2 + 5*r + 1. Let b be s(-4). Let m be 6/(-2) - (1 + b). Let k = 17/6 - 13/3. Which is smaller: m or k?
k
Suppose -48 = -3*g - 5*y, g + y = -g + 32. Let u be g/2032*(0 - 1). Let i = -371/1270 + u. Does 1 = i?
False
Let m = 33 - 55. Let n = m + 12. Let a be 4/35*n/(-4). Which is smaller: -8 or a?
-8
Let x = -54 + 182. Is 128 < x?
False
Let l = 34103728990/987 - 34552920. Let w = 64/21 + l. Suppose -4*n + 5*c - 2*c = 6, -3*c = 5*n - 6. Is w at least as big as n?
False
Let o = -316 - -307. Which is smaller: o or -80/9?
o
Let w = 66 - 54. Let k = w - 13. Which is greater: k or -3/8?
-3/8
Suppose -5*d = -r - 12, -3*r + 2 = -4*r. Suppose 16 = 4*p + d*g + 2, -4*p + 4*g + 20 = 0. Let v be (-1)/3*-2*9. Which is smaller: v or p?
p
Suppose 0 = -3*j + 2*c + 5, -3*j - 4 = -3*c - 10. Is 6/155 < j?
True
Suppose 0 = -36*z + 221 + 67. Which is smaller: 25 or z?
z
Suppose 3*z = -h - 3*h - 192, 5*z - 71 = h. Is h bigger than -52?
True
Let k(u) = u**3 + 3*u**2 + 4*u + 2. Let a = -1 - 1. Let l be k(a). Let m be (5/(-3) - -1)/(80/150). Which is bigger: m or l?
m
Let m = -37.731 - 0.169. Let s = m + 37. Let p = -1 - -1. Which is greater: s or p?
p
Let h be 40/(-18)*(-207)/(-6). Let a = -78 - h. Let s = 3 + -4. Is a less than s?
True
Let o be 3 + 4 + -8 - -4. Suppose 2*t - o*t - 3 = -5*i, 1 = -5*i + 3*t. Which is bigger: -4/15 or i?
i
Let s = 1.19 + 0.01. Let p(i) = -i**2 + 6*i - 4. Let a be p(4). Let f be 2/a + 15/(-70). Which is greater: f or s?
s
Let f = -4045 - -4045. Suppose 4*w - 2*i - 32 = -6*i, -3*w = -i - 8. Suppose -5 = -w*c - c. Which is smaller: f or c?
f
Let l = 21 - 20. Let d = 6 - l. Let v be 2/3 + d/45. Which is bigger: v or 1?
1
Let p(m) = -6*m - 11. Let u be p(-18). Does u = 101?
False
Let u = 3.22 + -3. Let h = 14.22 - u. Let n = h - 13.9. Which is bigger: n or 7?
7
Suppose -2*y - r = 0, -2*y - 24 + 8 = 5*r. Let p(z) = -z**3 - 3*z**2 + 3*z - 1. Let g be p(2). Let t be (-1)/(g/(-6) - 3). Is y at most as big as t?
True
Suppose -5*c = -8 - 7. Suppose -6*k + c*y + 1 = -2*k, 0 = 3*k - y - 7. Let r = 1179 + -1174. Is k != r?
True
Let x(v) = -2*v**3 - 6*v**2 - 5*v - 16. Let a be x(-5). Let o = a - 113. Is o < -4?
False
Let b(t) = 2 - 1 + 3*t**2 + 0*t**2 - t**2 + 11*t**3 + 2*t. Let u be b(-1). Let s = u + 8. Is s greater than or equal to 1?
False
Let y(p) = -3*p - 18. Let o be y(-9). Suppose 3*x - 5*i = -21, 5*x = 5*i - o - 36. Are -23/2 and x nonequal?
True
Suppose 4*h = 3*s + 34 - 10, 5*s = 3*h - 29. Suppose -2*l - 2*r = -10, -4*l + h*r + 20 = 8*r. Suppose u + 56 = l*u. Is 13 not equal to u?
True
Let d be (6/(-8))/(3/36). Let v = d - -9. Suppose -2*j = -v*j. Which is smaller: j or 1/5?
j
Suppose 0 = 4*p - 6 + 14. Let v = -9.801 - 0.199. Are p and v nonequal?
True
Suppose 35 = -5*p + w + 165, -5*w = -3*p + 100. Let a = 29 - p. Let c be a/(-18) - (-512)/36. Are 14 and c nonequal?
False
Suppose 1 = 2*m - 3. Let f = 12144/5 + -2426. Which is bigger: f or m?
f
Let k = -3412 - -3408. Let o = 8 + -11. Is o > k?
True
Suppose 120 + 264 = 8*g. Suppose -3*c = -g + 6. Which is bigger: -1 or c?
c
Let u(i) = i**2 + 243*i. Let m be u(0). Let n = 1/90 + -28/495. Is n smaller than m?
True
Let o = -271/10 - -28. Which is smaller: o or 2?
o
Suppose -2*b = 2*y, 5*y + b - 6 = -2*b. Suppose 5*s = -g + y + 16, -2*g - 3*s + 10 = 0. Let n be (-7)/(-2 + 16)*2/(-4). Is g not equal to n?
True
Let b(j) be the first derivative of -j**3/3 + 4*j**2 + 5*j + 4. Let d be b(8). Suppose 0 = -i + 5*g + 3 + 2, -4*i - d*g = -20. Which is smaller: i or 1/3?
1/3
Suppose 4*b = 29 - 9. Let k(l) = 2*l**2 + 0*l - 6*l - 19 + b + 6. Let i be k(4). Which is greater: i or -1/3?
i
Let t = -12.2 + 12. Let l be (18/(-68))/(-3)*(-56)/42. Which is smaller: t or l?
t
Let z = 1.18 - -3.82. Is -52 at most z?
True
Let s be 46094/(-50) + (-39)/(-13). Let d = 919 + s. Which is greater: d or -1?
d
Suppose x = -2*z + 2, 4*x - 8