103*n = -1103*n + 3*b - 30. Let r(a) = -a**2 + 5*a. Let p be r(5). Suppose p = -c + 5*c + 120. Which is bigger: c or n?
n
Let r = 1760 - 3389/2. Let m = 69590 + -69523. Which is smaller: r or m?
r
Suppose -167 = 3*r + 1663. Let k = -11656/19 - r. Does k = -3?
False
Suppose -11*p = -38575 - 21023. Let j = p + -1186544/219. Which is smaller: -1 or j?
-1
Let d = -48 - -53. Let c = 14 - d. Let m = c + -8. Which is greater: m or 1/59?
m
Let z = -73.91 - -97.664. Let x = -0.246 - z. Which is greater: x or -4?
-4
Suppose -8426 = -68*v - 810. Which is bigger: v or 106?
v
Suppose -3252 = -3*w - 3*o, 5*w - 5350 = -10*o + 19*o. Do 1080 and w have the same value?
False
Let t = -18.1 + 3.1. Let q = -51.2 + 66. Let z = t + q. Are z and -15 equal?
False
Let v(n) = -41*n + 11. Let k be v(2). Let g = -53 - k. Suppose -3*w - 5*x = g, 4*x = -w + x - 6. Is -4 smaller than w?
False
Let c = 31.6973 + 39.2175. Let q = -0.0852 - c. Which is smaller: q or 5?
q
Let j(l) = -l**3 - 23*l**2 - 73*l + 56. Let d be j(-19). Which is greater: d or -6/1445?
-6/1445
Let g = 10115 + -3349. Is 6766 smaller than g?
False
Let h(y) = -4*y**3 + 2*y**2 + 6*y + 30. Let v be h(-4). Let l = v - 2060/7. Which is smaller: -0.15 or l?
l
Suppose -4*v - 2 = -10. Let s = 715.723 + -716. Let m = 18.277 + s. Which is greater: v or m?
m
Let x = -338.87 - -6.87. Let r = x + 331.9. Which is smaller: r or 119?
r
Suppose 9*x - 62 = 290 + 737. Does 24 = x?
False
Let m(n) = -43*n + 2908. Let i be m(67). Is 569/21 bigger than i?
True
Let p = -993 - -1445. Let l = p + -459. Which is bigger: -4 or l?
-4
Let n = 0.13 - 148.13. Let h = n + 59. Is 3 less than or equal to h?
False
Let d = 1/3241 - 61601/71302. Which is smaller: -2/3 or d?
d
Let d = -24101/3 + 8033. Is d less than or equal to -4195?
False
Let c = 0 + 4. Let y = -1 - c. Suppose -6 = 5*v - w + 21, 0 = -v + w - 3. Which is smaller: y or v?
v
Let b(u) = u**2 + 17*u - 4. Let j be 2/(-4) - (-140)/(-8). Let f be b(j). Suppose -2*d = -d - 13. Which is smaller: d or f?
d
Let a = 102/131 - 7461/10087. Suppose 7*n - 10*n + 3 = 0. Is n greater than or equal to a?
True
Let k be -4 - -3 - (-12 - (-9 + -1)). Is k less than or equal to 56/159?
False
Let n be (-2)/(-10) + (-3929185)/18376800. Let m = -2/589 - n. Is m less than 0?
False
Let u(g) = g**3 + 4*g**2 - 6*g + 4. Let h be u(-5). Suppose 5*n - s - 2 = 0, n = 4*n + 2*s - h. Let c be (n - (0 + -1))/((-78)/3). Is c less than 0?
True
Suppose -l - n + 1091 = 0, -3*l = 2*n - 2258 - 1015. Let u = l + -3304/3. Let i = 77.1 - 77. Which is bigger: u or i?
i
Let c be 7*2/(-5)*-5. Let y be 44/c*(4 + 3). Let b = 22 - y. Which is greater: 1/13 or b?
1/13
Let c = 7.2267 - 0.4267. Which is bigger: -1/2 or c?
c
Suppose -529507 - 193723 = -155*v. Does v = 4665?
False
Suppose 0 = -5*g + 20, -5*g = -3*j + 4949 + 3413. Let t = j + -1352297/484. Let r = t - -563/38236. Is r smaller than 0?
False
Let s(g) = -g**2 + 14*g - 50. Let t be s(5). Let p(r) = -r - 10. Let c be p(-5). Let v = t - c. Is v not equal to -1?
True
Let s(k) = k**3 - 52*k**2 + 44*k + 376. Let j be s(51). Is j not equal to 18?
True
Let p = 1299.5 - 1297.1. Is 364 smaller than p?
False
Let f = -15 + 6. Let r = 12 + f. Suppose -4*b + r*d + 2*d = -15, 4*b - d - 3 = 0. Is 1/10 > b?
True
Suppose 50 = 14*c + 134. Suppose -9*o = -71 - 10. Suppose 0*k = k + o. Is c <= k?
False
Let x be (33010/(-4))/(-5) + 1 + -5. Let k = x - 1601. Which is smaller: k or 47?
k
Let u be (-5)/1 + ((-123179)/(-30) - 87/(-2610)). Which is bigger: 4103 or u?
4103
Let m(i) = i**2 + 5*i - 9. Let a be m(2). Suppose -s - 13 = 3*c, -a*c + 29 + 56 = -5*s. Does s = -1/2?
False
Let v(k) = 10*k**2 + 13*k - 171. Let o be v(7). Is o at most as big as 416?
True
Let h be -3 + 3*2*(-7)/(112/(-16)). Which is greater: h or 445?
445
Let k = -11746 + 11778. Which is greater: 34 or k?
34
Let u = 1136 + -1158.02. Let b = u - -22. Which is smaller: b or 5?
b
Let n = -0.12 + 0.11. Let m = -6.5 - -107. Let j = -101 + m. Is j >= n?
False
Let d(n) = -n**3 - 2*n**2 + 10*n + 19. Let q be d(-2). Let l = 0 - 4. Let f be 0*q/l + 14/(-11). Is f at most 0?
True
Let c = -534 + 533. Let m = -14/109 + -1713/1090. Is c smaller than m?
False
Let b be (84 - 5) + 3/((-9)/33). Suppose j = 18 + 49. Which is smaller: j or b?
j
Let n = 678 - -33. Is 711 not equal to n?
False
Let t = -2385 + 7197. Is 4812 < t?
False
Let h(f) = -8*f + 5. Let k be h(-6). Let y = k - 54. Let p be 5/9*(y + (-15)/(-25)). Which is smaller: 0 or p?
p
Suppose -195 = -3*z + 5*f, -f = 2*z + f - 114. Let g = z + 2. Suppose 3*h - 3 = -s + g, h - s = 27. Is h not equal to 23?
False
Let s be (6/(-99))/(7 - (-7 + 13368/954)) + -5. Let f = 10 + -10.07. Let x = f - 5.93. Is s less than or equal to x?
False
Let g = -8.8 - -23.2. Let m = 23.4 - g. Which is bigger: 3 or m?
m
Let x = 45905 - 23901. Which is smaller: -1 or x?
-1
Suppose -s - s - 30626 = -5*o, -12258 = -2*o - 3*s. Let i = 54734/9 - o. Which is smaller: -43 or i?
i
Suppose -125909 = 380*u + 860308 + 1318863. Which is smaller: u or -6063?
u
Let l(f) = -15*f**3 - 30*f**2 + 123*f + 9. Let i be l(5). Is i at least as big as -1999?
False
Let c = -2.06003 - -0.06003. Let r = 0.6 - 0.1. Which is smaller: c or r?
c
Let t be 0/(1 - -2) - (-3 + 1). Which is smaller: 1183 or t?
t
Let c(m) = -29*m + 871. Let h be c(51). Is h > -5464/9?
False
Let r = 275 + -130. Let f = -4203/29 + r. Suppose -2*i + y - 1 = -0*y, 3*i - 5*y + 5 = 0. Is i at least as big as f?
False
Suppose 3*b - g - 8 = -0, 2*b + 3*g - 9 = 0. Let t be -1*b + (-10 - -11). Let a = -74 - -71. Is t at least as big as a?
True
Let q(w) = -49*w**2 - 40*w - 93. Let z be q(-4). Do z and -715 have different values?
True
Suppose -h - 32 = -23. Let j be 1 - (-12)/h - 30/(-63). Let p be -4*2/(-4) + -3. Is j != p?
True
Suppose 10*m - 311 = -4051. Let o = 368 + m. Let g = 26/23 - 400/69. Are o and g unequal?
True
Suppose 0 = -g - 3*g + 5*h - 563, 0 = 5*h + 25. Which is smaller: -145 or g?
g
Let w = 22292898/13 - 1712374. Let a = 2462 - w. Which is greater: -1 or a?
-1
Let w = -39 + 41. Suppose -5*o + 18 = -w*o. Suppose -3*c + 3 = 3*i, 0 = -c - 2*c + o. Which is smaller: i or 1?
i
Let o(z) = -50*z + 101. Let y be o(2). Let x be 6/(-15)*(-3)/(-6). Is y != x?
True
Suppose 7*f = 2*f + 5. Let b be -4 - (f*-3 + (-20)/5). Is 71 != b?
True
Suppose 10*q - 15*q - 2005 = 0. Let g = q + 209. Which is smaller: g or 0?
g
Let n(l) = -l**3 + 75*l**2 - 84*l + 579. Let f be n(74). Let d = 66 + -228. Which is smaller: d or f?
d
Let p = -6 + 5.98. Let w = 3510.9 - 3511. Is p >= w?
True
Let i = -12 + 12. Let y be 1036/3132 - 5/15. Let x = y + -2327/8613. Which is greater: x or i?
i
Suppose 3*k - 22*a = 43, -k - 2*a - 26 = -3. Which is greater: 112 or k?
112
Let d = -4 + 7. Let b(q) = q**2 + 69*q + 965. Let v be b(-19). Suppose -f - 3*h = -1, d*h + 2*h + v = 0. Which is bigger: 9 or f?
f
Let h = -1/21259 + 6137/1339317. Which is bigger: h or -1?
h
Let x be 105*(3602/(-206) + 0). Let s = x + 1836. Is s at least as big as -1?
True
Let b = 29 - 55. Let f = b + -14. Which is bigger: f or 0?
0
Let p be (-22)/(-3)*((-175)/10 - -1). Let f be 33/p - 1883/(-6864). Which is smaller: f or 0?
0
Let u be (118844/1184 + 2 + 76/(-32))*(-2 + -2). Let b be (23 + 1)/((-6)/100). Is u at most as big as b?
True
Suppose 51*d - 66*d + 3164 + 466 = 0. Which is smaller: 265 or d?
d
Suppose -668*w - 1066970 = -470504 + 1094910. Is -2531 > w?
True
Let m(s) = s**3 + 4*s**2 - 3*s. Let y be m(-4). Let d be (-3408)/288 + 5/6. Let f = d + y. Is 3/7 greater than f?
False
Let c(t) = t**2 + 6*t - 61. Let b be c(13). Let h be (-4)/(-2610)*b + 8/(-20). Is h >= 1?
False
Let g = -47289625538/55 - -859839369. Let b = -27997 + g. Let t = 9/11 + b. Are t and 3/8 nonequal?
True
Let c = 18 - 71. Let z = c + 90. Let s = z + -39. Is s != 2/9?
True
Let i(u) = 76*u - 1062. Let m be i(-10). Is -1820 > m?
True
Let s = -171.845 - 0.155. Let i = 162 + s. Which is smaller: i or -0.3?
i
Let h = -136 - -178. Let o be (-12)/24 - 3/(h/23). Let b = 14 - 17. Which is bigger: o or b?
o
Suppose 0 = -909*y + 819*y + 1080. Which is greater: 38 or y?
38
Let s = -1 - -7. Suppose -12*t - s = -6*t. Let f be (12/116)/((-3)/10). Is t >= f?
False
Suppose 3*y + 84 = -3*y. Let j be 20*((-85)/(-20) - 5). Is j greater than y?
False
Let i = 11803 + -15448. Whi