?
True
Suppose 8 + 7 = 5*z. Let p be (-1 + 22/16)/z. Which is smaller: p or -1?
-1
Let b = 1.1 - 0.1. Let z = -4408/15 + 294. Are b and z equal?
False
Let h(s) = s**3 - 3*s**2 - 1. Let k be h(3). Suppose -16 = p - 5*r, 0*r + 9 = 3*r. Is k <= p?
True
Let x = -28 + 29. Is x bigger than -2?
True
Let v be 0 + -4*(3 - (-38)/(-12)). Let x = -2 - -3. Which is bigger: x or v?
x
Let w = 247/20 - -19/60. Which is bigger: 14 or w?
14
Let m = -6/11 + 31/77. Let a = m + 13/140. Which is greater: a or -0.1?
a
Let m = 3 + -8. Let c = -6 - m. Are c and -0.5 equal?
False
Let t(f) = -f**3 - 4*f**2 - 2*f - 4. Let h be t(-4). Suppose h*y + 7*o - 4*o = -13, 9 = -3*o. Let m = 1 + -2. Is y != m?
False
Let g be -1*1 - 4/1. Suppose 0 = -40*m + 16*m - 72. Is m at least as big as g?
True
Let y = 6 + -8. Let a(d) = -d + 1. Let l(p) = -3*p + 1. Let q(t) = y*a(t) + l(t). Let c be q(1). Which is smaller: c or -1?
c
Suppose 7*k - 12 = 4*k. Suppose -k*u + 9 = -u. Let x be u*(28/(-30) + 1). Which is greater: 1 or x?
1
Let h = -0.16 + 13.16. Let y = h + -14. Is y at most as big as 3?
True
Let k(h) = -h**3 + 4*h**2 + 4*h - 4. Let f be k(4). Let i be (-2 + f)*(-2)/12. Which is bigger: -3 or i?
i
Let w be 6/27 - 30/(-54)*5. Which is smaller: w or 20/7?
20/7
Let v = 5.1 + -6. Let m = -0.9 - v. Is m <= 0.11?
True
Let r = 51 - 152/3. Suppose 0 = -a + 6*a. Is a at most r?
True
Suppose 4*m + 4 = 0, -69 = -3*f - 5*m - 17. Which is bigger: 0 or f?
f
Let c be 1 - (1 + 2/68). Is c at least as big as -1?
True
Let u be 2/3*54/(-12). Which is smaller: u or -2?
u
Let t(c) = c**3 - 5*c**2 - c + 4. Let i be 5/3*3 - 0. Let r be t(i). Let a be 2/(-5 - -1)*4. Which is smaller: a or r?
a
Let l(b) = 5*b**3 + 6*b**2 + 9. Let j(w) = -4*w**3 - 6*w**2 - 8. Let f(y) = -4*j(y) - 3*l(y). Let p be f(-6). Which is smaller: 0.1 or p?
0.1
Let d be 50/(-6) + 10/(-15). Which is greater: d or -6?
-6
Let l = -74 + 279. Let u = l + -1847/9. Which is bigger: -1 or u?
u
Let o = -0.13 - -1.13. Let k(m) = 4*m + 3. Let f be k(-3). Let g be ((-2)/(-3))/(1/f). Is o <= g?
False
Let c = 1 - 3. Let d be (3 - 4) + (c - -4). Is 2/19 bigger than d?
False
Let x = 1 + 3. Let m = x - 3. Which is smaller: m or 1/8?
1/8
Let i be (-1 - -2)*0/(-13). Which is smaller: -1/13 or i?
-1/13
Let x be 4 - ((-6)/(-3) + -3). Let k be x - 1 - (2 - 0). Let o(v) = 2*v. Let g be o(1). Is g less than k?
False
Suppose -2*n + 5 = 19. Is n <= 2?
True
Suppose -6*t + 2*t = 0. Suppose t = -5*f + 12 + 3. Let y = -3 + 5. Which is smaller: f or y?
y
Let q = 110510/7 - 87580/7. Let f = q + -3352. Let l = f - -76. Is l at least as big as 0?
False
Let c(q) = -q**2 + q - 4. Let k be c(0). Let m be ((-6)/(-4))/(2/(-4)). Which is bigger: k or m?
m
Suppose 0 = 18*a - 14*a + 8. Let r be (-2 + 3 + a)/1. Is r equal to -3/13?
False
Let a = -46 - -26. Let v be 2/(-5) - (-12)/a. Is v greater than or equal to 1?
False
Let p = 34 + -31. Let l be p/9*(0 + -2). Let y be (-4)/6 - (-4)/6. Is l greater than or equal to y?
False
Suppose 0*t + 4*t = 0. Let x be (-340)/6*(-4)/10. Let s = -23 + x. Is t >= s?
True
Let a = -18 - -26. Let x be 1/(1 - a/12). Is x equal to 9/5?
False
Let r = -7 - -14. Let o = r - 10. Let a = o + 3.1. Is -2/5 smaller than a?
True
Suppose 3*d - 27 = -u, -d + 2*d - 17 = -3*u. Suppose -w - 3*w + 3*s = 16, -2*w - 3*s - d = 0. Are w and -5 equal?
False
Suppose -4 = x, 2*i + 12 = -0*i - 2*x. Let w(q) = -q + 2. Let d be w(i). Suppose 4 = -d*c - 8. Which is greater: -1 or c?
-1
Suppose -2*q = -5*q. Suppose -4*g = -7*g + 4*s + 10, q = 4*g + 3*s + 20. Which is greater: g or -4/5?
-4/5
Suppose 6*p - p = 0. Suppose -5*z + 3 - 13 = p. Is z > -3?
True
Let i be (1/1)/(-1) + 3. Suppose -20 = -7*h + 1. Does i = h?
False
Let s be -3 + 198/32 + -3. Let o = -1/16 - s. Which is bigger: 0 or o?
0
Suppose -7 = -4*s + 1. Suppose t = -0*t - s*m - 6, -2*m - 8 = 0. Which is smaller: 3 or t?
t
Suppose 2*x - 2*k = -8, -2*k = 3*x + k + 36. Is -10 not equal to x?
True
Let r = -4 - -7. Let q = 0.8 + 8.2. Let z = -10 + q. Is r smaller than z?
False
Let x be 0*4/8 + -5. Let a(p) be the first derivative of -p**2/2 + 1. Let q be a(6). Is q > x?
False
Let w = 1 + 1. Suppose -3*u = -u + 3*b, -b + 4 = 2*u. Suppose 0 = -u*y - w*y. Which is smaller: y or 1?
y
Let z = -183/4 + 46. Which is bigger: -0.4 or z?
z
Suppose -8 = -3*n - n. Let t be 2/(-4)*(-6 + n). Suppose 0*f = -t*f + 2. Does -1 = f?
False
Let k = -2482/247 - -132/13. Let w be -2*2*(4 + -2)/(-8). Which is smaller: k or w?
k
Let m = 12.9 - 13. Which is smaller: m or 0.1?
m
Suppose -3*k + 1 = 3*q - 5, -2*q + 4*k = -4. Are q and 10/3 equal?
False
Suppose -p = -0 - 3. Suppose 0 = x - 5*k - 8 - 5, 3*x = 5*k + 19. Is p <= x?
True
Let c be (2/6)/(4/6). Let t be (-1)/5 + (-13)/((-195)/18). Is c smaller than t?
True
Let a(f) = -5*f + 2. Let s be a(-1). Let h = 10 - s. Is 3 less than h?
False
Let l = 14 - 18. Let f be 69/(-6) - 6/l. Which is greater: 0 or f?
0
Let o(i) = i**2 + 3*i. Let c be o(-4). Let y = 5 + -5. Suppose -2*b - c*s = 10, 4*b + b - 2*s - 23 = y. Is 3 bigger than b?
False
Suppose -4*u - 4*q + 16 = 0, 3*u - 2*q = -2*u + 48. Let i be (-2)/14 + u/(-28). Is i at least 1?
False
Let r = 0.1 - 2.1. Let o(k) = k**2 - 7*k - 9. Let v be o(8). Does v = r?
False
Suppose 4*b + q = -8, 4*b - 2*q + 28 = 2*q. Does -6 = b?
False
Let l(h) = h + 3. Suppose 2 = -2*p - 6. Let n(f) = -f**3 - 5*f**2 - 3*f - 2. Let x be n(p). Let m be l(x). Is -4 at most m?
True
Let s = 8 - 31. Do 1 and s have different values?
True
Let d be (22/(-165))/(2/(-6)). Let l = -0.03 + -0.1. Is d bigger than l?
True
Let u(o) = -o**3 + 9*o**2 + o - 5. Let q be u(9). Let z = q - 5. Which is smaller: z or 0?
z
Suppose -5 - 3 = -2*k. Are k and 1 nonequal?
True
Let b(w) = w**3 - 11*w**2 + 9*w + 9. Let o be b(10). Which is greater: -2 or o?
o
Let o(w) = w**3 + 3*w**2 - 3*w - 5. Let a be o(-7). Let x = -3599/20 - a. Suppose 4*g = 2*r + 8, -g - 2*r = -3 + 11. Which is greater: x or g?
x
Let j(v) = 3*v + 3. Let a be j(-6). Which is greater: a or -13?
-13
Suppose -3*a - 15 = 2*a. Let b be (-2)/4*(-4)/(-2). Is a greater than b?
False
Let g = -112 - -118. Let y = 2 + 2. Is y smaller than g?
True
Let f be 6/(-3) + 1/1. Which is smaller: f or 2/39?
f
Let d(m) = 2*m. Let b be d(5). Suppose 5*y = -0*y + b. Let p be (-2)/(3 + (-3 - y)). Is p at least -2/5?
True
Suppose -2*h = -0*h. Let d = -83/20 - -15/4. Is h greater than d?
True
Suppose -3*g + 2 = 8. Let t = -198 + 209. Is t at most g?
False
Let s = -17 - -77. Suppose 2*v - s = -3*v. Is 12 at least as big as v?
True
Let s be (3/9)/((-2)/(-12)). Suppose 0 = -s*j + 4*k + k - 8, 0 = 3*k. Which is smaller: -2 or j?
j
Let g(s) = -3*s. Let z be g(2). Let o be -12*(1 + 21/6). Let d be z/39 - o/13. Are d and 4 equal?
True
Let k = 3 + -3. Let c = k - 1. Is c at least as big as 7/5?
False
Suppose r = 3*r. Let p be (-1 - r)/(-3)*-3. Let u be 1/4*8/(-6). Is u > p?
True
Let z = 103 + -108.3. Let o = z + 5. Which is smaller: o or -1?
-1
Suppose 2*s - 112 = -2*q, 2*s - 92 = -0*s + 3*q. Let g = s + -574/11. Let u(b) = -b**3 - 3*b**2 - 2*b - 1. Let c be u(-1). Is c equal to g?
False
Let z = -9 + 13. Let a = 18 + -18. Suppose -2*k = -a*k + u + 2, 4*k - 20 = z*u. Is 0 greater than k?
False
Let d = 23 + -17. Let y be (d/(-9))/((-51)/9). Which is smaller: y or 0?
0
Let c be 7 - ((0 - 0) + 2). Suppose -17 = -c*s - 7. Are 3 and s non-equal?
True
Let g(r) = -r**3 + 15*r**2 + r - 7. Let h be g(15). Let p = 16 - 7. Which is smaller: p or h?
h
Suppose -h = 1, -2 - 3 = -5*c + 5*h. Let n(t) = -3*t**3 + t**2 + t. Let y be n(-1). Suppose y*w = -0*w. Is w at least as big as c?
True
Suppose 0 = 3*p + n - 26, 24 = 2*p + 4*n. Suppose 0 = -j + 2*r + 3*r + 17, 0 = -2*r - p. Does j = -3?
True
Suppose 0 = 2*m - 6*m + 8. Let t be 2/8 - m/(-56). Which is smaller: -1 or t?
-1
Let m(z) = -2*z**2. Let i(g) = g. Let x(u) = -i(u) + m(u). Let o be (-2)/(-6) + (-4)/3. Let j be x(o). Which is smaller: j or -2?
-2
Let t be (3/(-57))/(1/3). Let u(k) = k**2 - 14*k + 49. Let w be u(6). Is t at least as big as w?
False
Let s be 8/6*90/4. Suppose 6 = 5*y + 4*t - 8, 0 = 3*y - 3*t - s. Which is smaller: 5 or y?
5
Suppose 5*w - 4*w + 16 = 0. Let g be -5*(-1)/(20/w). Which is smaller: g or -3?
g
Suppose 4*s - 19 = 13. Let p be (-3)/(-2)*s/(-6). Let g = -1 + -1. Is p equal to g?
True
Suppose -10