 = r - a, -3*r - 4*d = 1875 - 10562. Is r a composite number?
True
Let j(f) = -36*f - 8. Let x be j(6). Let s be (-6)/(x/(-76) - 3). Is (-6)/10 + s/15 a composite number?
False
Suppose 413 = 5*r + c, -2*r + 172 = c - 4*c. Let f = r + -152. Let u = 433 - f. Is u a composite number?
True
Suppose -2*u - 9 + 35 = 0. Let m = 15 - u. Suppose m*z - 204 - 78 = 0. Is z composite?
True
Suppose 3*r - 26940 = 4*c + 3943, 5*r + 5*c = 51495. Is r a composite number?
True
Let j(q) = -q**3 + 25*q**2 + 37*q - 11. Let c(f) = 3*f**3 - 51*f**2 - 74*f + 22. Let v(d) = -3*c(d) - 7*j(d). Is v(-16) prime?
True
Let r(q) = -q**3 - 6*q**2 + 3*q + 9. Let t be r(-6). Suppose 15 = 15*p - 10*p. Is p + 3/(t/(-237)) a prime number?
False
Let x(l) be the first derivative of -l**3/3 - 2*l**2 + l - 2. Let p be x(-3). Is 2 - 2*(-278)/p a composite number?
True
Let g(r) = -540*r + 191. Is g(-75) composite?
True
Suppose q = 3*q - 422. Let t = q - 131. Suppose -5*a + 689 = 2*p - t, 2*a - 6 = 0. Is p prime?
False
Let x = 1097 + -539. Suppose -x = -3*k + 75. Is k prime?
True
Suppose -65*z + 60*z + 14165 = 0. Is z a prime number?
True
Let d(y) = 516*y + 323. Is d(20) prime?
False
Suppose -5*h + 2357 = -1703. Suppose -3*r = -205 - h. Suppose -3*p + r = -99. Is p composite?
True
Is 3672305/117 - 8/36 a prime number?
True
Suppose -3*w + 2 = -1, 2*v = -2*w - 332. Let y = v - -324. Is y prime?
True
Suppose -24 = a - 3*a. Let b = -13 + a. Is 155*-4*b/4 a composite number?
True
Suppose -b + 2*o + 20 = -6*b, 4*b - o = -3. Let j be 2*b*60/16. Is j*(40/(-12))/5 composite?
True
Let z(m) = 25*m - 2. Let r be z(-4). Let f(s) = s**2 + 5*s - 13. Let j be f(-6). Is r/(-6 + (-3 - j)) a prime number?
False
Let k be 2/24*4*(1 + 2). Is 10804/12 + ((-4)/(-6))/k composite?
True
Let t = -7882 - -19693. Let u = t - 7828. Is u composite?
True
Let t(i) = 79*i**2 - 13. Let a be t(-4). Let m = 2129 - a. Is m a prime number?
False
Let x(o) = -o**2 + 6*o + 10. Let k be x(7). Suppose -68 = -k*b - 23. Is b prime?
False
Let g = 7 - 10. Let c be g/(-12) + (-2)/8. Suppose 2 = i, c = 4*o - 4*i - i - 1170. Is o composite?
True
Let d = -63507 - -89648. Is d composite?
False
Suppose -93705 = -456*i + 441*i. Is i a prime number?
True
Suppose -2*z + 8 = 2*q, -2*q + 5*z - 2*z - 12 = 0. Let p be (0 - (q + 1)) + 67. Suppose p = d + d. Is d a prime number?
False
Let g = 6784 - 273. Is g prime?
False
Let l(a) = 652*a**2 + 7*a - 32. Is l(3) a prime number?
True
Let s(b) = -b**3 + 15*b**2 + 2*b + 11. Suppose -2 = -3*c + 7. Suppose 0*f = -c*f + 27. Is s(f) prime?
False
Let s be (1 - -2 - 0) + -1. Let x(b) = 7 - 2*b**2 + 14*b + 3*b**s - 6*b. Is x(-8) composite?
False
Suppose 0 = -4*o + 12, -4 = 3*c - 3*o - 1. Suppose 2*n + 0*n - 2*w + 598 = 0, 0 = -c*n - 4*w - 586. Let h = 464 + n. Is h a composite number?
False
Suppose 15666 = 26*b + 16*b. Is b prime?
True
Suppose 6*o = -228 - 60. Let m be (o/(-20))/(2/(-25)). Let y = m + 149. Is y a prime number?
False
Let r(l) = -5*l**3 - 33*l**2 + 20*l - 25. Is r(-14) a prime number?
True
Suppose 20 = 5*g - 4*g. Is (-876 + -2)*(-10)/g a prime number?
True
Let n(p) be the third derivative of -p**7/16 + p**6/720 - 2*p**5/15 - 10*p**2. Let y(c) be the third derivative of n(c). Is y(-2) a prime number?
True
Let l(x) = x**3 + x**2 + 50. Suppose -5 + 2 = -g, 2*f + 5*g - 15 = 0. Let h be l(f). Suppose -343 = -k - h. Is k prime?
True
Let d = -47 - -50. Let j = 268 - 165. Suppose -d*m + j = -1586. Is m composite?
False
Suppose -2*j + 0 = 2*y - 2, 4 = 3*y + 4*j. Suppose y*t - 1510 = -2*t. Is t a composite number?
True
Let a be 246/(-22) + (-18)/(-99). Let l(b) = b**3 + 15*b**2 + 5*b - 10. Is l(a) a prime number?
True
Suppose 0 = -2*x + 5*t - 797 - 426, 0 = x - 5*t + 619. Let f = x + 1375. Is f a prime number?
False
Let y(c) = -156*c**3 - 16*c**2 - 17*c - 4. Is y(-5) a prime number?
True
Let r = -36 - -38. Suppose -2*w - 4*h = -1038, -2*w - r*w - 3*h = -2081. Is w composite?
False
Suppose -19*b + 23*b = 1708. Is b a composite number?
True
Let v = 7 + -4. Suppose a + v*a - 188 = 0. Let p = 152 + a. Is p prime?
True
Let l(f) be the first derivative of 79*f**3/3 - 3*f**2 - 11*f + 18. Is l(-2) a composite number?
False
Let k(v) = v + 5. Let n be k(-2). Suppose -3*y = d - 1402 + 183, -5*y + 2027 = -n*d. Suppose 4*a - 390 = y. Is a composite?
False
Let d = -198 + 437. Let t = -52 + d. Is t prime?
False
Let w(h) = -h**2 - 2*h + 1027. Let l be w(0). Is (12 - 1)/(13/l) composite?
True
Suppose -2*m - 56 = 3*f, 5*m - 2*f = 3*m - 56. Let b be (m/35)/((-2)/5). Is (-13 - 881)*b/(-4) a composite number?
True
Let g = 1708 + -861. Let s = g + -306. Is s composite?
False
Let q be (-13 + 17)*(-2)/(-4). Let s(d) = 3 + q - d + 15*d**2 - 4. Is s(3) prime?
False
Suppose -4525 = -4*s + 19079. Suppose 19*o = 22*o - s. Is o prime?
False
Let k(v) = 66*v**2 + 15*v + 34. Is k(-7) composite?
False
Let f be (2 - 6 - -3) + (442 - -1). Let p = -241 + f. Is p prime?
False
Let b(j) = j**3 - 4*j**2 - 9*j + 8. Let y(w) = 5*w**2 + 6*w - 8. Let q(n) = 4*n**2 + 6*n - 7. Let z(l) = 6*q(l) - 5*y(l). Let a be z(4). Is b(a) composite?
True
Suppose -2*c + 21272 = -3*l, 33*l - 4 = 31*l. Is c a composite number?
False
Suppose 0*h + 5*p + 80790 = 5*h, -h = 2*p - 16173. Is h a composite number?
True
Let p = -621 + 13364. Is p a composite number?
False
Suppose 119*n - 35124 = 113*n. Is n prime?
False
Let d(g) = 1. Let k(f) = -3*f**2 - 3*f + 8. Let w(u) = 3*d(u) - k(u). Suppose -13 = -s - 2*j, 0 = -s + 5*j - 3*j - 3. Is w(s) prime?
False
Suppose 0*l + l = -g - 7, 4*g = -l - 22. Let r(i) be the third derivative of -17*i**6/120 + i**4/8 + i**3/2 + 16*i**2. Is r(l) composite?
True
Let p(i) = -i**3 + 22*i**2 - 10*i - 4. Is p(17) prime?
False
Let a(x) = 267*x - 6. Suppose 0*j + 5 = j. Is a(j) composite?
True
Let q be ((10 - 4) + 1408)*(-2)/(-4). Let o = q - 328. Is o a composite number?
False
Let o(x) = 4*x**2 + 2*x**3 + 0*x + 82 - 71 - x. Is o(4) a prime number?
True
Let u(b) = -b**3 + 5*b**2 - 3*b + 3. Let c be u(4). Let h be (-1)/c + (-2097)/21. Let o = h + 197. Is o prime?
True
Suppose 2*x + 2*t - 3*t = 6, -3*t - 12 = -4*x. Suppose -b + x*y - 235 = -74, -4*b - 674 = 3*y. Let c = 236 + b. Is c prime?
False
Let o = 41224 + -24875. Is o composite?
False
Suppose 0 = 4*b - k + 4*k + 4, 0 = b + 4*k + 14. Suppose s + 3 = b*s. Suppose 5*x - 864 = v - 4*v, s*v + 4*x - 867 = 0. Is v prime?
True
Is ((-12518)/(-6) - 4)/((-2)/(-6)) a prime number?
True
Suppose 0*y + y - 176 = 0. Suppose 0 = 5*d + u + 20 - y, d + 3*u = 20. Suppose -d*f + 68 = -30*f. Is f composite?
True
Is (2/(-4))/(21/(-49308)) a prime number?
False
Let d(h) = 4*h**2 - 3*h + 139. Is d(16) prime?
False
Is 12921/18 + 9/324*6 a composite number?
True
Suppose 414 = 5*j + 4*z, -3*j + 84 = z - 163. Suppose 4*o + p - 155 = -4*p, 4*p - j = -2*o. Is o a composite number?
True
Suppose 0 = 2*j - 4*q - 2, -j + 4*j + 3*q + 6 = 0. Let h(s) = 1474*s**2 - s - 2. Is h(j) prime?
False
Suppose 124*q - 121*q = -4*f + 121621, -3*q = -2*f + 60797. Is f a composite number?
False
Let a(p) = -p**3 + 12*p**2 - 2*p + 6. Let i be a(10). Suppose -6*k = -302 + 1004. Let r = i + k. Is r a prime number?
False
Let w = 69 + -66. Let k(l) = l**3 + 4*l**2 + 3*l + 5. Let d be k(5). Suppose -d = -w*p - 59. Is p prime?
False
Suppose -2452 = -3*c + 7*c. Let o = -1053 - c. Is (o - 2)/((-2)/1) composite?
True
Let q be (-5 - 0)*(-1 + -34). Suppose q = g - 172. Is g prime?
True
Let d = -63323 + 92097. Is d a composite number?
True
Let i = -10 + 12. Suppose 0 = -i*w - 478 + 1824. Is w composite?
False
Let t(u) = -4*u**3 - 4*u**2 + 10*u + 39. Is t(-11) a composite number?
True
Suppose -4*m + 2*n + 44 = 6*n, m - n - 1 = 0. Let w be 2/(-3) + 4/m. Suppose w = 4*h - 3*h - 23. Is h prime?
True
Suppose -3*s - 25443 = -12*s. Is s composite?
True
Let m be 266*(-2 - -4 - -12). Is m/2 + 3 + -4 a composite number?
False
Let a be -55 + 3 - (4 - 0). Let b = 111 + a. Is b prime?
False
Let r(m) = 41*m + 3. Suppose 5*o = 10*o. Suppose 2*u + 5*y = -11, 3*u + u + y - 5 = o. Is r(u) a prime number?
False
Let h(y) = 24*y + 1. Let k be h(6). Suppose -4*d - k = -s + d, 0 = 2*s + 2*d - 278. Suppose -z = 3*z + 2*t - s, 4*z + 3*t = 144. Is z a prime number?
False
Suppose -138*t = -66*t - 8408808. Is t a prime number?
True
Suppose 0 = 3*l - 5*s + 176, 134 = 2*l - 4*l - 5