2*u + k. Is u prime?
True
Suppose 13135 = 5*j - 3*b, -2*j + 2*b + 3754 + 1504 = 0. Suppose -w - 13*t = -10*t - j, -6 = 2*t. Is w a composite number?
False
Is ((-497544)/(-36))/((-22)/(-165)) a composite number?
True
Let z be 2/4*6 - -1. Suppose 4*v + 4 = 0, -z*j + 5*v + 32 = -601. Is j a composite number?
False
Let i(w) = w**2 - 2*w + 24169. Suppose -6*x + 5*x - 2*x = 0. Is i(x) a prime number?
True
Let u(t) = -3*t**3 + 4*t**2 - 11*t - 100327. Let m(j) = -j**3 + j**2 - 4*j - 33441. Let r(h) = -7*m(h) + 2*u(h). Is r(0) prime?
False
Let l be (8 - 2)*(-3 - 5/(-3)). Let d be 50/l - ((-5)/(-20))/(-1). Let s(c) = 26*c**2 + 5*c + 13. Is s(d) prime?
True
Let c(y) = 4050*y + 2554. Is c(22) a prime number?
False
Let x = 238835 + -107404. Is x prime?
True
Let g be (-2)/(-3*(-4)/162). Let i = -25 - g. Suppose i*p = -2*p + 2108. Is p composite?
True
Suppose -3*w = -2*p + 302507, -4*p + 280484 = -2*w - 324550. Is p prime?
False
Let b = 26 + -25. Let m be (b + -3)*(-4 - (-4 + 2)). Suppose -2*a + 225 = d - 0*d, m*d = a + 882. Is d prime?
False
Let p = -58 + 61. Suppose -4*m + 1297 = p*k, 0 = -k + m + 125 + 298. Let s = k + 688. Is s composite?
True
Suppose 28808 - 113855 = -j. Is j composite?
True
Let c = 68719 - -226986. Is c a composite number?
True
Suppose 0 = -3*m + 5*f + 71753, -f = 11*m - 14*m + 71761. Is m prime?
False
Let b be (-144)/(-504)*1*7. Suppose -b*x + 2*d = 4*d - 20634, -2*x + 20648 = -5*d. Is x prime?
False
Suppose -2*s - 22407 = d, 4*d - 36103 = 4*s - 125755. Is d/(-3) + (-78)/(-117) composite?
True
Let a = 3721 + -2082. Is a*(5/4 + 21/(-84)) a prime number?
False
Let x(a) = 2*a**2 + 72*a - 96. Let t be x(-37). Is 2*-1*t/44 - -11398 composite?
False
Let b(r) = 5309*r**2 - 65*r - 199. Is b(-3) a composite number?
False
Suppose -15 - 8964 = 3*c. Let t be c/(-123) + (-1)/3*1. Let n(a) = a**2 + 15*a - 35. Is n(t) composite?
True
Suppose 127455 + 229201 = 16*f. Is f a composite number?
False
Let a(b) = b + 2. Let h(p) = 619*p + 11. Let m(d) = -6*a(d) - h(d). Is m(-12) prime?
True
Let r be -2 - (-12295)/10 - (-5)/(-10). Let j = -836 + r. Is j a prime number?
False
Let r = -12 - -17. Suppose -r*a + 6435 + 1150 = 0. Is a prime?
False
Let n(o) = -13*o**2 - 4*o**3 - 5 - o**2 + 3 - 10*o**2 + 4 + o. Is n(-7) composite?
False
Suppose -4*b + 137257 = -3*s, 6*s - s - 5 = 0. Is b prime?
False
Let d = 6 - 15. Let n be 48/(-28)*42/d. Suppose 2294 = n*y - 3234. Is y a composite number?
False
Suppose -d + 4*a - 1 = 0, -2*a + 7*a + 88 = -3*d. Let c = d + 23. Suppose -c*r + 332 = 2*r. Is r prime?
True
Suppose -4*q - 2*u = 350 - 1104, 2*u = 2. Let w = 2099 - 1232. Let m = w - q. Is m a prime number?
False
Suppose -120 = -15*d - 9*d. Suppose -d*b = -492 - 23. Is b composite?
False
Let i = -1797 - 3049. Let j = -797 - i. Is j a composite number?
False
Suppose -2*i - x = -4*i - 17, i - 4*x + 12 = 0. Is (298/(-5))/(i/780*3) a composite number?
True
Is 63/18*-14*2/(-14) + 441136 a composite number?
True
Suppose -3*s = 5*x - 36, -4*x - 4*s = -21 - 11. Suppose -2*i + 4*v - 130 = -v, -x = 3*v. Is (-1774)/(-14) - 20/i prime?
True
Let q = -660 + 4753. Let s = q + -2390. Is s prime?
False
Let u(r) = 5*r**2 + 5 + 2*r**2 + 12*r - r**2 - 12*r**3 + r**2. Let x be u(-6). Suppose x - 910 = p. Is p prime?
True
Suppose -4*i + 93057 = 3*a, -6*i + 10*i = -a + 31027. Is a prime?
False
Let q = 614 + -369. Suppose -2*i + 695 = -4*c - q, 5*i + 4*c = 2392. Suppose -2368 = -12*z + i. Is z prime?
False
Suppose 2*s - 2849 = -0*v - v, 0 = -4*v - s + 11417. Suppose v + 5625 = 2*u. Let t = u + -2954. Is t composite?
True
Let d(a) = 137*a**2 + 5*a + 5. Suppose 8*k + 2 = 9*k. Suppose 2*l + 6 = -k. Is d(l) a prime number?
False
Let z(t) = -1481*t**3. Let x(c) be the second derivative of c**5/20 - c**4/4 - c**3/2 - 5*c**2/2 - 23*c. Let g be x(4). Is z(g) a composite number?
False
Suppose -9*r + 14*r + 170 = 0. Let a = 34 + r. Suppose 5*h + 0*n + n - 6015 = 0, a = -2*h + 2*n + 2394. Is h a composite number?
True
Let q(f) be the third derivative of -49*f**4/4 + 57*f**3/2 + 120*f**2. Is q(-4) composite?
True
Is 46/4*(-6 - (-1472)/8) a composite number?
True
Let x = 1544630 - 989473. Is x a composite number?
True
Suppose -12*p - 44282 = -2*n - 16*p, p + 44282 = 2*n. Is n a composite number?
True
Let h = 14263 - -37180. Is h a prime number?
False
Let i be (6256/(-12))/((-1)/36). Suppose 7*f - 33851 - i = 0. Is f prime?
True
Suppose -4*r - 7348 = 5*q - 1280341, -636497 = -2*r - 3*q. Is r prime?
True
Let n be (1 + 2*28)*-1. Let y = n + 55. Is (y - -1126) + (-8)/8 composite?
False
Let w = 4017 + 8506. Let y be -1*((-6)/4 + w/(-14)). Let a = 213 + y. Is a a composite number?
False
Suppose 5*a - 2*v - 1190994 = 0, 4*v - 75041 = -a + 163149. Is a composite?
True
Suppose 4*g = 9*g - 3*g. Suppose g = 11*y - 9*y - 5794. Is y composite?
False
Let n = 7 + -2. Suppose -70 + 25 = -n*s + 4*b, 4*s - 4*b = 40. Suppose q = -5*c + 114, 4*q - s*c - 456 = 125. Is q composite?
False
Suppose 3*m = -r - 7, 4*m = -r + 5*r + 12. Let l be 3 + (-4 - m) - -4. Is (-2)/l - (-1080)/16 prime?
True
Suppose 3*v + 7*v - 90 = 0. Let n(h) = h**3 - 7*h**2 - 15*h - 18. Let g be n(v). Suppose 7637 = g*j - 20758. Is j a prime number?
False
Let g be (3/5)/(4/220540). Let b = 58234 - g. Is b a composite number?
False
Let h(s) = s**2 - 2*s - 9. Let i be h(-2). Is ((-8)/(-4))/i + 8041 prime?
True
Suppose 24 = 4*l + 4*r, -7*l - r = -3*l - 18. Suppose 5*v - 12 = l*t - 0*t, 3*v + t + 3 = 0. Let m(s) = -s**2 - 2*s + 633. Is m(v) a composite number?
True
Is ((-704)/(-384)*(-2128718)/(-11))/(1/3) prime?
True
Let o(r) = -10*r**3 - 16*r**2 + 21*r - 46. Is o(-13) a composite number?
False
Let b = 35975 + 5064. Is b composite?
False
Is (61 + 185676)/(4/20) a prime number?
False
Let p be (-1210)/(-60) - (14/(-12))/(-7). Is 5/(-2)*(-4)/p*9022 composite?
True
Is ((3/2)/1)/((-17)/(-3819730)*5) a prime number?
False
Let d be 1/2*-4*1/2. Let o(i) = 17*i**2 - i - 1. Let x be o(d). Let b(z) = 226*z - 21. Is b(x) a composite number?
False
Suppose -q + 4*g + 76 = 0, 2*q - 43 = -5*g + 57. Is (6/(-45))/1 - (-212468)/q composite?
False
Suppose 3*q - 677 = z, 4*q - 896 = -2*z + 5*z. Suppose -2*v + 3*o = -q, 2*v - 5*v + 383 = 4*o. Is v a prime number?
False
Let v(i) = 16355*i**3 - 103*i**2 + 505*i - 4. Is v(5) a composite number?
False
Let v(t) = 1560*t**3 - t**2 + 10*t - 8. Suppose 3*b - 4 = -y, 5*y + 3*b - 2*b = 6. Is v(y) composite?
True
Is (-15 - -10)/(1/(-3)*78/573638) a composite number?
True
Let b(n) = -2*n**3 + n**2 - n - 9. Let t = -28 + 22. Let v be t*(-1)/(15/(-10)). Is b(v) a prime number?
True
Is 3/(36/(-6))*-29*6502 prime?
False
Let p(w) = -2*w**2 + 30*w - 19. Let n(m) = -m + 1. Let z(u) = 4*n(u) + p(u). Let x be z(10). Is (-8619)/(-27) + (-10)/x a composite number?
True
Let s(a) = 666*a**2 - 33*a - 37. Is s(-8) a prime number?
False
Let h(k) = -k**2 - 83*k + 61. Suppose -46*p = -17*p + 928. Is h(p) composite?
False
Let u(k) = -2*k**3 + 5*k**2 + 2*k - 1. Let l be u(-1). Suppose 3*g + l*y - 60494 = 0, -40331 = 4*g - 6*g - 3*y. Is g a prime number?
False
Is (8296610/(-30) + 1/((-3)/(-2)))*-1 a prime number?
True
Suppose 6 = -2*n - 5*j + 41, 5*n + 2*j = 35. Suppose -2*s - 6 = -n*s. Suppose -3790 = -3*f - 2*o, 2*f + 2*o = -s*f + 5052. Is f prime?
False
Let w(n) = 3*n - 70. Let i be w(42). Let h be -1 + 2 - (-261 + 1). Let q = h - i. Is q prime?
False
Let h(i) = -3*i**3 - 9*i**2 + i - 55. Let q(s) = 7*s**3 + 18*s**2 + 111. Let k(j) = 9*h(j) + 4*q(j). Is k(12) a prime number?
False
Suppose 2*z - 2*y - 4 - 14 = 0, -23 = -3*z - y. Is z/(-16)*(-3 - 15631) a prime number?
True
Suppose 80*j = 76*j + 496820. Is j prime?
False
Let n(a) = -73*a**3 - 21*a**2 + 9*a - 57. Is n(-10) a prime number?
True
Let z = 68 - 64. Suppose -z*d = -0*d + 4*b - 2248, -5*d + 2792 = -4*b. Let v = -69 + d. Is v composite?
False
Let w(a) = -a**3 - a**2 + a - 2. Let m be w(2). Let f(i) = -124*i - 17. Is f(m) prime?
True
Let n(i) = i**3 + 9*i**2 + 10*i + 12. Let z = -62 - -54. Let r be n(z). Is (-282)/(r + 5 + -3) prime?
False
Suppose 343*y + 3331740 = 355*y. Is y a prime number?
False
Let y(u) = 27054*u + 2849. Is y(3) prime?
True
Suppose -1484*x = -1481*x - 137967. Is x prime?
True
Let x(r) = -69*r - 10. Let y(d) = -68*d - 11. Let z(w) = 4*x(w) - 3*y(w). Let t be z(-5). Suppose 2*m - t = 