j*x. Which is greater: x or 2/7?
2/7
Let b = 9/17 - 97/119. Let l = -0.5 + -1.5. Let q = l + 2.1. Which is bigger: q or b?
q
Let t(j) = j**2 + 7*j - 8. Let h be t(-8). Which is smaller: h or -2?
-2
Let h(m) = m**3 - 4*m**2 + 2. Let q be h(4). Let n be (-77)/(-14) - 1/2. Let y be n*((-36)/(-10) + -3). Which is greater: q or y?
y
Suppose -6*a - 48 = -14*a. Let k(d) = -d**3 - d**2 - d + 6. Let w be k(0). Is a at least w?
True
Let d = 5 - 5. Let c be (0 + d)*-1 - 3. Suppose 3*i + 4 = -2. Is c >= i?
False
Suppose 4 = -5*s + 9. Suppose -j + 0 + s = 0. Which is smaller: 2 or j?
j
Let q(b) = b - 3. Let m be q(3). Suppose m*l - 3*l = -n, 0 = 5*l - 2*n - 1. Let j be (1 - (-2)/(-6))/(-2). Which is greater: j or l?
j
Let l be 6 + -8 - (-1 - 17). Suppose -5*r - 24 = 2*a, 0 = -5*r + 2*a - l - 0. Which is smaller: -2 or r?
r
Let n = 12 - 13. Let d be 0/((-1 - 0)*n). Is d not equal to -2?
True
Suppose -v + 1 = 4. Is v equal to -3/2?
False
Let b = 0.48 + 3.22. Let z = 0.7 - b. Which is greater: 1 or z?
1
Suppose w = -0*w + 5*x + 27, 4*w + 4*x - 12 = 0. Is w > 7?
False
Let b = -25 - -25. Is 0 <= b?
True
Suppose -6*u - j = -2*u - 16, -u = 5*j + 15. Suppose 4*g - 3*o = -o + 6, u*g = -4*o + 14. Suppose c - 5*b - g = -3*c, 2*c = 2*b. Is c at least 1/2?
False
Suppose f - 108 = 5*b, -4*f = b - 7*f + 30. Is -20 smaller than b?
False
Let d = 2.7 - 1.7. Are d and -2 non-equal?
True
Suppose 4*g = -g. Let i = g - 1. Let h be 8 - 6 - 16/7. Which is smaller: h or i?
i
Let u be 1/((-26)/14 - -2). Let z be u/(-28) - (-19)/12. Let h = -1 - -2. Which is greater: h or z?
z
Let a = 1155/13 - 89. Which is smaller: 0 or a?
a
Let o = -0.3 - 2.7. Let q = 2.7 + o. Let z = q + 0.2. Is z greater than or equal to 1?
False
Let x be ((-2)/(-3))/(2/9). Let i be 0 - (x/(-6) - -1). Do -2 and i have the same value?
False
Let h(n) = -n**3 - 11*n**2 + 5*n - 9. Let x be h(-11). Are -64 and x equal?
True
Suppose -2*i + 5 = -i. Suppose 15 = i*g - 5*k, 0 = k - 0*k - 4. Do 8 and g have different values?
True
Suppose 1 + 3 = 2*l, -d = 2*l - 8. Let g(a) = -a + 3. Let v be g(d). Let h = 8/9 + -38/63. Is h greater than v?
True
Let k = -116/3 - -39. Suppose -b = -r - 3, -2*r - 8 = -4*b - 2. Which is bigger: k or b?
k
Let d be 3/(-6) - (-2900)/56. Let w = d + -51. Which is greater: w or -0.1?
w
Let l = -1.4 - -2.4. Is l smaller than 2?
True
Let w = 17 - 26. Suppose -5*j + 3*j - 30 = 5*l, 5*j - 3*l = -13. Let g = j - w. Is 4 greater than or equal to g?
True
Let a be 24/476*7/1. Which is greater: a or 1?
1
Let k be (-6)/4 + 1 - (-1133)/206. Suppose 4*n - 23 - 1 = 0. Are k and n equal?
False
Suppose -2 = -2*q - 0*q - 2*v, 5*v - 12 = 2*q. Let a be q*(1 - (4 + -2)). Let t(h) = -h. Let s be t(0). Which is bigger: a or s?
a
Let z be 4/(-10) - (-1)/(-10). Let s = 98 - 96.05. Let b = s + 0.05. Is z less than or equal to b?
True
Let s be (-12)/38*(-3)/(-9). Is s != -1?
True
Let a(b) = b**3 - 3*b**2 + 2. Let k be a(2). Let l be (k/(-4))/(1/2). Which is smaller: l or 2/5?
2/5
Suppose 22 + 73 = -5*p. Let r = 19 + p. Do r and -2/23 have different values?
True
Suppose 3*d + 44 = d + 4*j, 4*d - 3*j + 63 = 0. Let x = -49/4 - d. Is x > -1/3?
True
Let j = 8 - 4. Suppose -3*o + j*d = -d + 2, 2 = 2*d. Suppose 1 = -3*m + 7. Is m smaller than o?
False
Let v = 2.8 + -3. Let o = v + 0.3. Let q(r) = r**2 + 9*r. Let j be q(-9). Is o < j?
False
Let v = -179 - -6443/36. Let o = v - 17/36. Which is smaller: o or -2?
-2
Let f be 2/(-1 - 13/(-15)). Is -17 >= f?
False
Let k = 43/2 - 22. Let h(j) = -j**2 + j. Let x be h(-1). Is x != k?
True
Let f be (-56)/10 - (-10)/(-25). Let a be 30/9*f/(-28). Which is greater: 1 or a?
1
Suppose -2*j - 5*h + 1 + 16 = 0, -14 = -2*j - 4*h. Is j less than or equal to -6?
False
Let a be 16/(-3)*342/(-11180). Let i be 2/(-4)*(-16)/(-860). Let f = i + a. Which is smaller: -1 or f?
-1
Let h be -1*(-1 + 1 + 1). Let x be 2/11*1/(-2). Is x at least as big as h?
True
Let z be (30/4)/((-18)/(-24)). Let p = z + -4. Which is greater: p or 7?
7
Let f be 2/(-8) + 228/16. Let u = 19 - f. Are 5 and u unequal?
False
Let s be (2 - 23)*164/16. Let w = s + 214. Which is bigger: w or -1?
-1
Suppose 20*f + 21 = 1. Let x = -1181 + 10615/9. Which is smaller: f or x?
x
Let b(w) = -w - 1. Let x be b(-4). Suppose h = -x*h. Let r = 10 - 11. Which is smaller: r or h?
r
Let b(n) = 2*n + 1. Let a be 9/(-3) - 1*-2. Let d be b(a). Which is smaller: d or 6?
d
Let j be (-1)/(-8)*(3 + 3). Suppose 0*c = 5*c - 5. Is j at least as big as c?
False
Suppose 0 = l - 3*g + 1, -4*l + 2*g - 14 = -40. Are 9 and l equal?
False
Let b = 3/101 - -701/202. Suppose 4 = 2*c - 6. Is b less than c?
True
Let c = 2 + 2. Let b = -2 + c. Is -3 at most b?
True
Let m be (2 + -3)/(1/(-5)). Suppose -4*b + 4 = -4*z, m = 3*z + 3*b - 2*b. Which is greater: 6/11 or z?
z
Let y(v) = v**2 + 4*v + 2. Let p be y(-3). Is p bigger than -1/2?
False
Let k = -0.67 + -0.03. Let f = -0.3 + k. Is 0.12 not equal to f?
True
Let q = -90 + 29. Let l = 125/2 + q. Suppose 3*x = -15, -3*x + 0*x = 3*i + 6. Is i equal to l?
False
Suppose -91 = 5*k + 29. Let i be (20/k)/((-2)/4). Which is greater: i or 3?
3
Let o(v) be the third derivative of v**4/24 - 4*v**3/3 + 8*v**2. Let j be o(12). Is 4 at most as big as j?
True
Suppose 0 = -9*b + 6*b + 159. Is 53 not equal to b?
False
Suppose 0 = y + 3*z + 5 - 22, 0 = 4*y + 2*z - 18. Let i be (y - 2)*(-3 + 2). Are i and -3 non-equal?
True
Let k(o) = -2*o + 4. Let q be k(-3). Let h be (-2 - q/(-4))*-2. Let j be (h/5)/((-18)/(-30)). Are 3 and j non-equal?
True
Let u = 2646/5 - 531. Is u <= -2?
False
Let j(t) = -t**3 + 13*t**2 - t + 7. Let i be j(13). Let u be (2/3)/(i/9). Suppose 0 = 4*q - 3*d - 1 - 0, 2*q = -5*d - 19. Which is bigger: u or q?
u
Let u = 2 + -3. Let k = -0.31 - -7.31. Which is bigger: u or k?
k
Let s = 7 - -5. Let o = s + -14. Is o greater than -5?
True
Suppose 4*p + 5*y = -38, 1 = y + 3. Let b = p + 12. Which is greater: 4 or b?
b
Let d be (-17)/174 + 2/12. Which is bigger: 1 or d?
1
Let h = 45 - 23. Let n be h/7 + 5 + -7. Is n greater than or equal to 2?
False
Let h be 59/(-14) + 0 + 3. Let m = 2/7 - h. Is 2 < m?
False
Let i(c) = c**2 - 7*c - 10. Let d be i(-2). Which is smaller: -0.06 or d?
-0.06
Let k(t) = -2*t**2 + t + 1. Let s be k(0). Are 2/27 and s equal?
False
Let p = -5 + 16. Let g be p/(-20) + (-2)/10. Is g less than 0?
True
Let n = 10 + -14. Let z = -4 - n. Which is greater: 1 or z?
1
Suppose -3*l + 4*l = 1. Suppose -2 = u + l. Let f be u/(-9) + 2/12. Is f less than 2?
True
Let g(z) be the second derivative of -z**4/12 - 7*z**3/6 - z**2/2 - 6*z. Let o be g(-8). Is -10 >= o?
False
Let p be ((-1 - 1) + -2)*-1. Let k be p/14 - 10/(-14). Suppose -3*g - k = 5. Which is smaller: g or -1?
g
Let s(f) = -f**3 + 6*f**2 - 5*f + 2. Suppose y + c = 5*c - 15, -5*c + 25 = 0. Let u be s(y). Suppose -u*q + 19 = 2*z - 3, q = 5*z - 37. Are 7 and z equal?
False
Let h = 9 + -6. Suppose -h*c = -z - 5, 5*z - 4*z = 5*c - 7. Which is smaller: 4/9 or c?
4/9
Let j = 474.07 + -471. Let s = j - 0.07. Is 0 at least as big as s?
False
Let n = -7.5 - -4. Let v = -4 - n. Which is smaller: v or -1?
-1
Let z be ((-1005)/35)/(6/20). Let w = z + 96. Do 1 and w have different values?
True
Let a(y) = y**2 + 5*y + 4. Suppose -4*u - p = 25, -2*p = 7*u - 2*u + 35. Let r be a(u). Suppose r*d - 3*c - 16 = 0, 4*d - 3 - 9 = 2*c. Which is smaller: d or 0?
0
Let q(l) = -3*l**3 + 8*l**2 + 2*l - 7. Let w(h) = 7*h**3 - 17*h**2 - 4*h + 14. Let y(j) = 5*q(j) + 2*w(j). Let o be y(6). Suppose 0 = o*u + 5 - 0. Is 1/8 > u?
True
Suppose 10 = 2*x + 4*c, -4 = -5*x - 5*c + 6. Suppose -2*d + 5*d = 0. Let o be d - (-8)/54*-3. Is o less than x?
False
Suppose -5*y + 10 = 0, -4*y + 16 = -4*g - 4. Let o be (4/6)/((-1)/g). Suppose o*m = -2*m - 12. Is -3 greater than m?
False
Let s = 124 - 170. Which is greater: s or -47?
s
Let z = -56 + 57. Which is smaller: 1/72 or z?
1/72
Suppose 26 = -3*m - 16. Let l be (m + 2)*1/(-2). Is 7 smaller than l?
False
Let v = -1088 - -3295/3. Are 9 and v equal?
False
Let n = -14327/23 - -623. Which is smaller: -1 or n?
-1
Let q = -83273/44954 + 348/169. Let a = q + 3/38. Is a != 1?
True
Let o = -0.34 + 0.38. Which is greater: -0.1 or o?
o
Let a = -4 + 4. Suppose -2*d + 0*d = 0. Is a equal to d?
True
Suppose -3*g = -5*g + 2. Is 4 smaller than g?
False
Let m = -4 