 x = 3*q - 8, -2*x + 24 = 3*q + x. Which is bigger: q or b?
q
Let z = 113 + -112.95. Does z = -2/5?
False
Let y be 4/14 - 6/(1 + -7). Which is smaller: y or 2?
y
Let n be 1/9*(-12)/(-8). Which is greater: -1 or n?
n
Let q(t) = -t**2 + 11*t - 4. Let a be q(10). Suppose 2*r = -r - a. Is -1 less than r?
False
Let f be -122 + -9 + (0 - 1). Let g = f - -1583/12. Which is bigger: 1 or g?
1
Let g(s) = s**3 - 5*s**2 + 2*s + 2. Let a be g(3). Let p(h) = -h**3 - 5*h**2 + h - 6. Let d be p(-5). Which is smaller: a or d?
d
Suppose -3*g - 28 = 4*q, 2*g + 3 + 1 = q. Which is bigger: 1 or g?
1
Suppose 0*b = 3*b. Is b greater than 2/69?
False
Suppose 11*g - 8 = 3*g. Suppose 6 = 6*h - 3*h. Is g greater than h?
False
Suppose 3 = 2*r + 5. Is r at least -1/9?
False
Let a = 23 + -20.6. Let f = a - 1.8. Is f not equal to 0.1?
True
Let l = 3 + -4. Let g = l + 1. Let c = 1 - g. Which is greater: c or 0?
c
Let r(b) = -2*b**3 - b**2 - b. Let o be r(-1). Suppose -1 = -o*i + 11. Suppose 3*w - i = 4*w. Is w at most 0?
True
Let l = -4 - -3.96. Let q = l - -0.14. Is 0 <= q?
True
Let c = 106 + -110.3. Let w = -4 - c. Let u = -0.4 + w. Which is smaller: -2/7 or u?
-2/7
Let y = -7.4 + 8. Let o = 1 - y. Let q = o + -0.2. Is q greater than 0.1?
True
Let u(o) be the second derivative of o**4/12 + 7*o**3/6 + 3*o**2/2 - 2*o. Let c(l) be the first derivative of u(l). Let m be c(-6). Is m less than -5?
False
Suppose n = 4*i - 3, 5*n = -3*i - 0*n - 15. Do i and 0.1 have the same value?
False
Let k = -22.13 - -22. Let z = -0.13 - k. Which is bigger: z or 3?
3
Let l = -12.1 - -0.1. Which is greater: 0.1 or l?
0.1
Let a be -3 - 1 - (4 + -5). Let x(i) = i**3 + 5*i**2 - 4. Let g be x(-5). Is a bigger than g?
True
Let l be (-17)/(-20) - 2/8. Let p be (-42)/9 - (-1)/(-3). Let n(b) = b**3 + 6*b**2 + 5*b + 2. Let g be n(p). Do l and g have the same value?
False
Let p = -15 + 17. Suppose -3*r + 23 = -4*s, 0*s + 31 = -3*s + 5*r. Let q be s*p/(3*4). Which is bigger: q or -2/5?
q
Let m(u) = u - 8. Let c be m(6). Let q = -6 - -10. Suppose -3*p - 8 = -o, -3*o - 2*o + q*p + 7 = 0. Which is bigger: o or c?
o
Let x be 2/5 - (-2)/(-5). Let w = 3 - 3. Let h = 0.4 + w. Which is greater: h or x?
h
Suppose 7*s + 22 = -2*q + 3*s, 65 = -5*q - 5*s. Let w be 2 + -19 + (-2)/(-2). Which is greater: w or q?
q
Let l be 4/(-10) + 21/(-35). Which is greater: l or -2?
l
Suppose 0 = 4*z - 3*q + 15, -3*z + 0*q - 2*q = -10. Which is smaller: z or -7?
-7
Suppose -a + 0 = 4*g + 6, 4*g = 3*a + 2. Let f(r) = 5*r**2 + r. Let w be f(g). Suppose 9*u - w*u + 5 = 0. Which is smaller: -2/3 or u?
u
Suppose 13*g = 19*g + 12. Let f = -25/42 + 2/21. Is f at most as big as g?
False
Suppose 3*c = 20 - 2. Suppose -c*r = -2*r - 8. Suppose -r*d + 5*d = 9. Is 3 smaller than d?
False
Suppose 0*m + 2*m = -12. Let t be 29/2 - 9/m. Let r = t + -9. Is r <= 6?
False
Let f(m) be the first derivative of m**2/2 + 3*m - 1. Let r be f(-3). Let i be (-3)/(-2)*2/3. Is r < i?
True
Let j be (-5 + 0 - -4)*(1 + -1). Is j at most as big as 2/57?
True
Let v(z) = -z**2 + 7*z + 16. Let g be v(9). Let q(a) = -4*a. Let r(p) = -9*p. Let h(i) = -7*q(i) + 3*r(i). Let j be h(-1). Which is bigger: g or j?
j
Let q(u) = -2*u + 7. Let x be q(3). Is 3/4 less than x?
True
Let v(x) = 7*x**2 - x. Let o be v(-1). Let p(c) = -c**2 + 9*c - 9. Let q be p(o). Is q < -1?
False
Let r = 0.4 + -1.4. Which is greater: -0.2 or r?
-0.2
Let q = 3 + -4. Let t = 6 + -10. Let y = t + 3. Is q < y?
False
Let s = 438653/541051 - -1/14623. Let y = -404/407 + s. Suppose 3*n - 3*z = -2*z + 1, n = -2*z - 9. Do n and y have the same value?
False
Let f(i) = 30*i - 6. Let s be f(-8). Let j = -2212/9 - s. Let b(k) = -k + 4. Let a be b(4). Do a and j have different values?
True
Let q be 6/(-27) - (-14)/(-18). Let w = 3 - 4. Is w at least as big as q?
True
Suppose -11*v + 9*v = -4. Let h be ((-1)/(-2))/((-1)/(-2)). Which is smaller: v or h?
h
Let q(r) = r + 3. Let b be q(-6). Let j be (3 - 1)*(-1 - b). Suppose 5*z + 0*z - 4*l - j = 0, -l - 1 = -5*z. Is 1/4 less than or equal to z?
False
Let w be (-5)/12*-3*36. Let m = w - 181/4. Let t = 5.2 - 5. Which is bigger: t or m?
t
Suppose -4*p = -p - 12. Which is smaller: p or 3?
3
Suppose -i - 6 = -4. Let q be -1*(i + -1 - -2). Which is smaller: q or 3?
q
Let j = 19 + -10. Let c(d) = -d**2 - 8*d + 7. Let o be c(-8). Which is smaller: o or j?
o
Let p = 116 + -122.3. Let o = p - -6. Is 1 at least as big as o?
True
Let i(t) be the first derivative of t**3/3 - 5*t**2/2 + t - 2. Let z be i(4). Which is greater: z or -2?
-2
Let i be 0/((-3)/((-9)/3)). Suppose i = -k - 2, 3*a + 5*k = 3*k - 49. Let u be 21/a + (0 - -1). Which is smaller: u or 3/4?
u
Let f(g) = g + 1. Let y be f(-13). Let u = y + 25/2. Which is smaller: 5 or u?
u
Suppose 4*p + 20 = 5*u, p - 3*u + 12 = -2*p. Which is smaller: -1/4 or p?
-1/4
Let c be ((-1)/2)/(3/2). Let y be (3/4)/((-2)/8). Let p = y - -3. Which is smaller: p or c?
c
Let z(w) = w - 4. Let b be z(0). Let q(f) = -f**2 - 3*f + 4. Let i be q(b). Which is smaller: -4/7 or i?
-4/7
Suppose o - 80 = -3*o. Let w = o + -184/9. Is w greater than or equal to 1?
False
Suppose 2*t + 4 = -0*t + 4*g, 12 = 4*t - 3*g. Suppose -3*k + 3*w + t = 0, -2*k - 5 = -2*w - 3*w. Is k not equal to 1?
True
Suppose -3*l + 5*l = 4. Suppose -c + l = 1. Let x be 3/(-5)*2/(-6). Is c greater than x?
True
Let c(s) = s**3 + 4*s**2 + 5*s + 3. Let a be c(-3). Which is smaller: a or 0?
a
Let q be 2/7 + (-12)/(-7). Let m be (-1)/6 - 1/(-6). Let c(o) = -o + 2. Let j be c(m). Is j greater than or equal to q?
True
Suppose -5*y = -3*p - 7, 2*y - 3*p - 9 = -y. Suppose 6 = r - 0*r. Suppose r = -4*l - 2. Which is bigger: l or y?
y
Let c(d) = d**2 - 3*d - 1. Let p be (-4)/(-14) + (-12)/(-7). Let v be c(p). Let g(h) = h**3 - 5*h**2 - 8*h + 8. Let q be g(6). Is q greater than v?
False
Suppose 22 = 5*l + 3*y + y, -2*l - 4*y = -4. Suppose 0 = 4*r - l*r. Which is smaller: 3/4 or r?
r
Let n(r) = -10*r**2 - 22*r + 3. Let i(x) = -3*x**2 - 7*x + 1. Let z(l) = -7*i(l) + 2*n(l). Let y be z(-5). Which is smaller: y or 1/3?
y
Suppose c = -0*c + 22. Suppose -23 = 2*j + 5*r, j = 3*j - 4*r - c. Let s be 0/(-4 + j/1). Is s at least -3/8?
True
Let z = 0 - 0. Suppose 4*d - 5*i = -311, -d - 4*d - 4*i = 358. Let k = 293/4 + d. Is z bigger than k?
True
Suppose -2*w - 48 = z, 19 = -4*w + 3*w - 3*z. Which is smaller: w or 0?
w
Let c = 22 - 27. Let o = 6 + c. Which is bigger: 13/6 or o?
13/6
Let k be (-4)/18 + 440/(-693). Is k bigger than -1?
True
Let c be -14 + (2 - 0/(-1)). Let j be (c/(-21))/((-2)/3). Is j >= -1?
True
Let x be (-140)/(-204) - (-3)/(-9). Is 1 less than or equal to x?
False
Let f(j) = 2*j + 73. Let p be f(-29). Which is greater: p or 20?
20
Let t be 2*(-6)/(-3 - 0). Suppose z = t*r - 2 + 11, -3*z = 3*r + 18. Is z <= -1?
True
Let n = 41 + -221. Let j be 141/n - (-1)/4. Let z = j + -2/15. Do 0 and z have the same value?
False
Let w be 1 - (-4 + (3 - 1)). Are 2 and w unequal?
True
Let r be (-2)/(-2)*0/(-2). Let l = 31 + -30.79. Let u = l - 5.21. Is r greater than u?
True
Let m = -57 - -173/3. Let q = -11 - -6. Let n = q + 7. Is n < m?
False
Let b be ((-6)/(-54)*-3)/1. Which is smaller: 66 or b?
b
Let r(k) = -8*k - 9. Let p be r(-2). Which is smaller: p or 8?
p
Let y be 15/(-10) + (-1 - (-2)/(-4)). Suppose -3 = 3*v, 5*w + 0*w - 3*v = -12. Are w and y nonequal?
False
Let b be (6067/22)/(3/6). Let l = b + -551. Which is smaller: 2 or l?
l
Let o = -114 + 67. Let l = o - -139/3. Which is smaller: -1/2 or l?
l
Let o(c) = -c**2 + 6*c - 6. Suppose 4*p - 20 = 0, -6*f + 2*p + 5 = -3*f. Let z be o(f). Which is greater: 0 or z?
0
Let k be 3/(-4)*(-8)/(-12). Which is smaller: k or -1.3?
-1.3
Let h(b) = -b - 5. Let m be h(-9). Let j = 5 - m. Is j not equal to 1/11?
True
Let d = 0.4 - 3.4. Let h = d - 2. Let y = h + 4. Which is bigger: -1/5 or y?
-1/5
Suppose 3*w = w + 40. Suppose -4*j + 5*f = 9 + w, -3*f + 13 = 2*j. Which is smaller: j or 1?
j
Suppose -2*z = -0 + 2. Which is bigger: -3 or z?
z
Let y(u) = -u + 3. Let q be y(0). Let k(n) = -n + 9. Let d be k(5). Which is smaller: d or q?
q
Let y(s) = -s**3 - 6*s**2 + 7*s - 4. Let z be y(-7). Let d be 1/z*4/3. Suppose 8*u = -9*u + 17. Which is bigger: u or d?
u
Let b = -20 + 18. Which is smaller: 29 or b?
b
Let z be (-3)/(-4) + 1/4. Suppose -z = -5*s + 14. Wh