 + 5*q(a). Let j be t(y). Is j at most -1/6?
False
Suppose s + 4*n - 4 = 7, 0 = 2*s + n - 8. Suppose -p - 11 = k, -2*k + s*k = 3*p + 21. Which is greater: p or -7?
-7
Let i be 836/(-6)*(-54)/(-12). Let t = i - -4404/7. Do t and 3 have different values?
True
Let t be -3 - (-1 + (0 - 0)). Which is smaller: -4/3 or t?
t
Let h = 21/2 + -10. Are 2 and h equal?
False
Let q(n) = 7*n - 1. Let g be q(-4). Let c be g/35 + (-2)/(-5). Is c != 1?
True
Suppose p - 12 = -j, -7*j = -2*j - 3*p - 28. Suppose j = -2*q, 4*k + 2*q = 3*q + 4. Let g be 1/2 - 1/2. Does g = k?
True
Suppose -2*m - 3*z = 8, 0*m + 10 = -3*m - 4*z. Let n be 4 + -3*m/(-3). Let c be (-2 + 4)/(8/n). Which is bigger: 1 or c?
c
Let m be -3 + 8/(-14) + 4. Let t be (0/3)/(-2 - -1). Which is smaller: m or t?
t
Suppose -o = -2*o. Let x be 0*(2 - o)/(-8). Is -2 bigger than x?
False
Let l = -2 - -2.1. Is 3 >= l?
True
Let k = -304 - -300. Let z = -1 - 0. Is z > k?
True
Suppose -x = -4*x - 3. Which is bigger: 1/17 or x?
1/17
Let q(o) = o**3 + o**2 - o - 1. Let x(c) be the first derivative of c**2/2 - 8*c + 1. Let y be x(7). Let v be q(y). Is 1 equal to v?
False
Let k be (-1 - (-3 + 1))*-1. Suppose 0 = 9*y - 5*y - 40. Let t = 10 - y. Which is bigger: t or k?
t
Let p = 13/125 + 7/125. Which is smaller: 1 or p?
p
Let f be -2*(-5 + 1 + 0). Suppose -2*z = -4*z + f. Suppose o = -2*o + 12. Is z at least o?
True
Let k = 36 + -37. Let i = -1 - -1. Suppose i = -6*j + j. Which is greater: k or j?
j
Let s = 181/161 + 7/23. Which is bigger: 2 or s?
2
Suppose -3*w + 4*x = -7*w + 16, 16 = -2*w + 4*x. Which is greater: w or -13?
w
Suppose 3*j - 2*y + 6*y = -3, 2*j - y = -2. Which is smaller: j or 2/129?
j
Let z = -91 - -144. Is 54 at most as big as z?
False
Let u = -4 - -4. Which is bigger: u or 2/35?
2/35
Let d(u) = u**3 - u**2 - 3*u + 2. Let j be d(2). Are j and -2/9 equal?
False
Let c = -6 + 0. Is c smaller than 2/3?
True
Suppose -5*l - 8 = -3*g, g + g = 4*l + 4. Which is bigger: g or 5?
g
Let h = -983/20679 + 5/339. Which is smaller: 0 or h?
h
Let s(i) = -i**2 - 4*i + 3. Let m be s(-3). Let u be 2*m/4 + 3. Is 2/7 <= u?
True
Let d = -29/15 - -8/5. Suppose -10 = -4*c + 2*h, -5*c + 4*h + 5 = -15. Which is smaller: d or c?
d
Let p be 2/(0 - (1 + 0)). Let a(z) = 16*z - 64. Let x be a(4). Which is greater: x or p?
x
Let q = -498570 + 68802215/138. Let t = -5/46 + q. Which is smaller: -4 or t?
-4
Let t = 98 + -589/6. Is t less than -3?
False
Let v be ((-4)/(-4) - 0) + -2. Which is smaller: 0 or v?
v
Suppose z + 2*z - 3*b = 15, -2*b - 10 = 3*z. Suppose 0 = 3*x - 3, -x = -2*u - 3*u + 19. Let n be 0/(u/(-2)) + z. Which is smaller: n or -8/7?
-8/7
Let k = 5 + 0. Let m = k - 5. Which is smaller: -1 or m?
-1
Suppose -3*s - 39 = 4*m, m - 16 = 3*s + 8. Suppose -5*i - 80 = -0*i. Let t = i - s. Are t and -6 non-equal?
True
Let p be 7/22 + (-3)/6. Suppose -5*h + 133 = 138. Is h less than or equal to p?
True
Let a = -687/61 + 158931/14518. Let z be 4/(-10) + (-73)/(-170). Let f = z + a. Are -1 and f equal?
False
Let y(c) = c**3 - 9*c**2 + 11*c - 7. Let l be y(8). Let w = -12 + l. Let u = 82/5 + -16. Is u >= w?
False
Suppose 3*k - 2 = v, 3*k - 8 = 4*v + 2*k. Is v less than -1/4?
True
Let v be 2/2 - 30/5. Which is greater: -4 or v?
-4
Let j = -0.04 + 0.03. Let t = -0.39 + j. Is 2 != t?
True
Let p = -2/21 - -31/105. Suppose 4*d + 3 = -1. Which is bigger: d or p?
p
Let u be -1*3*(-3 + 2). Let a(z) = -z**2 - 6*z - 3. Let i be a(-5). Which is smaller: i or u?
i
Let n = -3 + 4. Which is smaller: 2 or n?
n
Suppose 0 = -k - 3*s - 5, 2*k + s = 4*k - 4. Is k smaller than 6/11?
False
Let w be -2*1*6/12. Let c be (-12)/20 - (w - 0). Is 0 greater than or equal to c?
False
Let p = 0.167 + -9.467. Let i = p - -9. Which is greater: 0 or i?
0
Let g be 1/(0/(-1) - -1). Let k = 826/1495 - 12/23. Which is bigger: k or g?
g
Let o be 1 + -13*(-2)/2. Let j(q) = -q**2 + 13*q + 10. Let v be j(o). Which is bigger: v or -3?
-3
Suppose 4*w = 2*w. Suppose w = -2*d + 2 - 18. Let u be (-6)/56 - 2/d. Is 0 greater than or equal to u?
False
Let y be 4 - (-3 + 9 + -3). Let c = 4 + y. Suppose c = -4*k + 1. Are 1 and k non-equal?
True
Let l be ((-3)/6)/((-2)/8). Suppose -l*o = -o. Which is bigger: 1 or o?
1
Let k(i) = -i**3 - 15*i**2 - 15*i - 20. Let x be k(-14). Which is bigger: x or -7?
x
Let k = -28 + 17. Let n = 17 + k. Let p = 7 - n. Is 2 smaller than p?
False
Let z(n) = -n**2 + 7*n + 9. Let u be z(8). Let p = u - 1. Is p at least as big as 1/3?
False
Suppose 5 + 3 = 4*r. Let x(i) = -3*i**3 + i**2 + i - 1. Let j be x(1). Let a be -1 + (j - (-4 - 2)). Which is greater: a or r?
a
Let d = 994/9 + -15937/144. Let a = -11273/16 - -705. Let i = a - d. Are i and 2 unequal?
True
Suppose 0 = -3*z + 7 + 2. Is z at least as big as 5?
False
Let o be (-6)/4 + (-5)/(-10). Let j be 2 - 3/(-6)*0. Suppose j*z + 0 = -6. Is o greater than z?
True
Suppose -2*q + 10 = 0, 9 = -5*u + u + q. Is u less than or equal to -1/3?
True
Suppose 0*y = -2*y + 8. Let s = y - 2. Let n be (-1 + s)/((-2)/(-2)). Which is bigger: n or 4/7?
n
Let g = -3 + 11/4. Let f(o) = -o**2 - 8*o + 2. Let c be f(-8). Suppose 0 = 3*s - 3*h + 15, -c*s = -5*h - 5 + 27. Which is greater: s or g?
g
Let h(c) = -c - 1. Let q be h(-4). Suppose 0 = -p + q*p - 2. Suppose 0*b + 4*b = 0. Which is smaller: p or b?
b
Let m(b) = 0 + 0 - 2 - 7*b + 5. Let v be m(8). Let s = -217/4 - v. Which is greater: -2 or s?
s
Suppose 0 = d, 2*c + 3*d = -2 + 16. Is 7 at least as big as c?
True
Let m = 3/22 + -37/110. Which is bigger: -0.28 or m?
m
Let r = -0.47 - 12.53. Which is smaller: r or 3?
r
Let z = 0.3 + 0. Is z greater than or equal to -1?
True
Let p(o) = -o**3 - 8*o**2 + 8*o - 9. Suppose 5*d + 86 - 31 = -2*w, 3*d - w + 22 = 0. Let y be p(d). Is y > 1/4?
False
Let v = -31 + 31.1. Suppose -4*q + 5*l - 3*l = -6, -q = l + 3. Which is smaller: q or v?
q
Let y(l) = l. Let p be y(4). Let n = -2 + 3. Is n >= p?
False
Let t = -23 + 22. Does -4 = t?
False
Let x(z) = 3*z - 82. Let g be x(25). Is g equal to -10?
False
Let y(n) = -11*n - 40. Let u be y(-9). Which is bigger: u or 60?
60
Let h = -0.081 + -12.919. Which is bigger: h or 0.1?
0.1
Let t = 158/357 + -8/51. Is t != 0?
True
Let k = -6 - -11. Let m = -1.6 + 5.6. Let d = k - m. Are -0.1 and d equal?
False
Suppose 3 = -c - 0. Let b be (-1)/c - 2/(-6). Let r = -144 + 1011/7. Is r at most b?
True
Suppose -12*j = -18 - 6. Which is smaller: 8/9 or j?
8/9
Let y(s) = s**2 + 2*s + 4. Let l be y(-4). Suppose 2*v + 2*v = -l. Which is smaller: -4 or v?
-4
Suppose 8*k - 5*k - 27 = 0. Let q be 1/(-1) - (-21)/k. Suppose -4*u + u = -3. Is u <= q?
True
Let b = -0.4 + 0.3. Let u = 0 + -2. Let q = -1 - u. Which is greater: b or q?
q
Let i be (-6)/33 + (-402)/(-33). Suppose -i = -2*h + 5*h. Which is smaller: h or -2?
h
Let r = 899/2 - 458. Is r at most -8?
True
Suppose 0 = 3*c - 2 - 4. Is c > -1?
True
Suppose -82 + 4 = -6*l. Suppose 3*o = -0*o + 4*h + 8, -5*h = 2*o - l. Which is greater: 1 or o?
o
Let c be 20 - (0 - (-1 - 1)). Let t be (28/(-42))/((-4)/c). Are t and 4 equal?
False
Suppose z = 4*z + 9. Suppose t + 5*k = 3*t - 17, t - 2*k = 8. Let l = t + -8. Which is smaller: z or l?
z
Suppose 0 = -3*s - 3*l - 0*l + 69, 5*s = 4*l + 70. Is 18 less than or equal to s?
True
Suppose 0*z = -2*z. Suppose z = 2*u + 2. Are u and -3 non-equal?
True
Let a = 45 + -45. Suppose 0 = 2*q - 3*q + 2. Does q = a?
False
Let l = -6 + 5. Let m = 1 + l. Let h be (-2)/(-7) + 2/(-56). Is h at most as big as m?
False
Let f be 18/12*(0 - -2). Are 3 and f non-equal?
False
Suppose 2*g = -g. Let a = -1 + g. Let x be 2 + 16/(-6) + 1. Is a <= x?
True
Let w be (-8)/2 + 902/209. Is 0 greater than or equal to w?
False
Let h(s) = s**3 + 7*s**2 - 10*s - 10. Let r be h(-8). Suppose -4*t + 150 = 3*j, 5*j - r = 2*j. Suppose 3*q = -q + t. Is q >= 9?
True
Let j(o) = -4*o**2 - 2*o - 3. Let z be j(-3). Let q be 8/28 - z/7. Suppose -30 - 7 = -2*a - q*f, -2*f = a - 16. Is 6 smaller than a?
False
Let p(h) = h**2 + 9*h + 2. Let u be p(-8). Let q be (2*6/(-15))/u. Which is smaller: 0 or q?
0
Let a be (34/5 - 7) + 322/(-90). Are -3 and a non-equal?
True
Let k = 0.02 + -0.22. Let l = 43/2 + -19. Is k > l?
False
Let h = -195 + 298. Which is greater: 102 or h?
h
Let x be (-3)/6 + (-1)/(-2). Let r = -6 - -3. Which is smaller: x or r?
r
Let d = -165545/2 + 11666