7*x + a. Is x a prime number?
False
Suppose 0 = 24*g - 69*g + 58063815. Is g prime?
False
Suppose 142*m - 30 = 137*m. Let u(f) = 22*f**3 - f**2 + 16*f - 9. Is u(m) a prime number?
False
Suppose 2*q + 1656 = 4*m, -4*m - 5*q + 1684 = -0*m. Let j = 909 - m. Is j a prime number?
False
Let j(p) = 149*p - 22. Let m be j(-15). Let g = m - -3534. Is g a prime number?
True
Let s(t) = 14*t**2 - 4*t + 99. Let n be s(-14). Let h be (-33216)/21 + 2/(-7). Let m = h + n. Is m a prime number?
False
Is ((-18)/(-90))/(-2*3/(-2914530)) a prime number?
True
Suppose -m = 6*m - 938. Suppose 0 = -m*p + 144*p - 131570. Is p a composite number?
True
Let i(f) = 272*f + 94. Let t(j) = -408*j - 141. Let q(k) = -8*i(k) - 5*t(k). Is q(-13) prime?
True
Let u(r) = r**2 + 4*r + 702. Let g be u(0). Suppose -516 = -6*b + g. Is b a composite number?
True
Suppose 71*j - 2897356 = -316293. Is j a prime number?
True
Suppose -12*c = -5*c + 70. Is c + 8348 - (2 + 4 - 1) a prime number?
False
Let z(s) = 21254*s + 1827. Is z(11) composite?
False
Let i be (-1)/(5/2) - (-9)/(-15). Is (-2 - i)*(-1106 + -3) a composite number?
False
Let s(f) = 98*f**3 + 7*f**2 - 57*f + 373. Is s(9) a composite number?
True
Let j be ((-624)/(-120))/(0 - 2/30). Is 1185/(-20)*j + (-1)/2 a prime number?
True
Suppose 4*p + 2*a - 4176 = 1774, -2*a - 1480 = -p. Suppose -3*w + p = s, 3*w - 4331 = -3*s + 109. Is s a composite number?
True
Suppose -9*r + 7*r - 3*a + 13 = 0, 3*a = -r + 14. Let m be r*2 - 342/(-3). Suppose -3*x - 3*t = -945, 3*x - 1073 = t - m. Is x prime?
False
Let p = 1 - -3. Suppose p*g + 1852 = 2*o, -3*o - 5*g = o - 3652. Let j = -433 + o. Is j a composite number?
True
Let i be (-4 - -2)*(11 - 6147/18). Let h = i + 6106. Is h composite?
True
Is ((-12763398)/(-210) + (-4)/14)/(8/40) a prime number?
True
Let b(l) = 82*l. Suppose 0*p - 9 = -3*p. Suppose -4 = -5*i + z + 1, -3*i - z + p = 0. Is b(i) a prime number?
False
Let q(r) = 10340*r + 1418. Is q(64) a composite number?
True
Let w = 1339365 + -694528. Is w composite?
False
Let z be (-114468)/(-54) - 4/(-18). Suppose z - 24215 = -15*h. Is h a composite number?
True
Suppose 220199 = -18*k + 7322477. Is k composite?
False
Suppose -3711 = -13*d - 253. Is 220188/14 + (-190)/d prime?
True
Suppose -36*n - 5441092 = -39*n - 5*f, 5*n - 3*f - 9068498 = 0. Is n a composite number?
False
Let p(r) = -r**3 + 28*r**2 - 3*r + 14. Let z be (-1)/(8/(-2) - 99/(-25)). Is p(z) composite?
True
Is (-2)/(-2 - 515736/(-257874)) a prime number?
True
Suppose 2*k = 4*q + 6*k - 7320, 0 = -5*q - 4*k + 9155. Suppose -5*j + 6530 - q = 0. Is j composite?
True
Let r(i) = 5930*i**3 - 2*i**2 - 5*i + 22. Is r(3) a composite number?
True
Let u(f) = -173*f**2 + 49*f + 186. Let b be u(-5). Suppose -5*g - 2*k + 31129 = 0, -k = 5*g - 15330 - 15797. Let r = g + b. Is r a composite number?
True
Suppose -5653335 = -2555*m + 2552*m. Is m prime?
False
Suppose 8*y + 2134 = 24822. Suppose c - 1327 - y = 0. Is c prime?
False
Suppose -42*s - 1401105 = -57*s. Is s composite?
False
Suppose -2*x = -5*p - 0*x - 257, 0 = -5*p - 2*x - 273. Let o be (-3)/(-2) - p/(-2). Let v = o + 62. Is v prime?
True
Let a = 69328 + 2979. Is a prime?
True
Let p be (-2)/3 - (0 - (-422)/(-3)). Suppose 5*r + 40 - p = 0. Suppose 3*m - 503 = -a + r, 5*a - 2695 = 5*m. Is a prime?
False
Let t = -45326 - -79358. Suppose -48791 - t = -13*l. Is l a composite number?
True
Suppose 731108 = 30*j - 1318762. Is j a prime number?
True
Suppose 5*k - 13167 = -196*d + 197*d, -d = 3*k - 7897. Is k composite?
False
Suppose -628 = -1967*v + 1965*v. Let p = v + 23. Is p a composite number?
False
Let l be 140/56 + 1*(-1)/(-2). Suppose -6*p = -l*p + f - 2068, 3*f = -4*p + 2759. Is p prime?
False
Let a(c) = 47*c**3 - 9*c**2 + 4*c - 7. Let j(b) = -46*b**3 + 8*b**2 - 5*b + 7. Let v(y) = -2*a(y) - 3*j(y). Is v(4) a prime number?
True
Suppose 25*m - 34*m - 41985 = 0. Let r = -1618 - m. Is r composite?
True
Is -18 + (-2369885)/(-6 - 11) composite?
False
Let p(v) = -3*v - 4. Let d be p(-2). Let m(o) = o**3 + 2*o**2 - 9*o - 6. Let r be m(6). Suppose 0 = -d*j + 2*l + r, 4*l + l - 25 = 0. Is j prime?
False
Suppose 1032 = 5*m - 5*b + 56167, 2*m + 22057 = 3*b. Let g = 16293 + m. Is g a prime number?
False
Let u(w) = 6785*w + 13. Let y(f) = -f**3 + 8*f**2 + f - 10. Let c be y(8). Let n be u(c). Is 5/(-35)*-2 - n/7 a prime number?
False
Let t = 8 - -18. Let b = t - 28. Is (-2833*(-1 - -2))/(1 + b) a prime number?
True
Suppose 4*v + 146 + 528 = -2*n, -n - 5*v - 337 = 0. Is (-7 - -13)*n/(-6) composite?
False
Suppose -6*k + 94593 = -12*k + 9*k. Is k composite?
False
Let v = -46677 + 66508. Suppose 46*l - 39*l = v. Is l a prime number?
True
Let n(x) = 5421*x**2 + 238*x - 5182. Is n(23) a prime number?
True
Let y(v) = -v**3 + 9 + 7 - 59*v + 23*v**2 - 39*v**2 - 9 + 7*v**2. Is y(-10) a composite number?
True
Is (1505001/707)/((-6)/(-14)) prime?
True
Let w(y) = 2*y**3 + 8*y**2 - 6*y + 51. Let p be w(12). Suppose 0 = 5*t - p - 8458. Is t prime?
True
Suppose -7*d + 3*d - 5*h = -407301, -3*d + 305437 = -4*h. Is d a composite number?
True
Suppose -4181313 = 3*n + 3*d - 12319050, 5*d = 5*n - 13562935. Is n a prime number?
True
Let f = 8823 - 5354. Let t = f + -2051. Is t prime?
False
Suppose 0 = 3*n + 3*r - 1436610, 178*r - 957735 = -2*n + 177*r. Is n prime?
False
Let w = 584161 + -205863. Is w composite?
True
Let x(p) = -6*p**2 + 49*p - 17. Let i be x(8). Let v = 0 + 2. Is ((-24)/i - v) + (-3775)/(-3) a composite number?
False
Let y = 2941 + -2630. Is y a composite number?
False
Suppose 0 = 6*c - 9*c - r + 14, -3*r = -6. Let l(k) = 8879*k**2 + 32*k - 113. Is l(c) prime?
False
Suppose n - 3 = 2. Suppose n*j - 19290 = f + 4*f, 4*j - 15456 = -2*f. Suppose 4*k - 7724 = -y - 3*y, y - j = -2*k. Is k a composite number?
False
Is 162/81*(-275151)/(-6) a prime number?
False
Let n = 52 - 52. Let y be -1*(3 - 2)*n. Let r(u) = -u**2 - 2*u + 2741. Is r(y) a composite number?
False
Let k(u) = -u**3 + 5*u**2 + 3. Let o be k(8). Let a = 3860 - o. Is a composite?
False
Suppose -40086 + 802825 = 17*r. Is r a composite number?
False
Suppose -4*y = -3*y - r - 93755, -3*y - 2*r + 281295 = 0. Is y composite?
False
Let y(x) = -22*x + 2. Let v be y(-1). Is (8/v)/((-1)/(-4197)) prime?
True
Let f(y) = -6*y + 120. Let b be f(18). Suppose 0 = -b*z - z + 51311. Is z a prime number?
True
Let y(l) = 2*l**3 + 19*l**2 - 12*l + 22. Let b be y(-10). Let t = b + -37. Suppose -4*q + c + 0*c = -3029, -4*c = -t*q + 3789. Is q a composite number?
False
Let x(n) = 10*n**3 + 2*n**2 + 1. Suppose 8*f = 2*f + 18. Suppose 4*s - r - 16 = -5*r, 0 = -3*s + f*r. Is x(s) a prime number?
True
Suppose 101191 = 63*i - 16*i. Let x = 6142 - i. Is x a composite number?
False
Let k be (0 + -4)*(-67 + 66). Suppose -5746 = -k*r + 4186. Is r a composite number?
True
Suppose 0 = -4*b - 4*t + 905912, 5*t - 452941 = 26*b - 28*b. Is b composite?
False
Suppose 0 = -8*b + 1947 - 19. Let v = 169 - b. Is (-106)/1*v/48 a composite number?
True
Let o(h) = 30864*h**3 + 3*h**2 - 24*h + 22. Is o(1) a composite number?
True
Suppose -118*h + 122*h - 1154652 = 0. Is h a composite number?
True
Let r be 8/3*336138/44. Suppose 8*o = 4*o + r. Is o a composite number?
True
Let g = -73 + 82. Suppose g*r - 6428 = 6*r + 2*z, 2*r = 4*z + 4288. Let j = -1447 + r. Is j a prime number?
False
Suppose 5*i = 8 + 2. Suppose 3*j + c = 8, -3*j = 4*c - 8*c + i. Suppose g + g + 455 = 5*l, j*g = -2*l + 168. Is l composite?
False
Let d(q) = -q**3 - q**2 - q - 2 + 1 + 6*q**3 + 6*q. Let t be d(2). Is 857/3 - (-60)/t composite?
True
Let t = 1585295 - 1031502. Is t a prime number?
False
Let f = -23 + 45. Let y(n) = 361*n - 49. Let z be y(f). Is (4/(-6))/(-5 + 39459/z) prime?
True
Let f(z) = 4*z - z**2 + 30 - 9*z - 2*z - 6*z**2. Let c be f(7). Let u = c - -769. Is u prime?
False
Suppose -4*a = -5*x + 213119, -8*x + 4*a - 170488 = -12*x. Is x prime?
False
Let z(y) = 8*y**3 - 16*y**2 + 58*y - 19. Is z(12) prime?
True
Let u(t) = t**3 - 6*t**2 + 10*t - 1. Let o be u(3). Suppose -21544 = -4*k + o*s, 2*s - 6 = -s. Is k a prime number?
True
Let s(f) = 3*f**2 - 2*f + 1933. Let p be s(0). Let j = p - 674. Is j composite?
False
Suppose 5*w + 43 = u, -5*w + 26 = 2*u - 0*w. Suppose i - 2642 = -z, 20*z + 3*i = u*z - 7956. Is z prime?
True
Let i(j) = 97*j**3 + j**2 + j + 7. Let k