2343)/(-104)*-162 prime?
True
Let a(n) = 132*n + 9. Let h(r) = -66*r - 5. Let g(i) = -4*a(i) - 7*h(i). Let u = 5039 + -5040. Is g(u) prime?
False
Let u = 140547 + -47782. Is u composite?
True
Suppose -f + 4*s = -24, 0 = -f - 4*s + 6 + 18. Let x be 11/6 - (140/f + -6). Suppose x*v - 1334 = -4*k, 0 = 4*v - k - 4*k - 2668. Is v a composite number?
True
Let w(b) = 10*b**3 + 5*b**2 - 3*b + 2. Let l be w(4). Suppose -12*x - 12 = -16*x. Suppose -x*z = s - 1997 - l, z - 881 = 5*s. Is z composite?
True
Let v(g) = 3290*g - 121. Suppose -o - 7 = -5*u, -u + 4*o + 1 = 11. Is v(u) a composite number?
True
Suppose -5*u - 4*r + 2*r = -38484, -4*u + 30798 = -2*r. Suppose 17*j = 23*j - u. Is j composite?
False
Let m(q) = -9*q + 11. Let o(z) = 9*z - 9. Let s(t) = 2*m(t) + 3*o(t). Let c be s(-2). Let d(x) = 2*x**2 - 22*x - 57. Is d(c) composite?
True
Let w(f) = 9107*f + 328. Is w(15) a prime number?
False
Let j(a) be the third derivative of -29*a**6/12 + a**5/30 - a**4/24 - a**3/2 + 96*a**2. Suppose -t + 3 - 5 = 0. Is j(t) prime?
False
Let j(r) = -12*r - 195. Let p be j(-18). Is 1/3 - (-5 + (-126875)/p) composite?
False
Let b be 12/(-42) - (-65)/7. Let c be (-4)/10*(-1 - b). Suppose -4*o - 637 + 5888 = -3*m, 0 = o + c*m - 1327. Is o a prime number?
False
Is 64490*((-150)/20 + 8) composite?
True
Is -4*-11*2063 + ((-224)/8)/(-4) prime?
False
Suppose 14 = 5*n - 11. Suppose 8687 + 3348 = n*t. Is t a prime number?
False
Let n = -24 + 24. Let z be 3 - 0/(n - 2). Suppose 4*a - z*o = 629, -4*a - a - 3*o + 820 = 0. Is a a composite number?
True
Let b(s) = 44*s - 37. Let m be b(13). Suppose 2*j - m - 273 = 0. Is 5*(((-8)/4 - 1) + j) a composite number?
True
Let l be -1962 + (7 + -17)*(-2)/(-5). Let a = l + 3603. Is a a composite number?
False
Let g(t) = -t**2 - 23*t - 14. Suppose -2*z = -3*u - z - 29, 3*z - 6 = 0. Let f be g(u). Is 347/(4*4/f) prime?
False
Suppose 10*z - 49 - 1 = 0. Suppose m + z*h - 1234 = 0, 971 + 2786 = 3*m + 4*h. Is m prime?
True
Let n be (-18 + 1*-1)*-1. Let k(f) = -f**2 - 44*f - 255. Let q be k(-7). Suppose q*s - 57 = n. Is s prime?
True
Let z(s) = s**2 - 18*s - 19. Let o be z(19). Suppose a = -r + 7293, o*a + 3*r = 4*a - 29158. Is a composite?
True
Let y(r) = -r**2 + 17*r - 70. Let x be y(8). Suppose -15*b - x*b + 6698 = 0. Is b a prime number?
False
Suppose -u - 31628 - 1391 = -c, c - 5*u - 33027 = 0. Suppose 0 = 20*n - 33083 - c. Is n prime?
False
Let l be 310641/9 + 1*(-8)/12. Let s = l - 23864. Is s prime?
True
Let r(u) be the first derivative of 8*u**3/3 - 7*u**2/2 - 11*u - 5. Is r(-4) composite?
True
Let a = -516736 - -791315. Is a a prime number?
True
Suppose -5*j + 10 + 0 = 0, -8 = l - 5*j. Suppose -5*x - r = -184, -l*x + 5*r = -0*r - 52. Is 1*(-4)/(-6) + 6960/x prime?
False
Suppose -3*t = -27, -3*o - 8*t = -14628073 + 6095242. Is o a prime number?
False
Suppose 0 = -104*l + 21860433 + 2389559. Is l a prime number?
True
Let w(u) = 27*u**3 - 4*u**2 + 4*u + 2. Let v be w(2). Let g be (-24)/(-10)*v/12. Is (6/21 - 33/g)*-298 a composite number?
False
Let t be (12/(-9))/(-2) - 2616/(-18). Let g = t + 669. Suppose 94*v - g = 93*v. Is v composite?
True
Suppose 40 = 4*q + c, 5*c = q + 9 + 2. Suppose q*w - 7733 = -56. Is w composite?
False
Suppose -5*y - 115 = 5*r, -3*r + y = 69 - 12. Let b be r*((-53)/4 + 2). Suppose 2*h = -3*v + 2825, -5*v + 2*h = -4928 + b. Is v a composite number?
False
Suppose 19 = 4*w - 1. Suppose -w*q - 1385 = -9100. Is q prime?
True
Let a(v) = -v**3 + 5*v**2 + 7*v - 6. Let w(l) = -2*l + 9. Let k be w(-4). Suppose 4*c - k + 1 = 0. Is a(c) prime?
False
Suppose 0 = 86*s - 87*s + 3. Suppose -4*x + s*u + 39695 = 0, -x - 19850 = -3*x + 4*u. Is x composite?
False
Let p(b) = -2*b**2 - 12*b + 35. Let u be p(-8). Suppose 4*s + v - 4732 = 1517, 4674 = u*s + 5*v. Is s a composite number?
True
Let d(w) = 5*w**2 + 9*w + 49. Let j(t) = -3*t**2 - 5*t - 25. Let a(k) = -4*d(k) - 9*j(k). Let o be a(14). Let q = 2516 - o. Is q prime?
False
Let c(f) = -4*f + 62. Let l be c(14). Is (-2 - (1 - (-177)/(-6)))*l prime?
False
Let g be -9*((-12)/(-4) - 36). Let z(k) = 206*k - 22. Let b be z(4). Suppose g + b = 7*y. Is y a composite number?
False
Is -9*(-32)/(-1584) + 261307/11 prime?
False
Let t(s) = 233*s + 64. Suppose 644 = 8*y + 476. Is t(y) a prime number?
True
Is (1/4)/(343/(-784)) + (-6238)/(-14) composite?
True
Suppose 11*w + 18*w - 58 = 0. Suppose 3*j - w*t = 1106 + 886, 0 = t + 3. Is j a prime number?
False
Let n(w) = -5 - 6 + 203*w + 52*w - w. Let d be n(3). Suppose d + 2179 = 2*b. Is b a composite number?
True
Is -426 - -414 - (1 - 334982) composite?
True
Let p be 28/(-21) - 194828/(-6). Suppose 5*v + 5*m - p = 0, 5*v + 4*m + 5585 - 38055 = 0. Suppose 2*k - 4*k + v = 0. Is k a prime number?
False
Let m be (-595272)/(-28) - 6*3/(-63). Let u = -5 - -5. Suppose -5*j + m = -l, u = -7*j + 3*j + 3*l + 16997. Is j a composite number?
False
Suppose 3*g = 4*g. Let p = 2 + 1. Suppose g = 2*x + p*l - 20, 4*x - 12 = l + 14. Is x a composite number?
False
Let k = -16 - -21. Suppose -k = -6*b + 19. Suppose 3099 = 3*v + b*p - 1578, 2*p - 1559 = -v. Is v a prime number?
True
Is 172/(-4)*-13908 + 19 prime?
False
Suppose 128270 = 82*z - 689844. Is z prime?
False
Let m = 13853 - 8305. Suppose -s + 5*w + 0*w + 1387 = 0, -4*s + m = -3*w. Suppose s = 7*g - 9162. Is g prime?
False
Suppose 0 = 8*l - 56 - 40. Let n = -113 - -1174. Suppose l*s - n = -77. Is s composite?
True
Suppose 10*k = 57 - 67. Is (4 - 35/10)/(k/(-6718)) a composite number?
False
Let h(d) = -18*d + 5. Let k be h(-15). Let z = k - 196. Is z composite?
False
Let r(c) = -c**2 + 11*c - 20. Let i be r(8). Suppose -5*p + 2336 - 446 = -5*u, -i*p + 1521 = 5*u. Is p prime?
True
Suppose 183*i - 987394 = -43*i. Is i a composite number?
True
Suppose -2470*v + 99018 = -2452*v. Is v a prime number?
True
Let t(b) = -9864*b**2 + 12*b + 16. Let k be t(-2). Let i = k - -69761. Is i composite?
True
Let m be 3/18*3*5*2. Suppose -4*a - 4*t + 12 = 0, -3*a - 4*t = -m*t - 5. Is (5 + 45/(-10))/(a/44) a composite number?
False
Let g(x) = -47*x + 9. Let p(n) = -2*n - 21. Let i be p(-10). Let r be 9*2/3*i. Is g(r) prime?
False
Is (-2*(-35487)/(-12))/(18/(-12)) a composite number?
False
Suppose 2*v + 77930 = 5*g + 13052, -4*g + 3*v = -51908. Suppose 0 = 9*m - 43087 - g. Is m a composite number?
False
Suppose -4*n - 15 = -3, -89 = 4*t + 3*n. Is 4664 + 1 - (t/(-5) + -2) composite?
False
Suppose -i = -1, -33*j + 29*j + 5*i + 11703 = 0. Is j a prime number?
True
Let v(y) = y**3 - 13*y**2 + y - 19. Let r be v(13). Let x be 2 - r/3 - -143. Suppose 4*b = x + 169. Is b a composite number?
False
Let y(q) = 8*q - 30. Let c be y(5). Suppose 3*o = -2*g + 7, o = -3*g - 4*o + c. Suppose -17*a = -g*a - 7116. Is a prime?
True
Let b be (-49)/245 + 79168/(-10). Let u = 11176 + b. Is u a composite number?
False
Suppose 2*g + 3*j - 127107 = 0, 3*j - 7*j = -5*g + 317710. Let u = g + -31087. Is u composite?
True
Suppose -4439 = -8*y + 1801. Let c = y - -581. Is c a prime number?
True
Let t = 42 - 55. Let i(o) = o + 14. Let f be i(t). Is ((1 - f)/1 - -889) + -2 a composite number?
False
Let j be (-2 - -1)*123 - 8. Suppose 4*i - 624 = 2*f + 530, -5*i + 2*f = -1443. Let l = j + i. Is l composite?
True
Suppose -23*f + 433387 = x - 25*f, -4*x = -5*f - 1733572. Is x composite?
True
Let d(a) = a**3 - 8*a**2 + 3*a + 19. Let i be d(8). Suppose 3*s - 50 = i. Suppose -5*r + s + 19 = 0. Is r a prime number?
False
Let l = -15851 + 22434. Is l a composite number?
True
Let b(c) = -c**2 - 10*c + 43. Let q be b(-13). Suppose u = 5*i - 6*i + 6423, -i = q*u - 6408. Suppose 3*d - i - 535 = 0. Is d a composite number?
True
Let z(y) = 5*y + 3 + 4*y**2 - 24*y + 8*y**2 - 3*y + 4*y**3. Let s be 90/12 - ((-2)/(-4) - -1). Is z(s) prime?
False
Let s be 1/(((-12)/(-21))/4). Let u = -7 - s. Is 62/217 - 3664/u prime?
False
Let l(x) = -3*x**2 + 8*x - 45. Let o(g) = -3*g**2 + 8*g - 45. Let c = -30 + 26. Let r(k) = c*l(k) + 3*o(k). Is r(14) composite?
False
Let n = -89 - -93. Suppose 3*w - 3*j - 1125 = 0, -n*w = 5*j - 1649 + 122. Suppose 5*l - 32 - w = 0. Is l composite?
True
Let v(s) = 2 - 15*s**2 + 11*s - 14*s**3 + 15*s**3 + 3*s**2. Let q be v(11). Is 1 - (-350)/q*4 a prime number?
True
Suppose 9*o - r + 4099 = 6*o, o - 3*r + 1361 = 0. Let c = o - 751. Let m = -1031 - c. Is