 - -263. Which is smaller: c or 0.1?
0.1
Let n(j) = -j - 1. Let o be n(-5). Suppose -o = x + 4*t - 2*t, -4*t + 4 = -4*x. Is -4 > x?
False
Let d(n) = 2*n - 7. Let t be d(5). Suppose t*s - 4 = s. Does 3 = s?
False
Let u = -5 - -5.5. Let j = u - 0.6. Which is greater: -2 or j?
j
Let n = 2.98 + 0.02. Let p = n + -3.1. Let v = -1.1 - p. Is -0.1 smaller than v?
False
Suppose 7*k = -6 - 64. Which is smaller: -12 or k?
-12
Let w be ((-4)/2)/2*(-12)/(-402). Which is greater: 1 or w?
1
Let q be 4/12 - (-14)/(-6). Suppose -4*g + 16 = 4*c, -2*g + 1 = 4*c - 15. Let l be g/(1/q*4). Is -1/5 equal to l?
False
Suppose 5*x - 8 = s, -5*s = -0*s + 5*x - 80. Let v be s/(-20)*2/(-3). Is -4/3 greater than v?
False
Suppose -5*r + 6*r = 1. Let f be (-2)/(-2) - (-28)/(-20). Is f at least r?
False
Let q = -0.28 + 0.2. Does q = 1?
False
Let w be (-2)/6 + 59/171. Let r = -19/27 + 253/513. Let o = r - w. Which is bigger: o or 1?
1
Let y be (-1)/9 + -1 + 1. Which is smaller: 0 or y?
y
Let m = -2.03 - -0.03. Let y = m + 1.8. Is -1 less than or equal to y?
True
Suppose -3*k - 5 = -0*k - f, -4*k - 5*f = -6. Let x be (k/37)/((-6)/(-12)). Which is smaller: x or 1?
x
Let n be (-9)/(-3) + (0 - 2). Which is smaller: n or 5?
n
Suppose q + 4*w - 3 = 6, 5*q + 3*w - 11 = 0. Let c = 0.15 - 0.15. Are q and c nonequal?
True
Let u be (-6)/(-10) - (-153)/45. Suppose -1 = -5*i + u*i. Let g = 1 + 0. Is g less than i?
False
Let t = 2.1 + -2.2. Are t and 3 equal?
False
Suppose 6*o - 4*l + 10 = 4*o, -5*o - 2*l = 49. Is o greater than -9?
False
Let c be 2*1*1/2. Let v be ((-1)/(-10))/(5/5). Is v at most c?
True
Let y = -52/5 - -56/5. Which is bigger: y or 0?
y
Let s be 2/1*1 - -11. Suppose 0 = 5*a - 2 - s. Let d be 2/a*(3 + 0). Which is greater: 0.2 or d?
d
Let r(j) = j**2 - 3*j - 7. Let l be r(5). Suppose -4*z - 6*u + 11*u = 34, -6 = -3*u. Let q be 0 + z/l + 3. Are q and -2/11 equal?
False
Let l = -1.7 + 0.7. Is 4 not equal to l?
True
Let z(u) = -2*u**3 - u**2 - 3*u - 2. Let p(x) = 2*x - 9. Let f be p(4). Let a be z(f). Which is smaller: a or 4?
a
Let i(a) = a**2 + 3*a + 2. Let w be i(-3). Let x = w - 3. Is 2 < x?
False
Let x(u) = u**2 + 5*u - 51. Let l be x(-10). Let m = -983/42 - -158/7. Does l = m?
False
Let y = -145/528 - -19/48. Are 0 and y unequal?
True
Let x be (2/(-5))/(4 + (-1605)/400). Are 31 and x equal?
False
Suppose 5*h = 2*h. Let c be h/(-2) + 2 - -1. Suppose 9 + c = 3*k. Which is smaller: k or 3?
3
Let p be 7 - 3*3/9. Suppose p*r = 3*r + 15. Let u = 11 - 6. Is u < r?
False
Let j = 315.1 - 332. Let k = j + 17. Is -2 < k?
True
Let j = -21 - -89/4. Is 2 at most j?
False
Let u = -631 - -10099/16. Let b = 8/23 + -13/368. Let w = b - u. Is w >= 1?
False
Let n(q) = -q + 8. Let t(a) = -a**3 - a + 6. Let h be t(0). Let u be n(h). Let x be (-24)/18 - u/3. Is -1 >= x?
True
Let j = -12/2189 - 601891/15323. Let i = 16761/427 + j. Is i > -1?
True
Let p = 1 - -71. Let w be 1444/(-16)*(-12)/15. Let y = p - w. Which is greater: 1 or y?
1
Suppose 0 = 2*s + z + 5, -2*z - 20 = 5*s - 7. Let q(x) = x**3 + 4*x**2 - x - 2. Let y be q(s). Let d be (y/4 - 2)/2. Is d at least as big as -1?
True
Let y = 8 + -7.98. Let s = 11 - 12. Do y and s have different values?
True
Let w be 13/(-30) + 6/(-15). Suppose 0*d = 2*d. Which is bigger: w or d?
d
Let z be (-74*(-1)/(-2))/(1 - -1). Suppose -2*o - o = 54. Let u = o - z. Which is greater: 4 or u?
4
Let x(s) = 0 + s + 7 - 2*s. Suppose -2*v + 24 = 5*m, -2*v + 6 = m + m. Let o be x(m). Which is bigger: 0 or o?
o
Let y be 4/6 + 13/3. Let d(p) = -p**2 - 12*p + 6. Let i be d(-12). Which is smaller: i or y?
y
Let h = -1.8 - 0.2. Let b = 16 + -9. Let z(o) = o - 7. Let a be z(b). Is h at least as big as a?
False
Let t = 34 + -29. Is -3 <= t?
True
Let j = 0.22 - 2.32. Let r = j - -2. Which is smaller: -1 or r?
-1
Let d be (16/(-12))/((-1)/3). Suppose 0 = 4*w - d*v + 44, 0 = -2*w - 6*v + 2*v + 8. Let s be w/(-5) + (-1)/5. Which is smaller: s or 0?
0
Suppose -p - 2*p - 30 = 0. Let q be 12/p - (1 + -2). Is q less than 0?
True
Let t be -2 - ((-14)/2 + 1). Let c be (88/6)/t - 3. Let w = -0.2 + 0.2. Does w = c?
False
Suppose 2*p - 15 = 5*g, -p - g = 2*g + 9. Let r = -1/3 + p. Is 1 less than r?
False
Let r = 72/13 - 53/26. Suppose 0 = -5*d + 2*a - 24, -4*d + 0*d + 5*a - 26 = 0. Let u be d/(-12) - 16/(-6). Is r < u?
False
Let o be (-5 - -2)/(6/(-4)). Suppose o*m - 9 = m - j, 3*m = j + 11. Is m less than 5?
False
Let m = 14 - 13. Which is greater: m or 2?
2
Suppose -12 + 4 = -2*g. Do g and 5 have the same value?
False
Let r = -6.5 - 3.5. Let l = 9 + r. Let x = -2 + 0. Are x and l unequal?
True
Let t = 8.1 - 8. Is -1.5 bigger than t?
False
Suppose -2*y - 4*a = y - 17, -5*y + 2*a = -11. Let m = y - 3. Which is smaller: m or -3/13?
-3/13
Let c = -0.127 + 0.427. Is 0 smaller than c?
True
Suppose -4*g = 14 - 50. Suppose 0 = 4*n - n - g. Suppose 4*x - 1 = 15. Which is smaller: x or n?
n
Suppose 3*z + 30 = 4*n, -z - z = 5*n - 49. Suppose 3*y - 6 = n, -4*h = -3*y + 11. Is h greater than -2/23?
True
Let a = -1 - -1. Suppose r = 2*r. Is r greater than a?
False
Let g = -4 + 6. Suppose 5*k + g*c = 9, k + 3*c - 1 + 7 = 0. Which is smaller: 0 or k?
0
Let o(m) = 2*m**3 + 4*m**2 + 3*m + 1. Let t be o(-2). Which is greater: t or -4?
-4
Let x be (585/36)/((-6)/8). Let o = x + 22. Are -1 and o equal?
False
Let u = 0.3 - -2.7. Let s = 0.37 + -0.07. Is u < s?
False
Let s = 0 - 6. Suppose -4*b - 5 = -9*b, 3*b - 13 = -c. Let h be 4/c - 108/20. Which is smaller: h or s?
s
Let d = -4 + 4.3. Let f be 7 - 6 - 2040/14. Let u = f - -145. Which is smaller: u or d?
u
Let c = -48768 + 341956/7. Let y = c - 83. Is y > 0.1?
False
Suppose 0 = x + 79 + 71. Let c be (-5)/(-2)*(-36)/x. Is c equal to 0?
False
Let s = 23231/29 + -801. Is s less than 0?
False
Suppose 0 = 3*t + 2*t. Let v = -5 + 39/8. Is v greater than t?
False
Let m(b) = 6*b**2 + 4*b - 4. Let l be m(-4). Let k = l - 232/3. Is 0 less than k?
False
Suppose 2*d = 2*a - 8, -3*d = -0*d + 9. Suppose -2*f + 5 + a = 0. Suppose p - 3*p - 6 = f*n, -9 = 4*n + 3*p. Are n and -1/4 unequal?
True
Let z(p) = -p**3 + 5*p**2 + 8*p - 4. Let q be z(6). Let y be (6/(-10))/(5/(-50)). Let s be (y/q)/((-4)/16). Which is smaller: s or -2?
s
Let w = 8.07 - 8. Let r = w - 4.07. Let y = -1.2 + 0.2. Which is bigger: y or r?
y
Suppose 10 = -0*q - q. Let a be -2 + 0 + q + 0. Let c be 2/4*6/a. Is -1/5 > c?
True
Suppose -a = 4*v - 0*a + 15, 0 = 4*v - 5*a + 45. Is v at least as big as -8?
True
Let t be ((-36)/28 + 1)/((-2)/7). Is 15 smaller than t?
False
Suppose 8*d = 2*d - 24. Suppose 2*w - a - 5 = -18, 0 = 2*w + 5*a - 5. Let b = 0 + w. Are d and b equal?
False
Let c be 1 + 8 + (4 - 8). Which is smaller: -1/2 or c?
-1/2
Let r be (1/2)/(134/12 - 11). Let w = 7 - 3. Are r and w equal?
False
Let p(t) = t**3 + 3*t**2 - 4*t - 2. Let h be p(-4). Is -4 at most as big as h?
True
Let s = -0.064 - -16.264. Let c = s - 16. Let f = 0.1 - 0.2. Which is greater: f or c?
c
Let o be 9/(-108)*4/3. Which is bigger: 0 or o?
0
Let z(q) = -2*q**3 - 4*q**2 + 3*q + 8. Let x be z(-3). Is 65/4 at most x?
True
Let n = 0.3 + -0.1. Suppose y = 5*w + 6, 0*y + 3*y + 12 = 0. Which is bigger: n or w?
n
Let v be 259/49 + (-2)/7. Suppose f + j - 11 = -v, -4*f - j = -9. Which is smaller: -1/7 or f?
-1/7
Let u be (0 + -3 + -15)*(-4)/(-8). Let j(w) = -w**2 - 5*w + 4. Let o be j(-7). Is o smaller than u?
True
Let o be (-1 - -27) + -6 + 6. Let l be 2/13 + (-4)/o. Which is smaller: -3/5 or l?
-3/5
Suppose b + 5 = -9. Let x = 13 + b. Suppose -4*n + 2*n = 4. Is n greater than x?
False
Let c(s) = s**2 - s + 1. Let a = 7 + -7. Let i be c(a). Is 3 < i?
False
Suppose -r + 3*r + 2443334 = 0. Let x = r - -389712095/319. Let i = -24/29 + x. Do i and -1 have the same value?
False
Suppose -7*x = -8*x - 22. Is -20 equal to x?
False
Let k be (-2)/12*(-22)/(-33). Let o = k + -4/45. Is o smaller than 0?
True
Let n = -9 - -9. Let o be n/(1*(0 - 2)). Suppose 1 = 2*r - 5*d - 9, o = -r + d + 2. Which is greater: -1 or r?
r
Let o(x) = -1 + 2*x + 4*x - 7*x. Let f be o(-4). Let z = -1 + f. Which is smaller: z or 1/2?
1/2
Let h = 7.2 - -23.8. Do h and 2/7 have the same value?
False
Let d(g) = -g**3 + 5*g**2 + 6*g + 5. Suppose -4*q + 30 = q. Let r be d(q). Let m = r + -7. Which is bigger: -1 or m?
-1
Suppose -m + 3*x = 3*m - 316, 3*x = 12. Let n =