. Let i be (2/b)/((-10)/225). Suppose 4*k - 3*j - 24 = j, 5*k - i = 2*j. Is 3/8 != k?
True
Let c(u) = 5*u**3 - u**2 - 2*u - 7. Let s(b) = -14*b**3 + 4*b**2 + 5*b + 22. Let j(o) = 11*c(o) + 4*s(o). Let f be j(5). Is 5/32 equal to f?
False
Let r = -1169 - -1577. Is 408 at least as big as r?
True
Let o = -80 - -115. Let v = -31 + o. Which is smaller: v or -1/5?
-1/5
Let y be (-70)/(-99) - 4/(-22). Let n = y - 31/45. Suppose z = -f, 0 = -4*z + 3*f + 4 - 11. Which is bigger: z or n?
n
Let y(a) = -3*a**2 - 95*a + 34. Let r be y(-32). Which is bigger: r or 13/10?
r
Let n = -14 + 15. Let q = -2.1 + 0.1. Let h = -1.9 - q. Which is smaller: h or n?
h
Suppose -47 = -12*d + 85. Are d and 130/11 nonequal?
True
Let p = 0.14 + 14.86. Let y = 156 + -155.8. Which is smaller: p or y?
y
Let u be (345/23)/105 - 16/14. Which is greater: 1/90 or u?
1/90
Let u(k) = k**3 - 12*k**2 + 16*k - 12. Let j be u(7). Is j > -0.2?
False
Let w = 3 - 3. Suppose 2*t + 2*t - 1332 = w. Let p = -6325/19 + t. Is -1 >= p?
False
Let s = -108 + 67. Let u be 1*((-5 - -6) + -42). Are s and u equal?
True
Let y(t) = t**3 + 7*t**2 - 19*t - 4. Let n be y(-9). Suppose 2*u = -3*u + n*d + 25, 5*d = -4*u - 16. Which is smaller: -2/13 or u?
-2/13
Let r be (-4)/(-10) - (-1372)/70. Suppose -3*q - 19 = r. Let k = 18 - 30. Is k greater than q?
True
Let r(z) = z + 12. Let j be r(0). Let y = j - 15. Let p be ((-10)/75)/((-1)/(-12)). Are p and y unequal?
True
Let h be 77/(99/(-9)) + (-118)/(-18). Is 0 bigger than h?
True
Let x(y) be the second derivative of -y**3/6 + 5*y**2/2 - 13*y. Let v be x(-3). Which is smaller: -1 or v?
-1
Let v be 1 + 11 + -10 + 864/(-14). Which is smaller: v or -61?
-61
Suppose 3*s = -3*m + 27, -5 = -3*m - 2*s + 27. Suppose 29 - 929 = -75*z. Which is smaller: m or z?
z
Suppose b = 1 + 4. Let y = -3 + b. Let k be -2*(3 + (-15)/6). Are y and k equal?
False
Let o = 96 + -196. Are -5 and o unequal?
True
Let i = -552 + 542. Which is greater: i or -0.8?
-0.8
Let s(z) = -z**2 + 6*z - 8. Let l be s(6). Let p be (2 + 2)/(6/3). Let h be p*((-147)/(-6))/(-7). Is l smaller than h?
True
Suppose 3*f - 40 = -91. Which is smaller: -19 or f?
-19
Let z be (-174)/15 - (-4)/(-10). Let j = z - -28. Which is smaller: j or 15?
15
Let q be (-102)/(-4)*10/(-15). Let v = -30 - q. Suppose -i = -10 + 22. Is v greater than or equal to i?
False
Let v = -22 + 32. Is 62/7 greater than or equal to v?
False
Suppose 7*h + 4*m + 23 = 4*h, 10 = -2*m. Let r(t) = 2*t**3 + t**2. Let i be r(h). Let j be 1 - ((-28)/(-20) - 0). Is i equal to j?
False
Suppose -8 = -3*g + 11*j - 10*j, 0 = -2*g + 2*j + 4. Is 56/19 > g?
False
Suppose 3*j = 5*s - 65, 3*j - 2*s = -0*s - 53. Let w be 2/j - (-214)/(-45). Which is smaller: w or -4?
w
Let t = -402 - -402.17. Which is bigger: t or -4/7?
t
Suppose -4*v - 3 = -15. Suppose -v*z + 6*z = h - 20, -5*z + 148 = 4*h. Let n = -10 + h. Is 22 > n?
False
Let x(g) = g**2 + 16*g + 21. Let h be x(-15). Suppose 0 = 3*m - 6 - h. Suppose m*b + 2*b = -24. Which is bigger: b or -5?
b
Let f = -0.0031 + 0.1031. Does -1/408 = f?
False
Let d be (-4)/(-22) - 35/((-458150)/(-2688)). Suppose 5*q = 10 - 5. Which is smaller: q or d?
d
Let x be 0 - -1 - 1*-7. Let k = -776 - -782. Which is greater: k or x?
x
Let v = 2.5 - -2.6. Let z = v + -5. Let w = 0.044 - -3.956. Which is greater: z or w?
w
Suppose 0 = -17*h + 10*h + 63. Suppose -j + 9 = 3*r, -7*j - h = -9*j - 3*r. Which is smaller: 1/62 or j?
j
Suppose 0 = -4*c + 2*l - 396, 8*c = 3*c - 5*l - 510. Which is bigger: c or 2?
2
Let g(c) = 3*c + 1. Let n = 0 - -1. Let b be g(n). Let z = -3304 - -3307. Which is bigger: z or b?
b
Let b = 34 + -30. Let c = 0.06 - -0.84. Let x = -2.9 + c. Which is smaller: x or b?
x
Suppose 2583 = 18*b - 39*b. Which is greater: -125 or b?
b
Let m be (5 + (-2)/1)/1. Suppose -m*n + 2*n = -3. Let s be 1/n - (-4)/(-39). Which is bigger: 1 or s?
1
Let a be (-7)/14*11*-18. Which is smaller: a or 100?
a
Let a = -69 - -87.8. Let x = a - 19. Is x <= 11?
True
Let d = 205 + -294. Let o = d - -319/2. Let g = o + -72. Which is greater: -2 or g?
g
Let l = 740 + -1731. Which is smaller: -992 or l?
-992
Let g be ((-207)/6)/((-4)/8). Which is smaller: -1/2 or g?
-1/2
Let u = 2.347 + 90.773. Let r = 95 - u. Let z = r + 0.12. Which is bigger: 1 or z?
z
Let p = -33 + 28. Is p <= -36/7?
False
Let p = -0.062 - 7.138. Let s = 4.2 + p. Are 2/9 and s equal?
False
Let a = -97 - -97. Is a > -1/281?
True
Let m = -5 - 34. Let g = 39 + m. Which is greater: g or -0.1?
g
Let o = 21 + -30. Let w be 2/o - (-58)/18. Let l be ((-4)/12)/(4/(-36)). Is l != w?
False
Let o be (1/16*356)/((-1)/(-12)). Do 268 and o have the same value?
False
Let o(s) = -6*s + 9. Let u be o(1). Suppose 8 = 4*k, 3*j + 0 = -u*k + 3. Suppose -2*p = 10, -p - 8 = 3*l + 3*p. Which is bigger: l or j?
l
Let o be -2*2/12 - (-286)/(-858). Let t = 0 - 0.8. Let k = 0.83 + t. Which is smaller: k or o?
o
Let q be (-35)/9*((-153)/(-34) - 6). Which is smaller: q or 0.1?
0.1
Suppose -5*u - 9943 = 3*d, -4*u + 5*d - 7953 = 6*d. Is u at most as big as -1987?
True
Let n be ((-3)/(-4))/((-126)/48). Which is bigger: -738 or n?
n
Let a be (-1)/(-2) + (-7)/15. Let d = -10559 + 10559.2. Do d and a have different values?
True
Suppose 4*h + 20 = -88. Let v be h + (0/6 - -1). Is -27 at most v?
True
Let z(v) = -v + 9. Let t be z(0). Which is smaller: t or 13?
t
Let a be 4/18 + 22/(-99). Suppose a*c + 6 = 2*c. Suppose -k + c = 4. Do k and 14 have the same value?
False
Let c = 1260 + -1260. Are 3/4 and c unequal?
True
Let r be -1 + 4 - (3 - 21). Is r at least as big as 22?
False
Suppose -3*t + 7*t - 8 = 0. Suppose 4*z + 14 = -2*o + 2*z, 2*z = t*o + 14. Let q = -381 - -374. Is o <= q?
True
Let j = -1.57 - -1.5. Suppose 3*l + 16 = 4*v, 20*v - l + 8 = 22*v. Which is smaller: v or j?
j
Let l be 6/16 - (-309)/(-504). Let z = l - -32/399. Which is bigger: 0 or z?
0
Suppose -31 = -5*h + 19. Suppose 3*t = 0, -6*g + h = -g - t. Suppose -g + 6 = 4*w. Which is greater: -1/32 or w?
w
Let v = -72 + 76. Suppose v*g + 36 = 3*g + 5*w, 2*g = 2*w - 56. Is -25 smaller than g?
False
Suppose -2*r + 5*b = r + 52, -4*b - 7 = 3*r. Let u be 7/r*(-6)/21. Is u > -1?
True
Suppose -4*l - 2 = 2. Let k be l/(-3) - (-3)/(-9). Let w be -2 - ((-9)/6 + k). Is w equal to -2?
False
Let k be (9/(-9))/((-1)/3). Let c be 3/(-12) + (-44)/(-16). Which is smaller: k or c?
c
Suppose 0 = 5*c - 4*z - 16, -3*c = 2*z - z + 4. Let d = 430/7 - 62. Do d and c have the same value?
False
Let o = 14 + -7. Suppose o*q - 49 = 6*q. Is 49 greater than or equal to q?
True
Let v = -1/689 - -951/180518. Let d = v + -77/3013. Which is greater: d or -1?
d
Let k(f) = f**2 + 8 - 8 + 2*f**2 - 8*f + 2. Let m be k(3). Suppose -3*w = -0*w - 9. Are w and m equal?
False
Let g(a) = -34*a + 102. Let x be g(3). Is -3/163 >= x?
False
Suppose 16*t - 19*t = 5*l - 45, -l = -2*t + 30. Let k(y) = -y**3 - 13*y**2 - 14*y - 9. Let f be k(-12). Are t and f nonequal?
False
Let s = 31.59 + -59.37. Let z = s - -28. Let x = 0.12 - z. Which is smaller: -3/5 or x?
-3/5
Let j = 144 - 143. Let n = -17 - j. Which is bigger: 0.1 or n?
0.1
Let h be 12/4 + 70 - -2. Let b be 12/16 - h/12*-1. Is -3 at most b?
True
Let m = -51 + 47. Let y = -1087/7 - -155. Which is bigger: m or y?
y
Let a = -5621 - -95669/17. Which is bigger: a or 6?
a
Suppose 5*c - 14 = -2*c. Suppose 3*q = -c - 1, -4*p = -2*q - 10. Are p and 3 nonequal?
True
Let s = 24 - 22.6. Let z = s - 1.1. Let i = 0.1 + -0.08. Which is smaller: z or i?
i
Suppose 12 + 40 = 4*r. Is 99/8 less than or equal to r?
True
Let i = 5439 + -3094785/569. Which is greater: i or 0?
i
Let p be (-30)/9 + (-5)/(30/(-24)). Suppose 0*b = 2*b. Which is smaller: p or b?
b
Suppose 21 = -r - 17. Is -39 >= r?
False
Let p = 352 - 89. Let j = p + -262.8. Let g = 0.2 + -0.5. Is g > j?
False
Let k = 679 - 676.8. Is 2/5 < k?
True
Suppose 5*v + 15*s - 16*s = -2, 5*v + 10 = 5*s. Is 5/43 smaller than v?
False
Suppose -2*q + 48 = 4*q. Suppose p - q = -10. Let h be 1/1 - 0/(-2). Which is greater: p or h?
h
Let s be (-2)/(-16)*20/45. Let o = -60/77 + 334/231. Is o bigger than s?
True
Suppose -20 = -2*s + 3*t + t, -4*s + t + 19 = 0. Let w(g) = g**2 + g - 4. Let u be w(3). Suppose -u*x - 4 = -10*x. Which is smaller: s or x?
x
Let t be (-13)/(-13) + -3 + 4. Suppose x + 27 = y + 4*y, 3*x - 21 = -2*y. 