- -0.0174. Is s >= 7?
False
Let f be (-22)/(-99)*(-15)/10. Is 133 < f?
False
Let q(o) = 2*o - 4. Let p be q(-3). Which is greater: p or 7?
7
Suppose 0 = -8*v - 49 + 225. Let z = 44 - 28. Let x = z - v. Is x at least as big as -0.2?
False
Let j = -42 + 66. Suppose -3*d - j = -4*u + 14, -20 = 2*d - 4*u. Suppose 0 = -4*f + 36 - 104. Is d at least f?
False
Let p(c) = -2*c - 2. Let j be (0 + 6)*(-17)/34. Let b be p(j). Suppose b*k - 4 = 8*k. Is -1 greater than or equal to k?
True
Let c be (966/(-20))/(5/10). Let b = 97 + c. Which is bigger: b or 1?
1
Suppose 0 = -36*f + 33*f. Suppose w + 176 = 7. Let n = 3212/19 + w. Is n at least f?
True
Let n be 1 - -4 - (-15)/(-1). Let s be (n/(-15))/(2/1). Do s and -1/2 have the same value?
False
Let s = -117 + -45. Let z = s - -159. Which is smaller: 2/13 or z?
z
Suppose -3*k + 3 = -0*k. Suppose 0 = 4*r - 3 - k. Let w be 12/2 - (-3 - -7). Do w and r have different values?
True
Let o = 224 + -224. Is -1/223 at most o?
True
Let c be ((-20)/(-740))/((-1)/(4/14)). Let i = 219/5180 - c. Which is bigger: i or -1?
i
Let c = -57 + 82. Let t = c + -27. Let v be t/(-33)*(-12)/(-8). Does v = 0?
False
Let x be (522/5)/((-54)/360). Is -696 <= x?
True
Let b = -10 + 42. Suppose -v + 3*g = -6*v + b, 25 = 3*v - 4*g. Which is smaller: v or 8?
v
Let r = 32.76 - 7.6. Let v = -25 + r. Let z = v - 0.16. Which is greater: 8 or z?
8
Let t = -255 - -254.8. Is t at least as big as 0.22?
False
Let h = 20/9 + -13/6. Let p = 38 - 38. Are h and p nonequal?
True
Let v(c) be the first derivative of -c**3/3 + 2*c**2 + 9*c - 23. Let m be v(-5). Is -110/3 bigger than m?
False
Let s = 8.6 + -8.6. Is -7 <= s?
True
Let o(z) = 2 + 1 + 70*z - 71*z - 4. Let u be o(-2). Does 5/8 = u?
False
Let t(p) = 2*p**2 - 54*p + 142. Let f be t(3). Let l = -90/49 - 15/49. Which is bigger: f or l?
f
Let i = 75.646 - 76. Do i and -1/5 have different values?
True
Let c be ((-26)/(-10))/(2/(-5)). Let f = -1994 - -1994. Which is smaller: f or c?
c
Let p be ((6 - 4) + -2)*-1*1. Is p at most as big as -1/1253?
False
Let o be -2 + (112/(-15))/(-4). Let h = 104 - 105. Which is greater: h or o?
o
Let c = 65512/39 - 1680. Which is bigger: 1 or c?
1
Suppose 2*j = 8, 0 = -3*a + 3*j - 0 - 9. Which is bigger: a or -10?
a
Let o = 382 + -382. Is o < 1/545?
True
Let r = -27 - -28. Let s(p) = 15*p + 10. Let q be s(9). Let t = -3334/23 + q. Which is bigger: r or t?
r
Suppose 2*a - 6 - 8 = 0. Suppose a*s + 55 = -15. Are s and -11 non-equal?
True
Suppose -z = -r + 1, -r - 4*z + 16 = -0. Let c be (6/(-10))/(r/(-20)). Is c < 5?
True
Suppose -4*s + 2*q = -6, -s + 2*q + 9 = 15. Which is bigger: s or 2/21?
s
Let a be (-17)/(-1) + -3 + -4. Let d be 44/a + 3/5. Suppose -m - 3 = 4*y - 13, 5*m - 50 = -d*y. Which is bigger: 11 or m?
11
Suppose -3*o - 3*a = -60, 2*o - 3*a + 5 = 30. Suppose -g = -4*d + o, -2 - 2 = -3*g + d. Let r be (-2 - -1)*g*1. Which is greater: r or -5/3?
-5/3
Suppose 3*j = 3*s - 6, 5*s - 20 = j - 6*j. Which is smaller: -2/173 or j?
-2/173
Suppose -2*t - 3*w = -36, -5*t - 3*w = 40 - 121. Suppose 4*d - i = -25, -4*i - t = 4*d - 3*i. Is d >= -5?
True
Let r = -2/2409 - -80569/1606. Let l = 81/2 - r. Which is smaller: -0.1 or l?
l
Let z be 22/14 + 75/(-50). Let n be ((-2)/6)/(2/18). Let v(w) = -w - 4. Let m be v(n). Is m at least as big as z?
False
Suppose 5*c = 2*m - 12, -2*m = 2*c - 28 + 30. Which is greater: c or -16.4?
c
Let w(a) be the first derivative of a**3/3 + 3*a**2/2 + 12*a + 11. Let c(j) be the first derivative of w(j). Let b be c(-3). Which is greater: b or -5?
b
Let t = 0.266 + -0.166. Which is smaller: t or -0.2?
-0.2
Let u be ((-21)/9)/((-6)/(-324)). Let z be (-316)/u + (-6 - 80/(-14)). Which is greater: 2 or z?
z
Let m(v) = v**3 - 2*v**2 - v + 2. Let c be m(2). Let p be 20/(-175) - 2 - -2. Is p at most as big as c?
True
Let i = 393/1504 + -7/32. Which is smaller: 0 or i?
0
Suppose -9 = -3*v + 6. Let d = v + 1. Let l be 0/(-2) + 66/d. Are l and 11 nonequal?
False
Let a be (-34)/(-153) + 824/18. Suppose 121 = 4*q - 71. Which is smaller: q or a?
a
Let r(z) = 10*z**2 + 4*z + 1. Let p be r(-5). Is p > 230?
True
Let n = 13 - 8. Suppose -15 = n*b - 2*f - 0*f, -4*f - 12 = 4*b. Let l be (b/4)/(54/(-9)). Is l >= 0?
True
Let v = 1743 + -1793. Which is greater: v or -65?
v
Let x(d) = -d**2 + 32*d + 1. Let n be x(0). Is 1/893 smaller than n?
True
Let x = 30 + -29.9. Is -233 at most x?
True
Suppose -3*o - 2*j + 14 = o, -o = 3*j - 11. Let g be o/(-4) + (-54)/(-28). Do g and 1 have different values?
True
Suppose t + 0 = -l + 2, -3*l + 10 = -t. Suppose -27 = -5*x - 2. Let y be (l - 7) + 1*x. Which is greater: y or 1/18?
y
Let n be ((-2)/1)/(2/(-3)). Suppose 0 = 2*m - d, m - 5*d = 4*m. Suppose 5*q - 7 - n = m. Do q and 3/5 have different values?
True
Let h(z) = -z**3 - 22*z**2 + 23*z + 4. Let i be 3/(-3)*22 - 1. Let j be h(i). Is j less than or equal to 17/4?
True
Let l = 0.94 - -0.06. Let o = -1.1 + l. Suppose 0 = -3*m - r + 7, 3*m + 5*r + 14 = 25. Are o and m unequal?
True
Suppose 0 = -2*z - p - 51, -7*p - 163 = 6*z - 6*p. Let j(s) = -3*s**2 + s + 4. Let l be j(-3). Is l at least z?
True
Let l = -2.89 - -4.29. Which is greater: l or -3?
l
Suppose 3*v = -3*i + 1578 - 6189, i + 2*v + 1532 = 0. Which is smaller: i or -1541?
i
Let v = 19163689/29469 - 30606/47. Let l = -1/57 + v. Suppose 6*a = 3*a. Which is smaller: a or l?
l
Let g(w) = 8*w**3 + w**2 - 2*w + 1. Suppose -4*x = 4*m + 16, m + 5 - 3 = -3*x. Let f be g(x). Suppose 3*u - f*u = 25. Do u and -5 have the same value?
True
Let c = 155 + -156. Is -13/22 bigger than c?
True
Let a = 20.6 - -0.4. Let u = a + -13. Let f = 8.2 - u. Which is smaller: 0.3 or f?
f
Suppose -36*c = -31*c - 75. Let d be (-92)/(-21) + 5/c. Are 4 and d unequal?
True
Let l = -88 - -266/3. Let o = -50 - -46. Are l and o nonequal?
True
Let h be 36/60*(-5)/(-1). Suppose 0*k - 2*k - 210 = -4*j, -2*j = h*k + 339. Which is smaller: -112 or k?
-112
Let t(w) = 4*w**3 + 3*w**2 - 5*w - 1. Let h(b) = b**3 - b - 1. Let d(i) = 2*h(i) - t(i). Let l be d(1). Which is greater: l or -1?
-1
Let w = -37/72 - 115/144. Let u = 745/592 + w. Let d be (-2)/((-1 - -1) + 2). Is d bigger than u?
False
Let c = 85 + -106. Which is smaller: -18 or c?
c
Let o = 73 - 583/8. Suppose 3*c + 3*v - 12 = -2*v, 0 = 3*c + 2*v - 3. Which is smaller: c or o?
c
Let t = 453 - 4072/9. Let l be (1 - 1)/(4 - (1 - 0)). Do t and l have the same value?
False
Let r be (-1 + -45)/(-2) - (-15 + 18). Let s be -2 + 25/r - -2. Which is greater: 0 or s?
s
Let i(y) = y + 1. Let x(d) = 12*d - 6. Let o(g) = -15*i(g) + x(g). Let n be o(-7). Does n = 1?
False
Suppose -2*p = -m - 124, -228 = 3*m - 4*p + 148. Is -128 < m?
False
Suppose 64 = 5*j + 19. Let i = -4 + j. Suppose l = i*g + 3, 0 = -0*g - 2*g - l + 3. Is -7/5 greater than or equal to g?
False
Let r(x) = 41*x - 55. Let u be r(2). Is u smaller than 450/17?
False
Let g(k) = 2*k**3 - 37*k**2 - 21*k + 37. Let r = 69 - 50. Let i be g(r). Which is greater: 2/435 or i?
2/435
Let o be -6 + (-4)/(0 - 1). Let k be (1 - 1)/(o + 1). Which is greater: k or -7?
k
Let g = 0.6 - 0.7. Let n = g - 1.9. Let k = n - -2.1. Which is smaller: k or 2/5?
k
Let b be (-50)/15*3 - (0 - 4). Let m be 42/(-12)*(-12)/(-7). Are m and b nonequal?
False
Let t be (2297/14)/(0 + -32). Let u = t - -36/7. Which is smaller: u or 0?
0
Suppose 3*p + 2*h = -2 - 20, -5*h = -3*p - 29. Let u be p/(-77) + (-6)/21. Let x(s) = -s**2 - 3*s + 3. Let m be x(1). Is u at least m?
True
Let d be -3 - 4 - 6/(-1). Let p be (-17)/3 + 2/(-6). Let i be p/28*1/(-3). Which is smaller: i or d?
d
Let p = -9 - -264. Is p less than 254?
False
Let q = -1150 + 1044. Is -108 less than q?
True
Suppose 258 = 2*o + 36. Let q be (-26)/(-39) + (-76)/o. Does -1 = q?
False
Let w = -47.07 - -48.9. Are 1 and w unequal?
True
Let v(l) = -l**2 + 8*l + 28. Let y be v(12). Let o be (1/4 - 0)/((-5)/y). Are -3/134 and o equal?
False
Let j(v) = v**3 + 4*v**2 - 2*v + 7. Suppose -3*m = -4*m - 5. Let x be j(m). Let l be (-16)/(-21) + x/24. Is 1 equal to l?
False
Let t = -16441/87 - -189. Let s(g) = -g**2 + 11*g - 18. Let k be s(9). Which is smaller: k or t?
k
Let x be (-14)/2*(-8)/40*55. Is x > 9?
True
Let c be ((-136)/2288)/(2/(-41822588)). Let m = c - 1242970. Let b = -100/11 + m. Which is greater: 0.1 or b?
0.1
Let z be 1085/410 + (-10)/4. Whic