 18 = 2*p, -3*p + 8 = 4*i. Do -3/44 and i have the same value?
False
Let p(y) = 4*y**2 + 6*y - 2. Let o(m) = -m**2. Let x(j) = -5*o(j) - p(j). Let d be x(3). Which is smaller: -8 or d?
-8
Let k = -11/3 + 10/3. Which is smaller: 2/45 or k?
k
Let q = -3 + 5. Suppose -s - q = -3*s. Suppose p + 1 = -s. Which is smaller: p or 0.1?
p
Suppose -198 = -4*i - 5*i. Which is smaller: i or 0.1?
0.1
Suppose 3*x + 2*x + 17100 = 5*d, 3*x + 13675 = 4*d. Let h be (-2)/(-4) + d/10. Let u = -5128/15 + h. Which is greater: -0.1 or u?
u
Let k = 0.02 + 6.98. Let d = k + -6.8. Which is smaller: d or 2?
d
Let o = 17 - 11. Let f = o + -5. Is f less than 2?
True
Let w be (8/(-420)*-9)/((-9)/80). Let r be (-12)/(-10)*(-50)/63. Let b = w - r. Is -1 >= b?
False
Let d = 9 + -7. Let h be ((-24)/28)/(d - 0). Which is smaller: h or 0?
h
Let s = 3 + -2.8. Let w = s - 0.3. Let l = w + 0. Is 2 < l?
False
Let p = -1.84 - 0.16. Are -3/8 and p non-equal?
True
Let i(q) = q**3 - 4*q**2 + 2*q - 4. Let o be i(4). Suppose -5 = 2*b + 3*b - 5*p, -4*p = 3*b - o. Let m = 1 + b. Do m and 2/11 have the same value?
False
Let f(r) = r + 8. Let h be f(-5). Suppose -2*y - 13 = -2*l + y, 5*l - h*y - 19 = 0. Is l bigger than 1?
True
Suppose 0 = -2*p - p. Suppose s + p*s = 0. Which is bigger: s or -3/5?
s
Let w = 14 + -4. Let c = w - 5. Is 5 < c?
False
Let j = 14.1 - 12. Let c = -2 + j. Let n = 15 + -16. Is c less than or equal to n?
False
Suppose 3*l = 2*h + 64, -5*l + 71 = -h - 31. Suppose -l + 5 = 3*d. Is d bigger than -1?
False
Let r = 34 + -36. Is r smaller than -4?
False
Suppose 138 = 5*i - 3*i. Let w be 3/(9/i*1). Suppose 3*c - w = -4*v, 3*v - 3 = 5*c + 7. Are 5 and v unequal?
False
Let s = -2.989 + -0.011. Which is smaller: 2 or s?
s
Suppose 5*k - 2*h = 3*h + 35, 4*k = -5*h + 19. Let y(x) = 6*x**2 + 5*x. Let n(g) = -7*g**2 - 5*g. Let j(v) = k*y(v) + 5*n(v). Let q be j(-6). Is 7 < q?
False
Let x = 0.1 - 5.1. Let a = 10 + -14.8. Let k = x - a. Which is smaller: 1 or k?
k
Let p = 752 - 11284/15. Is 0 equal to p?
False
Let m(q) = -q**2 - 3*q. Let u be m(-3). Let x be 450/1338 - 1/3. Let y = -452/2007 + x. Which is smaller: y or u?
y
Let q be 0 + 2 + -9 + 4. Let z = 5 + q. Let y be 32/14 + z/(-7). Is 2 at least y?
True
Let f be (-4 + 5)/((-1)/8). Let k be (2 + (-51)/27)*f. Is k <= -2?
False
Suppose -2*g = 4*x + 8, -4*g + 15 = -g - 3*x. Which is smaller: 4 or g?
g
Suppose -84 + 544 = -10*b. Which is bigger: -48 or b?
b
Suppose 2 = -2*s, c + s + 16 = -4*c. Let n(t) = t**2 + 3*t - 1. Let q be n(c). Which is smaller: q or 1?
q
Let s = -22 - -31. Let h = s + -9. Let q be 0/(-1) - -1 - -1. Which is smaller: q or h?
h
Suppose 5*n + 128 = 3*d, -4*d + n = -d - 148. Is -1 at least as big as d?
False
Let q = 201/5 - 4231/105. Let u(n) = n**3 - 2*n**2 + 1. Let r be u(2). Is q less than r?
True
Let q = -37/54 - -1/54. Does 0 = q?
False
Let d be 4/18 + (-198)/162. Which is smaller: -5/12 or d?
d
Suppose -2*z + 8 = -2. Is z >= 15/4?
True
Suppose -w + 3*z = -16, 0 = w + z - 3 - 5. Let a be (-54)/w - (-2)/5. Is a bigger than -5?
False
Let m = -7 - -2. Suppose 0 = -4*w + 16, 14*j - 17*j - 16 = -4*w. Is j greater than m?
True
Let x = 63 - 440/7. Suppose 3*q = 2*q. Let l be 0 + (0 + -1)*q. Is x bigger than l?
True
Let c be 1/(3 - (-92)/(-32)). Is c greater than or equal to -0.1?
True
Let c be -1 + 0 - (-3 + 0). Suppose -5*x + 19 = c*d + 54, 3*x + 39 = -3*d. Let z be (4/50)/((-2)/d). Which is bigger: z or -2?
z
Suppose -2*y - 2 = 10. Is -7 <= y?
True
Let u = 223/17157 - -1/399. Which is bigger: 1 or u?
1
Let u(m) = m**3 + 3*m**2 - m + 11. Let t be u(-5). Is -32 less than or equal to t?
False
Let b be 10/36 + (-1)/2. Let p(x) = -x**3 + 9*x**2 + 9*x + 10. Let u be p(10). Are u and b equal?
False
Suppose 13*k = 29 + 23. Is 4 >= k?
True
Let k(j) = j - 4. Let a be k(6). Suppose -3*s = -4 - 5. Suppose a*d = -s*d - 10. Is -2 > d?
False
Let a(q) = -q**3 + 2*q + 1. Let m be a(-2). Suppose -3*v = -m*v - 4*u + 18, 0 = -v + u + 3. Which is smaller: v or 6?
v
Let p = -13 + 9. Let f = -42 - -40. Which is smaller: f or p?
p
Let t be 8/(-7)*(-5)/20. Suppose -3*d = 2*k - 10, -15 = 2*d - 3*d - 3*k. Let x be (3/3)/(1 + d). Are t and x equal?
False
Let p = 32 + -49. Let z be 3/12 - p/(-4). Let q(f) = f**3 - 2*f**2 - 2*f + 1. Let m be q(2). Which is greater: z or m?
m
Suppose -2*j + 0*j = -6. Let f be j - 2*(-22)/(-16). Which is bigger: f or 0?
f
Let b be 2/3*7/14. Is b > 1/14?
True
Suppose -5 = -5*b + 40. Let r be 2*b/(-14) + 1. Is -2 greater than or equal to r?
False
Let x = 2.9 + -3. Which is greater: x or 1?
1
Let m = -12 - -12. Which is smaller: m or -3/7?
-3/7
Let y = 0.03 + -1.03. Let d = -1 - y. Which is greater: d or -2?
d
Let r = 0.2 + -0.1. Let p = -14 - -15. Is r less than or equal to p?
True
Let v = 2/267 - -27/356. Suppose -3*x + 3 = -4*c, 0 = -2*c - 3*x - 1 + 4. Is c bigger than v?
False
Let z = 7.3 + -12.3. Let k = 2 - 1. Is z at most k?
True
Let z = -4.1 + 20.1. Let c = z + -16.7. Let h = -2.7 - c. Which is smaller: 1 or h?
h
Let a = -153 + 148. Are a and -1 nonequal?
True
Let a = 91/10 + -2659/290. Let n = 11595/7 - 1008604/609. Let z = n - a. Is z not equal to -0.2?
True
Let h(j) = j**2 - 4*j - 3. Let d be h(-2). Is 9 at most as big as d?
True
Let x = -65 - -94. Which is greater: x or 28?
x
Suppose 0*l + 2*l + 8 = 0. Suppose 0 = -3*w + m - 17, -16 = -0*w + 2*w - 3*m. Let v = w - l. Is -2/7 != v?
True
Let m = 87 - 83. Let z = -1 + 3. Is m > z?
True
Let d be 22/10 + 32/(-160). Let h = 88/7 - 398/35. Is d smaller than h?
False
Suppose -60 = -3*y + 4*y. Let q = y - -184/3. Which is bigger: 0 or q?
q
Suppose 4 = n, 4*v - 3*n = -v - 22. Let u(b) = b + 3. Suppose 3*z - p + 16 = 0, 2*p - 5*p + 16 = -z. Let j be u(z). Which is greater: j or v?
j
Suppose 0 = -z - 3, 9 = 4*n - 6*z + 3*z. Suppose 0 = 2*c - 2*a + 12, 3*c + 2*a + 0 = 2. Is n < c?
False
Let c = 0.2 + -0.2. Suppose s + 4 = 0, 2*b - 2*s - 8 = -2*b. Is c >= b?
True
Let m(y) = y**3 - 7*y**2 + 6*y + 7. Let i be m(6). Are i and 8 unequal?
True
Let h(n) = n**3 + 6*n**2 + 0*n**3 + 0*n**3 + 5*n + 1. Let q(v) = -v + 3. Let s be q(8). Let k be h(s). Which is greater: 2/5 or k?
k
Suppose h + 3*q - 3 = 0, -1 - 14 = -5*h - 2*q. Let a = -6 + h. Is a greater than -5?
True
Let f be (-1)/(-4)*-2*-10. Suppose -j - j = -f*u + 20, -3*u + 12 = -j. Suppose -4*k + 3*q - 3 - 5 = j, -5*k + 5*q = 15. Do 2/11 and k have the same value?
False
Let d(b) = -b**3 + 5*b**2 - b - 4. Let f be d(4). Suppose 5*u - 3*p + f = -12, 0 = -3*u - 2*p - 12. Let g be 1/u + (-15)/(-12). Is 1/6 greater than g?
False
Suppose h = -2*h + 3*c + 15, -5*c - 25 = -3*h. Let w be 24/(-10) + 5 + -3. Which is smaller: w or h?
w
Let k(q) = 3*q**3 - 2*q**3 - 4 + 0*q**3 + 6*q + 8*q**2. Let d be k(-7). Suppose -1 = d*a - 4*a. Is 4/3 greater than or equal to a?
True
Let w be 0 + (-4 + 4)/(-2). Do w and -2/45 have the same value?
False
Let i be 0/(2*(2 - 1)). Let b be 1 - 0 - (i - -1). Is b bigger than -2/5?
True
Let k be 1296/132 + 4*(-1)/(-22). Let i(v) = 2*v**2 - 4*v + 3. Let b be i(3). Is k at least b?
True
Let o be 6/5 + 0 - 23/115. Which is greater: o or 1/72?
o
Let f = -1 + 1. Let q = -2 + f. Let t = -2/93 - 89/186. Is q at least as big as t?
False
Let o = 2 - -1. Let g be -1 + o + (2 - 1). Suppose w = -u + 5, 5*w - g*u - 3 = -2. Do w and 3 have the same value?
False
Suppose 0*y - 5*y - 3 = m, y + 6 = -2*m. Which is greater: -10/9 or y?
y
Let t(b) = 2*b**2 - 5*b + 3. Let s be t(4). Do s and 15 have the same value?
True
Let x(h) = h**2 + 2*h - 1. Let z be x(-3). Which is smaller: 0 or z?
0
Let l be ((-65)/(-117))/(5/6). Are -2/43 and l equal?
False
Suppose 2 = -3*h - 5*v, -4*h - v = v - 2. Let w = -43/153 + 2/9. Is w greater than or equal to h?
False
Let z(n) = n**2 - n - 1. Let u be z(0). Let y(j) = -j**2 - 2. Let q = -7 - -7. Let o be y(q). Which is smaller: u or o?
o
Let f = 26549/13 + -2041. Let o = 86/91 - f. Is o >= 9?
False
Suppose -16 = 5*c + 524. Which is greater: -107 or c?
-107
Let l(x) = -x**2 + x + 2. Let r be l(0). Suppose f - 2 = 4. Suppose 0 = 4*g - 3*g + q, -2*q + f = 4*g. Is g > r?
True
Let v = 1 - 1.1. Which is smaller: v or -6?
-6
Let m = -0.1 - -1.1. Let r = m - 1. Let p = r - 0.1. Is 0.1 > p?
True
Let v be (1/3)/((-8)/24). Which is smaller: 1/8 or v?
v
Suppose -8 + 4 = 4*i. Let n be -1 + (i - 21/(-9)