 4*c - 14988 = -8*c. Let i = 111163/89 - c. Is 1 bigger than i?
True
Let w be 2/(-7) + 4860/105. Which is bigger: w or 19?
w
Let y = -64 + -11. Let p = y + 74.98. Which is smaller: 0.1 or p?
p
Let u = -98 - -83. Let f be (-1)/(-1)*u/(-410). Which is smaller: 0 or f?
0
Let g(c) = c**2 - 7*c + 1. Let m be g(5). Let p = m + 6. Let q be (12/(-8) + 1)*2. Which is greater: p or q?
q
Let j = -17817/35 + 509. Let y be 39/(-33) + 4/22. Is j at least y?
True
Suppose 127*m = -4426 - 25546. Is m less than -231?
True
Let x = -419 - -418. Which is smaller: -31.3 or x?
-31.3
Suppose 0 = o - 8 + 1. Let x be (4/6)/(18/243). Suppose 4*u = 21 - x. Is u bigger than o?
False
Let q be (2 + -3 + -20)*(-10)/(-144). Let r = -1/24 + q. Are r and -1 nonequal?
True
Suppose 4 = 4*l + 4*g, 0*l + 4*l + 8 = 2*g. Which is smaller: 21 or l?
l
Let u = -41 + 36. Let p be (-2)/(u - -1)*0/2. Which is smaller: p or -2/101?
-2/101
Let j be (-21888)/(-74746) + (-2)/7. Are 1 and j unequal?
True
Let z = -2/3153 + 49399/3153. Do 16 and z have the same value?
False
Let h = 677/330 + -51/22. Let j be -1 + 3/3 + 1. Which is smaller: h or j?
h
Let f be (96/4)/((-6)/(-93)). Let m be ((-2)/(-18))/(-1 - (-364)/f). Is m not equal to -4?
True
Let z be (4 + -3)*1 - -2. Suppose -5*i = 3*t + 40, 5*i + t + 35 = -z*t. Let p be (-22)/10 + i + 12. Is -1 not equal to p?
True
Suppose y + 2 = -f + 4*y, 0 = -4*y + 4. Let k = 6546/11 + -594. Is k at least as big as f?
True
Let l = -0.3 - 3.7. Let a = l + 3.9. Let r = -0.0048 + -0.0952. Do r and a have the same value?
True
Let i be ((-18)/4)/(0 - 1/12). Let u be (1/16)/((-1)/i*3). Which is smaller: -1 or u?
u
Suppose 2*w - w + 3*t = 13, -8 = -2*t. Suppose -w = -3*z + c - 6*c, z + 3*c - 7 = 0. Suppose -2*b + 3*l = 27, 0 = -5*b - 5*l - 2 - 3. Which is smaller: b or z?
z
Let m = 111 + -245. Let l = m + 58. Which is smaller: 0.1 or l?
l
Let h be 632/24 + 8 + (-2)/6. Which is bigger: h or 1?
h
Suppose 4*r - 15 = 1. Let h(c) = -13*c + 35. Let a(x) = -7*x + 18. Let o(b) = r*h(b) - 7*a(b). Let f be o(8). Which is bigger: -9 or f?
-9
Let l be (-1)/(11 + -3 + -7). Is l < -1/1288?
True
Let g = -12696171 + 571365943/45. Let p = 850 - g. Which is smaller: 0 or p?
0
Let f = 19 + -39. Let q be (-38)/f + (-18)/45. Suppose -5*i - 15 = -5*l, 2*i - l + 0*l + 6 = 0. Which is bigger: i or q?
q
Let t(z) = z**3 - z + 13. Let w be t(0). Which is smaller: 0.06 or w?
0.06
Suppose 17 + 8 = 5*v. Let u be (4 - 0 - v)*0. Let m = 2 + -3. Which is smaller: m or u?
m
Let i be (-116)/14 + 2/7. Let j = i + 8. Suppose 4*b - 2 - 2 = j. Is b not equal to -2?
True
Let j = 2/45 - -37/180. Let x be (-9)/(-12) + 26/8. Suppose i = -x*q - 1, -5*q = -8*i + 3*i - 5. Which is bigger: j or q?
j
Let v = 43.0414 + 0.0586. Let x = v - 43. Is x at most as big as -3/23?
False
Let q = 1495837/64 + -23373. Which is smaller: -2 or q?
-2
Let v = 1231/26 - 142/3. Which is greater: v or 1?
1
Suppose 3 + 0 = b - p, 3*p = 2*b - 2. Suppose 0 = 2*r - 4*f + 32, -2*r + 4*r + b = -f. Does r = -6?
True
Suppose -10249 = 5*z + 26791. Let k = -21961/3 - z. Let i = 87 - k. Which is smaller: i or -2?
-2
Let f(p) = -3*p**3 - 4*p**2 - 4*p. Let n be f(-3). Suppose -3*y + 52 = 2*w, -y - n = -4*y + 3*w. Suppose -2*d = -i + 5*i + y, -12 = 3*d + 3*i. Is d < -1?
False
Let w be (-21)/(-36) - 3/(-4). Which is greater: -11 or w?
w
Let s = 0.0553 - 0.5553. Are s and -49 nonequal?
True
Let q = -36 - -39. Suppose 4*y - 5*y = q*i - 5, -4*y = 3*i - 20. Is i equal to 1/40?
False
Let h = -25.5 - -25.7. Is h < 41?
True
Let l = -40.6 + 20.6. Is l bigger than -6?
False
Suppose 13 = -3*m + j, -3*m = 5*j + 3 + 4. Let t be m/1 - (1 + -10). Which is smaller: t or -0.1?
-0.1
Suppose -204 = -2*o - g - 767, -4*g - 264 = o. Is -284 < o?
False
Let w = 1.19 - 0.93. Let a = -4.3 + 4. Do w and a have different values?
True
Let m = 505 + -507. Which is smaller: 23 or m?
m
Let f = -975 + 1385. Is 410 at least f?
True
Suppose 0 = w - 2, 210 = -3*y + 3*w. Which is smaller: y or -67?
y
Let u = -0.33 + 0.03. Is u at least as big as -2/75?
False
Let s = 729 + -550. Are s and 179 equal?
True
Suppose 0 = 10*a - 0*a - 2890. Do 866/3 and a have the same value?
False
Let i be (-5)/(1/(-5)*10/(-4)). Is -45/4 < i?
True
Suppose 42*a = -51 + 9. Which is smaller: a or 1/916?
a
Let p = -690 + 694. Is 0.21 at most as big as p?
True
Let c = -2368/77 + 673/11. Which is greater: 31 or c?
31
Let h = -1401 + 1401. Let f be 127/6 - 1/6. Which is smaller: f or h?
h
Suppose -106*a + 105*a + m - 69 = 0, -3*a - 4*m = 242. Which is smaller: -293/4 or a?
a
Let z(t) be the third derivative of -t**6/360 + t**5/60 + 7*t**4/24 + 4*t**3/3 + 8*t**2. Let l(c) be the first derivative of z(c). Let v be l(6). Is -16 > v?
True
Let s(n) = 4*n**2 - 2*n - 10. Let y(o) = 3*o**2 - 2*o - 9. Let q(a) = -4*s(a) + 5*y(a). Let p(b) = -b**2 + 6*b - 5. Let m be p(5). Let k be q(m). Is k > -4?
False
Let v be (26/(-65))/(99/(-5)). Let z = 95/198 + v. Which is smaller: -22 or z?
-22
Let u(c) = -c**2 + 4*c + 8. Let a be u(5). Let m be (11 + -7)*a/4. Suppose m*b - 3 = 6*b. Is -0.1 greater than or equal to b?
True
Let x(i) = i**2 - 6*i + 6. Let p(w) = 2*w - 2. Let a be p(4). Let f be x(a). Suppose 0*n - 2*n + 4*h + f = 0, -3*h - 9 = 0. Is -3 != n?
False
Let u be (182/13 - 11)*(-2)/18. Let x = -14 + 14.11. Which is bigger: u or x?
x
Let o = 60.6 + -49.6. Let f = 4 - 3. Let u = f - 1.1. Is o at most u?
False
Let j = 14 + -91. Let u be j/14 + 0 + 2. Which is bigger: u or -5?
u
Let b = -12 + 8. Let j(z) = z**3 + 4*z**2 + 2*z + 4. Let i be j(b). Let v be -4 - (1 - -1)/(4 + 0). Which is bigger: v or i?
i
Let h be ((-192)/(-15))/(-1 - 1). Suppose 0 = -5*n + 1265 - 1290. Which is greater: h or n?
n
Suppose 2*c = -2*c + 3*h - 12, 5*c - 20 = -5*h. Let v be (0 - 6) + c/11. Which is smaller: -5 or v?
v
Let p(d) = 2*d**2 - 2*d - 39. Let z be p(-5). Are 21 and z unequal?
False
Let o = 1799/13 - 138. Let q = 3/13 - o. Suppose 4*p + 0 = -4. Which is smaller: p or q?
p
Suppose p + 140*t - 136*t + 12 = 0, 5*t - 15 = 0. Is p >= -20?
False
Let l(w) = -w**2 - 2*w + 10. Let d be l(-5). Let n be d*(0 + 36/(-20)). Let i be -1 + -1 - n/(-6). Are i and -11 equal?
False
Let v = -39.7 + 25.6. Let p = -15.1 - v. Is p at least -0.33?
False
Let n = -9249/5 + 1849. Which is greater: -71 or n?
n
Let c = -2 - -1. Let r be 5 - (-254)/(-50) - 1080/2125. Which is smaller: r or c?
c
Let m = 1847 + -1406. Which is greater: 0.1 or m?
m
Let m = -0.5 + -0.3. Let g = m - -0.9. Are 20 and g equal?
False
Let g be (3/2)/((-18)/210). Suppose 2*x + 38 = 6*a - a, 4*a = -3*x - 57. Which is smaller: x or g?
x
Let v = -2.93 + -0.07. Let i = -2427/13 + 187. Let f = -14/39 - i. Do f and v have the same value?
False
Let f(r) = 581*r**2 + r - 2. Let h be f(1). Let k be (1/(-5))/(8/h). Let d = k + 15. Which is smaller: d or 0.2?
0.2
Suppose -24*c - 4 = -20*c. Do c and -3/167 have different values?
True
Let c = -9 - -15. Suppose 2*a - 11 = 3*t - c*t, 3*a = 2*t + 10. Is -39 equal to t?
False
Suppose 10*i = 5*i - 5. Let z be i - -1 - (9 + -2). Let l be 3/(-3) + (-5)/z. Which is greater: l or 0?
0
Let k = 5741/4 - 4547/4. Is k < 300?
True
Let w(i) = i + 18. Let l be w(-14). Suppose o = -2 - l. Let c = 5 + o. Is c greater than 2/17?
False
Let n be 3/(-3) + 20 + -6 + 7. Let j = n - 23. Do j and -4 have the same value?
False
Let h = -2.81 + 5. Let q = h - 0.19. Let f = 4 - q. Which is smaller: f or -3?
-3
Let z = 0.11 + 1.89. Let l = 42 + -45.5. Let j = 3.52 + l. Do j and z have the same value?
False
Let i be (336/20)/((-184)/(-100)). Let u = 7304/805 - i. Is u less than 0?
True
Let n(d) = -7*d**3 - 2*d**2 - 2*d - 1. Let x be n(-1). Let l(v) = v**3 - 7*v**2 + 4*v + 10. Let a be l(x). Which is bigger: a or 2?
2
Suppose 6*c - 3 = 5*c. Let x be 8 + -2 - (0 + c). Suppose -3*i - x*y + 12 = 0, 5*i + 3*y - 7 = 9. Which is smaller: -1 or i?
-1
Let c be -21 - (1 + 1 + 2). Let u be (-10)/c - 518/20. Is -25 != u?
True
Suppose 0 = -2*m - v + 14 - 6, 0 = 2*m + 4*v - 2. Let r be (189/3 - m)*1. Is r less than 58?
False
Let b = 310 + -311. Which is smaller: -1/163 or b?
b
Suppose -5*f + 5*l = -2*f - 19, 0 = -5*l - 10. Suppose f*u = 4 + 2. Suppose 3*k - 5*h + 3 = u*k, -k = 2*h - 4. Which is smaller: 3/2 or k?
3/2
Let o be (20/(-10))/((-1)/10). Let b be 72/o + (-6)/(-15). Suppose -h + b = 0, 0 =