 p(5) composite?
True
Let m(t) = 2559*t - 391. Is m(11) composite?
True
Let b(k) = -14*k**3 + k**2 - 2*k + 4. Let t be b(2). Suppose 4*p + p = -995. Let h = t - p. Is h composite?
True
Is 2506830795/7497 + 8/7 prime?
True
Suppose 0 = 3*t - 21 - 0. Let u be (0 + 1)*-1 + 35/t. Suppose -u*s = -a - 1432, -a = -3*s + s + 714. Is s composite?
False
Let m = -289 - -321. Is 101/(-4)*(33 - m)*-1228 composite?
True
Suppose -8 = -f - 2*d, -f + 3*d - 4*d + 12 = 0. Let l be ((-104)/f)/((-1)/110). Let x = l + 228. Is x prime?
False
Suppose 3*h - x - 341903 = 0, -6*x + 3 = -3*x. Suppose -h = -33*t - 3319. Is t a composite number?
True
Suppose -4*u + 140064 = 4*i, -4*u = -7*u - 5*i + 105058. Is u prime?
False
Let t(v) = -245*v**2 - 3*v + 3. Let w be t(-3). Let a = 2148 - w. Is a a composite number?
True
Let v be (20/(-80))/(2/(-104)). Suppose -12*c + v*c = -2*s + 2234, 5*c = 4*s - 4440. Is s prime?
False
Suppose -331*p - 50 = -341*p. Suppose p*v = j + 2*v - 4366, 0 = -v - 3. Is j composite?
False
Let z = -169 - -52. Let d = 132 + z. Suppose c - 43 = a + 1853, d = 3*a. Is c a composite number?
False
Let q(w) = 2265 - 1550*w**2 + 1558*w**2 - 532 + 2*w. Is q(0) a composite number?
False
Suppose -15 = -5*q, 5*r + 4*q = 4*r + 419885. Is r composite?
False
Let k(x) = -136*x - 247. Let b be k(-7). Let o = b - -952. Is o a prime number?
True
Suppose -2*j = 10*j - 60. Suppose 0 = 2*w - j*o - 7, 3*o + 1 + 8 = 0. Is ((-8)/w)/(4/2174) a prime number?
True
Is 1 + 14241 + (-3 - 0) + (9 - 9) composite?
True
Let f(z) = 10880*z**3 - 5*z**2 - 2*z + 1. Let c be f(-2). Let k = -57717 - c. Is k composite?
True
Let b = -80 + 134. Let x(r) = -5 + 88*r + 19*r + b*r. Is x(2) a composite number?
False
Let w = 80653 + -26251. Is w/24 + 5/20 a composite number?
False
Let g(r) = r + 12. Let n be g(-9). Suppose -n*l + 12924 = 3*l. Is l*2/6*6/4 a prime number?
False
Let x be (1 + 2)*2/6. Suppose 2*z - 12 = -16. Is (1935/(-6) + 2)/(x/z) prime?
True
Let n(c) = -94*c + 1719. Is n(-22) a prime number?
False
Let d(t) = 6504*t - 871. Is d(25) prime?
True
Let w = 133185 - -26230. Is w a prime number?
False
Let z(f) = f**3 + 19*f**2 + 3*f + 10. Let n be z(-18). Let l be (n/25)/(-2) + (-2)/5. Is -3*190/l - (-1 + 2) composite?
True
Let v be 386*24 + (-15)/3. Let k(p) = -1690*p**3 - p**2 + 2*p. Let a be k(-2). Let c = a - v. Is c a prime number?
True
Let c be 23 + 4 + -6 + -1. Is (-15847)/(-13) + c/5 a prime number?
True
Suppose 294*y - 6806468 = 59*y + 5159967. Is y a prime number?
False
Let n(p) = -p**2 - 10*p - 25. Let t be n(-5). Suppose t = a - 6027 - 472. Is a a prime number?
False
Let v(j) = -7*j**2 - 44*j - 10. Let r be v(-6). Suppose -3*w - 2*l + 12273 = 0, -2*l - 3836 - 4346 = -r*w. Is w a prime number?
True
Let j(d) = -16*d**2 - d + 1. Let r be j(-1). Let b be 2/r + (-54296)/(-77). Let y = b + -323. Is y a composite number?
True
Is 692004/48 + -69 + 1/(-4)*3 prime?
True
Suppose 3*l + 3*w = 27606, 7*w = -2*l + 4*w + 18407. Let t = -4120 + l. Is t a prime number?
False
Suppose 0*c + 4 = 2*c. Suppose 7 - c = 5*s, 4*n = -2*s + 82. Is (n/(-12) + 1)/(4/(-1986)) a composite number?
False
Suppose 4*w + 4*d = 120, 10*d - 5*d = 2*w - 88. Suppose -23723 = -w*s + 27*s. Is s prime?
True
Let b be 87/(-4) + 8/(-32). Let i = -22 - b. Suppose i = -7*p + 4*p - 2*u + 551, u - 369 = -2*p. Is p prime?
False
Suppose 0 = -1046*q + 1065*q + 8398. Suppose 2*h + 1987 = 3*v, 0*v = 2*v + 3*h - 1342. Let i = q + v. Is i a composite number?
False
Suppose 0 = -2*h + 4*y - 5 - 11, 19 = -5*h + 3*y. Suppose -2296 = 2*d + 2*d. Is (d/(-4))/(h/(-4)) composite?
True
Let p(o) = 5*o + 36. Let t be p(-7). Suppose -5*g = 10, 15*h + 2*g - t = 10*h. Let y(w) = 2048*w**3 - 1. Is y(h) prime?
False
Let f be (-3)/6 + 1/2 - 0. Suppose 4*p + 2*w = 12, f = 5*p - 5*w - 14 - 16. Suppose -s + 311 = -p*i, -5*i - 9 = 11. Is s a composite number?
True
Let x(o) = 4*o**2 + 124*o + 1469. Is x(-76) prime?
True
Let m(o) = 18814*o**2 - 107*o + 874. Is m(7) a composite number?
True
Suppose 0 = d + 1, 319*y - 318*y = 3*d + 138044. Is y composite?
False
Let u(x) = -x**3 + 6*x**2 - 49*x - 43. Let o be u(-19). Suppose 6*v - o = 221. Is v a prime number?
False
Suppose -7 + 13 = -3*x, -3*g - 4*x = 134. Is g/(-9)*1041 - 5 prime?
False
Suppose 18 = 2*w - 2*h, w + h + 53 = 6*w. Let r(y) = 1263*y - 3. Let v be r(w). Suppose -k - v = -5*d, 2*d - k - 5549 = -2*k. Is d a prime number?
True
Suppose -3*z = 5*n - 30584 - 14550, 18041 = 2*n - 3*z. Is (14 - 689/52) + n/4 composite?
True
Suppose -32970 = 53*t - 56*t. Suppose 0 = -53*y + 58*y - t. Suppose -3*r = -3*b + 439 + y, 0 = -4*b - 2*r + 3504. Is b a composite number?
False
Suppose 3*w = 5*c + 22626, -2*c + 7542 = w + 3*c. Suppose 3*r - w - 8517 = 0. Is r a composite number?
True
Suppose -3*y - 954 = -3*o, -4*y - 2*o + 412 = 1666. Let s = -221 - y. Let z = s - -115. Is z prime?
False
Let y = 826175 + 158594. Is y a prime number?
False
Let f = -142383 + 322796. Is f prime?
True
Suppose 2827*z + 2611691 = 2870*z. Is z a composite number?
False
Let u(f) = -f. Let g(j) = -1392*j - 9. Let p(n) = g(n) + u(n). Let d be p(5). Is (-1)/3 - d/33 composite?
False
Suppose 1023049 = 16*m - 2994183. Is m a composite number?
True
Let m be 0 - (-1 + 1)/(-11 - -8). Suppose 16*b - 20*b + 9012 = m. Is b a prime number?
False
Suppose -255898 + 842259 = p + 3*k, -4*p - 4*k + 2345412 = 0. Is p composite?
False
Let x be 2/9 + (-3861560)/171. Let m = -9024 - x. Is m a prime number?
False
Let b = 127 - 123. Suppose b*p + 3*n + 76 = 0, 4*p + 0*p - 2*n = -56. Let r(i) = -i**3 - 10*i**2 - 13*i - 23. Is r(p) composite?
False
Let c be (-1)/9*-3 - (-1)/(-3). Suppose 0 = -5*j - 60 + 75, -w + 3*j + 3344 = c. Is w a prime number?
False
Suppose 300*a = -249*a + 162663759. Is a a prime number?
False
Let p(j) = -4*j**2 - 1. Let k be p(0). Is k + 4 + -4 + 3666 composite?
True
Let l = -60160 - -102827. Is l a prime number?
True
Is 14/(-4) + ((-15)/25)/(156/(-134400890)) a prime number?
False
Let q(r) = r**2 + r + 1594. Let p(f) = 1. Let t(l) = -l - 1. Let i(o) = -6*p(o) - 3*t(o). Let m be i(1). Is q(m) a prime number?
False
Let v = -346780 - -493873. Is v a composite number?
True
Is -5 - ((-11)/(-44) + (-87805)/20) prime?
False
Suppose 0 = -13*z + 11*z + 6778. Suppose 11*t - 12*t = -z. Is t a composite number?
False
Is (-1)/3*-3*124244/4 composite?
True
Suppose -4*k - 5*y + 142704 = 0, 5*k - 170029 = y + 8322. Is k a prime number?
True
Let o(f) = 61*f**2 - 4*f - 286. Is o(-17) a prime number?
False
Let z be -2 + (-51)/(-21) + 1105577/7. Suppose 2*r - z = -18*r. Is r a prime number?
False
Let g(x) be the second derivative of 23*x - 7/2*x**2 + 7/6*x**4 - 13/6*x**3 + 0. Is g(6) a composite number?
False
Suppose -2 = -p, -c = p - 35 - 0. Is (11/c)/(3/5139) prime?
True
Suppose 37212190 + 10004246 + 25062560 = 316*j. Is j a prime number?
True
Suppose 3*p + 26 = -2*t, -t = -5*p + 45 - 19. Let r(q) = -2*q**3 - 31*q**2 + 3*q + 31. Is r(t) a prime number?
True
Let h = 10303 + 32490. Is h prime?
True
Let n = 268815 + -84506. Is n composite?
False
Let n = -413 - -427. Is (-15 + n)*(-1)/(-2)*-34334 prime?
True
Suppose -6*i + 11*i + 10 = -5*t, 25 = -5*i - 2*t. Let r(m) = -183*m + 48. Is r(i) a composite number?
True
Let l = 130977 + -88486. Is l a prime number?
True
Let g = -829750 + 3133673. Is g composite?
False
Suppose -3*v - 5*j = 59 + 3, -3*j = -6. Let g be 30/(-12)*v/10. Suppose 191 = 7*y - g*y. Is y a composite number?
False
Suppose 612*o - 606*o = 415890. Suppose -24*l + o = -9*l. Is l prime?
True
Let o(v) = -1031*v - 18. Let c be o(-7). Suppose -c - 15938 = -17*i. Is i prime?
True
Suppose 7*r + 51 = -19. Is (-1 + r)*(-3 + 43*-8) a prime number?
False
Suppose 4*g - 2260 = -3*p, 2*p = p - 4*g + 740. Suppose p = y - 561. Suppose 5*v - y = 1174. Is v composite?
False
Let y(g) = g**2 - 18*g - 5. Suppose -5*z = 5*c + 37 + 28, -7 = 4*z - 5*c. Let r be y(z). Let m = r - 76. Is m a prime number?
True
Let r = 19061 + -9774. Is r a composite number?
True
Let t be ((-220)/(-15) - 5)*-342. Let o = t - -11150. Let f = -2431 + o. Is f prime?
True
Suppose -9*k = 5*q - 421958, -84414 = -128*q + 127*q - 5*k. Is q a composite number?
True
Let v = 682 - 366. Let j = 1355 - v. Suppose 0 = 2*u - j - 1195. Is u a prime number?
True
Let v(j) = 19*j**2 + 7*j - 11. Let l = -115 +