*2. Let j be n(9). Suppose -j*m + 0*m = 0. Which is bigger: 3/4 or m?
3/4
Let r = -955/9 - -106. Is r < 0?
True
Let l(y) = -y**3 + 3*y**2 + 4*y - 4. Let u = -7 + 9. Suppose -2*r + 10 = 2*i, -5*r + 13 = -u*i - 5. Let m be l(r). Which is bigger: m or -9/2?
m
Let s = 9 - 9.1. Do 18 and s have the same value?
False
Suppose -4*h - 3*y - 141 = 0, -3*y = -5*h - 42 - 114. Which is smaller: -34 or h?
-34
Let s = 45 - 44. Which is smaller: s or 1/21?
1/21
Let v(g) = g**2 - 6*g - 4. Let i be v(6). Let a = -1 - 3. Are i and a non-equal?
False
Let l be (12/8)/((-39)/(-6)). Which is smaller: l or -1/4?
-1/4
Let g be (-3)/6*1*0. Suppose -2 = -a - g. Suppose -3*u = -a*u. Is 1 <= u?
False
Let q be (-57)/(-138) - 1/2. Which is smaller: q or 1?
q
Let l be 0 + 1 + (2 - 3). Let d be -12*(3 + 10/(-3)). Suppose l = d*c - 5*c. Is c < 0?
False
Suppose 5*a + 5 = 0, 54 = 4*y - a + 1. Which is greater: y or 14?
14
Suppose -t + 5 = 4*t. Let j = 1 - t. Suppose 3*k + 3*r - 12 = -j*r, -2*k = -3*r + 2. Is k smaller than 2?
False
Let m = 0 - -1. Let y be m/2 - (-33)/(-6). Let t(l) = -5*l**3 + 2*l**2 - 1. Let r be t(1). Is y bigger than r?
False
Let x = -6 - -4. Let v be x/8 + (-6)/(-8). Let m(h) = h - 9. Let d be m(10). Which is smaller: v or d?
v
Suppose 93*j = 97*j - 360. Is j bigger than 90?
False
Let v = -11 + 20. Suppose 3*n = -42 + v. Which is greater: -10 or n?
-10
Let m be 16/(-28)*(-7)/2. Does 10/13 = m?
False
Let z(y) = y**2 - 4*y - 1. Let k(f) = 4*f**2 - 13*f - 4. Let q(v) = -2*k(v) + 7*z(v). Let p be q(-3). Is p at least as big as 3?
False
Let d = -155 - -1087/7. Is 0 less than d?
True
Let w = -1 + 0.8. Let o = 1 - 0.6. Let s = -0.6 + o. Is s > w?
False
Let t = 5 + -8. Suppose 2*l = 3*o + 48, -86 - 16 = -3*l - 3*o. Suppose -u - m = -5*m + 22, l = -5*u + 4*m. Is t less than u?
True
Let d = -14 + 14. Let x = 3.94 + -4. Let j = x + -0.24. Which is smaller: j or d?
j
Suppose o + 7 + 33 = 5*r, r = 5. Let n be 2 + 0 + (0 - 1). Let g be n/(-3)*18/o. Are g and -2/7 non-equal?
True
Let h be ((-14)/36)/1*(-56)/294. Which is bigger: 1 or h?
1
Let m = 1/31 + 55/217. Is 0 greater than or equal to m?
False
Let z(f) = -f**2 - 8*f + 13. Let x(v) = v**2 + 9*v + 9. Let i be x(-6). Let n be z(i). Do n and 4 have different values?
False
Suppose 3*z - 21 = 2*k, -4*k - 10 - 2 = 0. Suppose 0 = z*y - 5, 3*y + 6 = -4*w + w. Let l be w - (-1 + 0) - -5. Is 2 at least as big as l?
False
Suppose 0 = -5*a + 166 - 6. Which is smaller: a or 34?
a
Let v be ((-10)/(-40))/((-2)/8). Let t = 0 + 0. Let r = t + -0.2. Which is smaller: r or v?
v
Let x = -10 + 65/6. Is x >= 1?
False
Let d = 23 + -16. Let m be (2 - 3)/1*d. Which is smaller: -8 or m?
-8
Let k = 12 - 3. Let x be 2/k - (-6)/(-27). Let v(p) = -p**2 - p. Let m be v(-1). Is m greater than x?
False
Let p = 6 + -4. Is p at least as big as 1?
True
Let o = -9 - -9. Let h = 0.9 - o. Are h and 2/3 non-equal?
True
Let o(d) = -8*d**2. Let p be o(-1). Is -8 at least as big as p?
True
Suppose 5*j - 32 = 4*s, -2*s = -2*j + 7*j - 14. Suppose 2*b - 10 = -4*c - 0*b, -j*c + 6 = -2*b. Suppose 3 = -c*o + 3*g, 5*g - 9 = 2*g. Which is greater: o or 4?
4
Let l be ((-3)/106)/(3 - 60/16). Is 0 < l?
True
Let u = -0.294 + 0.094. Let q = 3.04 - 3. Is q at least u?
True
Let b be -3 + 3/((-27)/(-42)). Which is greater: 1 or b?
b
Let v = -13.3 - -14. Let p = 0.3 - v. Which is smaller: p or -1?
-1
Let g = 9 - 6. Let z = 0.18 - -0.02. Which is smaller: z or g?
z
Let j = 0 - 4. Let p be (-2)/1 - 15 - j. Is -13 equal to p?
True
Let j be 27/12 + (-5 - -2). Let i = -1.7 + 1.7. Is i bigger than j?
True
Let u be 12*2/15 + -2. Let i = 1 + 1. Let n be i/(-6) - (-24)/18. Which is bigger: u or n?
n
Let l(h) = 2*h**2 - 2*h - 1. Let v be l(2). Let i(o) = -o**2 + 4*o - 2. Let k be i(v). Is -1/3 < k?
True
Suppose -2*f - 11 = -5*b, b = 2 + 1. Let m be ((-3)/(-4))/(-1)*4. Let r = -2 - m. Which is greater: f or r?
f
Let c = 70/9 + -953/126. Which is smaller: c or -0.2?
-0.2
Suppose 6*m + 276 = 30. Is -41 not equal to m?
False
Let j be 1/(-4)*(-6 + 0). Suppose 21 = -5*t + 31. Is t <= j?
False
Let j = -349/2 - -180. Is j less than or equal to 7?
True
Let r be (5/(-2) - -2)*-4. Let t = 31 - 22. Suppose g + 2*g - t = 0. Which is greater: r or g?
g
Suppose -p = -o - 2, -p + 3*o - 10 = -2*p. Suppose 4*l - 3*g - 3 = 12, -3*g = p*l - 9. Let c be l + 0 + (-2)/(-1). Is 5 at least as big as c?
True
Let l = -74140/21 + 3534. Let p = -20/7 + l. Let q(k) = -k**2 + 29*k + 31. Let z be q(30). Which is smaller: z or p?
p
Suppose 2*p + s = 3*p, 3*p + 4*s = 7. Let l = 635/4 + -158. Which is smaller: p or l?
l
Let t = -158 - -157.8. Is 19 at most t?
False
Let x be (4 - (-4 - -11))*(-24)/9. Is x equal to 3?
False
Let l(f) = -f - 5. Let s = -3 - -7. Suppose -3*r = -t + 13, r + 38 = -2*r - s*t. Let o be l(r). Which is bigger: o or 3?
3
Let i = 51/110 - -2/55. Let n = -4 + 6. Suppose 3*z - z = f, 0 = -2*z - n*f + 6. Is z > i?
True
Let i = 46 - 46. Are i and 3 nonequal?
True
Suppose -2*w + 5*w - 12 = 0. Suppose s = w*s. Does -6/5 = s?
False
Suppose 16*y - 11 = 5. Which is smaller: -10/33 or y?
-10/33
Let b(w) = -w**3 + 4*w**2 + 6*w + 5. Let i be b(5). Suppose -2*r - 5*q - 12 = 0, i*r + 2*q - 12 = 5*r. Suppose r*l = -l. Is -2/9 <= l?
True
Let s be 2/(-7) + ((-844)/(-210) - 4). Which is bigger: s or 0?
0
Let x = 0.08 - -7.92. Let z = -6 - 3. Let u = z + x. Which is bigger: u or 3?
3
Let q = -1 - -1. Let m = 1.93 - 2. Let h = 0.37 + m. Which is bigger: h or q?
h
Let v = -778/6179 - -12/167. Is v bigger than 1?
False
Let n = -19 - -20. Which is smaller: 1/3 or n?
1/3
Let s = -1.5 + 1.1. Let l = -1.1 + 1. Are l and s equal?
False
Let p = 0.1 - 0.2. Let u = -266 + 4789/18. Let x = u - -4/9. Is p at least x?
False
Let v be (-2)/(-6) + (-17)/15. Let f be (-14)/63 + (-16)/9. Which is smaller: f or v?
f
Suppose 3*y - 294 = y. Let j = 104/11 - -4495/33. Let a = j - y. Which is smaller: 0 or a?
a
Let g = -58/39 + 28/13. Are 2 and g unequal?
True
Let p(z) = z - 2. Let l be p(2). Suppose -5*n + l*n = -15. Let i(s) = s**3 - 4*s**2 - 5*s + 3. Let u be i(5). Is u at most as big as n?
True
Suppose 0 = 4*r + 2*l + 1 - 3, -5*l = 3*r + 9. Suppose -w - 4*i = r*w - 16, 2 = w - 2*i. Suppose -2*b - 5 = 1, 4*y - w*b - 4 = 0. Is -1/2 greater than y?
True
Let w(i) = i**2 + 4*i - 5. Let r be w(-5). Let q be (-6)/(-5)*15/(-6). Are r and q equal?
False
Let p(f) = f**2 + 2*f - 5. Let t be p(-3). Let r be (t - (-4 + 3)) + 2. Are r and 4/15 non-equal?
True
Let f = 56 - 94. Is -38 greater than or equal to f?
True
Suppose -3*k + 23 = -4*m, 5*m + 8 = k - 18. Suppose -1 = 3*s - 4. Are k and s non-equal?
False
Let v = -0.624 - 0.176. Is -0.2 less than v?
False
Let z(f) = 2*f - 3. Let k be z(2). Suppose 5*b + 7 = -2*o, -b + k = -o - o. Is b < -2/5?
True
Let t be (-2 - -17)*1/3. Let q = -3 + t. Let x(k) = k. Let f be x(1). Which is smaller: q or f?
f
Let j = 8 + 5. Which is smaller: j or 15?
j
Suppose -10 = -3*v - 3*a - 1, -5*v + 3*a = 17. Let l be 3/v*2/(-6). Which is bigger: l or -2/11?
l
Suppose 0 = m - 0 + 5. Let v be 1 - 2 - (-1 + 4). Is v at least as big as m?
True
Let n = 60.9 - 64. Which is smaller: 0 or n?
n
Suppose -3*z + 2*z + 3 = 0. Suppose -z*d + 2 = -d. Which is smaller: d or 2/7?
2/7
Let z be -5*(4 + (-12)/5). Suppose -5*i = -5*d - 30, 4 = -2*d - i - 14. Is z greater than or equal to d?
True
Let d(f) = -f**2 - 5*f + 15. Let l be d(-7). Is l at least 4/13?
True
Suppose y - 5*y + 24 = 0. Let z be (-2)/(-6) + (-4)/y. Is -1 less than z?
True
Let w(m) be the second derivative of -m**4/12 - m**3 + 4*m**2 - m. Let l be w(-7). Let s = 1 + l. Which is smaller: s or 0?
0
Suppose -4*k = 4*i - 16 + 4, -3*k = -4*i - 9. Is 1 at least i?
True
Let f be -2 + 1 + (-25)/(-15). Is 1 at least f?
True
Suppose -5*o + 5 = -4*a, -5*o + a = -o - 4. Which is greater: -1/72 or o?
o
Let k = -21 - -20.8. Let w = 4.2 - 0.2. Let u = w - 3. Is k not equal to u?
True
Suppose x - 3 - 2 = 0. Suppose -5*v + 14 = -0*d + 4*d, x*d - 3 = v. Which is smaller: d or 5/3?
d
Let n be 47/470 + (8/10)/2. Is n at most 25?
True
Let u be (-2 + 5)/3 - -3. Let b(m) = m - 12. Let r be b(6). Let z = r + 9. Is u greater than z?
True
Let r be ((-3)/15)/((-3)/5). Which is greater: r or 22?
22
Let u = 29/102 + -2/17. Let w(o) = o**3 - 7*o**2 - o + 10. Let j be w(7). Let b = 3 - j. Which is sma