1 = -g + k. Is g not equal to r?
True
Let k = -7 + 7. Suppose k = l - 2. Suppose -l = 5*s - 3*s. Is 2/9 at most as big as s?
False
Let j be (5 - (-146)/(-28))/(8/28). Which is bigger: j or -44?
j
Let v(r) = -2*r - 48. Let g be v(-22). Which is smaller: -13/3 or g?
-13/3
Let n be (0*(-9)/(-81))/(-4). Which is smaller: 4/73 or n?
n
Let f = 8 - 20. Let h = -12 - f. Suppose -5*z - 7 + 2 = h, -2*r - 5*z - 5 = 0. Which is smaller: r or 3/17?
r
Let z = -35842319/72 + 497818. Let d = -7/8 - z. Which is greater: -9 or d?
d
Let m be ((-1)/((-1)/17))/(29/(-29)). Suppose 0 = s + 2*s + 9. Let k(n) = -2*n**2 + 2. Let c be k(s). Is m greater than or equal to c?
False
Let q(h) = h**2 + 2*h - 13. Let a be q(6). Let s = 36 - a. Which is smaller: s or -2?
-2
Suppose s = -4*y - 3 - 2, 0 = s - 2*y - 7. Which is smaller: s or 6?
s
Suppose -b - 4*s = 3, -2*b - 2*s + 2 = -4. Suppose 8*o + 2 = 3*r + 7*o, -22 = -3*r - 4*o. Does b = r?
False
Let a = -318 + 314. Which is smaller: -35/11 or a?
a
Let c = 22.2 - 21. Let j = -0.3 + c. Let m = j - 1.4. Which is bigger: -2/11 or m?
-2/11
Let v(q) = q + 27. Let s be v(-4). Suppose -4*z = 3*d - s, -z - 11 = 4*d - 4*z. Let o be 2/(-3)*(-1)/(-2). Which is greater: d or o?
d
Suppose 9 = -3*h - 3*f - 0*f, 3 = h - 2*f. Let v be h/1*(-14 - -10). Suppose 0 = 3*z + 2*z + j - 16, -3*j = 5*z - 18. Is v >= z?
True
Suppose -1 = -5*b - 7*q + 6*q, 0 = -3*b - 3*q + 3. Is -17/180 >= b?
False
Let c = 1.11 + 0.09. Let w = c - 1.17. Let h = 3.97 + w. Is h >= 2?
True
Suppose -2*q - 3*l - 59 = 0, -4*l - 1 = -q - 3. Let k = q + 17. Which is smaller: -1 or k?
k
Let a = -11.5 + 7.5. Is a less than or equal to -3?
True
Let r = 10.15 - 10. Let o = 0.12 - r. Let y = o + 0.13. Is 2/5 at most as big as y?
False
Let c be (36/(-24))/(3/(-3166)). Let s = -106059/67 + c. Are 1 and s non-equal?
True
Let b = 950 + -35152/37. Let p = 87 + -87. Which is smaller: p or b?
b
Suppose -57 = 3*l - 4*a, 2*l + 5*a + 16 = 1. Suppose 5*t = 2*h - 65, 3*h - 9 = -24. Are l and t unequal?
False
Suppose 4*y - 1855 = 5*d, 0 = 3*y + 16*d - 15*d - 1415. Are y and 468 equal?
False
Let x(h) = -2*h + 29. Let i be x(14). Let c be 3 + (66/285)/(24/(-310)). Which is greater: i or c?
i
Let b be (-28)/84 + (463/(-1434))/(-1). Which is smaller: 0 or b?
b
Let i(b) = -92*b**3 + 3*b**2 + 2*b - 1. Let l be i(-1). Let y = l - 95. Let t be (-4*(-2 + 1))/2. Is t smaller than y?
False
Let g = -65.8 - -149.5. Let l = -84 + g. Which is bigger: -0.11 or l?
-0.11
Let u be 82129/(-105) - 7/(-35). Let i = u - -9004/15. Let s = 182 + i. Which is smaller: 1 or s?
s
Let i(f) be the second derivative of f**5/20 + f**4/2 + 2*f**3/3 + f**2/2 - 2*f. Let z be i(-5). Suppose -146*k + 145*k + 4 = 0. Which is bigger: k or z?
z
Let z = 1/330 + -151/1430. Which is greater: 1 or z?
1
Let k = 606 + -573. Which is smaller: -1 or k?
-1
Suppose 4*x - 8 - 8 = 0. Let v be (x - 0)*-1 - -9. Suppose 0 = -v*p - 17 - 13. Are 0.3 and p nonequal?
True
Let b(s) = -15*s + 2. Let a be b(1). Let c = a - -3. Let p be 6/15*c/(-4). Which is bigger: p or -1?
p
Let w(g) = g**3 + 7*g**2 - 1. Let f be w(-7). Let v = -14 + 13. Is f bigger than v?
False
Let g(u) = -u**3 - 11*u**2 + 27*u + 8. Let i be g(-13). Suppose -2*d - d + 12 = -3*v, 0 = 2*v - d + 8. Which is smaller: i or v?
i
Suppose -859 = 14*v - 887. Are v and 2 unequal?
False
Let j = -192 - -179. Which is smaller: j or 0.1?
j
Suppose -154 = 7*k - 8*k + 2*r, 4*k = 5*r + 607. Do k and 148 have different values?
False
Let j = -2447 + 9791/4. Do 93 and j have the same value?
False
Let u = 1625 - 1493. Are u and 133 non-equal?
True
Let f be ((-58)/(-10) + -6)*5. Does 1/191 = f?
False
Let z(t) = -4*t + 72. Let f be z(17). Suppose -2*l = 4*a - 4, -5*l + 18 = -f*a - 6. Is 1/63 > a?
True
Suppose -8*t + 3*t + 60 = -5*m, -t + 32 = -5*m. Suppose -4*x + t = -5. Suppose -f = -x - 1. Is 10/3 >= f?
False
Let f be (1 - (-4 - -4))*-35. Let a = 419/12 + f. Is 0 less than or equal to a?
False
Let c = 1182/5 + -236. Is 2/41 at least c?
False
Let j be ((-21)/98)/(3/8). Let v = 2 + -3. Is j != v?
True
Let p = 20 - 152. Let m be 123/p + 6/33. Is m less than -1?
False
Let v be 172/16 - (-6)/(-8). Suppose -2*p = -3*p - v. Suppose -4*d + 72 = -5*z, 7 + 23 = -2*z + 2*d. Which is greater: z or p?
p
Suppose 4*x - 7 = -5*k, -k - 2*x = -3*x - 5. Suppose k*g - 13 = -3*p - 1, -2 = 2*g. Which is smaller: p or 7?
p
Suppose 17 = -5*b + 2*w, b + 5*w - 5 = 6*b. Let f(s) = 2*s**2 + 15*s + 19. Let o be f(b). Let p be -2*1 - -1 - 8. Which is greater: p or o?
o
Let a = 0.1655 - -28.8345. Which is bigger: a or 3?
a
Let r be (8/(-6))/(48/(-11088)). Is 310 > r?
True
Let x be 2*(-2 - 1462/(-732)). Which is smaller: 0 or x?
x
Let z = -0.9 + 1. Let w be (60/5)/(-4)*-1. Suppose -3*m + 4 = -w*l + 19, -4*l = m. Is z <= l?
True
Let j = -199 - -186. Which is bigger: j or -8?
-8
Suppose 5*k + 6543 = 2763. Are k and -755 equal?
False
Let b(t) = -2*t**3 - 35*t**2 + 23*t + 77. Let y be b(-18). Is -38/3 less than y?
False
Suppose -3*q - 24 = 2*n + 1, -q + 5*n + 20 = 0. Which is greater: 2 or q?
2
Let q = 25 + 61. Let a = -122 + q. Let o be a/15 + 12/(-20). Are -4 and o nonequal?
True
Let x(h) = -h**3 + 6*h**2 + 25*h. Let i be x(5). Is i <= 1?
False
Suppose 100*w - 5 = 105*w. Let b be -2*(745/(-14))/5. Let y = b - 2789/133. Is y <= w?
False
Let w be 6/3 - 1/(-1). Suppose 0 = -t - w*t. Let y be (-14)/6*(-344)/903. Which is smaller: t or y?
t
Let q = 635 - 635.02. Is 2/73 at most as big as q?
False
Suppose 4*y = 14 + 2. Suppose 0 = -4*o - 20, 6*d + 15 = d - 4*o. Suppose -4*s + 3*t + 2 - d = 0, 3*s + t = y. Is s greater than -2/53?
True
Suppose 31*r - 4*p = 36*r - 12, -5*r + p = 3. Suppose -8 = 3*y - 2. Let q = y - -2. Is r bigger than q?
False
Let b = 391.86 - 15.86. Which is greater: -1 or b?
b
Let r(w) be the second derivative of -w**3/6 + 8*w**2 - 3*w. Let m be r(11). Let j = 3 + m. Which is greater: j or 2/3?
j
Suppose 0 = t + 3*a + 9, -2*t + 3*a + 10 = 1. Which is smaller: 6/503 or t?
t
Let c(m) be the second derivative of -m**3/3 - 39*m**2/2 - 16*m. Let q be c(-19). Is 5 <= q?
False
Let n = 83 - 59.2. Let f = n + -22. Let i = f - 2.9. Which is smaller: i or -2?
-2
Suppose 6*h = 67 + 155. Let i = h - 66. Is -31 != i?
True
Suppose -65 = -8*s + 63. Let o be 4/14 - (-372)/21. Is s equal to o?
False
Let s = 38 - 39.46. Let i = s + 1.3. Let z = -0.36 - i. Do z and 1 have the same value?
False
Let s = -632 - -4433/7. Let f = -0.0795 - 0.0205. Is f bigger than s?
False
Suppose 22*y - 17*y = 0. Is 14/19 < y?
False
Let c = -3/175 + 383/1925. Let s(f) = -f**2 - f. Let i be s(0). Are c and i equal?
False
Suppose 0 = -i - 0 - 10. Let r(v) = -v**2 + 26*v - 35. Let n be r(24). Suppose -3*x - 48 = 5*d, -5*d - x = 33 + n. Is i != d?
True
Let u(c) = -21*c + 504. Let a be u(24). Is 13/60 <= a?
False
Suppose -j + 4 = 3*j. Let l be 0/(2 + (j - 1)). Let u = -24/17 + 134/119. Is l greater than u?
True
Let g = -5 + -2. Let w be (-2)/g - 936/91. Let h = w - -15. Is h equal to 5?
True
Let a(i) = -i**2 + 5*i + 8. Let y be a(6). Let s be (6/(-63))/(y/3). Let c = -44 - -44.1. Which is greater: s or c?
c
Let j(u) = -u**3 - 3*u**2 - 2*u - 2. Suppose -2*z - 10 = 3*z. Let n be j(z). Let f be n/(-315)*(7 + -10). Which is greater: f or -1?
f
Let g = -185 + 188. Let q = 0 - -1. Suppose 7*f - 13 = 4*p + 4*f, 4*p + f = -q. Do p and g have different values?
True
Let x(z) = z**3 + 7*z**2 - 2*z - 12. Let k be x(-7). Suppose -3*o + 7 + 1 = -v, k*o = 3*v + 17. Does 22/9 = o?
False
Let f(l) = 2*l + 12. Let x be f(-8). Let d be x + (-754)/(-16) - -1. Let h = 44 - d. Which is greater: h or 1?
1
Let j = 706 - 670.7. Let c = -35 + j. Which is greater: 9/5 or c?
9/5
Suppose 4*p - 248 = 4*n, 0*p + 2*n - 112 = -2*p. Is 2/7 at most as big as p?
True
Suppose -5*j = -3*t + 167 + 2329, -j - 5*t - 516 = 0. Is -501 != j?
False
Let j = 19.89 - 19.89. Let r = -6.8 - -5. Is r != j?
True
Suppose 2*p = -3*p + 2*z - 12, -2*z - 4 = -p. Is p equal to -58/11?
False
Let h = 964 - 991. Is 0 < h?
False
Let l(s) = s**3 + 9*s**2 + 9*s - 2. Let i be l(-8). Let p(k) = k**3 + 11*k**2 + 7*k - 16. Let d be p(i). Is 13 at least as big as d?
False
Let x = -10 + 10. Let j = 188 + -188.53. Is x < j?
False
Let x be (-138 + 171)*2*(-38)/(-6). Is x greater than or equal to 417?
True
Let g be 1/1*(-1)/3. Let j = 361 -