 composite?
False
Suppose -115160 + 1892720 = 20*t. Suppose 581*q = 575*q + t. Is q prime?
True
Is 279/372 - (-2713827)/12 composite?
True
Suppose 32*h - 8*h = 384. Suppose -9*b + h*b - 6706 = 0. Is b a prime number?
False
Let r(m) = 3*m - 21. Let f be r(8). Let v be 1/(4/19) + f/12. Suppose -4*h = -k + 594, -h + 2250 = v*k - 825. Is k a prime number?
False
Suppose 237*y - 26409291 = 17249026 - 72358. Is y a composite number?
False
Suppose 4*r + 2 = 2*m + 8, -r + 6 = -2*m. Suppose 5*x + 0*y - 5*y = 2815, 3*x - y - 1689 = r. Is x composite?
False
Is (-3)/(-1) + 36/(-54) + 407062/6 a composite number?
True
Suppose 0 = n - w - 213788, 5*w - 205316 - 436072 = -3*n. Is n a prime number?
True
Let p = 461781 - 217490. Is p composite?
False
Let z(b) = 7*b**3 - 6*b**2 + 5*b + 10. Let i be z(4). Suppose -10*s + 5*s = -225. Let q = i - s. Is q a composite number?
False
Suppose -23*x + 3486528 = -x - 2046670. Is x a prime number?
False
Suppose 141 = 67*t - 20*t. Suppose -4*v = -4*y - 8*v + 23696, t*y + 2*v = 17767. Is y a prime number?
False
Let o(q) = -3*q**2 - 2*q - 5. Let p(j) = -2*j**2 - j - 4. Let h(c) = -6*o(c) + 7*p(c). Let d be h(-2). Suppose -d*z = -9*z + 2935. Is z prime?
False
Let l(n) = 5*n + 25. Let f be l(-4). Suppose 2*h - 1521 = 4*d + f*h, 2*d - 2*h + 764 = 0. Is (d/(-6)*-17)/(2/(-4)) prime?
False
Let h(o) be the second derivative of 2*o**3 + 3*o**2/2 - 27*o. Let n be h(2). Is 6/n - (-18485)/45 a composite number?
True
Suppose -322*u + 321*u = -5050. Suppose 3*g - 8*g + u = 5*w, -4031 = -4*g - w. Is g prime?
False
Let f = 135 - 141. Is 1570/(-8 - f - (1 + -5)) composite?
True
Let d(l) = l**2 + 9*l + 26. Let k be d(-4). Suppose -3*b = -24 + k. Suppose -2*u - 3*p = -b*p - 2501, 4*p = 2*u - 2498. Is u a composite number?
True
Let z(k) = 4792*k + 15. Let g be z(1). Let b be (-28240)/9 + (-6)/27. Let t = g + b. Is t composite?
False
Let r be 36/360 + (-1551)/10. Let u = 274 + r. Is u prime?
False
Let u(n) = -333*n**3 - 36*n**2 + 5*n - 2. Is u(-4) prime?
False
Suppose -2*t - c - 35 = 0, -c = -4*t - 69 + 2. Let r(d) = 12*d**2 - 19*d + 6. Is r(t) a composite number?
False
Let l be (-3 + 4)/((-1)/(-63)). Let w be 108/l + (-4)/(-14). Suppose 5*f = 4*i + 7345, -i + w*i = 3*f - 4400. Is f a composite number?
True
Let l(f) = 1132*f**3 - 2*f**2 + 3*f. Let q be l(1). Suppose 6*a - q = -23. Suppose -2*k - 3 = -a. Is k composite?
True
Let q = 24 - 12. Let x be (-28)/(-21) + (-16)/q. Is -3*6/9 + x - -559 a prime number?
True
Let z(p) = -709*p**2 - 10*p + 9. Let i be z(-8). Let q = 65128 + i. Is q composite?
False
Suppose -3*d - 3*i = -9311556, -9*d + 52*i + 27934551 = 48*i. Is d prime?
False
Suppose 0 = -3*t - 3*k + 4509, -3*t = -3*k + 2433 - 6954. Suppose f + z = 9968, 0 = 4*f - z + t - 41372. Is f composite?
False
Let d be 2481/4 - (-3 - (-9)/4). Let s = d + 3314. Is s prime?
False
Let d(x) = 2*x**2 - 13*x + 26. Let r be d(9). Let b = r - 55. Suppose 0 = -3*g + b*g - 2639. Is g prime?
False
Suppose -1 = -5*a + 14. Suppose 0*n + 6823 = a*w - 5*n, -2*n = -8. Is w a composite number?
False
Suppose -t + 24 = -2*v, -5*t + 6 + 94 = -5*v. Suppose -s + t = -2191. Is s a prime number?
True
Suppose 5*q + 223399 = 3*b, 265*q = 3*b + 268*q - 223431. Is b a composite number?
True
Let h(q) = -q**2 - 5*q - 3. Let a be h(-3). Let u(p) = -8*p + 32. Let o be u(4). Suppose -685 = -k - 3*s - o*s, -a*k + 4*s + 2003 = 0. Is k prime?
True
Is (-18)/(-4) + (15582240/64 - 20) a composite number?
True
Suppose 426 = y + 21. Suppose -4*t - 4*z = -144, t - 42 = -z - 2*z. Suppose c = -4*p + 599, -t - y = -3*p + 3*c. Is p a composite number?
False
Let c(h) = 32622*h - 451. Is c(2) a composite number?
False
Let z(a) = -23*a - 27. Let f be z(-8). Let m = f - -456. Is m a prime number?
True
Let i(g) = -22*g - 211. Let u be i(-9). Let j = 3 - 1. Is (u/(-2))/(j + 534/(-268)) prime?
False
Suppose 63 = 4*y - 3*b, 2*y - 4*b - 34 = -0*y. Let g be (-13326)/(-12) - 24/(-16). Suppose y*h + g = 23*h. Is h composite?
False
Suppose 3*k - 2*g - 6 = 0, -g - 6 = -3. Suppose -10*i + 12*i - 4 = k. Is i + -2 + (59 - 10) a composite number?
True
Suppose -423*s - 218*s = -168030276 - 56837011. Is s prime?
False
Let m = 119696 + 217161. Is m a prime number?
True
Let j = 384 + -382. Suppose j*z + 4*v = v + 949, -2*z - 4*v = -946. Is z a composite number?
False
Let n(u) = 20 - 2*u**2 + 8*u - 30 - u**2. Let o be n(-10). Let f = o - -1141. Is f composite?
False
Let j be 2 - 5/1 - 272. Let b = j - -410. Let t = 52 + b. Is t composite?
True
Let x = 723947 + -511120. Is x a prime number?
True
Suppose -3*d + 7*g = 3*g - 3635, -5*d + 4*g = -6069. Suppose -3*s + 3*f - 149 = -1952, 2*s - 5*f = d. Let l = s + -385. Is l a composite number?
False
Let f(a) = 4*a**2 + 2*a. Suppose 2*t = -0*t - 2. Let o be f(t). Suppose -8*z = o*z - 3910. Is z prime?
False
Let l(o) = -57864*o - 257. Is l(-5) prime?
True
Let r(x) = 6*x**3 - 15*x**2 + 6*x + 206. Is r(9) a composite number?
True
Let y(j) = 11 + 1315*j + 1 + 2051*j. Let c be y(2). Suppose 14*d - 6*d = c. Is d a composite number?
True
Let b = -110 + 47. Let s be -1 + 1 + 9/(b/(-91)). Let v(a) = 26*a - 7. Is v(s) composite?
False
Let d = 131 - 127. Suppose 5*r + 5*l - 1894 = 4976, 0 = d*r + l - 5487. Is r a composite number?
True
Let l be 1 - 20/28 - (-19)/7. Suppose 18226 = l*u - 2*f - 311, -2*u + 12368 = 2*f. Is u composite?
True
Suppose 5*p = 6*g + 10033, -5*p + 9329 = 2*g - 680. Is p a prime number?
True
Suppose 4*i = -4*h - 12, h + 10*i + 12 = 6*i. Let a(m) = 10*m + 3273. Is a(h) a prime number?
False
Let k(n) = -n**3 - 8*n**2 - 5*n - 25. Let x be k(-6). Let p = x + 65. Is 1/((-3318)/(-1658) + p) composite?
False
Suppose -21953 = -4*d + a, -10*d - 5492 = -11*d + 4*a. Suppose 0 = -2*u - 0*u + 5*l + d, -4*u = -l - 10940. Is u a composite number?
True
Suppose j + 4*g = 1082179, -8*g = j - 9*g - 1082149. Is j composite?
True
Let r be ((-90)/(-105))/((-6)/(-56)). Let q be (-1)/(-1) - ((-25)/5 + r). Is (8/q)/4*-493 composite?
True
Suppose 90572 = 11*k - 388731. Is k a prime number?
True
Let y = -35 + 21. Let s(q) = 3*q**2 + 15*q + 23. Let h be s(y). Let n = -214 + h. Is n a composite number?
True
Let r be 2810/14 - (9/(-7) - -1). Let t(l) = -193*l - 2*l**2 + l**2 + 194*l + r. Is t(0) a composite number?
True
Let z(s) = 2*s + 13. Let l be z(0). Let i(j) = 4*j**3 - 27*j**2 + 9*j - 15. Is i(l) a composite number?
False
Let c(y) be the third derivative of -y**6/60 - 3*y**5/20 + 5*y**4/24 + 11*y**3/6 - 40*y**2. Is c(-8) a composite number?
False
Let u(y) be the second derivative of -y**5/10 + 17*y**4/6 - 17*y**3/6 + 10*y**2 + 6*y - 1. Is u(13) composite?
False
Let c = -32 + 35. Suppose -c*q - 3 = 0, 2*r - 16559 = -4*q + 4555. Is r composite?
False
Suppose -4*z + 5*j - 391568 + 1713481 = 0, 0 = -z + 3*j + 330466. Is z composite?
True
Let k be (0/(-1))/(41 + -40). Suppose 4*n - 2*z + 5*z - 8803 = k, 0 = -n - 3*z + 2194. Is n prime?
True
Let i(t) = 14*t**2 - 4*t - 7. Let n be i(23). Suppose -4*u - 1583 = -4*f + 5729, -n = -4*f + 3*u. Is f composite?
False
Let r be (3 - 3)/1*(3 - 2). Suppose -q + 2292 = -s - r*s, 2289 = q - 4*s. Is q composite?
False
Let q = -89 + 149. Is (-2)/12*(-342 - q) prime?
True
Let i(b) = 4875*b**2 - 31. Is i(-4) a prime number?
True
Suppose -2*l + 2178 = -964. Let n be (-11283)/12 + (-4)/(-16). Let k = n + l. Is k prime?
True
Let y = 98 + 565. Let k = y - 285. Let w = k + -85. Is w composite?
False
Suppose -45*j = -41*j - 740. Is j/1 - (-1 + -5) a composite number?
False
Let u(x) = 4*x**2 + 8*x - 23. Suppose 468 = 10*b + 26*b. Is u(b) a prime number?
True
Let d(q) = 17*q - 80. Let a be d(5). Suppose -4*g - 114261 = -a*s, -2*s - 2558 = -2*g - 48262. Is s a prime number?
True
Let j = 685 - -16186. Is j a prime number?
True
Let a = 81579 + -33292. Is a composite?
True
Let c(a) = 2*a**3 + 16*a**2 - 15*a + 53. Let t be c(-9). Suppose 6 = -4*n + t, 2*k + 2*n - 20280 = 0. Is k prime?
False
Let z(i) = 4*i**2 + 15*i - 1. Suppose 98 = 3*q - 0*q + 4*a, -4*q - 3*a = -126. Is z(q) a prime number?
True
Let w = 22199 - -182450. Is w a prime number?
False
Let r be 12/(-9)*6*(-1)/(-2). Let u be -37*r/12 + 2/3. Is (u/(-52))/(2/(-20168)) prime?
True
Let a = -26795 + 29692. Is a a prime number?
True
Let r(g) = 5379*g + 964. Is r(11) a composite number?
False
Let i be 4*3/(-9)*-693