i(z) = 3*z + 5. Suppose 0 = 3*q + 12, 4*a + q = 4*q + 40. Let f be i(a). Let c be (-1)/3*12/f. Which is greater: -1 or c?
c
Let k = 1905 + -28589/15. Which is smaller: k or -1?
-1
Suppose -28 = 2*u - 0*u. Which is greater: -15 or u?
u
Let h = -0.016 - 0.084. Is h bigger than 33?
False
Let n(w) = w**3 + 11*w**2 - w - 12. Let l be n(-11). Let j be 6/(-15) - (-16)/30. Let c = -1/15 - j. Which is bigger: l or c?
c
Let w be (-12 + 1)*2/(6 - 4). Is -12 smaller than w?
True
Let d = 0.48 + 3.42. Let h = d - 4. Let q = 0.2 - 0.4. Which is smaller: q or h?
q
Let w = 2.1 + -2. Suppose -2*p + 5*p - 6 = 0. Let j be 12/(-16) + p/24. Is j smaller than w?
True
Suppose 0*u = 3*u - 4*q + 14, 0 = -u - q. Let d = 0 - u. Let m be 4 - 4 - (-2)/4. Which is smaller: d or m?
m
Let s be -1 + (2 - (-1)/1). Suppose t - 6*t + 15 = 0. Suppose -2*k + t*k = 3. Which is smaller: k or s?
s
Let j = 276/229 - -81013/1374. Let y = 60 - j. Which is smaller: -1 or y?
-1
Suppose 4*i = h - 17, 2*h + 9 = -2*i - 7. Does 0.1 = i?
False
Let n = 23 - 21. Let z be (2/4)/(1/n). Does 2/23 = z?
False
Suppose -s + 27 = 27. Does s = 8/27?
False
Let l(q) = q - 14. Let s be l(17). Which is smaller: 9/5 or s?
9/5
Let r = -31/3 - -967/93. Which is smaller: r or -1?
-1
Suppose 0 = -3*b + 2 + 7. Let p be ((-2)/(-4))/(-5 + b). Does p = -1?
False
Suppose 2*h - c = 32, 5*h + 2*c = c + 66. Let v = 7 - h. Which is smaller: v or -6?
v
Let j = 7/2 - 129/38. Is -1 greater than j?
False
Suppose -3*j = -8*j + 10. Which is smaller: 4/3 or j?
4/3
Let d = 1 - 6. Let g be ((-16)/(-40))/(3/90*-2). Is g at most as big as d?
True
Suppose 2*f - 13 = -b + 7*f, 2*b - 8 = f. Suppose -b*k = 14 + 16. Do k and -9 have different values?
True
Let z(v) = v**3 + 4*v**2 - 6*v - 4. Let d = -6 + 1. Let p be z(d). Suppose 0 = w - p + 2. Are w and -1 nonequal?
False
Let y = 0.03 + -0.17. Let g = y - -0.04. Let h = 0 - 1. Which is greater: h or g?
g
Let j(r) = 2*r**3 - 2*r**2 - r - 1. Let s be j(2). Suppose -y - 29 = 2*h, -s*y + h = -0*y + 90. Are y and -19 non-equal?
False
Let p = 3 + 2. Let g(l) = 2 + 1 + l**3 + l - p. Let d be g(0). Is d equal to -4?
False
Let r = -14 + 14. Which is smaller: r or -2/13?
-2/13
Suppose 2*p - 2*d - 10 = 0, -10 = 2*p + p + 2*d. Let t = 19264/57 + -338. Which is smaller: t or p?
t
Suppose -3*w + 72 = 24. Let q = 9 - w. Is q at least -5?
False
Let l be 14 - (0/(-1))/1. Which is smaller: 12 or l?
12
Let v(l) be the second derivative of l**5/20 + l**4/2 + l**3/6 + 3*l**2 + 3*l. Let n be v(-6). Is n at most -2/31?
False
Let v(y) = -2*y - 13. Let b be v(-6). Let z be 0 - ((-4)/42 + 0). Is z bigger than b?
True
Let u(v) = -v**2 - 12*v + 9. Let b be u(-11). Let q be (1 + -26)*8/b. Is -10 bigger than q?
False
Let x = 6164350/2646007 - 2/203539. Let u = x + -34/13. Which is smaller: u or -1?
-1
Let j = 2.9 - 3. Let d = 6 + -4.5. Let i = 1.5 - d. Which is greater: i or j?
i
Let h = 48 + -145/3. Suppose 2*g = 3*q - 5, 0 = -q - 1 + 2. Let r be (-1*(-1 - 0))/g. Which is smaller: h or r?
r
Suppose 0*l + 3*l - 6 = 0. Suppose 0 = l*o - 3*o. Suppose -5*p - 3*v = 3, 4*p + 2*v = -o*p - 2. Is 0 less than p?
False
Let h = -0.4 + 0.1. Suppose 0*g = 4*g + 3*i + 2, -18 = 4*g - 5*i. Let o be (-1)/(g/(-4) + -2). Which is smaller: o or h?
h
Suppose -12*i = -8*i + 4. Let b = i + 2. Let r be (-6)/22*2/3. Which is greater: b or r?
b
Let k be (-10)/55 + 26/22. Let q = k - -1. Let t be 26/(-42) - q/(-6). Which is smaller: -1 or t?
-1
Let r = -44 - -42. Which is smaller: r or -12/17?
r
Suppose -237 + 1070 = n. Let d be (-3)/(-12) + n/12. Let a = d + -69. Which is smaller: -1/4 or a?
-1/4
Let m be 2 + -1 + 73*-1. Let p be 16/m - (-20)/9. Suppose -6 = -a - p*a. Is a at most 2/3?
False
Let l = 0.2 + -0.2. Let o be (1/2)/(4/384). Let h = o + -143/3. Which is bigger: h or l?
h
Let q(k) = -k**3 - 15*k**2 + k + 16. Let t be q(-15). Which is smaller: 0 or t?
0
Let q(d) = -d**2 - 5*d + 5. Let s be q(-6). Let o = -5 - -5.8. Let g = -0.2 - o. Is s less than g?
False
Let j = -29.62 + -1.38. Which is smaller: j or 2?
j
Let y(j) = 2*j**2 + 3*j + 1. Suppose 15 = 3*s + 2*s. Let f(t) = -5*t**2 - 5*t - 2. Let m(r) = s*f(r) + 7*y(r). Let c be m(6). Is c < -2/7?
False
Let v = -9 + 9. Is -6/5 > v?
False
Let d = -44 - -44.3. Is d >= 24?
False
Suppose -2*p = 3*k - 0*k + 11, 3*k = 5*p + 17. Suppose 4*u + 3 = 7. Which is bigger: k or u?
u
Let t be (-2)/5048*(4 + -1). Let s = 537591/17668 - t. Let f = -30 + s. Which is smaller: f or 1?
f
Let n = -0.7 - -1.2. Which is smaller: n or -2/9?
-2/9
Suppose -9*d + 7*d - 4 = -2*c, 2*c - 8 = -2*d. Which is bigger: d or -2/159?
d
Let n be 5/2 - 6/(-4). Suppose 6*r = 2*r + n*b + 16, r - 24 = 5*b. Let t = -0.01 - 0. Which is smaller: r or t?
r
Suppose -2*d + h = -3*h + 20, 0 = -5*d + 2*h - 10. Let t = -9 - -25. Let w = t - 33/2. Which is smaller: w or d?
w
Let f(m) be the third derivative of -m**5/60 + m**4/6 + 2*m**3/3 - 3*m**2. Let x be f(5). Is -3 >= x?
False
Let x = 14 + -38. Let o be x/15 + 2 + 0. Let c(u) = -u**3 + 5*u**2 - 4*u + 2. Let v be c(4). Which is smaller: o or v?
o
Suppose 5*j = 26 + 84. Is j bigger than 22?
False
Let g = -195 + 1757/9. Suppose -2*o + 2*o = -o. Is o <= g?
True
Suppose 0 = -5*s - 2*y, 2*s - 2*y = -0*s. Which is greater: s or 5/8?
5/8
Suppose 2 = -3*l + a, 0 = 3*l - 0*a + 3*a + 6. Which is greater: 6 or l?
6
Suppose 5*w + 105 = -0*w. Is w greater than or equal to -21?
True
Let p(k) = -k**3 + 8*k**2 - 11*k + 24. Let w be p(7). Is w >= -5?
True
Suppose -2*t = 2*u + 3*u - 7, 0 = t - 3*u + 2. Do 1 and t have the same value?
True
Suppose 0 = -5*c + 2*c + 36. Suppose -3*w - c = -3. Does w = -3?
True
Suppose -i - 5 = -3. Let w = 3/56 - 183/280. Which is smaller: i or w?
i
Let n be (-3 - -2)/((-2)/22). Let w = -15 + n. Which is greater: -5 or w?
w
Suppose -4*o + o = -2*m - 17, -3*m = 3*o + 3. Suppose 0 = -k + o*k - 6. Let y be 1 + ((-3)/k - -2). Which is bigger: y or 1/2?
y
Let k = -1.3 + 1.31. Let g = -3.09 - -3. Let f = g - k. Which is smaller: f or -6?
-6
Let u be (-33)/(-63) - 2/(-14). Which is bigger: u or 5?
5
Let k(l) = -11*l - 1. Let f be k(-2). Let v be (-78)/27*f/116. Let z = -2/87 - v. Is z smaller than 3?
True
Let b(x) = 2*x - 8 + x - x. Let s be b(6). Let k = s + -4. Do 0 and k have different values?
False
Let d = 7 + -11.2. Let r = d + 0.2. Is r at most -1/3?
True
Suppose -4*h + 0*h - 3*j + 205 = 0, -3*h = -2*j - 141. Let b = -389/8 + h. Which is smaller: b or 1?
b
Let w(j) = -j - 1. Let s(k) = -5*k**2 + 65*k + 1. Let y(c) = -c**2 + 16*c. Let z(v) = -2*s(v) + 9*y(v). Let p(i) = 6*w(i) + z(i). Let o be p(-9). Is 2/5 > o?
False
Let g be 3 + (-102)/20 - -2. Let n be 0/(0 + 2/(-2)). Is g greater than n?
False
Let s be ((-2)/62)/(8/16). Do -1 and s have the same value?
False
Let c(p) = -3*p + 2. Let n be c(0). Do -5 and n have the same value?
False
Suppose 2*x = -3*x + 10. Suppose 5*a + 2*v = -5, 9 + 4 = -a + x*v. Which is smaller: a or -1?
a
Let z = 2/53 - 59/159. Suppose 0 = v + 4*v + 2*d - 4, -6 = -v - 3*d. Is z not equal to v?
True
Let d = 112/33 + -52/11. Let c(f) = f**3 + 8*f**2. Let y be c(-8). Suppose y = -0*h + h + 2. Is d not equal to h?
True
Suppose 7 = -g + 4. Let d be 31/11 + 0 + g. Is d bigger than 1?
False
Let h = -704993/5 - -140507. Let t = 523169/1065 + h. Let m = t - -2/71. Is m != 1?
True
Let v be (2 - 44/2) + -2. Let s be 760/55 - 4/v. Let w be ((-8)/s)/(2/(-7)). Is w < 3?
True
Let v = 37 + -37. Which is bigger: 2/63 or v?
2/63
Let k be 2 + (1280/(-84))/8. Is 0 at least k?
False
Suppose 0*y = -5*y. Let z(w) = -w + 12. Let m be z(y). Is m less than 2/7?
False
Let b = -3 - 0. Is b at most -0.3?
True
Let l = -1 - -4. Let r = l - 3.6. Let k = 0.5 + r. Do k and 5 have different values?
True
Let m be (12/(-10))/((-9)/120). Suppose -5*k - 2 = 2*i - 0*k, 2*k + m = 3*i. Let a(y) = -3*y**3 + 2*y**2 + 3*y + 2. Let f be a(-1). Are f and i unequal?
False
Let z = -29 + 31. Suppose 5*i - 8 = -3. Which is greater: i or z?
z
Let m be 9/(-20) - 10/(-25). Is -1 less than m?
True
Let v(m) = -m**3 - m + 2. Suppose 2*u = 3*u. Let o be u*-2*(-3)/(-12). Let y be v(o). Which is greater: y or 1/2?
y
Let s be (-3)/5*4/(-6). Let f be 2 - (2 + 0) - -4. Suppose -y - 5 = f*y. Which is bigger: s or y?
s
Let h = -28 + 27. Let t = 24 - 71/3. Which is smaller: t or h?
h
Let w = -9821/12 + 2291/3. Let