f at most as big as 2?
False
Suppose -4*p + p = 9, -5*p = -3*d + 3. Which is greater: d or 0?
0
Let k = 17 - 17.17. Let y = 0.07 + k. Let h be 3/((-3)/(-1)) - 0. Which is bigger: y or h?
h
Let h = 2 - 4.2. Let q = h + 2.37. Let k = 0.03 + q. Is 1/5 != k?
False
Let w = -26907/2 - -739978/55. Let x = 49/3 - 521/33. Let n = x - w. Do n and 1 have the same value?
False
Let j(m) = -3*m + 17. Let i be j(9). Is -10 at least i?
True
Let h be (-506)/(-392) + 21/(-28). Let t = h - 2/49. Let p = 1 - 1.3. Which is smaller: p or t?
p
Let t = -1.3 - 8.7. Let n = t - -11.2. Let j = n + -1. Which is smaller: -0.1 or j?
-0.1
Let f = 2 + -1.6. Let c = -0.2 + f. Let a = c + 0.8. Are a and 1/3 nonequal?
True
Suppose 4*g + 4 = 0, 3*h - 2*g = -3*g - 1. Let q = 3 - 3. Let p = 1 + q. Which is greater: p or h?
p
Let x = 3197/11 - 291. Which is smaller: x or -1?
-1
Let z = 18 - 17. Is z at most as big as 2?
True
Let w = 7/15 + -13/60. Let b(t) = -6*t**2 + t + 1. Let n be b(2). Let g be (-7)/n*(-6)/5. Is g less than w?
True
Let m = -7 + 4. Let v be 1 - ((-2)/2 - m). Is 0 smaller than v?
False
Let x = 0.11 - -2.89. Are x and 0 non-equal?
True
Suppose 2*g + 50 = 7*g - 3*v, v = 4*g - 33. Suppose -4*i = -q + 9, -g = -3*i + 2*q - 4*q. Which is smaller: i or 3/7?
i
Let b = 33 - 36. Is -1 greater than b?
True
Let z = 806 + -3996/5. Which is bigger: 8 or z?
8
Let c = -5 + 4. Let y be 3/(-18)*-4*-63. Let t be 15/y*(-8)/10. Which is smaller: c or t?
c
Let r = -15.95 - -19. Let p = r - 0.05. Let t be ((-4)/(-5))/(18/15). Is p less than t?
False
Let o be (-3 - -2)*-9 - -2. Let l be (-9 - 1) + 4/(-2). Let n = l + o. Which is greater: n or -0.1?
-0.1
Let b = -1644/7 + 234. Is b smaller than 0?
True
Let n(o) = -2*o - 3. Let b be n(-4). Suppose f + 0*i = i, -b*f - 4*i + 36 = 0. Suppose 11 + 12 = 4*g - u, -2*g = -u - 13. Which is bigger: f or g?
g
Suppose 23 = 3*y + 11. Is 12 >= y?
True
Let z(b) = b**2 + 10*b + 1. Let n be z(-11). Let g be (-92)/n - 6/(-9). Let s = -5 - g. Do 1 and s have the same value?
False
Let l = -23 + 20. Let b be 1 - (-20)/(l/3). Is -19 equal to b?
True
Let w = 238 - 2140/9. Suppose -3*i - i = 0. Which is smaller: i or w?
i
Let t = -146/5 - -569/20. Is t less than or equal to 2?
True
Let l = 14 + -12. Suppose -c + 2 = 0, l*f = -2*f + 2*c. Does -2/53 = f?
False
Let j(i) = i**3 + 6*i**2 - 11*i - 6. Let u be j(-7). Let o = u - 12. Suppose 0*g - o = -5*g, v = 2*g - 1. Is 4 < v?
False
Let y be 2/12 - (2 + 644/(-24)). Is 26 greater than y?
True
Let k(u) = -2*u + 1. Let a be k(2). Suppose 3*j + 0 - 9 = 0. Let f = j + a. Which is greater: f or 2?
2
Let c = 10 - 6. Let k = -3 + c. Let v = -1 + k. Is 3 less than or equal to v?
False
Suppose w = 5*i - 33, -4*w + 6 = 3*i - 0. Which is greater: 0.06 or i?
i
Suppose 6*y - 4*h = 2*y + 36, 0 = -y + 2*h + 12. Suppose 2*d = -0*d - y. Are -5/4 and d equal?
False
Let n = 13 + -8. Suppose 0 = 3*m + 3 + 6. Let a = 3 - m. Which is greater: n or a?
a
Let n be 7 + -7 - (2 + 1). Let c = 2 + n. Let t = c + 3. Which is greater: 1 or t?
t
Suppose p = -3*r - 7 + 1, -2*r = 4. Are p and 0.4 unequal?
True
Let a(p) = -p**2 + 6*p + 4. Let j be a(6). Which is bigger: 3 or j?
j
Let c = 4.7 - -1.3. Let s = 4 + -9. Let n = s + c. Which is bigger: n or -0.1?
n
Suppose l = 3*v - v + 30, 0 = 3*v - 3*l + 48. Which is bigger: -16 or v?
v
Let u(v) = 16*v - 14. Let z be u(7). Let r = z + -488/5. Is r <= -6?
False
Let g = 6.8 + -7. Do -3/4 and g have different values?
True
Let r(z) = 12*z - 4. Let p be r(3). Let y be (-6)/(-27) + p/18. Suppose -k + q - 2 = -0, -k + y = 3*q. Is -1 smaller than k?
False
Let f = 0 + -0.7. Let v = f - 1.4. Let i = 0.1 + v. Which is greater: -0.1 or i?
-0.1
Let m be 2/68*(20 + 2 + -2). Which is smaller: m or 0?
0
Suppose 0 = 4*i + z - 2, 5*z = -i + 13 - 3. Suppose i = -5*h + 3*h + 2. Let j = 2/979 - 2953/7832. Do j and h have the same value?
False
Suppose -m = -4*n + 17, -2*n + 0*n + 3 = 5*m. Which is bigger: n or -3/2?
n
Let v(u) be the third derivative of -u**4/24 - 7*u**2. Let a be v(-1). Which is smaller: 4/9 or a?
4/9
Let b(h) = -h**2 - 2*h. Let t be b(-6). Are t and -24 non-equal?
False
Let b = -0.24 - -0.3. Let g = 3.06 - b. Let x = -4 + g. Which is smaller: -2 or x?
-2
Let j(i) be the third derivative of i**6/20 + i**5/30 - i**3/6 + i**2. Let b be j(-1). Do -5 and b have different values?
False
Let g(q) = q**2 - 3*q - 4. Let n be g(3). Let k be -2 + n + -1 + 3. Is -5 greater than k?
False
Suppose 2*f - 12 = 4*f. Let s be f/(-8) + (-8)/(-32). Let i be 0 - (2 - 16/6). Which is greater: s or i?
s
Suppose -f = 4*f - 30. Suppose -2*a = 5*x - 16, 3*a = a + f. Suppose -2 = 3*i - 5. Which is greater: i or x?
x
Let u = 0.17 - 7.17. Let a = -6 - u. Which is bigger: -1/5 or a?
a
Suppose -4*k + 16 = -0*k. Suppose -2 = -2*t - k, -c - 5*t = 0. Suppose 0 = 8*n - 3*n + c. Which is smaller: -2 or n?
-2
Let a be ((-4)/(-6))/(4/6). Let u be 1*-2*(-2)/(-4). Let n be (4/(-13))/((-2)/u). Which is greater: a or n?
a
Let c be (-24)/(-252) + (-40)/(-21). Let m be (1/4)/(9/(-12)). Which is smaller: m or c?
m
Suppose -5*z = -2*z + 5*p + 83, 2*p = -4*z - 134. Does z = -36?
True
Let k = 86 - 75. Is k >= 12?
False
Let o = -0.8 - -3.8. Let p = o + -1.6. Let t = p - 0.4. Is -1 less than t?
True
Let a(o) = o**2 + 8*o + 12. Let s be a(-6). Which is smaller: s or 14?
s
Let j = -36.2 - -36. Is 19 at most as big as j?
False
Let t(j) = -j**2 + 7*j - 7. Let s = 2 + 4. Let o be t(s). Let q be 4/36*(-18)/6. Which is bigger: o or q?
q
Let i(j) = j**2 + j. Let t be i(-2). Suppose 6*x - 5*x = -t. Which is greater: -2/3 or x?
-2/3
Suppose -g + 28 = g - 4*t, -19 = -2*g + t. Is 8 < g?
False
Let m = -29 + 6. Let k = -23 - m. Which is bigger: 1 or k?
1
Let g be 1/(-2 - (-22)/12). Let q be (-6 + 8)/(2/g). Let n be ((-6)/(-18))/(8/q). Which is smaller: 0.1 or n?
n
Let c(j) be the third derivative of j**5/60 + j**3/3 - 9*j**2. Let q be c(0). Suppose 0 = g - 2. Is q smaller than g?
False
Let h = -45 - -75. Suppose 3*w = 3*g - h, -14 = -2*g + w + 4. Is 8 <= g?
True
Let x = 0 - -3. Suppose g + 4*d + 15 = d, 0 = 3*g + 5*d + 33. Let j be (-18)/(-20) + g/15. Is j equal to x?
False
Let d be (-1)/(140/16*2). Do -1 and d have the same value?
False
Let s be ((-12)/(-7))/((-16)/(-56)). Suppose 0 = 8*d - s*d. Is d smaller than -1?
False
Let k(a) = a**3 - 11*a**2 - 13*a + 26. Let y be k(12). Which is smaller: 2 or y?
2
Suppose 3*o - 24 = -30. Is o greater than 2?
False
Suppose 4*b + 20 = x + x, -5*b = 2*x + 25. Let p be ((-4)/(-2) - 2)/(8 - 10). Is x less than or equal to p?
True
Let f be (-328)/(-220) - (-4)/(-10). Which is bigger: 0 or f?
f
Suppose -14*v + 14 - 28 = 0. Is v less than -2/111?
True
Let p(n) = n - 2. Suppose 0 = -b + f + 8, -2*f = -b + f + 8. Suppose 2*x - 4*c = 16, b = x - c + 2. Let j be p(x). Do 2 and j have different values?
False
Let m = -884 - -2680/3. Which is bigger: m or 10?
10
Let n = 3.2 - -44.8. Is 0.1 at most n?
True
Let z be (-9)/(-63) - 57/7. Which is bigger: z or -9?
z
Let r(a) = a + 8 + 0*a - 2*a + 0*a. Let x be r(5). Suppose -x*z + 6*z = -21. Do -7 and z have the same value?
True
Let q = -1 + 1. Suppose -2*g - 2 = s - 7*g, -2*s + g + 5 = 0. Suppose 0*t - s*t = -3. Which is smaller: t or q?
q
Let n be ((-1)/(-2))/(6/(-1542)). Let g = n - -5393/42. Is g >= -1?
True
Let q = -0.08 + -0.02. Is q greater than or equal to -50?
True
Let p = -3 + 1. Let l be 6/3 - (-14 - p). Suppose j + 11 = 5*n - l, 10 = j + 2*n. Which is smaller: 1 or j?
j
Suppose -6*q = -q - 10*q. Which is bigger: -47 or q?
q
Let r be (-6)/(-22)*2/(-2). Let h = r - 29/55. Let b = -10 + 9. Is b equal to h?
False
Let b(q) = -q**2 - 8*q. Let g be b(-8). Suppose 0 = -2*t + f + 6 - g, 3*t - 19 = 4*f. Let k = -5 - -6. Is t >= k?
True
Let a = 986 + -5951/6. Which is bigger: a or -7?
a
Let d = -0.7 - -0.8. Let x = -17 + 15.9. Let f = x - -1. Is d bigger than f?
True
Let s(g) be the third derivative of g**5/60 - 7*g**4/24 + 7*g**3/6 - 2*g**2. Let w be s(6). Is 3/14 bigger than w?
False
Let b = -2328/517 + 50/11. Which is greater: 1 or b?
1
Let p(t) = -15*t + 1. Let k be p(-1). Suppose q + k = -5*b, -q - 3*b = b + 13. Let a be 10/12*(q + -1). Which is smaller: -3 or a?
-3
Let y(k) = k**2 + 5*k - 4. Let i be y(-7). Let w be (-48)/(-80) - (-4)/i. Is w at most as big as -1/19?
False
Let b = 73 - 75.0