0 = x + 3*r - 16483. Is x composite?
False
Suppose -3*o = 3*i - 2826, 3*o - 5*o + i = -1869. Is o composite?
False
Let r(q) = -3*q**3 + 4*q**2 - 2*q + 12. Let i be r(5). Let u = 464 + i. Is u prime?
True
Suppose 0 = 10*f - 9*f. Suppose -3*l + f*l - 22 = -2*y, 0 = l - 4*y + 24. Is ((-333)/(-36))/((-1)/l) a composite number?
False
Let k(s) = -2*s - 5. Let m be k(-4). Suppose 12 = a - m*a. Is ((-2)/4)/(a/708) prime?
True
Let c(v) = 16*v**2 - 20*v - 57. Is c(-17) composite?
True
Let k(j) = -2*j**2 + 14*j + 1. Suppose 49 = -c + 6*c - 3*g, 5*c - 61 = -3*g. Let b be k(c). Let f = -29 - b. Is f a composite number?
True
Suppose -y = -3*z + 23452, -5*y - 31273 = 3*z - 7*z. Is z a composite number?
False
Let j(s) = s**3 + 31*s**2 + 30*s - 41. Is j(-28) a prime number?
True
Let r = -1456 + 3105. Is r composite?
True
Suppose 0 = -13*x + 5*x + 5*x. Suppose x = -7*y + 2559 + 2110. Is y prime?
False
Let r(x) = -10*x + 72. Let l be r(6). Suppose -7*k - l = -7355. Is k a composite number?
False
Is (-96)/(-176) - 119993/(-11) prime?
True
Let p(z) = 262*z**2 - 24*z + 63. Is p(8) prime?
False
Let x = -1804 - -2671. Let n = x + -350. Is n composite?
True
Let c = -142 + 272. Suppose -3*y - i = -772, -4*y - 4*i + 1146 - c = 0. Is y a composite number?
True
Let h(z) = -200*z + 17. Suppose -p + 5*g + 6 = 0, 3*p = -2*g - 3 - 30. Is h(p) a prime number?
False
Let y(g) = -5*g + 1. Let p(x) = -x**3 + 12*x**2 - 12*x + 5. Let b be p(11). Let r(l) = -l**2 - 5*l. Let u(v) = b*r(v) + 5*y(v). Is u(6) prime?
True
Suppose 3*g - 6*g = -5*t + 8, 3*t = -g + 16. Suppose 0*i = 2*d - i - 290, -g*d + i + 580 = 0. Suppose -40 + d = 3*k. Is k prime?
False
Suppose -2*w - 2*o + 20 = 0, -w - 5 = 3*w - 5*o. Suppose f + 3*f + 5*r = 10316, 3*f - w*r = 7737. Is f a composite number?
False
Let q(d) = 20*d**2 - 3*d + 1. Let v be q(2). Suppose g + 0*g - v = 0. Let j = g + -49. Is j composite?
True
Suppose 5*p = b - 264, -2*p = 2*b - 5*b + 805. Let c = b + -82. Is c prime?
False
Let p = 1143 - -986. Is p a composite number?
False
Suppose -t = 4*v + 3, t + 2*v = 2*t - 9. Suppose 5*m + 466 = 3*q - 285, -t*q + 1241 = -3*m. Is q a composite number?
True
Let z(i) = i**3 - 6*i**2 + 2*i - 7. Let b be z(6). Suppose -6614 = 3*k - b*k. Is k a prime number?
True
Let y(a) = -179*a + 17. Let l(v) = -59*v + 6. Let b(s) = -8*l(s) + 3*y(s). Is b(-8) prime?
True
Suppose 3*u - 3*v - 3851 = 2*v, -3*v + 1265 = u. Is u prime?
True
Suppose 3*v - 3900 = -3*n, 0 = -n - 4*n + 20. Let q = v - 865. Is q composite?
False
Let v = -1897 - -3758. Is v a composite number?
False
Is 34318/(8*10/40) prime?
True
Suppose 0 = -5*n - 5*k + 44520, 5*n - 3*k - 44544 = -0*n. Is n/6 + -3*2/(-4) composite?
True
Let x = 12 + 17. Let p = -25 + x. Suppose 3*d = p*a - 14 + 105, a = d - 29. Is d a composite number?
True
Let u = 57 - -147. Let m = 605 + u. Is m a composite number?
False
Let n = 894 + -353. Is n a prime number?
True
Suppose -2*j - 147 = -361. Let i(t) = -t**2 - 6*t - 6. Let c be i(-4). Suppose -4*o - j = -y, -3*o = 3*y - c*y - 79. Is y a prime number?
False
Is -4 + ((-1478)/(-4))/((-2)/(-20)) prime?
True
Suppose -g = -b - 98, 0 = 5*b - g + 394 + 76. Let t = 106 - b. Is t composite?
False
Let v(w) = w**2 + 1. Let j be (-4)/(-12) + (-4)/(-6). Let l(c) = 15*c - 7. Let s(y) = j*l(y) + 2*v(y). Is s(-12) a prime number?
True
Let n = -143559 - -239552. Is n a prime number?
False
Let w = 11 + -8. Let k = w + -3. Suppose -2*t = h - 38, k = -5*t + 10. Is h a composite number?
True
Let f(x) = -3*x + x**3 + 2 + 1 + 26*x**2 - 13*x**2 - 15*x**2. Let s be f(4). Let n = s - -104. Is n a composite number?
False
Suppose h - 113 - 11 = 0. Suppose -4*q - 5*w + 97 = -h, -3*q + 5*w = -192. Is q a prime number?
True
Let s = 31968 - 18074. Is s composite?
True
Let f(p) = p**3 + 11*p**2 + 9*p - 7. Let d = -20 + 10. Let x be f(d). Is -1*((x - 5) + -17) prime?
True
Let n be ((-223)/(-4))/((-3)/(-300)). Is (6/(-15))/((-5)/n) prime?
False
Is (-1)/2*(-3 + -5063 + 0) a prime number?
False
Suppose -61 = -c + 196. Is c composite?
False
Suppose -2*i - 2646 = -8*i. Let s = 842 - i. Is s a composite number?
False
Let w = 16 - 25. Let k(n) = -2*n**3 - 14*n**2 - 7*n + 7. Let x be k(w). Let d = -253 + x. Is d prime?
False
Let k(s) = s**3 + 6*s**2 + 4*s - 4. Suppose 0 = i - 0*i + 4. Let u be k(i). Is (74*u/(-8))/(-1) prime?
False
Let d be 3*(-1)/5 - (-108003)/105. Suppose 5*r - 3507 = d. Is r a prime number?
True
Let z(r) = -136*r + 11. Is z(-11) a prime number?
False
Suppose 0 = z - j - 417565, -5*z - 8*j = -7*j - 2087819. Is z/364 + 2/(-13) prime?
False
Suppose 39*k = -5*f + 37*k + 39147, -3*k = -4*f + 31336. Is f a prime number?
False
Suppose -34 - 15 = -3*s + p, -57 = -4*s + 3*p. Is (-1)/(-3) - (0 + (-131340)/s) composite?
False
Let j be (-5)/(-2)*(-28)/(-35). Suppose 0 = -j*s + 220 + 454. Suppose 427 = 4*a - s. Is a composite?
False
Suppose -4*r + 786 = -2*d - 342, -5*d - 2856 = 2*r. Let w = -359 - d. Is w prime?
True
Suppose 3*d + 6 = -3*z, -5*d - 2*z = 2 - 7. Suppose -2*u + d = u. Is 1/u + 1220 + -10 a composite number?
True
Suppose -20*k + 51 + 49 = 0. Let v = -202 - -417. Suppose k*h = -0*h + v. Is h a prime number?
True
Let x(l) = 17*l**2 + 2*l. Let d be x(3). Suppose -3*n - 9 = -4*z + z, 5*z - 3*n = 9. Suppose z = 4*v - v - d. Is v a prime number?
True
Let c be -45*(-11 + -1 + 3). Suppose -84 = -3*u + c. Is u prime?
True
Suppose 0 = -804*q + 803*q + 48017. Is q composite?
False
Suppose -q - 45 = -4*q. Suppose -m + 5*d + 329 = q, -d = 5*m - 1440. Is m composite?
True
Suppose -3*b - 5 - 19 = 0. Is ((-122)/b)/(13/156) composite?
True
Suppose 32*r - 34*r + 13346 = 0. Is r a composite number?
False
Let t(k) = -2*k**3 + 2*k**2 + k**3 + 2 - 6 - 6*k - 8. Let u be t(-9). Suppose -4*m + u = 2*o + o, -m = 5*o - 1538. Is o a composite number?
False
Let n(k) = -2*k**2 + 58*k - 47. Let y be n(25). Let l be 1120/(-18) + 2/9. Let w = l + y. Is w a composite number?
True
Let c = -83 + 217. Let r be 6/(-21) - 15/(-70)*370. Let z = c - r. Is z a prime number?
False
Suppose -8*p + 8815 = -2473. Is p a prime number?
False
Suppose 0 = -29*f + 38941 + 127432. Is f a prime number?
True
Let p = -45 + 51. Let n(w) = 88*w + 5. Is n(p) prime?
False
Let r(g) = g**3 + 6*g**2 + 6*g + 7. Let f be r(-5). Suppose 157 = f*h + 3*l, h - 68 = 5*l + 30. Let w = -36 + h. Is w composite?
False
Let t = 4038 - 2381. Is t a composite number?
False
Suppose 2*i = 18*i - 51856. Is i prime?
False
Suppose -37*l = -3881 + 20901. Let s = -2035 + 1162. Let m = l - s. Is m a composite number?
True
Let p be 42/(-70) + (-48)/(-5). Let k = -6 + p. Suppose -k*f - f - 896 = -4*i, i = -f + 222. Is i a prime number?
True
Is 18850/75 - ((-4)/(-12) + 0) a prime number?
True
Suppose 5*w - 36 = -n - n, 0 = -4*w + 2*n + 18. Suppose v - w*v = -m + 1092, 0 = 2*m - 5*v - 2179. Is m prime?
True
Let x = 9923 - 4672. Is x a composite number?
True
Let g = -943 + 2058. Is g composite?
True
Suppose -k + 3 = 0, 2*f = -6*k + k + 2539. Suppose f = -9*b + 11*b. Is b prime?
True
Let a be (-1)/(2*(-1)/4). Suppose j + 3*j + 16 = -4*o, a*j + 3*o + 12 = 0. Suppose j*q = q - 15. Is q prime?
False
Suppose -8 + 0 = -3*o - 2*c, 5*c = -4*o + 13. Suppose -5*n + 1917 = 2*i + 459, o*i - 1474 = -n. Is i a composite number?
False
Suppose 12*w - 1513 - 347 = 0. Suppose -2 = -2*b + 2, 5*d - 2*b = 306. Let s = d + w. Is s prime?
False
Let k be (3/2)/(14/1932). Suppose 148 + k = 5*u. Is u prime?
True
Let h be (-2 - 8)/((-1)/(-9)*6). Is -4*((-20)/h + 1010/(-24)) composite?
False
Suppose 415 = -2*h - 535. Let r = 80 - h. Let j = r - -196. Is j prime?
True
Let b be -1 - 11812/6*(4 - 7). Suppose -8*w + b = -3*w. Is w prime?
True
Suppose -4 = -5*y + 6. Let i be 0 + 3 + y + -5. Let a(b) = b**2 + b + 1061. Is a(i) a composite number?
False
Suppose 1 - 11 = -2*b. Suppose 23 = 5*n + 4*r, 1 = 5*n - b*r - 4. Suppose 0*x = -3*x - n*y + 402, -5*x - 2*y = -661. Is x a prime number?
True
Suppose -8*r + 2*r = -36. Let u = -19 + r. Is (-583)/(-1) + u + 13 prime?
False
Let g = -20 + 22. Let i be 8*(g/4 - 0). Suppose i*t - 2*t = 314. Is t composite?
False
Let j(s) = s**2 - 3*s - 2. Let l be j(4). Let g be l/(-10)*-2*-25. Is (g/30)/((-2)/222) a composite number?
False
Suppose 4*n - 8 = 0, 3*n - 2 = 2*w - 0. Suppose -1618 = -2*p - 4*x, 2*x = -w*p - 74 + 1682. Is p prime?
F