f - 4*i = 0, 0 = f - 5*i - 18. Suppose 2*c - f*c + 2*p = -46, -3*c - p = -152. Let b be (5/c)/(4/50). Is b greater than or equal to 0?
True
Let o(g) = 2*g - 16. Let b be (18/12)/(6/28). Let d be o(b). Let r be (-3)/((-3)/d) - -2. Is 0 != r?
False
Let x = 242 - 248. Which is smaller: x or -4?
x
Let r be (-4)/(-18) - (-14008)/306. Which is smaller: r or 43?
43
Let n be (-14 + 0)*(-51)/(-16). Which is greater: n or -46?
n
Let t = -510 + 100979/198. Let z = -23/18 - t. Which is smaller: z or 0?
z
Let u = -0.1586 - 13.8414. Let f = 37/2 - 263/14. Do f and u have the same value?
False
Let g = 13 - 13.04. Let k = 77.2 + -77. Is k < g?
False
Let f(a) = -76*a**2 - 2*a - 1. Let v be f(-2). Let u = v + 3911/13. Let g = -8 + 7. Are u and g nonequal?
True
Let y be 2/(-2)*(-1 + 1). Let m be (-3)/10*15/(-6). Which is greater: y or m?
m
Let r = -31 + 31. Suppose 2*s + 3*s + 565 = r. Is -114 less than s?
True
Let z = 82 - 78. Let d(q) be the third derivative of -q**4/8 + 5*q**3/6 + q**2. Let s be d(z). Are s and -7 equal?
True
Suppose 14*j = -5 - 9. Let f = 16 + -20. Let c be (3/2)/(3/f). Is c equal to j?
False
Let o = 2 + -5.5. Let a = 3 + o. Let r = 627 + -626.9. Which is smaller: r or a?
a
Suppose 0 = -4*t + 2*t + 2. Let w be ((-3)/393)/(t/(-3)). Let g = 257/5502 - w. Which is bigger: g or 0?
g
Suppose -3*p + 6 = -8*p - n, -p = -2*n - 1. Is p at least -8/53?
False
Let u = 10862/13 - 836. Let y = 7 - 4. Which is smaller: y or u?
u
Let t be 3*((-20)/12)/1. Let c be 1/t - (-13)/(-65). Is c < 16?
True
Let b = 50 + -112. Let j = -89 - b. Which is greater: j or -26?
-26
Let d = 1909 - 5791/3. Which is bigger: d or 2/7?
2/7
Let k be (-8 - 646/(-48)) + -5. Is k at most as big as 1?
True
Let l(p) = -p**3 - 20*p**2 - 37*p - 9. Let u be l(-18). Let x be (0 + 32/(-84))/((-2)/u). Is 1 at least as big as x?
False
Let f = 112 + -1907/17. Let p(l) = l**2. Let t be p(0). Which is smaller: t or f?
f
Let f = 3 - 1. Let h = f - 2. Let d be (63/(-22) - -3)*(-2)/1. Which is smaller: h or d?
d
Let h be ((-24)/(-15))/(3/15). Let v(u) = -u**3 + 6*u**2 - 4*u - 7. Let m be v(5). Let t be (-13)/m - (-3)/2. Do h and t have the same value?
True
Suppose 17 = 3*r + 62. Let n be -12 - ((-4)/(-2) - 0). Let s = n - r. Is 0 less than s?
True
Let f = -788 - -787.9. Is f greater than -8/3?
True
Let z = 278/25 + -8002/225. Which is smaller: z or 2/3?
z
Let n = -139 + 122. Is n not equal to -0.1?
True
Let f be (105/126)/(52/3 + -2). Which is smaller: f or -1?
-1
Let k be (42/(-12))/(3/6). Let q = k - -3. Let v be q/10*(-80)/112. Is -1 at least v?
False
Let x be (2/2)/(-36 - -35). Is -3/679 greater than or equal to x?
True
Suppose -x + 19 = -7. Suppose -r + x = 4*d, r + 3*d = 26 - 5. Let s = -3 + r. Is s less than or equal to 3?
True
Let k = -1691/2 + 849. Which is smaller: 7 or k?
k
Let z = 286 - 216. Is z greater than or equal to -2?
True
Let j = -30.9 + 31. Let o be (-92)/(-12)*3*-1. Is j bigger than o?
True
Let l(c) = c**3 - 4*c**2 - 5*c + 4. Let x be l(5). Suppose -x*o = -16, -5*a - 2*o + 163 = -0*a. Do 32 and a have different values?
True
Suppose u + 2*u = 4*p - 27, -3*p = -2*u - 19. Suppose 5*d + p*z = -14, -5*d + 5*z + 7 = z. Let k be (16/(-10))/((-4)/(-10)). Which is greater: k or d?
d
Let r(c) = -1. Let o(s) = s + 16. Let h(x) = o(x) - 3*r(x). Let n be h(-17). Do -5 and n have the same value?
False
Let q = -44 - -42.35. Let m = -1.8 - q. Let t = m + 0.05. Is 0.08 equal to t?
False
Let p = -0.24 + 73.24. Let i = p - 73.3. Is i less than 0.26?
True
Let n = -21 - -45/2. Let p = n - 7/6. Let f = 3 - 3. Which is smaller: f or p?
f
Let k be ((-22)/(-33))/(2*(-2)/90). Let r = 0.09 + 1.01. Let t = r + -0.1. Which is greater: k or t?
t
Let d = 1574 - 1582. Which is smaller: -56 or d?
-56
Let d(h) = h**3 - h - 1. Suppose f + 6 = 3*f. Suppose 3*x = -3*w + 5*x - 16, -f = 4*w + x. Let o be d(w). Which is greater: -6 or o?
-6
Let k = 399 - 382. Which is smaller: k or 19?
k
Let k = -78.1 - -78. Is -104 greater than or equal to k?
False
Let c = 2/13 - -20/39. Suppose 0*o = -2*o. Suppose -2*s = -o*s. Does c = s?
False
Let w be 8 + 56/6*(-190)/228. Suppose 2*q = 4*a - 18, -2*q + q + 3*a - 12 = 0. Let z be ((-1)/q)/(2/6). Is z greater than or equal to w?
True
Suppose 5*y - 468 - 632 = 0. Let q = 1325/6 - y. Let z = q - 47/42. Is z greater than or equal to -3/10?
True
Let p = 568 + -559. Which is smaller: p or -3?
-3
Let p = 6.6 + -6.33. Let o = 252.27 + -239. Let b = p - o. Is b at least -1?
False
Suppose 0 = 4*w - w. Suppose 3*a - 19 - 47 = w. Suppose 2*j - 4*d - 8 = 0, 3*j - a - 26 = -3*d. Is 12 <= j?
True
Let t = -141 + 142. Which is greater: t or -2/81?
t
Let a be 1*2*(-2)/(-16). Which is smaller: a or 368?
a
Let u = -1556/11 - -140. Let s = -69/55 - u. Suppose 13*n + 6 = 7*n. Which is smaller: s or n?
n
Let y = 17 - 12. Suppose -y*n = 4*s + 6, 2*s + 3*s = -20. Let p(i) = 2*i**3 - 47*i**2 + 39*i - 367. Let w be p(23). Which is smaller: n or w?
w
Let o(q) = -q**3 + 6*q**2 + 8*q - 5. Let u be o(7). Suppose -3*a - 3 = 3*c, -4*a + 0 = 2*c + u. Let f = 18.01 - 18. Which is smaller: f or a?
a
Let w be 1*3/6*1. Let m = -0.247 + -1.753. Is m greater than or equal to w?
False
Let v be (-9)/12 - 27/(-4). Let j be (v/8)/((-18)/(-4)). Let h(o) = 2*o + 1. Let r be h(-1). Which is smaller: r or j?
r
Let y = 1.01 + 118.99. Let q = 22 - 22. Do q and y have the same value?
False
Suppose 0 = 11*h - 7*h. Suppose 3*j - 2*l - 4 = h, -6 - 6 = -4*j - 4*l. Are -2 and j nonequal?
True
Let b = 15.33 + -0.33. Let o = b + -20. Let k = 2 + o. Is -2 != k?
True
Let b = 4619 + -4618. Let z be (4/62)/(-1)*-2. Does b = z?
False
Suppose 2*j - 828 = 5*h, -j + 6*h = h - 414. Is j <= 415?
True
Let v be 4 - (2 - 21/15)*-5. Suppose 9 = 5*x - 6. Which is smaller: x or v?
x
Suppose -2*i = 3*a - 77, 5*a - 12*i = -8*i + 121. Which is bigger: 4 or a?
a
Let g = 45 - 41. Let f(d) = -d**2 + 3*d + 4. Let r be f(g). Let c be 174/138 + 1*-1. Are r and c equal?
False
Let l(f) = -5*f**3 + 3*f + 8. Let v(c) = 11*c**3 - 7*c - 17. Let k(j) = 13*l(j) + 6*v(j). Let i be k(-2). Suppose d = 8 - i. Is d less than 5?
False
Suppose 144 = -3*i + 6*i. Suppose q = 5*x - 249, -5*x + q = 2*q - 241. Is i not equal to x?
True
Let w be -1 + 12/(-4) + 6. Suppose 0 = 4*q - 3*s + 7, w*q - s = 2 - 3. Which is smaller: q or 13/5?
q
Let k = 0.21 + 0.15. Let s = -0.64 - k. Is s bigger than 1/7?
False
Let y = -0.0158 + -20.0842. Let o = y - -0.1. Which is smaller: -2/7 or o?
o
Let a = -2.1 + 3.1. Which is bigger: a or -128/5?
a
Let i = 1844/849 - 3/566. Let x = -3 + 4. Which is bigger: i or x?
i
Let f be (-3)/(-3)*-1 + 3. Suppose f*v - 7*v = -30. Suppose -v*c = -8*c - 2. Which is smaller: -2/29 or c?
c
Let r = 58 - 57. Let b = 1/29 + 9/1421. Which is smaller: r or b?
b
Let o = -6596/23 - -287. Which is bigger: -1 or o?
o
Suppose 0 = -3*y + 2*l - 4, -99*y + 102*y = l - 2. Is 351 <= y?
False
Let z be 8*1/4*7/(-14). Which is bigger: -7/384 or z?
-7/384
Suppose 7*b + 34 = 6*b. Let c = -8 - b. Which is smaller: 27 or c?
c
Let p be -3 - -7 - (3 + -12). Suppose p*d - 16*d + 3 = 0. Let q be d/(-36)*(1 - -1). Is 1 > q?
True
Suppose q + 5*g = 7, -5*q + 2*g - 19 = -0*g. Let j = q - -5. Which is smaller: 1 or j?
1
Let w(h) = h**3 - 6*h**2 - 7*h - 4. Let n be w(7). Let t(r) = -5*r + 1 + 2 - r**2 + 1. Let o be t(-6). Which is smaller: o or n?
n
Let g = 459 - 459. Let x(z) = -5 + 2*z - 14 - 3*z. Let m be x(g). Which is smaller: m or -20?
-20
Let s(h) be the third derivative of -h**6/4 - h**5/60 + h**4/24 + h**2. Let y be s(1). Let d be 10/y + 7/12. Is d < 1?
True
Let s be 4/20*5/4. Suppose -p = -4*h + 21, h + 3*h = 3*p + 23. Suppose -2*o + 5*d = 0, 5*o - h*d = -d. Are o and s equal?
False
Suppose -3*p + 1 = -8. Suppose -3*o - 2 = -4*r, -8 = -5*o + p*o - 2*r. Suppose y - 3*w - 17 = 0, -o*w - 7 = 1. Which is smaller: 3 or y?
3
Let o be (1/(-1 - 0))/(-1). Let p be ((-6)/4)/(-5 - 484/(-96)). Let z be 24/p + o/(-2). Is -1 < z?
False
Let o(j) = 12*j + 6. Let k be (20/(-16))/5*-68. Let u be o(k). Let s be ((-15)/u)/((-10)/7). Are -1 and s unequal?
True
Let g = 150550 - 30862903/205. Let v = 6/41 + g. Is -2/23 not equal to v?
True
Let l(u) = u**2 - u + 4. Let c be l(4). Suppose 5*r + 3*w - 40 = 8*w, -r + 28 = 4*w. Is r smaller than c?
True
Let q = -511/9 + 57. Are q and -1/7 unequal?
True
Let h = 