?
True
Suppose 2*t - t = -6. Let r be (3 - 1)*t/3. Let d be 3/3 - r/(-20). Which is bigger: 1 or d?
1
Let k(m) = -8*m**2 - m. Let h(x) = -8*x**2 - x. Let o(y) = -4*h(y) + 3*k(y). Let p be o(-1). Do 5 and p have different values?
True
Let o = 0.05 + -0.18. Which is bigger: -2 or o?
o
Suppose 8*w = 5*w, 2*w = -5*t. Does t = -21/20?
False
Let b = -11 + 10. Let l be 7 - (2 + 2 + b). Is l greater than or equal to 5?
False
Let p(k) = 2*k**2 + k. Let z(o) = o**2. Let f(h) = 2*p(h) - 5*z(h). Let r be f(3). Let t be -1 + -3*(-1 - -2). Which is smaller: r or t?
t
Let r be (-32)/(-6)*(-54)/(-8). Let z be (2/(-6))/((-6)/r). Suppose -3*g + 30 = z*g. Is 5 at most g?
True
Let s = -36 - -50. Let o be 1/(-7) - (-16)/s. Which is smaller: -1/7 or o?
-1/7
Let i be ((-1)/22)/(1/8). Which is greater: -1 or i?
i
Suppose -5*p - 62 = -7. Which is smaller: 2 or p?
p
Suppose 5*f = -3*h - 5, -1 = -2*f - 3. Let a be 2/(-1 - h - -3). Suppose -3 + a = -2*k. Is -1/6 smaller than k?
True
Let n = -6.3 + 0.3. Let m = 5 + n. Which is greater: m or -0.1?
-0.1
Let n = -1 + 3. Which is smaller: n or 2/19?
2/19
Let q = 12 - 6. Let v = 3 - q. Which is smaller: 1/3 or v?
v
Let n be (2 + -1)/(1/9). Is n at least 8?
True
Suppose 4*p = -3*a + 2*a + 6, 6 = 3*p. Let s be 3/2 - 1/a. Let d = 0.1 - 0.1. Which is bigger: s or d?
s
Suppose 4*a - 37 = -3*l, 2*a + 1 = 3*a - 2*l. Let d = a - 5. Suppose 0 = d*z - 5*z - 6. Is z equal to -1?
False
Suppose 0 = -3*r + 4*r + 2*n + 6, 24 = -4*r - n. Which is smaller: 1 or r?
r
Let z = 1/5 + 3/10. Let j = 0.2 - 0.2. Is j != z?
True
Let v = -0.36 - -0.3. Let j = -3/44 + -2/11. Which is smaller: j or v?
j
Suppose -4*c = -9*c - a + 5, -3*c + 3 = -3*a. Let i be (21/(-6) - -3)/c. Which is greater: i or -2?
i
Let l = -139/4 - -81/2. Which is greater: l or 5?
l
Let z = -1 - -2. Is -2 greater than or equal to z?
False
Let d = 0.4 - 1.4. Is d smaller than -0.06?
True
Suppose -6*n - 76 = 128. Is -34 < n?
False
Let n = 2278/5 - 452. Are 5 and n equal?
False
Let f be ((0 - -1) + -2)*0. Let k be 10486/52 - 2/(-4). Let u = 202 - k. Is u <= f?
True
Let c be 5*(3 - (-1026)/(-345)). Let a = -63/46 - c. Do -0.2 and a have the same value?
False
Let u(b) = b**3 - 10*b**2 + 8*b + 7. Let z be u(9). Suppose x - 12 = 3*l, 0*x - 14 = 4*l - 2*x. Which is bigger: z or l?
z
Let o(i) = 2*i**3 - 4*i**2 + i + 2. Let a be o(2). Is a not equal to 5?
True
Suppose 2*y = 4*y - 206. Let j = 925/9 - y. Which is smaller: j or 0?
j
Suppose 18*q = 19*q. Is 3 at least as big as q?
True
Suppose 9*a = 11*a + 44. Which is bigger: 1 or a?
1
Let n = 9/25 + 73/75. Let k(w) = -6 + 5 + w**2 - 4*w + 3. Let s be k(4). Which is smaller: n or s?
n
Suppose 3*h - 3*c + 5 = 17, 5*h + 7 = -4*c. Which is greater: 1/13 or h?
h
Suppose -5*r + 2 + 8 = 0. Suppose r*y + 3*a - 11 = 0, -3*a = -3*y + a - 9. Is -2/7 >= y?
False
Let o = -4 - -6. Suppose -1 = -3*u + 5. Suppose -u = -0*x - o*x. Is x <= -2/11?
False
Suppose 0 = -5*x - 0*x. Let s = 3 + x. Let n = -25 - -53/2. Are s and n unequal?
True
Let i = -23 - -23. Let n be (-1)/(1/(1/(-1))). Do i and n have the same value?
False
Let q(x) = -x**3 + 3*x**2 + 6*x + 5. Let p be q(4). Suppose -3*r = p - 31. Which is bigger: r or 7?
7
Let l(a) = 11*a - 1 - 22*a + a**2 + 12*a. Let z be l(0). Let y be 1 + (-3)/(-6)*-2. Is y greater than z?
True
Suppose -2*q = q - c + 6, 3 = -5*q + 4*c. Let f be 3/(-2) - (-1)/(-2). Is q at least as big as f?
False
Let w = 0.066 - -3.934. Let p(g) = g - 8. Let t be p(8). Suppose t = 4*i + 4. Which is smaller: w or i?
i
Suppose 2*p = 3*p - 2. Let r = -4 + p. Is -1 less than r?
False
Let u be 805/12 - (-4)/16. Let x = -68 + u. Is x bigger than -0.5?
False
Let f be (10/5)/(4/26). Is 11 greater than or equal to f?
False
Let f(r) = r**3 - 8*r**2 - 10*r + 18. Let s be f(9). Is s at most as big as 9?
True
Let u = 3 + -9. Let i be (u/(-4))/(1/(-2)). Let t = -3 - i. Do t and -2/7 have different values?
True
Let x(m) = 12*m**2 - 4*m + 6. Let o be x(3). Is 101 greater than o?
False
Let g be (4/(-2))/(18/(-426)). Is 46 at most as big as g?
True
Let s be (-9)/36*(0 - 28). Suppose 0 = m + 4*m - 35. Are s and m unequal?
False
Suppose -2*s = 2*s - 4. Which is smaller: 12/11 or s?
s
Let q = 3.47 - 3.5. Which is smaller: q or -2/3?
-2/3
Let n = -0.3 + 0.3. Let k be 26/(-8) - 1/(-4). Let f be 4/k - 8/12. Which is smaller: f or n?
f
Suppose -d + 4 = d, 4*d + 2 = 5*f. Suppose -5*j + r + 14 = -11, 0 = f*j + 4*r + 12. Suppose u - j = 3*u. Which is greater: -1/2 or u?
-1/2
Let r = -5898058/741 - -102130/13. Let v = -310/3 - r. Suppose 3 - 13 = 5*d + i, i = -2*d - 7. Is d greater than v?
False
Suppose -39 - 49 = 4*g. Is -22 at most g?
True
Let j(g) = -6*g + 7. Let q be j(-5). Suppose -3 - q = -4*n. Is 9 bigger than n?
False
Suppose 0 = -2*r + 3*i - 7, 0 = -0*r - 2*r - 2*i - 2. Is 1 less than r?
False
Let f(h) = -h**3 + 5*h**2 + 4*h + 8. Let b be f(6). Let x be (-1)/b - 212/720. Which is smaller: x or 1?
x
Suppose -b = 2*b. Let c = 16 - 17. Let v be b/(-5 - -3)*c. Which is smaller: v or -2?
-2
Let m be (-5)/(-170)*(-99)/6. Let q = -4/17 - m. Is -14 less than or equal to q?
True
Let l(p) = -p**2 - p - 1. Let z be l(0). Let k be ((-10)/6)/((-35)/(-30)). Which is smaller: k or z?
k
Let t = 188 - 1318/7. Which is smaller: t or 23?
t
Let x be (-135)/(-10)*(-16)/(-12). Is x smaller than 3?
False
Let h be ((-48)/(-54))/(4/6) - 1. Is h > 0?
True
Let i = -5 - -5. Suppose -2*n + i = -4. Let a be (n*1)/(40/(-12)). Is 0 <= a?
False
Suppose -2*j - 6 = 2. Are j and -6 equal?
False
Let v = -2 + 10. Suppose 2*c - 4 = -3*j + v, c + j - 4 = 0. Which is smaller: -1 or c?
-1
Let v be 3/(-9) - 1/(-3). Suppose -n + 12 = 5*n. Let i be n/4 + 6/(-9). Is i > v?
False
Suppose 0*g - 2*g + 4 = 0. Let p be 42/(-36) + g/3. Suppose -o - 3 = -1, 3*o + 2 = 2*l. Which is smaller: l or p?
l
Let f be -1 - 25/(-23) - 0. Let p = 19/46 + f. Which is greater: p or -1?
p
Let u(z) = z**2 + 6*z + 12. Let a(x) = 1. Let g(k) = -6*a(k) + u(k). Let o be g(-5). Which is bigger: o or 0?
o
Let k(h) = 2*h - 33. Let i be k(16). Suppose 0*p = p - 6. Is i less than or equal to p?
True
Suppose -3*q - 3*z = -6, 2*z = -0*z. Suppose 5*y - i = 21, i + 0*i - 7 = -q*y. Let p be ((-2)/y)/((-9)/(-6)). Which is smaller: -2/15 or p?
p
Let q = 2 - 3. Let m be 0 - ((-5 - -2) + (-40)/(-14)). Is q not equal to m?
True
Let p(r) = -3*r**2 + 7*r - 8. Let c be p(2). Is -37/8 less than c?
False
Let k = 1 - 2. Let s = 16 + 4. Let n be (4/(-35))/((-8)/s). Which is bigger: k or n?
n
Let y be (-62*3/6)/(-1). Is y <= 31?
True
Suppose -5*n + n - 21 = 3*f, 0 = f + 4*n - 1. Which is bigger: f or -45/4?
f
Let q = -1.77 + 1.72. Is 0.02 bigger than q?
True
Let o = -154/7181 - -1285421/7367706. Let d = o + -3/38. Is 1 at least d?
True
Suppose 2*u - 132 = -0*u. Let z be 10*(3/2 - 0). Let h be u/z + (-2)/5. Is 2 >= h?
False
Let j(c) be the second derivative of -c**4/12 - c**3/6 + c**2 + 3*c. Let h be j(-3). Is h bigger than -4?
False
Suppose -y = -k + 2*y + 256, -3*y = -6. Let q = k - 2884/11. Let s = q - -19/44. Is s greater than 0?
True
Suppose -4*j - 32 = -2*j - 4*i, -3*j - 2*i - 16 = 0. Which is greater: j or -7?
-7
Suppose -2*p - 23 = -5*z, 3*p + 11 = -3*z - 13. Let b = p + 18. Suppose 0 = -4*w + 2*q, 0*w - 5*q + b = -w. Which is smaller: w or 3?
w
Suppose 2*g = 8 + 16. Let h be (-3)/(-1)*(-8)/g. Let u be (1/(-2))/((-1)/h). Which is smaller: 1 or u?
u
Let l be (-15)/39 - (-13 - -13). Which is smaller: -1 or l?
-1
Let g = 5 - 6. Let v be ((-6)/54)/(2/15). Are g and v nonequal?
True
Let z = 10 + -9. Which is bigger: 7/6 or z?
7/6
Suppose -2 = -2*l, 4*l = 2*t - 1 - 1. Let x be 0/(t/(-2 - 1)). Is 4/3 less than or equal to x?
False
Let j = -0.49 - 0.11. Let m = j - -0.9. Suppose 4*d + 12 + 0 = 5*y, 5*d = -15. Which is bigger: y or m?
m
Let p = -12 + 4. Let y = 4 + p. Is 1/2 equal to y?
False
Let n = -2 - 0.4. Let f = -1.2 - n. Let y = -0.2 + f. Which is smaller: 0.1 or y?
0.1
Suppose 4*c - 29 - 3 = 0. Suppose -2*x = 2*g - 5*g - 4, 4*x = c. Let q = -263 - -264. Is q at most g?
False
Let o be 2/(-2) + 2 - 2. Let a = 15/7 + -96/35. Which is greater: o or a?
a
Let t be -3 + (2 - -5 - -1). Suppose 24 + 26 = t*j. Let w be ((-3)/(-6))/((-1)/j). Is w less than -4?
True
Let u = 2 - -4. Let r be (-1)/(((-81)/u)/(-3)). Let j = 13/18 + r. Which is smaller: j or 1?
j
