- 2*m**2 + m**2 - m**2. Let n be q(2). Let b be n/4*(3 + -1). Is 2 at most b?
False
Let l = -10 - -13. Let m = 39893/5070 + 16/507. Let j = m + -32/5. Is j bigger than l?
False
Let c = 0.52 - 0.52. Which is smaller: c or -21?
-21
Let o be (-3)/6 + 14/(-20). Which is smaller: o or -1?
o
Let x = 31/18 + -5/3. Let i = x - -31/90. Suppose 4*v - 2 = 2. Which is bigger: i or v?
v
Let v = -9 - -8. Which is greater: -9 or v?
v
Let h be ((-1)/(-2))/(2/8). Suppose -4*z + 3*z = -1. Let u = h - z. Which is greater: -1/4 or u?
u
Let k = -20 + 19. Let q be 2/(-8) - (-6)/88. Are q and k nonequal?
True
Let v(h) = 3*h**3 + h**2 - 4*h + 2. Let n be v(1). Which is smaller: n or 0.2?
0.2
Let b be 16/(-18) - 7/63. Let y be 3 + -1 - (-64)/(-33). Which is smaller: y or b?
b
Suppose -5*l + 11 = -4, 5*l + 17 = 4*w. Do w and 7 have the same value?
False
Let g be 0 - 1 - -1 - -2. Let h be (1/(-6))/(g/(-16)). Which is smaller: 1 or h?
1
Let c = -24 + 24. Is c not equal to -2/19?
True
Let t be 1/((-4)/((-64)/(-52)) + 3). Is t > 3?
False
Let w = -36.27 - -36. Let b = -0.17 - w. Let f(y) = -y**3 - 2*y**2 - 2. Let s be f(-2). Is b at most as big as s?
False
Let s = -230 + 212. Is s less than or equal to -19?
False
Let o = -2562/5 + 4409/10. Let t = -9832/3 + 80363/24. Let w = o + t. Are w and -1 non-equal?
True
Suppose -10 = 5*x, 0*b + 43 = 3*b + x. Let l be ((-7)/b)/((-13)/21). Let t = l + -3/5. Which is smaller: t or 0?
0
Let l(z) = z**3 + 2*z**2 + 3*z + 2. Let h be l(-2). Let x = -4 + 2. Let f = h - x. Which is greater: f or 1?
1
Let b = 20458/55 + -372. Is 0 less than b?
False
Let h be -1 + 3/(-3) + 14. Let f = h - -3. Let g be 1 - (3 - f/6). Is 2 > g?
True
Let i = 19/864 - -5/96. Is -1/2 < i?
True
Let a(v) = -v**3 + 12. Let j be a(0). Suppose 4*t = -2*h + 3*h + 10, t = 5*h + j. Let s = t - 3. Do s and -1 have the same value?
True
Let d be 7/8 - (0 + 1). Let b = 8 - 8. Is b > d?
True
Let y be 64/(-16) - (-24)/10. Which is bigger: y or -1?
-1
Let z = -7 + 13. Suppose 0 = -3*j + d - z*d - 52, -d - 50 = 5*j. Let a = -8 - j. Is 3 <= a?
False
Suppose -5*k + 20 = 0, 4*a + 0*k + 40 = 3*k. Which is bigger: a or 3?
3
Suppose -2*h = 2*h - 2*x - 10, -4*x = 5*h - 6. Suppose -m + 1 = -h. Is m greater than 0?
True
Suppose 4*y + 3*c = 2*c - 90, -y + c = 25. Let k be -3 - y/5 - 2. Is k < 1/8?
True
Let j = -3/82 - 149/410. Is 2/17 at most j?
False
Let p(m) = -m**2 - 3*m + 3. Let v be p(-4). Suppose -4*g - 6 = -2*n, 0 = -5*n + 2*g - 4 + 3. Let j be n/3 - (-4)/36. Is v less than j?
True
Let s = 9 + -9. Suppose 0*p + 3*p - 9 = s. Which is smaller: p or 2?
2
Suppose -z + 2*z - 1 = 0. Let r = 2/17 + 20/119. Are r and z nonequal?
True
Let b = 1 + -1/2. Let a be ((-14)/(-8))/((-1)/4). Let d = -5 - a. Which is smaller: b or d?
b
Let l(s) = s**3 - 8*s**2 + 6*s + 4. Let h be l(7). Suppose 3*r + 4*a + 8 = -7, 5*r + 5*a = -25. Is r smaller than h?
True
Let l = 15/14 + -33/70. Let x be (2 + 7)*2 - 2. Suppose 5*i + 5 - x = -n, 0 = -i + 4*n - 2. Is l bigger than i?
False
Suppose q - 4*x = 8, 0 = -0*q + 4*q - 3*x - 6. Suppose 5*c - 24 + 9 = q. Let t be 0/(3/c + 1). Which is smaller: 2/9 or t?
t
Let h = -139/4 + 679/20. Let m be 81/(-12) + (-1)/4. Let k = m + 5. Which is bigger: h or k?
h
Let f(y) = -28*y**2 - y - 4. Let q be f(-5). Let c = q - -6283/9. Are c and 0 non-equal?
True
Let j(k) = 2*k + 1. Let d be j(-1). Suppose w + 3*w - p = 0, -4*p - 21 = 5*w. Let q be (0 - 3/7)/w. Are q and d nonequal?
True
Let w = 4.5 - 0.5. Let b = -3.5 + w. Let n = 0.6 - b. Which is greater: n or -3?
n
Let l be -5*(4/(-2) + 3). Is l not equal to -1?
True
Let m = -0.2 + 0.2. Let o = -0.1 + m. Let r be 10/15*(-1)/(-2). Which is smaller: r or o?
o
Suppose 5*h - 6 = 3*p - 2, -3*h = -2*p - 2. Let a be 1/(-3) + 95/15. Suppose -w + 2 = 3*c - 7, p*c - 3*w - a = 0. Which is bigger: c or 2?
c
Suppose 4*l - 30 = -2*r - 0*r, -5*r = -2*l + 21. Let k be ((-2)/l)/((-4)/(-16)). Are 7 and k nonequal?
True
Let p be ((-12)/(-2))/(-3) - -4. Is 4/5 smaller than p?
True
Let b(o) = o - 1. Let z be b(8). Suppose 1 + z = 4*l. Let m = 3 - 2. Which is smaller: m or l?
m
Suppose 1054 = 4*q + 134. Let g = q + -3452/15. Suppose n + 1 = -0. Which is bigger: n or g?
g
Suppose 0 = -0*t + 4*t - 16. Suppose -o = -t - 0. Suppose 0 = -z - z - o. Do z and -3 have the same value?
False
Let h be 60/(-9) + (-4)/(-6). Let p be (-40)/24 - 4/h. Which is bigger: -3/5 or p?
-3/5
Let r be (4/(-78))/((-6)/(-18)). Which is smaller: -2/19 or r?
r
Let l(g) = 2*g - 16. Let z be -4 - 1/(2/(-22)). Let b be l(z). Which is bigger: b or -20/9?
b
Suppose 2*j + 12 = 4*b - 0, 33 = 2*j + 5*b. Suppose -4*k - j = -4*u, u = -4*u + 10. Is k at least as big as 2?
False
Let y be ((-6)/(-4))/(3/(-18)). Let u = -6 - y. Let h = 2 - u. Is h <= 0.2?
True
Let r(m) = -m + 3. Let z be r(7). Is -5 not equal to z?
True
Let o be (26/8)/(3/(-18)). Which is smaller: o or -21?
-21
Let c(r) be the third derivative of 0*r + 0 + 1/40*r**6 - 1/24*r**4 + 0*r**3 + 0*r**5 - r**2. Let k be c(-1). Which is smaller: -4 or k?
-4
Let t be (-39)/(-9) + (-8)/2. Which is smaller: t or -0.06?
-0.06
Let d = 37 - -7. Let u be (33/d)/((-3)/(-1)). Do u and -1 have different values?
True
Let f be 0 + 1*(-1)/1. Let t be (-1)/(-2) - 3/6. Suppose -o + x = 4, -3*x + 12 = -o - t*o. Are o and f non-equal?
True
Let m = -0.072 - 0.028. Does 27 = m?
False
Let z = -0.9 - 0.1. Let x = -4 + 5. Let o = x + -2. Are z and o equal?
True
Let t be -2 + 40/(-12)*18. Is t < 1/2?
True
Let i(o) = -2*o**2 - 5*o + 9. Let z be i(2). Is z equal to -6?
False
Suppose c + c + 14 = 3*p, p = 5*c - 4. Suppose p = -0*a - a. Is a <= -5?
True
Suppose 0*h + 9 = -3*h. Let b be (2/h)/((-33)/(-9)). Which is smaller: b or 1?
b
Let p(w) = 3*w - 80. Let m be p(12). Is m less than 1?
True
Let f(t) be the third derivative of t**6/120 - t**5/10 + 5*t**4/24 + 2*t**3/3 + 3*t**2. Let x be f(5). Let j(l) = l + 1. Let s be j(3). Is x equal to s?
True
Suppose -2*j = -4 - 38. Which is smaller: 20 or j?
20
Let x = -8 + 16. Let s = x - -22. Suppose 3*u + 5*z = -s, -4*z - 2 + 10 = -4*u. Which is smaller: -6 or u?
-6
Let z(l) = 5*l + 7. Let m(x) = x + 1. Let o(v) = -4*m(v) + z(v). Let i be o(-2). Is 2/3 equal to i?
False
Suppose 0 = a + 3*a - 92. Suppose -d - n + 6*n = 29, -2*d = -3*n + a. Let i be ((-16)/(-10))/d - 0. Which is smaller: i or -1?
-1
Suppose 0*v - 2*n = -4*v + 56, 3*n = 3*v - 39. Let w(p) = -p**3 + 15*p**2 + p - 16. Let u be w(v). Suppose 25 = -5*q + 5. Which is smaller: u or q?
q
Let u = 259 + -1331/5. Which is bigger: u or 0.1?
0.1
Let n(p) = -3*p + 7. Let h be n(8). Is -17 greater than h?
False
Let i = 3.88 - -0.12. Do 7 and i have the same value?
False
Let l be ((-56)/(-16))/(2/2)*2. Is l greater than or equal to 2?
True
Let u be (-6)/9*(-84)/8. Suppose -2*g - 20 + u = -5*r, 2*g - 8 = -2*r. Which is smaller: g or 3?
g
Suppose 3*i = 3*q - i + 18, -3*q = 5*i + 18. Let o be -2 - 3*4/q. Does -3/2 = o?
False
Let k(x) = -x**2 - 9*x - 7. Let d = 19 + -27. Let w be k(d). Which is greater: -2/9 or w?
w
Let z = -25/273 - 2/39. Is z less than or equal to -1?
False
Let s = -10 - -8. Let b be (-2 + s)/4 - 4. Is b smaller than -5?
False
Let h be 27/(-63) + 16/70. Let z(c) = -2*c + 2. Let f be z(-4). Suppose -5*q + 1 = -3*w - 5, 5*w = q - f. Which is bigger: q or h?
q
Suppose 29 = -s + 4*f - 0*f, 4*s + 2*f + 98 = 0. Let n be (-5)/s + 1/(-5). Let v be -1*(n/1 + -1). Is v greater than or equal to 1/7?
True
Suppose -3*r = -3*b - 6, b + r = -r + 10. Suppose b*k - 7 = -1. Let q be 14/k - (-2)/6. Is 5 at least q?
True
Let w(r) = -r + 6. Let x be w(5). Let t be ((-4)/6 - 2)*-3. Let g be (3 - 1) + (-18)/t. Is g greater than x?
False
Let z(d) = -d**2 - 9*d + 12. Let w be z(-10). Suppose -4*u + 11 = -1. Let n be (-1)/(-3)*u/2. Is w at least n?
True
Suppose 3*v = -12, 0*v + 94 = -2*h - 5*v. Which is bigger: h or -36?
-36
Suppose d = -0*d + 5. Suppose -3*s - d*u - 9 = 0, 3*u = -2*s + 5*u - 6. Let r be 15/12*(-3)/15. Which is smaller: s or r?
s
Suppose n + n = 14. Let r = -7 - -14. Is r bigger than n?
False
Suppose -3*h = 2*h. Suppose u + 2 - 7 = h. Suppose -4*x - 15 = -5*p - 0*p, 4*p - u*x - 12 = 0. Is p greater than or equal to 4?
False
Let s(u) = -u**3 - 6*u**2 - 4*u. Let p = 9 - 14. Let h be s(p). Let m(g) = -g**2 - 6*g - 3. Let c be m(h). Is 2 at least c?
True
Let r(t) = t*