 Do x and -222 have the same value?
False
Let z = 91/170 - 4/17. Is z < 2/25?
False
Let a be ((-3)/1 - -1) + 3 - 9. Let b(q) = -q**3 - 8*q**2 - 2*q - 16. Let j be b(a). Do -3/17 and j have the same value?
False
Let i(q) = -12*q**3 - 13*q**2 + 5*q + 22. Let j be i(-3). Which is bigger: j or 213?
j
Let x = 74780/7 + -10768. Suppose -40*l + 39*l + 86 = 0. Let j = l + x. Is 0 >= j?
False
Let o(p) = 2*p**2 - 7*p + 6. Let a be o(3). Suppose 8 = a*s + 8. Which is bigger: s or 2/209?
2/209
Suppose -w + 2*w = 15. Let y = -34 + w. Let b = -18 - y. Which is bigger: b or 1/2?
b
Let u = 4142/11 - 376. Suppose -5*l = -6*l. Which is smaller: l or u?
l
Let s = -9409/101034 + 1/1871. Are s and -1 equal?
False
Suppose 0 = 2*j + 4*q, -2*j + 4*q - 12 + 4 = 0. Let w be (-1 - j)*(-23 + 156). Is 133 <= w?
True
Let f(p) = -p**3 + 3*p**2 - p - 4. Let r be f(2). Which is greater: -17/23 or r?
-17/23
Let r be ((-1)/3)/(44252/(-8853) - -5). Does r = -228?
False
Let z = -15 + 19. Suppose -5*f = z*w - 26, 2*f + 0*w - 5*w = -16. Suppose 0 = -f*l - l - 4*h + 86, -l + 20 = -3*h. Is l at most 27?
True
Suppose -q = 4*j - 3*j - 3, 3*j - 5*q - 1 = 0. Suppose a + 2*g = j, a + 5*g - 2*g - 1 = 0. Suppose 2*v = -a + 6. Which is smaller: 1/2 or v?
1/2
Let f(p) = -92*p + 4. Let k be f(-1). Suppose -6*y - 2*y = -k. Which is smaller: 13 or y?
y
Let s(o) = 3*o**2 - 7*o + 16. Suppose 13*c - 3*c = 30. Let l be s(c). Which is smaller: 21 or l?
21
Suppose -2*c = w + 2*c - 37, 2*c + 34 = 2*w. Suppose w + 35 = -7*z. Is -8 < z?
False
Let r = -538 - -483. Are -55 and r nonequal?
False
Suppose 0*g + 5*g - 115 = 0. Let r be (9/(-2) + 4)*66. Let u = r + 56. Is u less than g?
False
Let v(z) = z - 4. Let c(q) = -q**2 - 5*q - 1. Let p be c(-4). Let w be v(p). Which is bigger: w or -1/2?
-1/2
Suppose 0 = -232*f + 231*f - 2. Let r be 3*((-40)/12 - f). Are r and -18/5 nonequal?
True
Suppose 5*b - 10 = 3*b. Suppose 73 = 2*a + b. Suppose 2*f = 4*h - 26, 0 = -h + 6*h - f - a. Is h less than or equal to 6?
False
Let b(h) = -h**3 - 8*h**2 - 3. Suppose 0 = 7*p - 7. Let w(n) = -8*n**3 - n**2 + n. Let z be w(p). Let j be b(z). Is -20/7 at least as big as j?
True
Let d = -10.49 + -0.51. Which is smaller: d or 4/7?
d
Suppose h - 101 = -2*j, -j - h + 151 = 2*j. Suppose -5*a - 3*d + 160 = -j, 3*a + 4*d - 137 = 0. Is 0 at most as big as a?
True
Let n(v) = v**3 + 31*v**2 + 56*v + 43. Let r be n(-29). Which is smaller: r or 103?
r
Let h = -5 - -73. Let p be (21/12)/((-1)/h). Let a = p - -1191/10. Which is bigger: a or -2?
a
Suppose -5*i = -3*l - 8, -3*l - i = 11 - 9. Which is bigger: l or -28/13?
l
Let w(n) = 3*n. Let g be w(1). Suppose -13 = -5*a - 3. Let y = 0 + a. Is g at most as big as y?
False
Suppose -3*w - 1050 = 3*u, 0 = -2*u - 5*w + 7*w - 680. Which is smaller: u or -344?
u
Let r = 20 + -11. Suppose -21 = -3*f - r. Suppose -4*l + 4 = -f. Is 2 >= l?
True
Let o be (-16)/(-40) - (-1 - (-352)/205). Let c = 373/1435 + o. Which is bigger: c or 0?
0
Suppose 2*h = h + 2. Suppose -4*c - 69 = 3*j - 4*j, -4*c - 78 = h*j. Does 1 = c?
False
Suppose 5*t + 86 = 26. Let i be (-8)/t + (0 - 1). Let c = -26 - -26. Which is smaller: i or c?
i
Let f = -1.083 - -0.083. Let t = -6525/7 - -35348/35. Let g = t - 78. Is g < f?
False
Let h be (-60)/(-150) + ((-8)/(-10))/(-2). Let g = 7/145 + -656/10585. Which is bigger: h or g?
h
Let i = 0.126 - -0.004. Let d = 9.3 - 8.36. Let p = d - -0.06. Is i greater than p?
False
Let u = -2.6 + 0.6. Suppose -2*r + 0*r - 2*j = 24, -r + 4*j = 2. Let d = -39/4 - r. Is u <= d?
True
Let d be (-6 - (7 + -6)) + -170. Do -176 and d have different values?
True
Let h = -1171 - 2215. Let p be h/(-678) + (-12 - -7). Is 0 less than or equal to p?
False
Let n = -29.617 - 0.283. Which is bigger: n or -2/3?
-2/3
Let n be (-21489)/(-504) - (-2)/(-3). Let h = 125/3 - n. Let z = h + 5/28. Which is smaller: 0 or z?
z
Suppose -24*h - 21 = -31*h. Suppose -5*g = -h*r - 71, 18 = 2*g + 3*r + r. Which is smaller: 15 or g?
g
Let g be 2/1*(6 + -5 - 0). Let j be 6/(-24) - (-13)/4. Let h = 6 - j. Which is bigger: h or g?
h
Let h be 2/12 - ((-48)/(-36))/2. Which is smaller: h or 313?
h
Let p be -8 + 17 + (-1215)/140. Is p >= -1?
True
Suppose 0 = 18*f - 56 - 232. Suppose 3*b = 2*r - 6 - 2, 2*b + f = 4*r. Do -1/113 and b have different values?
True
Let r = 1 - 0. Let k = -11.225 - -0.225. Is r != k?
True
Let z(r) = 2*r - 7. Let f be z(6). Suppose 0 = -5*i - f*a + 25, 0*i = i - 2*a + 7. Let w = 13/163 + -475/3912. Is i smaller than w?
False
Let t = 313/585 + -76109/80145. Let a = t + 2/137. Which is smaller: -7/8 or a?
-7/8
Let v(x) = 15*x + 147. Let n be v(-11). Is -28 greater than n?
False
Let q(s) = 15*s**2 + 13*s - 32. Let z(k) = -7*k**2 - 6*k + 16. Let p(y) = 6*q(y) + 13*z(y). Let h be p(-4). Is 3/8 at least h?
True
Suppose 5*f + l = -2*l - 43, 0 = 2*f - 2*l + 30. Which is smaller: -4 or f?
f
Suppose 4*t - 223 = -4*r - 47, 0 = -r - 4*t + 50. Let w = -22 + r. Suppose 2*j = -22 + w. Which is smaller: j or -2?
-2
Let o(n) = 2*n**3 + 5*n**2 + 9*n + 26. Let u be o(-3). Let r = -40 + 29. Is r at most u?
True
Suppose -150 = -8*u - 30. Which is greater: u or 189/13?
u
Let m(z) = -z**3 - 9*z**2 - 7*z - 14. Let r be m(-8). Which is smaller: r or -21?
r
Suppose -14*s = 363 + 169. Is -36 smaller than s?
False
Let b be -1 + -2 - 12/(-4) - 1. Let t be 1 + (16/68 - 1). Do b and t have the same value?
False
Let j = -0.235 - -0.335. Which is smaller: j or -2.06?
-2.06
Let k = 38 + -21. Let b = k - 29. Is b smaller than -13?
False
Let f = 1517 + -219963/145. Let w(i) = i**3 - i - 1. Let n be w(-1). Is f less than n?
False
Let v = 0.041 - 0.041. Let d = 897 - 901.97. Let a = d - 0.03. Is a equal to v?
False
Let a be -2 - 0 - (-2716)/1362. Let z be -1*208/(-117132)*118/4. Let f = a + z. Is f greater than or equal to -1?
True
Suppose 2*x = 5*f + 17, -x - 9 = 4*f + 2. Which is greater: x or -1?
x
Let q(b) be the second derivative of b**4/12 + 3*b**3/2 + b**2/2 + 11*b. Let p be q(-9). Which is greater: 2/7 or p?
p
Let f be -1*(-15)/170 - 4/8. Is f less than or equal to 0?
True
Let q be -1 + 2/((-314)/(-159)). Let b = 3437 + -3437. Is b at least q?
False
Let l = -188 + 190.1. Which is bigger: l or 4?
4
Suppose 0 = 78*x + 2299 + 197. Suppose -2*n = -3*r + 99, 2*r + 5*n - 29 - 18 = 0. Let z = x + r. Are z and -2/89 non-equal?
True
Let k = 132 + -128. Does -3/11 = k?
False
Let i = -176/9 + 164/9. Let u(t) = -t**2 + 5*t + 5. Let a be u(6). Which is smaller: i or a?
i
Let j be 336/(-48) - (-289)/41. Which is greater: -1 or j?
j
Let t = 239 + -163. Let x = 77 - t. Which is bigger: -2/31 or x?
x
Suppose -5*s - 5*y = 20, 3*y = 3*s + 7*y + 17. Let k be (-191)/(-13)*s/(-5) - -3. Is k less than 1?
True
Suppose -4*n = 69*v - 65*v, 2*v + 5*n = 0. Which is smaller: v or 8/123?
v
Let w = 1 + 7. Let q be (8/(-6))/((50/15)/5). Is w < q?
False
Let s = 2 + -1. Let a(n) = -12 + 4 + n - 1. Let u be a(10). Is u less than or equal to s?
True
Let v be ((-15)/(-2))/((-111)/2812). Which is bigger: v or -951/5?
v
Let b(h) = -h**3 - 9*h**2 - 10*h - 2. Let t be b(-7). Let k = -14 - t. Suppose 2*j = -5*g - k, 0*j = -g + 3*j + 7. Is -3 < g?
True
Let g(o) = 24*o + 41. Let b be g(-2). Is b bigger than -41/5?
True
Suppose -6*o + 3*o - 57 = 0. Suppose -5*v + q - 95 = 0, -3*v - 5*q + 6*q - 57 = 0. Is o at least as big as v?
True
Let r be (0/(-1 + -3))/(-1). Suppose r*s = 3*s - j - 30, s = -2*j + 3. Suppose 8*v - s*v = 0. Is v at least as big as 1/5?
False
Let g = 1 - -7. Let u = 18 - g. Let f = u + -8. Which is greater: f or -0.1?
f
Let u be 5*(-16)/(-20) + -1. Suppose -4*p + 11 = -u*a, -5*p + 6 = -2*p. Which is smaller: a or 2?
a
Suppose -4*i + 88 = 52. Let l be 3*((-17)/i - 16/(-8)). Are l and 2 unequal?
True
Suppose -10*n - 8 - 22 = 0. Let d(k) = -k**2 - 4*k - 3. Let a be d(n). Is -3/53 at most a?
True
Suppose -269*w = -243*w + 208. Which is smaller: w or -39/5?
w
Let g = -273 + 273.2. Suppose -3*n + 38 = n + 5*z, -58 = -4*n + 5*z. Let i be (-30)/(-8)*n/(-120). Is i equal to g?
False
Let f(a) = -18*a + 217. Let l be f(12). Let t be -2 + ((-164)/(-81) - 0). Is l at most t?
False
Let p = -43 + 161/4. Let a = -99.3 + 98.3. Does a = p?
False
Let j = -463 - -353. Is j equal to -110?
True
Let a be (3 - 4)/((-1)/1). Suppose -m + 3 = -a. Suppose -k + m = -4*b, -b - 4*k + 8 = 26. Which i