1. Let i be s(q). Is i greater than or equal to c?
False
Let b be (81 + -7)*(-4)/(-6). Which is smaller: b or 49?
49
Let s(z) = 10*z - 1. Let d be s(0). Let v = d - -44. Which is bigger: v or 44?
44
Suppose 2*b - 6 - 10 = -2*a, 2*a - b = 13. Let v(y) = -8*y + 3 + 4 - 4*y**2 + 5*y**2 + 0. Let x be v(8). Is a greater than or equal to x?
True
Let l be -3 + 0 - -7 - (-1 - 14). Let h = -62 - -82. Do l and h have the same value?
False
Let g be ((-6)/4)/((-8538)/(-852) - 10). Which is greater: g or -62?
-62
Let o = 20.9 - -65.1. Let k = o - 116. Is -2 greater than or equal to k?
True
Let b = 24 + -14. Suppose -3*r + 0*x = 5*x + b, 2*x = 2*r - 4. Is r at least 1/29?
False
Let y be 2/(2/(-3)) - 6. Suppose 5*j - 5*x + 30 = 0, 5*x + 42 = 25*j - 28*j. Is j at most y?
True
Suppose 2*p + 2*j = -232, 2*p - 2*j + 220 = -0*p. Let v = p + 112. Is 1/3 equal to v?
False
Let s(o) = o**3 + 10*o**2 + 8*o - 13. Let d be s(-9). Let i be (d/(-1))/((12/33)/2). Are 22 and i equal?
True
Let q = 18 - 32. Let z be 4/(-8) - 12/8. Let y be (-2)/(-2)*z/q. Which is smaller: y or 0?
0
Let u be (-45)/(-10)*2/(-3). Let s be -3 + ((-6)/(-4))/u. Which is greater: s or 2?
2
Suppose -147 = -21*y + 70*y. Is y bigger than -5?
True
Suppose 7*t - 9 = 4*t. Let n(f) = f**2 - 5*f + 4. Let b be n(t). Let x be (-9)/2*(-3)/(-18). Is b less than x?
True
Suppose -2*g + 4*q = 218, -5*g - 3*q = -10*g - 517. Which is greater: -100 or g?
-100
Let y = 0 + 1. Let p = -1259/1166 - -50/53. Which is bigger: y or p?
y
Let p = -7 + 5. Let l = -4 + p. Let g = -4 - -5. Is g less than l?
False
Let f = 134 - 27. Which is smaller: 0.1 or f?
0.1
Let h be 2/18*60/196. Let z = h - -2327/735. Is 2 >= z?
False
Let z(r) = r**2 - 8*r - 49. Let q be z(-4). Are -28 and q unequal?
True
Let z(r) = -r**3 + 2*r**2 + 3*r + 2. Let w be z(-2). Suppose i - 4*v + w = 0, 5 = -i + 3*v - 3. Let l = 4 + -1. Is i less than or equal to l?
False
Suppose 2*o = o + 8. Let r be o/(-4)*-1 + -3. Which is bigger: -4 or r?
r
Suppose 0 = 2*v + n + 6, -7 = -v - 4*n - 24. Let w = -152 - -4559/30. Is v equal to w?
False
Let a be (93/21)/(-31)*4/(-10). Let u = 5 - 7. Which is smaller: u or a?
u
Suppose 2*g = -0*g - 50. Let o be (440/g)/((-2)/10). Let t be 1 + (-84)/o - 0. Which is smaller: 1 or t?
t
Let o be (-14 - (-9405)/22)*(-1 - 1). Is -828 equal to o?
False
Let p(f) = -f**2 - 6*f - 5. Let n be p(-5). Let s be 8 - 10 - -3 - (-141)/(-150). Is n at most as big as s?
True
Let i be (-4)/(-34) + (-39298)/238. Let a be i/11*(-1 + (-2)/(-3)). Which is smaller: 46/9 or a?
a
Suppose -y + 5 = -5*y + 3*m, -m + 4 = y. Is 9/37 less than y?
True
Let x(s) = -210*s**2 - 14*s - 26. Let v be x(-2). Is -837 != v?
True
Suppose 0 = -3*f + 7*f - 96. Suppose 0 = -4*l + 2*c + 60, 3*c + c = 5*l - 78. Let s = l - f. Which is bigger: -8 or s?
-8
Let w = 8 + -3. Suppose 0 = -a + 11 - w. Let p be 1 - 1*-2*2. Do a and p have the same value?
False
Let g = 89.1 - -213.9. Which is bigger: g or 2/9?
g
Let x(q) = 11*q + 1. Let h be x(2). Is -0.2 greater than or equal to h?
False
Let o = -0.17 + 18.17. Let f = 18.3 - o. Let u = -0.3 + f. Which is smaller: u or -3?
-3
Let t = 387 - 387. Is t not equal to -85.1?
True
Let t = 171 - 170. Which is greater: t or -19?
t
Let c = 898 + -3958/3. Let k = -417 - c. Is k >= 4?
True
Let r(a) = -a**2 + a - 6. Let w = 9 + -9. Let u be r(w). Is -7 less than u?
True
Let m = 95.53 - 96. Let d = 0.37 + m. Which is bigger: 0.17 or d?
0.17
Let b be 145/(-25) + 44/55. Which is bigger: b or -24?
b
Let a(o) be the first derivative of -o**2/2 + 10*o - 10. Let z = 21 + -13. Let p be a(z). Which is smaller: p or 5/2?
p
Let t be (-8)/(28/49 - (2 + 0)). Which is smaller: t or -1/4?
-1/4
Suppose l = -5*n - 76, 0 = l - 6*n + 9*n + 70. Is -59 at least as big as l?
True
Suppose -95 = d - 6*d. Let k(c) = c**3 + 6*c**2 + 8. Let r be k(-6). Suppose -d = g + 4*x, -r*g - 15 = -3*g + 4*x. Which is bigger: 4/3 or g?
4/3
Let m be (-6)/(-3*(90/(-24))/3). Which is greater: m or 2?
2
Let k be (16/(-34))/(0 + 18/99). Is -2 smaller than k?
False
Let q(j) = 4*j + 2. Let i be q(-2). Let u = -14 - -14. Suppose u*l - l - 3 = 0. Do l and i have different values?
True
Suppose -b + 9 - 5 = 5*l, -b + 4 = 3*l. Which is greater: l or 9/52?
9/52
Let v = 12 - 9. Suppose v*r + 3*s = 2*r, -r - 5*s = 0. Let m = 1 + r. Which is bigger: 2 or m?
2
Let t = -35 + 34. Let j(l) = -47*l**2 - 2*l - 3. Let b be j(-3). Let a = -18902/45 - b. Does a = t?
False
Let m(s) = 3*s**3 - 27*s**2 - 3*s + 7. Let b be m(9). Suppose -20 = i + 2*r, 2*i - 6*i + 3*r - 91 = 0. Which is greater: b or i?
b
Let p = -7.917 + -0.083. Let q be -3 + 8/3 - (0 + 0). Is q at most p?
False
Suppose -4*f + 4 = 0, 8*r - 4*r - 52 = 4*f. Suppose 0 = 2*h + 3*x - 7, r = -5*h + x + 2*x. Let q = 193/21 - 31/3. Which is smaller: h or q?
q
Suppose -10*p = 3*s - 8*p + 1, s + p = 0. Let t be (2 + -21)/(-3 - -1 - s). Which is smaller: t or 20?
t
Let w be 3108/(-784) - (-2)/8 - -4. Let u = 5 + -8. Let d = 5 + u. Which is greater: w or d?
d
Let u be (0/2)/(1/(-1)). Suppose -k + 3 = 2, u = v - 2*k + 2. Which is smaller: -4/5 or v?
-4/5
Let a = -2127 - -2126. Let h = -2 + 1. Are a and h non-equal?
False
Let v be (-5)/(-5) + 7 + -4. Suppose 0*b - v*b + 24 = 4*s, 10 = 3*b + s. Is 11/5 at least as big as b?
True
Let r be -375*-14*(-24)/420. Which is bigger: -1201/4 or r?
r
Let w = -32 + 59. Let f be (-4)/(-18) - 6/w. Suppose 3*t + 4*o - o = 18, 2*o - 6 = f. Which is bigger: t or 2?
t
Let j(z) = z**3 + 13*z**2 + 3*z - 572. Let o be j(0). Does -569 = o?
False
Let x be (0 + 5 + -6)*1. Which is greater: -4/31 or x?
-4/31
Let m be 5/(-18)*4578/(-3320). Let r = m - 2/249. Is -1 not equal to r?
True
Let q(s) = -s - 14. Let l be q(-10). Which is bigger: 8 or l?
8
Suppose -2*q + 1470 = -254. Let l = q - 4296/5. Which is bigger: 0.1 or l?
l
Let a(c) = -c**3 - 7*c**2 + 5*c - 18. Let i be a(-8). Which is smaller: i or 25?
i
Let y = 0.6 + -0.65. Suppose 2*g - g = -6. Let m be (21/(-6) + 2)/g. Is m equal to y?
False
Let r = 1 + -5. Let z be (6/7)/(r/(-14)). Suppose 5*v + 6 = -2*c + z*v, 2*v + 12 = c. Is 2 not equal to c?
False
Suppose 20*b = 22*b + 76. Let z = 48 + b. Is 8 less than or equal to z?
True
Let y = 43 - 46. Let j = 0.1 + -9.1. Let m = y - j. Is -2/5 smaller than m?
True
Let x = -5326961/292 + 18243. Which is smaller: x or -1?
-1
Let f = -0.02 + 0.14. Let k = f - 0.07. Let l = k + 0.01. Is 1 at most as big as l?
False
Suppose 5*v + 3*k - 1147 = -k, -2*k - 448 = -2*v. Suppose 3*t - v = 115. Let b be 1 + (t/10)/(-3). Is b smaller than -4?
False
Suppose 26*c + 7*c - 2*c = 0. Is 39 >= c?
True
Let y = -2456/41 - -60. Is y != 1?
True
Let o = 1.1 - 1.6. Let a(h) = h**2 - 12*h + 6. Let f be a(12). Let i(y) = -y**3 + 5*y**2 + 7*y - 4. Let q be i(f). Which is greater: q or o?
q
Suppose 0 = -11*q - 22*q - 1155. Which is smaller: q or -285/8?
-285/8
Suppose -4*f = 3*u - 132, 4*u = -5*f + 6*u + 142. Let x be 20/f*(3/(-31) + 0). Which is smaller: x or -1?
-1
Let v = -383 + 383.1. Which is bigger: -43 or v?
v
Let d(f) = -f**2 + 9*f - 12. Let o be d(8). Let k be (-1436)/10 + 12/(-30). Let a be k/60 - o/10. Is -3 smaller than a?
True
Let f = 72 + 18. Which is smaller: f or 92?
f
Let n(a) = -a**2 - 10*a - 1. Let v be n(-9). Suppose 0 = -4*i - 2*d + v, 11 = 4*i - d - 9. Let h = -28 + 26. Is h at most i?
True
Suppose 5 = 3*k + 17. Let w = -0.03 - 0.27. Which is greater: k or w?
w
Let h be 3/9 - 20/6. Let c = 0.7 + -1.7. Which is smaller: c or h?
h
Let o be (128/(-160))/(12/(-5) + 2). Is o > -3?
True
Let f(a) = 0 - 2*a - 1 - 7*a + 10*a. Let l be f(-1). Which is greater: -2/5 or l?
-2/5
Suppose -4*p + 84 = 12. Let z be ((-4)/p)/(1/6). Is z at most 2/9?
True
Suppose 5*w = 4*v + 155, -2*w + 93 = 4*v + 3. Which is smaller: w or 37?
w
Let q = -6.9 + 496.9. Which is smaller: -0.1 or q?
-0.1
Let c be 6/10 - (-138)/(-5). Let d = 26 + c. Let h(t) = t**2 + 7*t + 7. Let b be h(-6). Is b > d?
True
Suppose 2*w = -7 - 11. Let n be (1 - w)*3/6. Let a = -2 + n. Which is smaller: a or 0?
0
Let z be -6*((-483)/(-2))/(2 - -1). Let h = 4343/9 + z. Do -0.06 and h have the same value?
False
Suppose -12 = v - 3*v. Let d = v + -2. Suppose 3*g - 4 = d*g. Is -3 not equal to g?
True
Suppose -3*a + 62 = -0*a + 2*t, 2*t = 5*a - 98. Let z be a/24 + 2/(-4). Let q be 2*7/(-3 - 4). Is z less than q?
