+ 199. Is r a prime number?
False
Suppose 2299 = 4*t - 7517. Suppose 3*u - 5*z - t = 0, u - z - 533 = 285. Is u composite?
True
Let c(y) = 128*y. Let o be c(1). Let s = o + -17. Suppose 0 = -2*n - 5*l + 183, 5*n - l + s = 501. Is n a prime number?
True
Let g(i) = -112*i - 261. Is g(-35) composite?
False
Suppose -9 - 11 = -4*o. Suppose -u + 237 = -o*c, -u + c = 4*u - 1089. Is u a prime number?
False
Suppose 4*b - 4 = 4*t, 4*b + 3*t = 33 - 8. Suppose -2*k + v - 1 = 2*k, b*k + 3 = 3*v. Suppose 0 = 4*h - 16, -297 = -3*j - k*j + 3*h. Is j a prime number?
True
Let t be 4*(265/(-100) + 4/10). Let x be (1 - (1 + -10)) + 2. Is (-4)/x - 282/t prime?
True
Let i(j) = j**2 + 20*j - 16. Let b be i(-13). Let t = 218 + b. Is t prime?
False
Let j(p) = p**2 - 3*p + 2. Suppose -5*w + 30 = 5*n, -5 + 17 = -4*w + 5*n. Let u be j(w). Suppose 2*o - 1102 = -u*o. Is o a composite number?
True
Let p be -2 + 7260/(8 - 3). Let m = 2207 - p. Is m composite?
False
Let o(y) = 8913*y**2 - 10*y - 11. Is o(-2) a prime number?
False
Let d(f) = -1314*f + 119. Is d(-9) a prime number?
False
Let b(h) = -h + 15. Let p be b(13). Suppose k - 3*o = 2*k - 16, -8 = -2*o. Suppose p*n + 301 = 5*m + 28, 0 = m + k*n - 59. Is m a composite number?
True
Let r = -20 + -25. Let t be 80/r - (-2)/(-9). Is 89 - 0/(t/2) a composite number?
False
Let l(q) = 45*q**2 + 3*q - 5. Let p be l(3). Is p - (-3 - (-1 + -4)) a composite number?
True
Let a = -20 + 20. Let g = 3 + a. Suppose 3*m = 3*p + 254 + 10, -g*m - 3*p + 234 = 0. Is m a composite number?
False
Suppose -12*d = -34*d + 191818. Is d a prime number?
True
Is -4 + (-3 - -3) + (-31868)/(-4) a composite number?
False
Let h(k) = -k**3 + 17*k**2 - 18*k + 1. Let t be h(12). Let l = t + -66. Is l a composite number?
False
Let x(y) = y**2 + 9*y + 15. Let d be x(-9). Suppose -k = -3*q + 5, -k - 2*k - d = -2*q. Suppose -3*u + 553 = -4*g, 0 = -q*g - 2*g + 10. Is u a composite number?
False
Let s(v) = 8*v**2 + 7*v - 2. Let b(p) = p**2 - 17*p + 2. Let i(l) = 8*l - 1. Let q(z) = -4*b(z) - 9*i(z). Let x(n) = 7*q(n) + 4*s(n). Is x(2) prime?
False
Let h(p) = -p**2 - 7*p + 19. Let u be h(-9). Is 694 - (u - 1/(-2)*4) prime?
True
Suppose 4*h + 5*r + 54 = 3711, 3*r + 9 = 0. Let c = 1652 - h. Is c composite?
True
Let t(a) = 95*a**2 + 6*a + 16. Is t(-5) a prime number?
False
Let l be 6/21 - (-3526)/7. Suppose -3*f + 2*d = -3*d - 418, 4*f = -4*d + l. Is f a prime number?
True
Let u be (8/6)/((-2)/(-3)). Suppose -4*v - 4 + 0 = -2*g, -3*v + 4 = u*g. Suppose -15 = 6*z - z, -r - z = v. Is r prime?
True
Suppose -9*m + 3316 = 175. Suppose m = 2*i - 33. Is i composite?
False
Suppose -2*q = 3*q - k + 2381, -k = 5*q + 2379. Let a = 2002 + q. Suppose 4*c - 126 - a = 0. Is c a prime number?
False
Let n = 74 - 54. Suppose n*d - 6*d - 4634 = 0. Is d composite?
False
Suppose -3*x + 3573 = -5*w - 2850, 0 = -2*w + 4*x - 2558. Let h = w - -2686. Is h a composite number?
False
Let o be -2 + 1 - (-1 - 498). Let n = 3768 + -2066. Suppose -4*w + n = o. Is w composite?
True
Let x = -213 + 384. Suppose 0 = 13*z + 4*z + 901. Let a = z + x. Is a composite?
True
Let i(u) = 39*u**2 + 8*u. Let t = 27 - 17. Let p be i(t). Suppose p = 6*h - 1354. Is h a composite number?
True
Let w = 11489 - 5696. Is w a composite number?
True
Suppose 6*m - 1377 = -471. Let q(z) = -11*z - 7. Let h be q(-5). Suppose o + h = m. Is o a prime number?
True
Suppose p + 2053 - 6774 = 0. Is p a composite number?
False
Suppose -29 = 5*g - 114. Is (g - 16)/((0 - -1)/1559) a composite number?
False
Is 12/(-54) + 198808/72 a composite number?
True
Let o(a) = -55*a**2 - 1 - 56*a**2 - 7*a + 113*a**2. Is o(10) prime?
False
Let p(h) = 334*h - 3. Let x be p(-3). Let i(b) = 384*b - 10. Let d be i(4). Let a = d + x. Is a a prime number?
True
Let t = -12082 - -19319. Is t prime?
True
Let b(p) = 295 + p**2 + 3*p - p - 8. Suppose -4*f = -4*l + l - 9, 2*l = -2*f - 6. Is b(f) prime?
False
Let b be 1 + -4*3/(-6). Suppose 23 = c + 5*i, 20 = b*i + 2*i. Suppose -c*f + 1179 + 894 = 0. Is f composite?
False
Suppose -v + 7*h = 2*h + 2, 18 = 5*v + 3*h. Suppose -3*l + 585 = -v*y + 180, 0 = 3*l + y - 405. Suppose 0 = 4*i - 13 - l. Is i prime?
True
Let n = 30 - 25. Let j be -5 + n - 5*-1. Suppose -j*w - h + 166 = 0, h + 134 = 4*w + 3*h. Is w prime?
False
Suppose 0 = -7*w - 20 + 6. Is ((-2)/w)/((-1)/(-23)) prime?
True
Suppose 4*m - 3*o = 2*m - 8, 16 = 4*o. Suppose -5384 = m*g - g. Is g/(-4)*2/4 composite?
False
Suppose 3*i = -4*s + 7*i + 92, 2*i = 3*s - 74. Let w = 1819 + s. Is w prime?
True
Is (-1)/((-4)/6660) + 4 a composite number?
False
Suppose -37*o + 48*o - 35299 = 0. Is o a composite number?
False
Let d = -38 - -38. Is 3 - (-79 + d)*2 a composite number?
True
Let f = -20 - -23. Is -1 - (-295 + -2 + f) prime?
True
Is 2 + (12766/6 - (-24)/(-36)) prime?
True
Let m(k) = k. Let r be m(3). Suppose -3*j + 4*j + 5*q - 13 = 0, -r*j + q = -23. Is 12/j*892/6 prime?
True
Suppose -2*j - 1 - 1 = 0. Let t be 2 - j*(1 - -410). Suppose -t = -9*l + 8*l. Is l prime?
False
Is (4 - 7730)*(-1)/(0 + 2) a composite number?
False
Let p = 43 + -14. Let f = p - 41. Is 3/f + 765/4 prime?
True
Suppose 0 = -7*g + 6*g + 2. Suppose 4*d - 24 = 4*p, 2*d + 2*p + 10 = g. Suppose 0 = q - d - 520. Is q prime?
True
Let b be (1 - 5) + 4846*1. Suppose b = 5*g + g. Is g prime?
False
Let y = 34 + -25. Suppose -l - y = 3*x, 0*l - 5*l - 2*x + 7 = 0. Suppose -n + 492 = l*n. Is n a prime number?
False
Suppose u = 3, -13*b + 4*u = -18*b + 27027. Is b composite?
True
Let t = 21028 - -2773. Is t prime?
True
Let x(u) = u**3 + u**2 + u + 1171. Suppose 0*o = -4*o. Is x(o) a prime number?
True
Let d(a) = 7*a**2 + 13*a - 6. Let y = 20 + -31. Let n be d(y). Suppose 242 = 4*w - n. Is w a prime number?
False
Suppose -169*m = -170*m + 95369. Is m composite?
False
Let i(k) = 3*k + 1. Let s be i(3). Let b be ((-2)/3)/(s/(-45)). Suppose -5*x - 464 = b*a - 1192, 3*a - 5*x = 778. Is a a composite number?
False
Suppose -5*i + 13 = 3, -2*i - 40 = -4*h. Suppose -h = -3*n - 2. Suppose 0 = n*r + y - 1121, -3*y + y - 369 = -r. Is r a composite number?
False
Suppose -5*w - 5*i = -13375, -9*w + 8001 = -6*w - 3*i. Is w composite?
False
Let j = 28 + -48. Let w be (1686/(-8))/(5/j). Suppose -3*n - 3*z = -1038, -w = -5*n + 4*z + 842. Is n composite?
True
Let c(r) = -7*r**3 + 2*r**2 + 8*r - 51. Is c(-10) composite?
False
Let a = 14792 + 9407. Is a a composite number?
True
Let b(k) = -163*k**2 + 302*k**2 + 948*k**2. Is b(-1) composite?
False
Let f be 1 + 7/(21/30). Suppose f*y - 8*y - 633 = 0. Is y a composite number?
False
Is 2 + 30029 - 6/9*3 prime?
True
Let g = -206 - -405. Let v = -141 + g. Is v prime?
False
Let k(f) = 3252*f**3 - 14*f**2 + 15*f - 2. Is k(1) prime?
True
Let i(c) = -c**2 + c + 1. Let s(l) = -7*l**3 + 2*l**2 - l + 3. Let t(z) = -6*i(z) - s(z). Let x be t(-6). Let v = -934 - x. Is v prime?
False
Is (2*(-2)/6)/((-192)/1200672) a prime number?
False
Let o be -17592 + (-8)/(0 + -4). Let i be (2 + 0)*o/(-20). Suppose 4*d - 2*d - i = -l, -3*l + 15 = 0. Is d a prime number?
True
Let x = -10 - -22. Let w = -10 + x. Suppose v - 2*s - 1175 = -w*v, 2*v - 805 = -3*s. Is v a composite number?
True
Let s(f) = -33*f**3 + 6*f**2 + 38*f - 3. Is s(-6) composite?
True
Suppose -169*m + 126*m = -686667. Is m composite?
True
Let k(v) = v**2 + 3. Let f be k(-5). Let g = f - -11. Suppose -s - g = -296. Is s a composite number?
False
Let t be 3/(-72)*-6 + (-3227)/(-4). Suppose -28*j + 25*j + t = 0. Is j a composite number?
False
Let z(l) = -81*l**3 - 6*l**2 - 27*l - 157. Is z(-5) a prime number?
False
Is 0 + (-3)/(-5) + (-15760)/(-25) a prime number?
True
Suppose 7*l + 84 = 10*l. Let i = l + 27. Is i a composite number?
True
Suppose 4*d - 100 = -d. Suppose d = -0*n + 4*n. Suppose -4*s = 4, 3*s + 786 = n*j + 2*s. Is j prime?
True
Let f = 15783 + -11132. Suppose -9*h = 160 - f. Is h prime?
True
Suppose -44*d = -38*d - 76134. Is d composite?
False
Suppose -6*u = -16227 - 23295. Is u a composite number?
True
Let o(y) = y**3 + 3*y**2 - 6*y - 5. Let a be o(-4). Let i(b) = -b**2 + 3*b**2 - a*b**2 + 131 + 71. Is i(0) a prime number?
False
Suppose -2*x - 4*v - 8 + 16 = 0, -4*x = 5*v - 4. Let q(d) = -15*d + 1. Let m(w) = -29*w + 1. Let f(r) = 6*m(r) - 11*q(r). Is f(x) a prime number?
True
Suppose -5*z + 520 = y, 4 = -2*y + 14. Let 