-1). Suppose 3*k = 8*v - 3*v + x, 0 = 3*k - 2*v - 3193. Is k a composite number?
True
Suppose -3*t - 5*f + 34804 = -12103, 78125 = 5*t - 5*f. Is t prime?
True
Let i = 11 + -5. Let n = i + -8. Let t(v) = -42*v**3 - 2*v**2 - v + 1. Is t(n) a prime number?
True
Let c(l) = -l**3 - 4*l**2 - 4*l + 1. Let p be c(-3). Suppose 6 = -r + p*r. Is (1910/40)/(r/40) prime?
False
Let j(r) = -32*r**3 - 9*r**2 - 4*r + 1. Let b be j(-6). Suppose -3*v + b = 4*a, a = -0*a + 4*v + 1677. Is a a prime number?
True
Suppose -2*s = 5*g - 493, 3*g - 294 = 3*s - 1065. Suppose 333 + 174 = 3*d. Let b = s - d. Is b a composite number?
True
Suppose -3*z = -5*f + 2623, -2*f = f - 6. Let a = -72 - z. Is a a prime number?
False
Suppose 18*x = 19*x. Suppose -q = 5*h + 4*q - 45, 48 = 5*h + 2*q. Let y = h - x. Is y a composite number?
True
Let t(q) = 99*q - 20. Let z be t(4). Suppose -z = -k - 2*v - 51, -4*k = 2*v - 1276. Is k composite?
False
Let u(r) = -394*r + 6. Let x be u(-2). Suppose 0 = -3*q - 4*m + x, 4*q + 2*m = -0*q + 1062. Suppose 665 = 5*h + t - 3*t, -2*h = -3*t - q. Is h prime?
False
Let x(j) = 71*j**2 - 15*j - 67. Is x(-6) prime?
True
Suppose -5*q = 5*f - 12 - 3, 5*q = 5*f + 35. Let v(d) = 44*d - 15. Let t be v(6). Suppose 2*w = q*w - t. Is w prime?
True
Let t(f) = -f**3 + 9*f**2 - 9*f + 8. Let l be t(8). Suppose -5*n - 4*z + 3735 = l, 2244 = 3*n - z + 4*z. Is n prime?
True
Let b(m) = -1502*m - 1. Suppose 105*g - 106*g - 4 = 0. Is b(g) a composite number?
False
Let r = -6019 + 9850. Is r prime?
False
Suppose s - z = 4, 3*s - s - z = 8. Let y be s/(-3 + 1)*-2. Suppose -y*d - d = -2225. Is d composite?
True
Suppose 256130 = 3*j - 5*z, -117*j + 85380 = -116*j - z. Is j prime?
False
Is (-12)/(-5) + -2 + (-57489)/(-15) a composite number?
False
Suppose -3*b + 2*v = -v - 6, 0 = -3*b + 5*v + 6. Let o be (-3 + b)*-2 + 79. Let m = -44 + o. Is m prime?
True
Is (-5)/2 - (-7683)/26 a prime number?
True
Suppose 9*z = 8*z. Let x = z - -69. Is x a prime number?
False
Let b = 1811 + -466. Is b a prime number?
False
Let t be (-6)/((-1)/((-10)/(-15))). Suppose 5*a - 806 - 197 = -o, -t = 2*o. Is a composite?
True
Let v(n) = n**3 + 25*n**2 - 21*n - 37. Let t be v(-18). Suppose 2*d = -3*z + t, -2*z - 3*d = 2*d - 1732. Is z composite?
True
Suppose 0 = -3*c + 7331 + 1150. Is c composite?
True
Let g = 83 + 46. Suppose -3*q + g + 90 = 0. Suppose 0 = 2*t + 2*u - 156, -t + q + 10 = -4*u. Is t a prime number?
True
Suppose 2*r + 0*t = t - 130, 4*t - 190 = 3*r. Is (-3 + -4 + r)*-3 a composite number?
True
Let m(o) be the first derivative of -201*o**2/2 + 7*o - 4. Is m(-2) a prime number?
True
Is (5615/(-15))/((-4)/12*1) prime?
True
Let k(t) = -190*t - 6. Let w be k(-7). Suppose 2*a = 6*a + 64. Is (-1)/(-4) - w/a a composite number?
False
Suppose -2060 = 2*v - 5766. Is v composite?
True
Suppose -3*g = -9*g + 30462. Is g prime?
True
Suppose -v = 3*g + 60, 2*v + 3*v + g + 258 = 0. Is 22/(-187) - 13725/v a composite number?
False
Suppose u - 1 = -2*t, -6*u + 2*u + 5*t = -17. Suppose 24 = s + u*s. Suppose 11*c = s*c + 385. Is c composite?
True
Suppose x - 3*u + 44 = 6*x, 0 = 5*x + 2*u - 41. Let l(b) = 4*b**2 - 3*b + 36. Is l(x) a composite number?
False
Let h(s) = -23*s**3 - 9*s**2 - s + 13. Is h(-6) a prime number?
True
Suppose -855 = -5*c - 845. Let i(l) = 52*l**2 - l - 1. Let u be i(2). Suppose -c*x + u = -313. Is x prime?
False
Let m(v) = v**2 + 2*v + 2. Let p be m(0). Let s be (p - 2)/(-4) - -2. Suppose -5*o + 0*o - 4*z = -83, -s*o + z = -28. Is o a composite number?
True
Suppose -4*u - 3 = -15. Let h(n) = n**3 - 2*n**2 - 3*n + 4. Let p be h(u). Suppose p*g + 87 - 299 = 0. Is g composite?
False
Suppose -3*k = -6*k + 15. Suppose -3*c + 694 = -5*l, -k*l + 5 + 0 = 0. Is c prime?
True
Is (-5 - (-5 + -2))*593 prime?
False
Let s = 414 + 25. Suppose 0 = -9*n + 8*n + s. Is n a prime number?
True
Let h(y) = -3*y - 3. Let n be h(-2). Suppose 1008 = n*x - 3*i, 488 = -5*x - 3*i + 2160. Is x a prime number?
False
Is 10053/8 + 45/120 a prime number?
False
Suppose 188 - 148 = 5*y. Suppose -y*i - 8*i = -1264. Is i prime?
True
Let l = -14 - -20. Is -5283*((-4)/l)/2 a composite number?
True
Suppose 5*x = -2*f + 5785, 2*f = -2*x - f + 2314. Let h = x - 7559. Is (-1)/(-6) - h/36 composite?
True
Let h = 227 + -343. Let c = -1 - h. Is c prime?
False
Let p(r) = 10*r**2 + 11*r + 13. Is p(-20) composite?
False
Is (-1627578)/(-27) + 28/12 a prime number?
False
Let w(m) = 9*m**3 + 5*m**2 - 1. Suppose -3*q + 90 = x, 4*q + x - 121 = -0*q. Let j = q + -27. Is w(j) a composite number?
True
Suppose -3*f + 2*k = -96739, -8*f + 96725 = -5*f + 5*k. Is f composite?
True
Let b(c) = c - 9 + 5 - 3*c. Let x be (-33)/6 - 1/(-2). Is b(x) composite?
True
Suppose -4*o + 4415 = -4133. Suppose -3*d + 12 = 0, o = 5*y - 2*d - 1460. Let r = -384 + y. Is r prime?
True
Let z(l) = -224*l + 1. Is z(-14) a prime number?
True
Suppose 5*z - 2*r + 6 - 21 = 0, 0 = -4*z - 4*r + 12. Is (-243 - -6)*z/(-9) prime?
True
Is (39134/(-4))/17*-26 prime?
False
Suppose 0*g - 2*g + 48 = -3*f, 4*g - f = 116. Let u be ((-3)/9)/((-1)/g). Is (1262/(-4))/((-5)/u) composite?
False
Is 56682/7 + -2*(-9)/(-42) prime?
False
Let o = 126 - 126. Suppose -2*z - 10 = o, -5*d + d - 3*z = -10165. Is d a composite number?
True
Suppose 4*o - 2*o = 50. Suppose 3*t = 4*n - o, -3*n - 2*n = 2*t - 37. Let j(s) = 2*s**3 - 10*s**2 + 2*s - 7. Is j(n) a prime number?
False
Let j be 15/60 + 13/(-4). Let k be (3 - 0) + (j - -632). Suppose 1053 = 5*a - k. Is a a prime number?
True
Let x(b) = b**3 - 3*b**2 - 2*b - 5. Let a be x(4). Suppose 4*n = j + 20, a*n = 4*n - j - 5. Suppose -y - 4*r + 50 + 43 = 0, n*y + 3*r = 397. Is y composite?
True
Let p(f) = 28*f**3 + 3*f**2 + f - 1. Let b(w) = -w**3 - 20*w**2 - 18*w + 20. Let g be b(-19). Is p(g) a composite number?
False
Let m(r) = -r**2 + 5*r + 1. Let f be m(5). Let g be (f + (-1)/2)*6. Suppose 533 = g*p + 4*k, 0*p - 374 = -2*p + 2*k. Is p prime?
False
Is (-42514)/(-7) + (-92)/(-161) a composite number?
True
Let n = -221 + 103. Let k be 39*-2*(-3)/(-6). Let s = k - n. Is s composite?
False
Let p = -297 + 1245. Let m = p - 601. Is m prime?
True
Let d be 12*-4*77/14. Let j be 23/(18/10 + -2). Let c = j - d. Is c a composite number?
False
Suppose -2*d + 5*a + 33 = 2*d, a - 51 = -4*d. Is (422/8 + 4)/(1/d) a prime number?
False
Let a be 1*(6 + -4)*(-6)/4. Is 5585*(16/5 + a) prime?
True
Let d(w) = 4*w + 13. Suppose -l + o + 4 + 3 = 0, -17 = -l + 3*o. Let i(c) = 2*c**2 - 2*c + 2. Let u be i(l). Is d(u) prime?
True
Suppose 3*d - j + 1 + 0 = 0, -d + 3*j - 11 = 0. Let n be (d/2)/((-1)/(-474)). Suppose -4*m + 991 = -n. Is m prime?
True
Is ((-4)/3)/(82645/(-11805) - -7) a prime number?
False
Let s(v) be the third derivative of v**5/15 - 13*v**3/6 - v**2. Suppose -2*j + 3*j = -15. Is s(j) composite?
False
Is 11286108/648 - (-1)/6 prime?
True
Let n = -5 - -9. Let f be (-6)/n*20/(-30). Is (f - (-92)/(-8))*-2 prime?
False
Let r be (8 - 9)*1987*-1. Is r + (-1 - 3) - -2 a composite number?
True
Suppose -1 = -2*b + 9. Suppose b*z + 8 + 12 = 0. Let y(c) = -3*c**3 - 5*c**2 - c - 1. Is y(z) a prime number?
False
Let y = 2142 + 6499. Is y a prime number?
True
Let t(g) = g**3 + 4*g**2 + g - 4. Let h be t(-3). Let f be (-6)/(-6) + -1 + h. Suppose -c = 1, 6*s - 265 = f*s + 5*c. Is s a prime number?
False
Let c = 14 - 12. Suppose -2*w - c*w - 16 = 0. Is (2/(-3))/(w/498) a prime number?
True
Suppose -5*b + 5*i = -20690, 4133 = 6*b - 5*b - 2*i. Is b a composite number?
True
Let c = -37648 - -54939. Is c a composite number?
False
Suppose 4*l = -58 + 110. Suppose -6*k - 3787 = -l*k. Is k composite?
False
Let q be 2/(-4)*(8 - 8). Is 584 - (q + -2 + -1) composite?
False
Let c(b) = 22*b**2 - 6*b - 5. Let s be 8/(-12)*1*6. Is c(s) composite?
True
Let k be (-11)/2*(-9 - -7) - -1. Is (-1)/(-6) - (-13690)/k composite?
True
Let s(r) = 4*r**2 + 3*r + 10. Let t be s(-2). Suppose -12*i + t*i = 6152. Is i prime?
True
Suppose 37022 - 195538 = -4*d. Is d a prime number?
False
Let x = -20703 - -38158. Is x prime?
False
Let k(w) = -w + 2*w + 2*w**2 + 23 + w. Is k(12) composite?
True
Let n(l) = 63*l**2 - 9*l + 43. Is n(19) prime?
False
Let y(j) = 5*j**2 - 16*j - 12. Let v be y(12). Suppose -18*x - v = -20*x. Let r = x - -41. Is r prime?
False
Let b(x) = x**2 - 8*x - 39. Is b(28) composite?
Fals