= 4*k, -5 = -k + 4*p. Let a = 42 - k. Suppose 6 = -2*q + 5*l - a, -2 = -2*l. Is 1 greater than or equal to q?
True
Let x = -51577 + 30894607/599. Which is smaller: 0 or x?
x
Let l(z) = z - 12. Let h be l(-3). Let j be (3*1)/(15/h). Let u = 10 + j. Are 1 and u equal?
False
Let c(s) = -140*s + 271. Let b be c(6). Which is smaller: -0.2 or b?
b
Suppose 3745*o + 16900 = 3770*o. Do o and -1 have different values?
True
Suppose 5*h - 3*w = -15, 5*h + w = -5 + 10. Which is smaller: h or 2/16557?
h
Let o be ((-4)/1262)/(40/(-16)). Which is bigger: 1 or o?
1
Let n = 174 + -174.071. Let u = -7.429 + n. Let s = -7.7 - u. Is s equal to 0.14?
False
Suppose 487*w = -486*w + 988*w + 83745. Which is greater: -5586 or w?
w
Let u be ((-2)/(-5))/((-1)/(-10)). Let v be (u/6)/((-91)/(-3)). Let q(r) = 70*r**2 + 447*r + 162. Let m be q(-6). Do m and v have the same value?
False
Suppose 5*b + 2*h + 43 = 0, 2*h = -2*b + 3*b + 11. Suppose -x = -5*x - 64. Do x and b have different values?
True
Let q be (1 + 4 + 3)*2. Let g = 454 - 446. Which is smaller: q or g?
g
Let i(o) = -27*o - 38. Let x be i(-4). Suppose 4*c - x + 10 = 0. Suppose 3*y = -2*y + 75. Is y > c?
False
Let m = -291 + 293. Suppose -5*k - m*r + 2 = -k, -5*k - 1 = -r. Does -2/181 = k?
False
Let k = -618 + 298. Let p be 20/80 - (-74)/k. Which is smaller: p or 1?
p
Let v(h) = h**2 + 9*h + 1. Let y be v(-6). Let m = -69 - -56. Which is smaller: m or y?
y
Let l = 1817 + -1817. Suppose l = 4*r - 3*w + 26, -9*w - 5 = -r - 14*w. Suppose 0*d - 3*d = 2*a + 1, -d - 11 = -2*a. Which is bigger: d or r?
d
Suppose 2*c - c + 13 = 0. Suppose -j + 224 = -9*j. Let k = c - j. Is k at most as big as 14?
False
Let g = -10 - 11. Let l(y) = y**2 + 15*y - 34. Let s be l(-17). Suppose -i = 2*q + 24, s*q - 106 = 5*i + 3*q. Which is smaller: g or i?
g
Suppose -2*z = -s - 4 + 1, 14 = z - 3*s. Do -2/5317 and z have different values?
True
Let l be (1/6)/(21 - (-34639)/(-1650)). Are l and -51 unequal?
True
Let r = 6.9893 + 0.5527. Let l = -7.6 + r. Let k = l - -0.128. Is k greater than or equal to -0.03?
True
Suppose 21 = -4*l - u - 7, 2*u = 5*l + 35. Let m(b) = -b**3 - 7*b**2 - 2*b + 9. Let v be m(l). Which is smaller: 17 or v?
17
Let b(s) = -s**3 - 1. Let n(r) = -7*r**3 - 14*r**2 - 8*r - 2. Let z(y) = -6*b(y) + n(y). Let m be z(-12). Let p be 1/(-3) + m/12. Is p != -17?
True
Let z = 4 + -3. Let s(w) = -3*w + 75 - 20*w - w**2 - 103. Let v be s(-22). Which is greater: v or z?
z
Let i(a) = -790*a - 107. Let o be i(-1). Which is greater: o or 4103/6?
4103/6
Suppose -b + 4*d = 121, -3*d = d + 4. Which is smaller: b or -116?
b
Let p = -35060/7 - -5000. Which is bigger: p or 0.2?
0.2
Let a = -2078 - -4283. Suppose -8*z = 389 - a. Are z and 225 nonequal?
True
Let y be (-248)/(-88) - 4/(-22). Suppose 0 = 3*h + 5*c - 715, h = y*c - c + 242. Let w be 9/(-2)*(-10)/h. Which is smaller: w or 1?
w
Let b(t) = -t**3 - 10*t**2 - 20*t - 17. Let j be b(-8). Suppose j*o = 707 + 103. Do 107/2 and o have different values?
True
Let q = -22366 - -939301/42. Which is greater: q or 1?
1
Suppose 110*s - 32860 - 35363 = -3763. Is 2931/5 less than s?
False
Suppose 6 + 5 = s. Suppose s*h = 24 + 9. Suppose 0 = 8*a + h*a - 44. Is 7 less than a?
False
Let f(o) = 2*o - 2. Let d be f(2). Suppose 156 = 5*b + c, -c + 65 = d*b + 2*c. Let s be (-48)/(-20)*80/6. Which is smaller: b or s?
b
Let b be -34 - -38 - (3 - (-3)/3). Which is smaller: b or -4779?
-4779
Let a = -1249/15 + 616931/7410. Is -1 <= a?
True
Let p = 0.01176 - 3.01176. Which is bigger: p or -148?
p
Let x(j) = 11*j**3 - j**2 + 5*j - 1. Let p(m) = m**3 + m. Let y(c) = -2*p(c) + x(c). Let f be y(2). Suppose 0 = -7*q + 46 + f. Is 16 less than or equal to q?
True
Let k = -7.1 + 7. Let u = 1605.38 + -1605. Which is greater: u or k?
u
Let n = 77 + -190. Let t = -109 - n. Let j be t/(4*14/4). Is j at most as big as -29?
False
Let c(w) = w**2 - 13*w + 48. Let u be c(3). Suppose -5*d - 8 = -t, u*t = 17*t - 2. Which is bigger: -4 or d?
d
Let x be (-2)/9 - (-29)/9. Suppose 331 = 4*i - 253. Let z be i/30 + (-8)/(-60). Which is smaller: z or x?
x
Let v(d) = d**3 - 10*d**2 + 12*d - 8. Let p be v(8). Let y(s) = -3*s**2 - 74*s - 7. Let j be y(6). Let t = j - -520. Is t >= p?
True
Let w(i) be the third derivative of 3*i**4/8 - 5*i**3/3 - i**2 + 25*i. Let g be w(1). Is g less than or equal to -4/9?
True
Let u = -0.441 + 0.63. Let v = u - -1.563. Let c = v + -0.052. Is 0.1 < c?
True
Let d = 496 - 229. Let y = -269 + d. Is -0.153 > y?
True
Let s be -7 - (-25)/5 - -7. Suppose -3*g + 7 = -s*a, 15 = -5*g - 3*a + 4. Does g = -3/160?
False
Let a(v) = 28*v - 411. Let q be a(28). Which is bigger: q or 371?
q
Let g = 0.6 - -8.4. Suppose s = 3*n + 2*n - 12, -4*n + 3*s + 14 = 0. Suppose -2*i - 21 = -5*l, -n*i + 3*l = -5*i. Is i > g?
False
Suppose 0 = 2*j + 3*j - 120. Suppose 5*t - 1 - 65 = -h, -4*t + 42 = -h. Suppose 3*a + g + t = 7*a, 4*a - 4*g = j. Which is smaller: a or 2/3?
2/3
Let r = 2704 - 2534. Let p be (-30)/(-20)*(-1348)/(-12). Which is bigger: r or p?
r
Let s be 12 - 3/(4 - 3). Let f = s - 6. Suppose 4*x + 2*i = 10, 0 = x - 5*i - 2 + 5. Is f at least x?
True
Let o be (-2)/(-5) - (-36)/10. Let h = 79 + -75. Let w be (h + (20/1)/(-4))/1. Which is smaller: o or w?
w
Let q = -5044197/49 - -4312012961/41895. Let p = -350/19 - q. Is 0 bigger than p?
False
Let d = 86.90559 + 0.09441. Suppose p - 3*p = 2*o, o - 15 = 4*p. Which is bigger: d or p?
d
Suppose 3*i - w - 170 = 56, -i + 3*w = -62. Let b be ((-3)/(-54))/(33/i). Which is smaller: 1 or b?
b
Let k(z) = 7*z**2 - 23*z - 26. Let i be k(-9). Suppose 0 = -23*x + i + 540. Which is bigger: 54 or x?
x
Suppose -3*o + r = 17288, -66*r = -4*o - 65*r - 23053. Which is smaller: -5764 or o?
o
Let b = -396 + 228. Let d be (-2640)/b - 2/(-7). Let h be (-4)/d - 10/(-24). Is 0 equal to h?
False
Let d(b) = -2862*b + 2412. Let a be d(4). Is -9036 > a?
False
Let t = -77178.97 + 77537. Let q = -358 + t. Which is smaller: 1/7 or q?
q
Let w = 45 + -51.3. Let v = 0.053965 - 0.153965. Is w equal to v?
False
Let u be (-493)/(-42) + 19/(-114). Let b = u + -4476/385. Are b and 0 unequal?
True
Suppose 2*t - 118 + 464 = -4*x, -2*x = 4*t + 710. Is -179 < t?
False
Let v = 4396 - 8758. Is 2/7 < v?
False
Let y(q) = q**3 + 31*q**2 - 24*q + 18. Let d be y(-32). Let b = d + 4523/19. Which is smaller: b or -0.1?
-0.1
Let k = 4364 + -7656. Let w = k - -72437/22. Do 2 and w have the same value?
False
Let b = 12.326 + 1.674. Are 22 and b non-equal?
True
Suppose -81 = p - 28. Suppose -7*y = -26*y - 223 - 746. Is y bigger than p?
True
Let y = 284 - 257.4. Let s = y - -10.4. Let g = -38 + s. Which is smaller: -2 or g?
-2
Let n(f) = f**2 - 22*f + 39. Suppose 4*l - 2*l = 4*i + 44, 5*i + 45 = 2*l. Let a be n(l). Is a at most as big as 2/159?
True
Suppose -4*f + 192 + 72 = 0. Let m = 605 + -604. Is f smaller than m?
False
Let z(x) = -x - 521. Let t be z(-21). Are -499 and t equal?
False
Let p(l) = -3*l**2 - 58*l + 2497. Let m be p(-40). Suppose -2*j + 0 = c - 3, -5*j + 2*c = -12. Let v be j + -4 + 1 - -4. Is v at most as big as m?
True
Let o(s) = -4*s - 13. Let p(r) = -r**2 - 9*r - 6. Let b be p(-9). Let q be o(b). Suppose -q + 4 = -x. Are x and 7 equal?
True
Let h = -5498424/973 + 5651. Suppose 1348*j - 149 = 24*j - 1473. Which is smaller: j or h?
j
Let p(n) = n**2 + 19*n + 21. Let h be p(-18). Suppose 0 = -h*i + 2*u - 6, i + 3*u = 6*u - 2. Which is greater: i or 6?
6
Let d = 36 - 48. Let z = -38 - d. Let i be 4*(-3 - z/4). Is 16 at most as big as i?
False
Let x be 1 - (-15)/(-6)*2. Let u be -3 + 172/(-12) - x. Is u smaller than -14?
False
Let v = -34669 + 34616. Which is bigger: v or 180?
180
Let m = -10391 + 10729. Is 341 >= m?
True
Let k be 4/3*21/10. Suppose 0 = 32*i + 111*i - 23 - 263. Which is bigger: k or i?
k
Let p = -25898387 + 206932975/8. Let n = p - -31842. Is 77 at most n?
False
Let c = 12459 - 12459. Is 14/1759 >= c?
True
Suppose -1142 + 9506 = -34*o. Which is bigger: -254 or o?
o
Let k be 1/(1/(-6)*-2). Suppose -56 + 54 = -0*h - h. Let l be ((-30)/(-140))/(k/h). Is 1 < l?
False
Let j = 1014 + -1013. Which is greater: -2/2421 or j?
j
Let d(z) = 731*z + 2922. Let f be d(-4). Is f smaller than -6133?
False
Suppose 15 = 5*q - 5. Suppose 179 - 187 = q*a. Let n be ((-8)/(-4))/((-1)/a). Is n bigger than 5?
False
Suppos