a(r) = 37*r**2 + 5*r + 2. Is a(p) prime?
False
Suppose 5*j + i = 6858, -3*i - 347 + 1727 = j. Is j a prime number?
False
Suppose 0 = -493*u + 499*u - 218238. Is u prime?
True
Suppose -5*c + 34 = 5*w + 9, 2*c + 5 = 3*w. Let n(t) = 10*t**3 - 2*t**2 + 4*t - 3. Is n(c) a composite number?
True
Suppose -3*q - c + 19410 = 0, -7*q - c = -11*q + 25873. Is q prime?
True
Let p be (106 - -6)/7 + 3*-1. Let r(a) = 2 + a**2 + 2 - 10*a + 0. Is r(p) composite?
False
Let b = -104832 - -167021. Is b a prime number?
True
Suppose -41*k + 12 = -38*k. Is 1814*((-30)/k)/5*-1 a composite number?
True
Let y = -6731 - -3946. Let o = y - -5864. Is o prime?
True
Let g(z) = 2293*z**2 - 7*z + 11. Is g(2) a prime number?
False
Suppose -3*c + a + 2892 = 0, -a + 6*a = c - 950. Suppose -3*o - c = -3*f - 2*o, -o = 2. Is f prime?
False
Let x(l) = 24*l + 1. Suppose -5*j + 30 = -2*j. Let c be x(j). Let b = c - 83. Is b a prime number?
False
Suppose -6*k = 3*k - 18. Is (0 + 1)*2/k*1543 composite?
False
Suppose -u = 4*l - 2, -l = -5*u - 4*l + 10. Suppose 4*v + 4*w - 180 = 252, -u*w = 2. Is v composite?
False
Is (-7829)/((-6)/2*(-22)/(-66)) a composite number?
False
Let b(c) be the first derivative of -43*c**2/2 + 13*c - 58. Suppose -7 + 1 = t. Is b(t) a prime number?
True
Suppose -h - y - 3109 = 2*h, 0 = -5*h + 2*y - 5167. Let f = -588 - h. Is f composite?
True
Is 12/32 + 1029385/40 composite?
True
Suppose 3*l = -l, 0 = 2*z - 2*l - 23726. Is z a prime number?
True
Let r be 15*-3*8/(-30). Let p = r + -10. Suppose p*m = -5*q + 489, -4*m + 1290 = m - q. Is m a composite number?
False
Let t = 65641 + -33300. Is t a composite number?
False
Let j(c) = -c**2 - 5*c + 25. Let l be j(-8). Is l/(((-12)/4)/(-3231)) prime?
False
Let m = -2526 - -3595. Is m a prime number?
True
Suppose -16 = -4*w + 12. Suppose w*z - 2*z - 10 = 0. Suppose -267 = -o - 4*t, z*o - 3*t = -o + 726. Is o a prime number?
False
Let p be (-82)/((6 - 5) + (-4)/6). Let k = p - -725. Is k a prime number?
True
Let p(w) = 1103*w**2 + 29*w - 7. Is p(3) composite?
False
Let t(k) = 2*k**2. Let f be t(1). Suppose f*u + 1993 = 3*u. Is u a prime number?
True
Let s be ((-1668)/15)/(2/(-5)). Let v(u) = -u**3 + 10*u**2 + 3. Let c be v(10). Suppose 90 = j - 0*j + b, -s = -c*j - b. Is j a prime number?
False
Let c(d) = d**3 + d**2 - d. Let j(n) be the first derivative of n**4 - 5*n**3/3 + 2*n**2 + 5*n - 6. Let w(v) = -5*c(v) + j(v). Is w(-13) a composite number?
True
Suppose -3*u + 0*u = 3*s - 21, -u + 3 = 0. Suppose 0*i + 5*t = -i - 205, 0 = s*t + 20. Let z = -125 - i. Is z prime?
False
Let x(o) = 4002*o**2 - 21*o - 46. Is x(-3) composite?
True
Let o(j) = 3*j**3 - 4*j**2 + 3*j - 2. Let d be o(2). Suppose 0 = 3*c - r - 357, r = -3*r + d. Suppose 3*x - c - 527 = -4*i, i = -4. Is x a composite number?
True
Let t(a) = -2*a + 12. Let v be t(6). Suppose -4*i - 5*x + 959 = -v*i, 3*i + x = 733. Suppose -4*o + g - 3*g = -334, 3*g = -3*o + i. Is o composite?
True
Let a(h) = h**3 + 9*h**2 + 3*h + 22. Let q be a(-9). Let j(v) = -58*v + 27. Is j(q) prime?
True
Let y = 109 - 109. Suppose -8*o - 3*o + 8063 = y. Is o prime?
True
Let p = -112 + 118. Suppose -1485 = -4*t - r, 4*t = -r + p*r + 1479. Is t a prime number?
False
Let w(i) = -5*i**3 + i**2. Let p be w(1). Let z be 1/(-2) + p/(-8). Is z - (207/(-1) - 4) prime?
True
Is 3495 + (0 - -12) + -16 a prime number?
True
Let g be (1 + -1)/(9/9). Suppose g = -b - 0*b - 2*x - 2, b = 5*x - 23. Let o(s) = -14*s + 11. Is o(b) a prime number?
False
Let l = 45 + -10. Suppose -3*b = -2*i + 3*i + l, -5*b - 53 = -i. Let j(w) = -6*w + 13. Is j(b) a composite number?
False
Suppose 120*u - 44985 = 105*u. Is u composite?
False
Let i(b) = 0*b**2 + 36*b**3 + 2*b**2 - 8 - 29*b**3 + 4. Suppose 0 = -2*h + 6. Is i(h) composite?
True
Suppose 0 = -9*g + 4*g + 25. Suppose 0 = 2*f - 2, 0 = -g*j + f + 67 + 72. Suppose j = x + 3*x. Is x a composite number?
False
Let p(l) be the second derivative of 3*l**2 - 2/3*l**3 - 8*l + 0. Is p(-7) composite?
True
Let a = 1276 + 265. Is a composite?
True
Suppose 0*z + 240 = 8*z. Is 5/z + 1145/6 composite?
False
Suppose -q - 2936 = -5*c, -5*c + 2930 = q + 4*q. Suppose 0 = 5*o - 6*o + c. Is o a composite number?
False
Let y(d) = 7*d**3 + d**2 + 7*d - 25. Is y(4) composite?
False
Let s(k) = k**3 + 0*k + 3*k + 6*k**2 + 3 - 10*k. Let w be s(-7). Suppose -w*j + 41 = -25. Is j composite?
True
Let h(v) be the first derivative of -4*v**2 - 2*v**3 + 3 - 5*v + 8*v**3 - 4*v - 5*v**3. Is h(8) composite?
True
Let s = 34 + -93. Let b = s - -78. Is b composite?
False
Let r = 16 + -43. Let s be (-3364)/(-9) + (-6)/r. Is (s/(-3))/((-8)/12) a composite number?
True
Let y be (-10)/(-2)*20/25. Is 2/4 - (-1954)/y*1 a prime number?
False
Is -80 - -88 - 19563/(-1) prime?
True
Suppose 8 = 3*j - 4. Let z = -11 + j. Let d = 96 + z. Is d a composite number?
False
Suppose 3*a = o + 10999, 94*a = 96*a - o - 7334. Is a a composite number?
True
Let i = -93968 - -199987. Is i a composite number?
False
Suppose 10*a + 32647 = 145817. Is a composite?
False
Let g be 81476/10 + (-5)/(25/(-2)). Let i = -4834 + g. Is i a composite number?
True
Let d be (-31629)/13*2/(-6). Suppose -4*f - 5 - 12 = -5*j, -27 = -5*j - f. Suppose 3*t - 2*p = 8*t - d, 821 = j*t - 3*p. Is t composite?
False
Suppose -5*d - 2 + 27 = 0. Suppose -d*b - i + 1532 = 198, -3*i - 1338 = -5*b. Is b prime?
False
Suppose -2*v = -2*d - 2114, -3*d - 402 = -4*v + 3830. Is v a composite number?
False
Suppose -12*n + 20791 + 14333 = 0. Is n prime?
True
Let t(b) = 1473*b + 230. Is t(7) composite?
True
Let m = -572 - 80. Let u = m + 983. Is u a composite number?
False
Is ((-233630)/30 + 11)*(-3)/2 a prime number?
False
Let k = 174 + -320. Let b = k + 437. Is b a prime number?
False
Let p be -1*(-2 + (-472 - -3)). Suppose -4*h + 4*w = 3*w - 618, 0 = 3*h + 3*w - p. Is h prime?
False
Suppose -46*m = m - 1774861. Is m composite?
True
Let f be 2 + 2727 + 2/(-2). Let d = -1420 + f. Is 1/4 - d/(-16) a prime number?
False
Let a(o) = 2*o**2 - 9*o - 16. Let f be a(9). Suppose -32 = -s + f. Is s prime?
True
Let l = -36691 - -76190. Is l a composite number?
False
Let q(s) = -5*s - 4. Let a be q(-8). Let x = 7 - 6. Is 492/a + x/3 a prime number?
False
Suppose -266 = -7*r + 203. Is r prime?
True
Is (-5 + 603736/(-21))/(2/(-6)) composite?
False
Suppose -42 = 4*x + 4*t - 10, -3*t = 2*x + 21. Let a = -13 + x. Let b(o) = -11*o - 13. Is b(a) composite?
False
Let o(b) = 3*b + 29. Let y be o(-8). Suppose 5*m + 16100 = y*j, j + 3*m + m - 3225 = 0. Is j composite?
False
Suppose 5*a = 9*a - 16. Suppose y - 2*h = 857, 539 = y - a*h - 324. Is y a composite number?
True
Suppose 0 = -2*x - 4*k + 954, -5*k = -9 - 11. Is x composite?
True
Suppose 6921 = -2409*c + 2412*c. Is c a prime number?
False
Suppose -2*l + 44*t = 40*t - 173232, t = 4*l - 346499. Is l prime?
False
Let t(j) = 8*j**3 + 4*j**2 + 11*j - 18. Is t(7) a prime number?
True
Suppose 0*g = -g. Suppose -14*z + 7418 + 3740 = g. Is z composite?
False
Let r be (1680/(-9) + 2)*150/(-5). Suppose 15*a = 11*a + r. Is a a composite number?
True
Let g = -30 + 32. Suppose -g*o + 4 = 0, 2*o + 2 = -5*w + 3*o. Is 117 + (1 - -1) + w a prime number?
False
Suppose -3*b + 3*d + 4 = 2*b, 9 = -3*d. Let t be (1/(-2))/(b/6). Suppose -t*m = -2*r - 165, 3*m + 2*r = -3*r + 165. Is m composite?
True
Suppose -5*p + l = -25, 0*l = -4*p - l + 11. Let g be 565*(0 - -2)/2. Suppose g = 9*d - p*d. Is d composite?
False
Let a(o) be the first derivative of 2*o**3/3 - 11*o**2/2 + 8*o - 29. Is a(-13) a prime number?
False
Let s(x) = -1610*x - 67. Is s(-10) a composite number?
False
Let p(i) = i**2 + 5*i + 5. Let f be p(-5). Suppose -d - n - 877 = -f*d, 3*d - 659 = 2*n. Is d composite?
True
Let r(m) = -m**3 + 3*m**2 + 6*m - 6. Let h be r(4). Is 2581 - (1 - h - -3 - 0) prime?
True
Suppose -4305 = -14*u + 11*u. Suppose 2*a - 3*o - 1982 = 908, a - u = -o. Is a composite?
False
Let w be -12*-13*(-13)/(-2). Suppose -3*p + w + 423 = 0. Is p composite?
False
Suppose 0*q - 22 = -2*q. Suppose -5*j + q = -14. Suppose 3*r = 2*z - 181, -4*z = -0*z + j*r - 307. Is z a prime number?
True
Let q = -42 - -42. Suppose h + q*h = 59. Is h composite?
False
Let q = -9 - -6. Let r = q + 8. Suppose -6490 = -r*d - 5*i, 8*d - 3*d + 4*i = 6489. Is d a prime number?
True
Let i be (-7 + 6)/(2/(-14)). Sup