 Is p prime?
True
Let w = -16923 + 184858. Is w a prime number?
False
Suppose -22*w = 268 - 48. Let m(y) = -y**3 - 6*y**2 - 12*y - 23. Let k(v) = -6*v**2 - 11*v - 23. Let z(p) = -2*k(p) + 3*m(p). Is z(w) prime?
False
Suppose 3*k + 16*c = 17*c + 365756, 0 = 4*c - 4. Is k a prime number?
False
Suppose -32*g - 66610 + 183698 = 0. Is g composite?
False
Suppose 29 = -5*i + 4. Let u be 2/i + 432/30. Is (-4)/u + (-201780)/(-140) a prime number?
False
Let n = -36790 + 77273. Is n a composite number?
False
Let t be (-1 - 75/2)/(5/10). Let w = t - -77. Suppose w = -5*o + p + 857 + 607, 4*o = 2*p + 1170. Is o composite?
False
Let q(a) = 950*a - 32. Let k be q(12). Let r = k + -3891. Is r prime?
True
Let t(x) = -8*x - 94. Let m be t(-14). Is (-261)/m*-350 + -6 composite?
True
Let m(s) = 49*s + 135. Is m(20) composite?
True
Let u(m) = -2*m + 1. Let g(a) = 668*a + 14. Let y(o) = g(o) - 3*u(o). Is y(4) composite?
False
Let c be (1 - 2)/(1/(-32)). Suppose -31*s = -b - c*s + 30078, -b - 2*s = -30077. Is b a composite number?
True
Let o(b) = -555*b + 13367. Is o(0) a composite number?
False
Suppose -20 = s - 22. Suppose 0 = -3*v + 3*p - 1245, -s*v - 824 = -5*p + p. Let t = v - -789. Is t a composite number?
True
Suppose 0 = -4*m - 4*i - 6004, -2*i - 10 = -4*i. Let x = m - -2243. Is x prime?
False
Suppose 14*j - 6*j + 320 = 0. Let b = j + 40. Suppose 5*l - 3*l - 318 = b. Is l composite?
True
Let j(q) = 2*q - 15. Let k be j(11). Let m(f) = 114*f**2 + 8*f - 11. Let z be m(k). Suppose 4*l = 2*l + 5*c + 2226, -5*l = 4*c - z. Is l composite?
False
Let n = -3860 + 5933. Suppose -15*r + 17*r + 10 = 0, -4*x = -8*r - 56. Suppose -n = p - x*p. Is p composite?
False
Suppose 0 = 4*u + 5*k - 578989, -9*u + 434238 = -6*u + 5*k. Is u prime?
True
Suppose 2*u - 50004 + 54266 = 235440. Is u composite?
False
Let r be (-3)/((-8)/(240/(-18))). Let x(l) = 54*l**2 - 12*l - 47. Is x(r) prime?
False
Let x(b) = -793*b - 12. Let i(n) = 6*n + 143. Let m be i(-24). Is x(m) composite?
True
Let f(i) = 3701*i**2 - 3*i - 11. Let h be f(-2). Suppose -18458 = -7*b + h. Is b prime?
True
Let k(c) = 35*c**3 + c**2 - c - 1. Let n be k(-1). Let f = n + 38. Suppose f*y - 2*o = 1112, 4*y + 5*o - 780 - 332 = 0. Is y composite?
True
Suppose -239706 = -4*t - 10*s, 0 = -4*t + 37*s - 34*s + 239667. Is t a composite number?
True
Suppose 2*y + 5*n = 31, 4*y + 0*n = 2*n + 2. Suppose 0 = -g + y + 2. Suppose 4*t + 431 = -4*k + 1483, 5*t = g*k + 1275. Is t composite?
True
Let v be (-114)/((-255)/(-84) + -3). Let n = v - -6979. Is n composite?
True
Let x = 13876 + -6835. Suppose 34605 + x = 6*a. Is a prime?
False
Let s(k) = 149*k**3 - 3*k**2 + k + 1. Let b be s(3). Let q = b + -207. Is q composite?
False
Let q(h) = 2*h**2 + 22*h + 13. Suppose 5*m - 31 = -5*j + 139, 3*j + 5*m - 102 = 0. Is q(j) a composite number?
True
Suppose -2*n = 10*j - 466072, 4*n - 80*j = -78*j + 932078. Is n a prime number?
True
Suppose -28*f = 11*f - 27*f - 10649604. Is f a composite number?
True
Suppose -64*a + 13066711 = 4665239. Is a a composite number?
True
Let a(u) = 3*u**3 - 16*u**2 - 7*u - 7. Let i = -370 + 381. Is a(i) a prime number?
True
Suppose -4*r + 13 - 149 = -2*w, 5*w = 3*r + 375. Suppose 264 + w = 3*l. Suppose d - 2999 + l = 0. Is d prime?
False
Let a(u) = 528*u + 13. Let o be a(-1). Let k = -292 - o. Is k composite?
False
Suppose -26*x + 13*x + 30576 = 0. Suppose 132 = z - 4*r - 451, 4*z = -4*r + x. Is z prime?
True
Let j(y) = 6499*y + 3693. Is j(46) a prime number?
True
Let a be 8/(-48)*3 - (-5)/2. Suppose -a*c + 1856 = 2*k, -4*k = k + 2*c - 4643. Is k prime?
True
Let n = 685 - 675. Is 6917*(-14)/(-12) + n/(-12) prime?
True
Let z(k) = 7*k - 44. Let t be z(8). Is (-15358)/(-4) + t*6/48 a prime number?
False
Let u = -38711 + 100210. Is u a composite number?
True
Let h = 258 + -276. Is (19593/(-6))/(h/12) a prime number?
False
Suppose 9*g - 251414 = 477163. Is g a prime number?
True
Let j(z) = 1525*z**2 + 14*z - 43. Is j(6) prime?
True
Let n = 108435 - -182402. Is n prime?
True
Is ((-86727)/6)/(1 - 2) + (-96)/64 a composite number?
True
Let p = 7272 - 3523. Is p composite?
True
Is (-2 - -10715)/(204/4828) a composite number?
True
Is 252/(-2142) + (-26742825)/(-51) prime?
True
Suppose 0 = -2*m - 2*m + 5552. Suppose -70*b + 12088 + 21582 = 0. Let i = m - b. Is i a composite number?
False
Suppose -5*j + 109542 = -2*q + 5181, j - 20867 = 3*q. Is j prime?
True
Let y be (-4)/(-24) - 17/(-6). Suppose 5*g - y*g = -3846. Let p = -710 - g. Is p prime?
True
Let l(u) = u - 15. Let n = 4 + -15. Let m be l(n). Is 13/m - 795/(-2) prime?
True
Let v = 713810 + -118773. Is v a prime number?
True
Suppose 3*b + 4*a = -2, 0 = -b - a - a - 2. Let s be (-4)/18 + (b - (-172)/(-36)). Let u(i) = -80*i**3 - 5*i**2 - 4*i + 2. Is u(s) a composite number?
False
Suppose 7*m = 8*m + 19687. Let y = 30426 + m. Is y a composite number?
False
Suppose 460989 = 4*x + c, -2*c = -578*x + 574*x + 460986. Is x a prime number?
False
Let o(j) = 443*j**2 + 135*j - 549. Is o(4) a prime number?
True
Is (5 + (-28)/8)*(-66986404)/(-174) composite?
True
Suppose -7021 = 31*t - 32*t + j, 2*t - 14040 = j. Is t a composite number?
False
Suppose -6*v + 3*v - 5*l = -2488, -3*v + 5*l + 2528 = 0. Suppose -v = -w - 3*k, -5150 = -5*w + 2*k - 953. Is w a prime number?
True
Let o(c) = 7622*c**2 + 37*c - 227. Is o(10) a composite number?
True
Let y(g) = -45*g + 115. Let s = 72 - 88. Is y(s) prime?
False
Suppose -42*r = -33*r + 36. Is (r/(-6))/(26/35763) a prime number?
False
Suppose -z - 5*o + 7*o + 2 = 0, 0 = -2*z - 4*o + 12. Suppose -429 = -2*w - i, 2*w - z*i + 438 = 4*w. Is w prime?
False
Let m be (-3 - (-194)/6)/(1/3). Let w = 84 - m. Is 1/1 - (-3072)/(w - -8) a composite number?
False
Suppose -2*z = -2, 4*f = f - z + 22. Suppose f*n - 18 = n. Is (n - 0)/(99/5214) prime?
False
Let c = 91 - 62. Suppose -195068 = -c*f + 107315. Is f a composite number?
False
Let v be 5/4*(2 + 2). Suppose -v*u + 5*j + 250747 + 29658 = 0, -56081 = -u - j. Is u a prime number?
True
Let v = 424 - 420. Suppose -5*j + 4358 = 2*p, -v*p + 3956 = 4*j - 4760. Is p a prime number?
True
Let m be (-2)/(90/(-21) + 4). Suppose m*o - 82 = 5*o. Suppose -d + 146 = -o. Is d composite?
True
Let n = 9577 + 13909. Is n a composite number?
True
Suppose -2*i + 28*z - 27*z - 5657 = 0, -4*i - 4*z = 11284. Let r(v) = -v**3 - 8*v**2 + 9*v - 5. Let w be r(-9). Is i*w/14 - (-2)/(-7) prime?
True
Let o(g) = 3647*g**2 - 23*g + 59. Is o(8) a prime number?
False
Suppose 0 = 6*t + t - 119. Let r be 1/3 + t/3. Is ((-2)/(-2))/(r/9366) prime?
False
Suppose 42*j + 31*j - 836622 = 19*j. Is j composite?
False
Let q(j) = -178*j + 28. Let a be q(-18). Let p = -979 + a. Is p composite?
True
Is 15/(180/626808) - -9 prime?
False
Let o(n) = 4954*n + 33. Let h be o(-8). Let a = h + 59662. Is a prime?
True
Let o(j) = 7*j**3 - 4*j**2 + 32*j + 31. Let b(g) = g**3 + g**2 - g - 1. Let a(h) = -4*b(h) + o(h). Is a(24) composite?
True
Is 24 - 138799440/(-168) - 1/7 a composite number?
False
Let j be 4/(-2)*5/(-10) + 1745. Let x be j/(-3)*-2 - (-16)/8. Let w = -487 + x. Is w a prime number?
False
Let y(x) = -668*x - 100. Let c(a) = 333*a + 50. Let f(g) = -13*c(g) - 6*y(g). Is f(-8) composite?
True
Let r = 936 - -34. Suppose -57 + 228 = z - 4*d, -r = -5*z - 3*d. Is z a composite number?
False
Let q be (-18)/4 + ((-4)/8 - 1). Let w = -3 - q. Suppose 4*t - 16 = 2*u, -w*t + 3 = -5*u - 9. Is t a prime number?
False
Suppose -4*u + 2878 = 2*p, 2*u + 3*p - 1575 + 126 = 0. Let w = -464 + u. Is w prime?
False
Let v(x) = -x. Let u(c) = 398*c - 115. Let m(k) = u(k) + 3*v(k). Is m(18) prime?
False
Let v(z) = 82*z**3 + 3*z**2 - 20*z + 5. Let s(c) = 83*c**3 + 4*c**2 - 19*c + 5. Let u(y) = 4*s(y) - 3*v(y). Is u(4) a composite number?
False
Let z be (4*2/(-2))/((-6)/(-12)). Let y be (12 + -1)/((z/4)/(-214)). Suppose 3*n - 5*a = -0*a + y, 2*n + a = 789. Is n composite?
True
Suppose 46*z = 58*z + 72. Let h(x) = -3*x**3 + 4*x**2 - 3*x - 13. Is h(z) a prime number?
True
Suppose -16*c = 19*c + 36*c - 9785717. Is c composite?
False
Is (6 - (-5 - -12))*-2459 a prime number?
True
Let z(w) be the third derivative of 241*w**6/60 + w**5/60 - w**4/24 - w**3/6 + 2*w**2. Let i(h) = 31*h - 154. Let s be i(5). Is z(s) prime?
False
Let d = 508 + -485. Let f = 11 - 8. Suppose -a - d = -f*t