?
g
Suppose 4*p + 4 = -4*v, -3*v = -v + p + 1. Let a = -88737/8 - -11120. Let o = 28 - a. Is v less than o?
True
Let b = 55 - 54. Which is greater: 1/10 or b?
b
Let a = 7 + -5. Let n be a - (1 + 0/1). Let l be n/((-3)/(7 - -2)). Which is greater: 1/4 or l?
1/4
Let v = 180.206 - 180. Let f = 0.004 + v. Which is bigger: f or -1/4?
f
Suppose -3*d = 3*i - 6, -4*d + 5 = 5*i - 5. Suppose 0 = -0*t + 5*t. Suppose t*r = -3*h - i*r + 2, -4*h = 2*r - 6. Are 4 and h equal?
True
Let s = -309/10 + 31. Which is smaller: s or 0?
0
Let n(q) = q**2 - 5*q - 3. Let w be n(5). Let d be (-64)/(-14) - (-2)/1. Let v = d - 173/21. Which is bigger: v or w?
v
Let a(y) = y**2 + 2*y + 3. Let x be a(-2). Let w be 7 - (4 - x)*1. Suppose w*n - 2*n - 4 = 0. Is -1/4 at most n?
True
Suppose b - 4*p = -20, -p = -5*b - 40 - 3. Let i be 2/b*(3 + -2). Which is bigger: -1 or i?
i
Let r(s) be the first derivative of -s**4/4 + 7*s**3/3 + 4*s**2 + s + 2. Let q be r(8). Which is greater: -2/7 or q?
q
Let w = -318 + 4772/15. Is w < 1?
True
Let k = 0.1 + -0.6. Is 9 < k?
False
Let l = 0.2 - 0.3. Let s be -1*5/(-3) - 2. Which is greater: s or l?
l
Let u = 163.15 + -157. Let q = -0.15 + u. Let l = -2 + q. Which is smaller: 0.1 or l?
0.1
Suppose 1 = k - 10. Which is bigger: -1/2 or k?
k
Let s = -5 + 7. Suppose -s*p = -p - 1. Does -2/11 = p?
False
Suppose 2*g = -3*g - 70. Let t be (-6)/g - (-25)/(-91). Which is smaller: t or -1?
-1
Let r be ((-48)/20)/(2/(-10)). Let k = r - 22. Is -1 less than k?
False
Let h = -13460/9 - -1494. Is -3 < h?
True
Let q(y) = 6*y**2 - y**3 + 5 + 0*y**3 - 10*y + 9*y. Let j be q(6). Are -1/42 and j nonequal?
True
Let l(t) = -2*t + 23. Let h(w) = w**3 + 9*w**2 - w + 2. Let v be h(-9). Let a be l(v). Let f be (2/8)/((-11)/16). Which is smaller: a or f?
f
Suppose t = -3*k - 3, -2*k - 3*t - 15 + 6 = 0. Suppose -2*i - 4*v - 8 = 0, -3*i + 2 = -2*i - v. Is i at least k?
True
Let h = -5 - 2. Is -7 less than h?
False
Let p(y) = -y + 1. Let q(k) = 3. Let f(d) = 4*p(d) - q(d). Let b be f(1). Let t be (24/30)/(2/(-10)). Which is smaller: t or b?
t
Let u = -6 - -16. Let q be (3/10)/(12/u). Let x = 3 + -4. Is q >= x?
True
Let a = -0.6 + -1.4. Let d = a + 2. Let q = -0.3 + d. Which is smaller: -0.2 or q?
q
Let a = 0.51 - -1.99. Is a > 3/5?
True
Let p = 2 + 1. Let z be (-1 + 0)*(-8 - -5). Suppose 4*a = -z*q + 3, -2*a - 5*q = -q + 6. Are p and a non-equal?
False
Let g(k) = k**3 - 12*k**2 + 14*k - 33. Let q be g(11). Let j = -9/16 - 3/80. Is j at least as big as q?
False
Let a be 2 - 3 - (-2)/(-2). Let w be 1*(1 + 0/a). Is w > 2/3?
True
Let s = 0.88 - 0.18. Let v = -1 + s. Let x be (-2)/(-5)*(-5)/3. Is v at most as big as x?
False
Let b = 21.1 + -22. Let p = b + -3.1. Is 0.2 less than or equal to p?
False
Let g = -1/331 - -1333/2979. Let h = 14 - 14. Is g <= h?
False
Let s = -5 + -2. Let t = -7.2 - s. Which is bigger: -0.1 or t?
-0.1
Let o be (3 - 5)/(10 + -12). Is o < 2/73?
False
Let l = -5.5 - -5.2. Does 0.2 = l?
False
Let g be (-6)/(-15)*(-5)/8. Which is greater: -2/5 or g?
g
Suppose f - 4*f = 15. Let p(r) = r + 3. Let a be p(f). Let z = 2 + a. Which is bigger: z or 1/5?
1/5
Let s = -0.02 + -1.38. Let n = s - -1.4. Is 0 >= n?
True
Let i = 1168 - 4873/4. Let w = i - -50. Is w greater than or equal to 1?
False
Let o = 155 - 135. Is 23 > o?
True
Let a(y) = -y - 6. Let v be a(-7). Suppose 0 = -3*f - f + 16. Suppose r + 2 = f. Does v = r?
False
Let z = -24 - -21.9. Let s = 2 + z. Which is smaller: s or -0.2?
-0.2
Let l be 2/(-4) + 35/(-14). Let k be (l - 6/(-3))/1. Let b be (-12)/(-9) - (1 + 0). Are b and k unequal?
True
Suppose 0*w - w + 2 = -4*r, 10 = 5*w. Suppose -4*x + 2*t + 10 = r, x - t = 3 + 1. Let v be -3 + 27*8/84 + 0. Which is smaller: v or x?
v
Let m = 2 + -31. Is m at most -28?
True
Let c = -25 + 23. Let y be ((-1)/c)/(230/(-20)). Is -1 bigger than y?
False
Let d(y) = -y**2 - 3*y. Let u be d(-2). Suppose -u*j - 5 = -3. Is j at least as big as 2/23?
False
Let f(x) = 2*x + 1. Let i be f(7). Is i at most 14?
False
Let i = 0.24 - 0.14. Let z = 0.2 - 0.3. Let n = i + z. Which is greater: -2 or n?
n
Suppose 0 = 5*t + 5*z - 25, 3*z = -4*t + 12 + 3. Which is bigger: t or -1/93?
t
Let q be (1 + 0)*(-4 - -18). Which is smaller: q or 15?
q
Let h(s) = -5*s**2 - 15*s. Let v(r) = 6*r**2 + 16*r - 1. Let f(w) = -4*h(w) - 3*v(w). Let z be f(-6). Which is smaller: 0 or z?
0
Let l(y) = -y - 17. Let n be l(-25). Which is smaller: n or 6?
6
Let l be 10/15 - (-2)/(-6). Which is smaller: 19 or l?
l
Suppose 2*g = 3 - 1, -3*g = 5*b - 3. Suppose b*n = -n - 5, 23 = -2*o - 5*n. Is 3 >= o?
True
Let v = -23.7 - -1.7. Let k = v + 21.7. Is k bigger than -1?
True
Let n be (0 + -5)*3/(-12). Let s be 4*(2/1 - 3). Let a = 5 + s. Is n at most a?
False
Let u = 58/3 - 56/3. Is u equal to 31?
False
Let c = 4.3 - -1.7. Which is smaller: c or 1?
1
Let a be (-72)/(-30) + 4/(-10). Suppose 0 = -x - a. Let r be 3*(x + (-24)/(-9)). Are 3 and r unequal?
True
Let n = 12 - 1. Are 11 and n equal?
True
Suppose -4*i - 4 = -2*k, 3*k - 8*i - 2 = -3*i. Let m be (0 - -1)/(11/k). Is -1 bigger than m?
False
Let f(i) = 2*i**2 + 2*i + 1. Let a be f(2). Is 15 at least a?
True
Let r(x) = -5*x**2 - x - 2 - 3*x**2 - 5 - x**3. Let m be r(-8). Is m less than or equal to -2/7?
False
Let g(t) = t**2 - 11*t + 2. Suppose -2*z = -3*j - 4*z + 23, -3*z + 40 = 5*j. Let d be g(j). Is d > 2?
False
Let b(n) = -n**2 - 6*n + 4. Let h be b(-6). Let y = 4 - h. Is 2 > y?
True
Let p(a) = a + 3. Let t be p(-11). Let x = t - -15. Is 7 greater than or equal to x?
True
Let l = -3 - 20. Which is smaller: 0 or l?
l
Let b(i) = -i - 7. Let p be b(-5). Do p and -2 have the same value?
True
Let r(i) = i**2 + 4. Let h be r(0). Let q be 6/8 + 42/8. Which is smaller: q or h?
h
Suppose 3*s = -s - 5*y - 41, 3*s + 2*y + 29 = 0. Let f be (2/(-4))/(1/18). Is s greater than f?
False
Let i = -0.26 + 5.26. Is i smaller than 0?
False
Let w = 0 - 0. Suppose -i = -w*i - 2. Suppose -7*m + i*m = 0. Are 1/8 and m nonequal?
True
Let u = -0.1 + -1.9. Let n be (-1)/(-2*2/28). Let l = 23/3 - n. Is u at most as big as l?
True
Suppose -15 = 6*s - 45. Suppose j - x - 7 = 0, -3*x - 23 = -j - 3*j. Is s <= j?
False
Let k be (-10)/2*3/(-5). Let z = -42.96 + 42. Let h = z + -0.04. Which is greater: k or h?
k
Suppose -n + 41 = -2*m, m = -m - n - 39. Let i be 22/10 + 4/m. Which is greater: 5/2 or i?
5/2
Suppose 0 = -8*j + 3*j + 5. Which is smaller: -1 or j?
-1
Let d = 0.89 + -0.8. Let s = 1.91 + d. Do s and -3/5 have the same value?
False
Let g(y) = 6*y - 1. Let q(w) = w. Let m(l) = g(l) - q(l). Let i be m(1). Suppose 10 = v + i*z + z, z - 2 = -3*v. Which is smaller: v or -2/15?
-2/15
Let f = -91 - -85. Which is bigger: f or 0.7?
0.7
Suppose 2*o + 11 = 3. Let n(h) = -h**2 - 7*h - 6. Let q be n(o). Let x(w) = w**2 - 7*w + 3. Let y be x(q). Is -4 bigger than y?
False
Let w be ((-49)/(-14))/(1/(-2)). Let p(y) = -2*y + 17. Let a be p(11). Which is smaller: a or w?
w
Let k = -84.1 + 84. Which is smaller: -5/29 or k?
-5/29
Let y(f) = -3*f**2 + f. Suppose -5*t - 7*m + 3*m = 3, -5*m - 10 = 0. Let z be y(t). Do z and -2 have different values?
False
Let a be (-4)/((-400)/395) + -4. Are a and 1 equal?
False
Let n = -31 + 51. Which is smaller: n or -2/7?
-2/7
Let x(w) = w - 6. Let r be x(6). Suppose -6*m + i = -2*m - 8, m - 2*i + 5 = r. Let d = m + -4. Which is bigger: -4/7 or d?
-4/7
Let d be -9 + 8 - 463/(-333). Let n = -2/37 - d. Is n < -1?
False
Let c = 1.65 + -0.75. Is c bigger than -2/3?
True
Let j = -0.184 + 8.084. Let h = -8 + j. Let g = 0 - 0. Is g != h?
True
Let q be ((-3)/60)/(2/(-12)). Is -1 > q?
False
Let p = -9.5 + 11. Let k = p + -10.5. Which is smaller: 0 or k?
k
Let y = 2/49 - 151/98. Let p be 37/7 - 2/7. Suppose -4*d + 5*v = -16 - p, 3*v + 16 = -d. Which is bigger: d or y?
d
Let y be ((-2)/(-4))/((-2)/4). Let o be 2/7 - (-136)/14. Let v be 0 + 2 - o/6. Which is smaller: v or y?
y
Let c = 17 + -1. Let o = 16.6 - c. Which is smaller: 2/7 or o?
2/7
Let u = 0.056 + -0.076. Let c = -0.2 + 0.18. Let a = c - u. Which is bigger: a or 5/4?
5/4
Suppose 0*j + 3*j - 31 = k, -21 = k - j. Let g = 24 + -25. Is g less than k?
False
Let v(o) = -o. Let n(r) = -r**3 - 9*r**2 + r + 10. Let u be n(-9). Let d be v(u). Do d and 8 have the same value?
False
Suppose -10*m = -6*m. Is -18/13 at most m?
True
Let l