 b = 16 + j. Let d be (16/(-18))/((-4)/b). Is d less than or equal to -2?
False
Let x = -3797 + 7603/2. Let s = 0.3 + -0.32. Which is bigger: x or s?
x
Let m = -1 + 6. Let u = -4 + 10. Let c = m - u. Is -3 < c?
True
Let u be 1 - (-15)/(-3) - -24. Let a = 26 - u. Is 6 equal to a?
True
Let w = 12 - 11. Suppose -4*l - w + 25 = 0. Suppose -4*j + 10 + 22 = y, 2*y = j + 1. Do j and l have the same value?
False
Let m(i) = -7*i - 29. Let u be m(-4). Which is greater: 2/361 or u?
2/361
Let j = -415.4 + 466. Let s = j + -51. Which is smaller: s or 3/2?
s
Let c be ((160/2004)/(-20))/(2 - -1). Which is bigger: c or -1?
c
Let a = 2.57 + 0.13. Let n = 4.7 - a. Is -1 not equal to n?
True
Let f(g) = -g**2 - 4*g. Let l be f(-4). Let b be (4/6)/((-62)/(-2443)). Let m = b - 79/3. Does m = l?
False
Let z = -3.91 + 15.91. Is z < 2?
False
Let w = 105 + -148. Which is smaller: w or -37?
w
Let g = 40.2 - -39.8. Which is smaller: g or -2?
-2
Let j(i) = -3*i + 2 - 9*i + 15*i. Let o be j(11). Let w be o/75 - 2/3. Which is smaller: 0 or w?
w
Let l = 7697/15 + -513. Let m(v) = -v - 3. Let g be m(-3). Which is smaller: l or g?
g
Let k(n) = -2*n**3 + 3*n**2 + n. Let f be k(2). Let y be (13/39)/(1/f). Which is smaller: 2 or y?
y
Let r = -2 + 3. Let w = -3194/13 + 246. Which is bigger: w or r?
r
Suppose 17*v = 3*s + 19*v - 1, 8 = 5*s - 3*v. Is s not equal to -6/203?
True
Let v = 47.76 - -0.24. Let a = v - 49. Which is greater: 0.05 or a?
0.05
Let a be -3 + 12/(12/(-4)). Let o(k) = k**2 + 10*k + 19. Let b be o(a). Is -2 at least b?
True
Let r be (-28)/2 + (1 - 1). Let z(a) = 31*a + 296. Let t be z(-10). Are r and t nonequal?
False
Let g(m) = -4*m - 38. Let f be g(-10). Suppose f*z + 5*z + 42 = 0. Is z != -5?
True
Let a be (-4)/(-24) - (-334)/12. Let j = -23 + a. Suppose m = -3*h - 2, -m + 3*m + 26 = j*h. Which is smaller: m or -6?
m
Suppose 5*i - 4 = 4*i. Suppose -g = -2*x + i*x - 14, -x + 62 = 3*g. Suppose 0 = a - k - 9, 2*k + k = 2*a - g. Which is smaller: a or 2?
2
Let x be -10 - -15 - ((-142)/(-46) - -2). Let v = 6 - 6.1. Which is smaller: v or x?
v
Let s(i) = 14*i + 55. Let n be s(-7). Do -39 and n have the same value?
False
Let l be (27/6 - 4)*10. Suppose -4*v + 4 = -2*y, -l*v + 2*v + 6 = 0. Is y less than -1?
False
Suppose -41 - 5 = -2*s. Which is bigger: s or 24?
24
Suppose 6*j - 103 = 527. Suppose -110*r - 75 = -j*r. Do r and -15 have the same value?
True
Let f be (-2)/(6/3) - -7. Let o be -1 + -2 - f/2. Let n be (2/(-18))/(2/o). Which is greater: 12 or n?
12
Suppose 0 = -7*q + 3*q - 3*p - 102, -2*p - 23 = q. Let l = 27 + q. Suppose l*k - k = -1. Which is greater: -1/15 or k?
k
Let w(l) = -l**2 - 6*l - 1. Let f be w(-3). Let x be ((-6)/(-10))/(f/(-10)). Are x and -7 unequal?
True
Let n(i) = -2*i. Let y be n(-1). Suppose -3*s = -p, -3*p - 42 = y*p - s. Let v = p - -1. Which is smaller: -9 or v?
-9
Let n = -9 + -10. Let a = n + 19.16. Let q = a + -0.36. Which is bigger: 2/7 or q?
2/7
Let k(f) = f**3 + f**2 - 3*f + 3. Let t be k(-3). Let a be 65/35 + (-1)/(-7). Let i be t/a - (-6)/3. Is 0 at least i?
True
Let a(k) = 3*k - 3. Let i be a(-24). Let t = 83 + i. Is 9 at least t?
True
Let f = -2.6 + -1.3. Let g = f + 4.1. Which is smaller: -11 or g?
-11
Let d be 12 + 545*(-30)/(-50). Which is greater: d or 0?
d
Suppose -2*m + f = 6*f + 10, 8 = -4*f. Let s be m - (2 - 1)*3/36. Let u(y) = y - 5. Let p be u(6). Which is smaller: s or p?
s
Let v = 1398221213 - 89465184315916/63985. Let o = v - -3/955. Which is smaller: o or 0?
o
Let b = -30.8 - -28. Let c = b + 2.5. Which is smaller: 6 or c?
c
Suppose -g = -3*g + 30. Suppose 0 = -5*f + 4*a + 83 - 21, 0 = -5*a - g. Let q(t) = -t**3 - 5*t**2 + 13*t + 3. Let p be q(-7). Is f at least as big as p?
True
Suppose -x = -k - 1, x + 3*k + 17 = 6. Let n be x/6*-3*6/(-2). Is n greater than or equal to -3?
True
Suppose 2*h = 4*h - 10. Suppose -2*f - 4 = 4*l - 20, 2*l = -h*f + 8. Let m be l/2 - (-240)/(-156). Is -1 equal to m?
False
Suppose 4*v + i - 4 = -11, 0 = 3*v - 4*i - 9. Which is bigger: v or 6/359?
6/359
Let g(d) = 2*d**2 + d + 1. Suppose 0 = j - 3 + 4. Let l be g(j). Suppose 0 = -4*x - l - 18. Which is greater: x or -7?
x
Let p(n) = 0*n**2 - n**2 - 9*n - 16 + 22*n. Let s be p(11). Suppose -44 = 2*q - s*q. Which is bigger: 0 or q?
q
Let v be (-35)/(-7) + (0 - 1). Suppose 3*x = v*q + 35, -5*x - 7*q + 15 = -5*q. Which is greater: -1 or x?
x
Let c be (-10)/(-8) + (-1)/4. Suppose 8 = -8*h - 0. Are h and c non-equal?
True
Suppose 11*c = 6*c - 50. Which is greater: -98/9 or c?
c
Suppose -28*f + 1 = s - 25*f, -4*f = -3*s + 29. Is 49/6 at most as big as s?
False
Let k(r) = 16 - 5*r - 4 + 3*r - 2*r. Let v be k(4). Let j be (-1)/((1/6)/1). Is j less than v?
True
Let k be -1 - (2214/639)/(-3). Which is smaller: k or -1?
-1
Let z = 395/12 + -1649/12. Let o = -105 - z. Are o and -1 nonequal?
True
Let m = 4858823/914 + -5316. Is -1 greater than m?
False
Let n(d) = -d**2 - 49*d - 445. Let g be n(-29). Which is smaller: 141 or g?
g
Let g = 3/232 - 61/232. Which is greater: -11/13 or g?
g
Let s(g) = 17*g - 145. Let w be s(4). Is -75 at least w?
True
Suppose -x - 2*w - 14 = 0, 14*x - 15*x + 3*w = -1. Is -39 at most as big as x?
True
Let o = -13 + -50. Let i = o + 63. Which is smaller: -9/7 or i?
-9/7
Let g = 13.3 + -107.3. Let r = 92 + g. Which is smaller: -8/3 or r?
-8/3
Let i = -74 + 44. Let r be (-453)/i*5 - (-1)/2. Do r and 75 have different values?
True
Let x be 4/(-6)*6/(-14). Let u be -1 - -2 - (8 + -1). Let c be (4/5)/(u/(-15)). Is c greater than x?
True
Let f = 0.812 + 0.188. Is 29 > f?
True
Let j be 139*(16/(-2) - (1 + -4)). Which is smaller: j or -2089/3?
-2089/3
Let n = -18156 - -217877/12. Let j be (-10)/(-2)*(-6)/(-15). Let o = 3 - j. Which is smaller: o or n?
n
Suppose 5*x - 12 = -3*z, -2*x = -6*z + 10*z - 2. Is 0 greater than or equal to z?
True
Let b be 18/99 + (-532)/22. Is -45/2 at most b?
False
Suppose -60*a = -53*a - 539. Which is smaller: a or 76?
76
Let l = 57 + -34. Let f = -6 + l. Let q = 15 - f. Which is smaller: 0.3 or q?
q
Let h be (-54)/2 + (30 - 15) + -13. Is -149/6 at least as big as h?
True
Let i(g) = g**2 - 4*g + 3. Let w be i(2). Let p be ((-84)/(-38) - 2)*-4. Is p bigger than w?
True
Let d = 167 + -110. Let w(y) = y**2 - 2*y - 5. Let p be w(-7). Which is smaller: p or d?
d
Let l = 702 + -699. Let z be 5/3 + 2/3. Is z < l?
True
Let a be 33/(-39) - (-4)/(-26). Let x be 2*a/36 - 22/(-99). Which is greater: 1 or x?
1
Let l = -1274 - -1231. Which is smaller: -47 or l?
-47
Suppose -3*m - 2*f + 0*f - 15 = 0, -5 = 2*m + 3*f. Which is smaller: m or -8?
-8
Let x = -858 + 858. Is x less than or equal to 18/41?
True
Let i be (-3)/21*4/2. Suppose 3*h = 3*j - 0*h, 0 = j + 2*h + 9. Which is greater: j or i?
i
Let o be (91/(-35) - -2)*10/(-26). Which is smaller: o or 5/2?
o
Let o = -4 - 0. Suppose 4*j + 5*d - 249 = 4*d, d + 318 = 5*j. Let a be o/j + (-24)/(-84). Is a not equal to 0.3?
True
Let n(q) = -q**2 + 7*q + 3. Let y be n(7). Suppose -4*u + 24 = -7*u - y*h, 0 = -2*u - 4*h - 22. Let l = u + 15. Which is smaller: 9 or l?
9
Let k be -2 + (-144)/27 + 2/(-3). Suppose 4 + 4 = 4*o. Let l = o - 5/2. Which is smaller: k or l?
k
Let n = -11 + 9. Let m(w) = 3*w**2 + 2*w + 2. Let u be m(n). Let x be (0 - 3) + u/4. Which is greater: x or 1?
1
Let r = -0.96 + -0.04. Let l = 3.1 - 0.1. Is r less than l?
True
Suppose -9*m = -5*m + 4. Which is smaller: m or -1/71?
m
Let o(i) = 4*i**3 - i**2 + i - 194. Let z be o(0). Is z bigger than -197?
True
Let s(i) = -18*i - 332. Let d be s(61). Is -1431 greater than or equal to d?
False
Let a = 8.5 + -0.5. Let n = a - -1. Let t = n + -9. Is t < -2/5?
False
Let n be ((-3 - -7) + 4)/2. Suppose -4*h = -5*s - 168, -2*h + n*s + 90 = -0*s. Let p = h + -26. Is 12 equal to p?
False
Let b(o) = 4. Let i(h) = -h**2 - 5. Let m(q) = -3*b(q) - 2*i(q). Let k be m(2). Suppose 16 = 3*c + x, -4*x + 4 = 3*c - k. Which is smaller: 8 or c?
c
Let y(s) = s**3 - 2 + 2*s**2 + 2*s + s - 4*s. Let z be y(-2). Suppose 0 = -z*l + l. Is -2 < l?
True
Suppose 3*i + 0*s + 97 = 2*s, -2*s = -i - 31. Let h = i + 36. Which is bigger: h or 12/5?
h
Let j be (-4 - -3) + (-2 - (-1)/1). Is j <= 3?
True
Suppose -2*i - 7 = -3*i. Let v be (i + -1)*(-1)/(-2). Suppose 10 + 11 = -v*j. Is -4 != j?
True
Suppose -v + q = -0*v - 9, q - 3 = -2*v. Suppose 4