omposite?
True
Let j(c) = 2404*c + 2265. Is j(23) a prime number?
True
Let y be -1*(3 + 2) - (-2)/2. Let q be 9471/(-22)*y/(-2). Let d = -470 - q. Is d a composite number?
True
Suppose -2*m = -2*j + 13274 + 70470, 3*j + 5*m = 125576. Is j a prime number?
False
Let t be 9*((-3)/5 + 14/15). Suppose 4*u + t*j = 11459 - 3386, -4*u = -j - 8077. Is u prime?
False
Suppose f = 4*f - 9108. Let g be 30/135*-9*(-4937)/2. Let x = g - f. Is x prime?
True
Let s(j) = 7064*j**2 - 17*j - 7. Is s(-2) prime?
True
Suppose 3*s = -13*s - s + 1587919. Is s prime?
True
Suppose 614798 + 264374 = 28*m. Is m a composite number?
True
Let c(z) = 23 - 11 - 3*z + 38 + 10. Let m be c(20). Is (-1 - (m + 0))/((-65)/40495) prime?
False
Suppose -8*a - 12*a = 141208 - 2140428. Is a composite?
False
Let s(q) = -96*q + 11. Suppose 2*c + a = 6*c + 28, -14 = c - 2*a. Let t be s(c). Suppose 5*h - 488 = t. Is h composite?
True
Let m(d) = -d - 88*d**2 + 1 + 167*d**2 - 80*d**2. Let z(g) = 74*g**2 + 7*g - 10. Let p(s) = 2*m(s) + z(s). Is p(3) prime?
False
Let c(v) = 350*v**2 - 38*v + 3. Is c(14) a prime number?
True
Let m = -25788 + 292277. Is m prime?
True
Let r(t) = -t**3 + t**2 + 3*t - 2. Let j be r(2). Suppose l - 2893 = -j*q + 2*q, 0 = 3*q + 9. Is l a composite number?
False
Let w be 4/5 + 5752/10. Suppose -2205 + w = -9*a. Is a composite?
False
Let n(b) = 47*b**3 + 4*b**2 + 14*b - 33. Let x be n(2). Suppose -4*u + 113 = 2*v - x, 0 = -3*u - 4*v + 365. Is u a composite number?
False
Let x(w) be the first derivative of -279*w**4/4 + w**2 + 3*w + 18. Let q be x(-2). Suppose -4*v + q = 2*f + f, 3*f = 3. Is v a composite number?
False
Is (-10 - (-84)/24)/((-5)/34070) prime?
False
Suppose 3*v - 125 = -5*k, -48 = -3*k - 3*v + 33. Is ((-2)/(-22))/(-1) + 29988/k composite?
True
Let h be (192/128)/(183035/(-91518) + 2). Is (14/3)/(-7)*h/(-6) a prime number?
False
Let j(l) = -l**3 + 20*l**2 + 9*l + 11. Let u be j(14). Suppose -13*n - u = -p - 9*n, 4*n = 16. Is p prime?
False
Suppose 346 + 191 = c. Suppose c = 2*o - 2817. Suppose 4*y + l - o = 0, 3*l + 1672 = 4*y - l. Is y a composite number?
False
Let c be 2*89*(-3441)/(-186). Suppose 5*i + 11550 = -0*i. Let b = i + c. Is b a composite number?
False
Suppose 10 = -4*a + 18. Suppose -a*m = 5*m. Suppose 11*z + 3*z - 68054 = m. Is z a composite number?
False
Suppose 3*b + 4*u - 3456 - 4191 = 0, 0 = 3*u. Let m = b + 240. Suppose -5*w = 4*l - m, -l + w + 3*w + 713 = 0. Is l prime?
True
Suppose -2*u + 3*f = -44, -3*f + 34 = 5*u - 34. Suppose d - 16 = 2*l + 9, l - 81 = -5*d. Let q = u + d. Is q composite?
True
Let i(f) = 2*f**2 - 13*f - 5. Let l be i(7). Suppose a - 4*a - 3*n = 3, -3*n = 2*a + 6. Suppose a*q = -3*u + 144, -2*u = -l*q - 23 - 53. Is u prime?
True
Let p(d) = 135*d**2 + 42*d - 101. Is p(46) composite?
False
Let t(p) = -p**2 - 18*p + 57. Let v be t(-21). Is 211/(-4 + -1 - v) a composite number?
False
Let c(z) be the third derivative of -11*z**6/120 + 2*z**5/15 - 5*z**4/8 - 17*z**3/6 - 11*z**2 - 3. Is c(-7) prime?
True
Let t = 14 + -10. Suppose -65*c - 20977 = -94102. Suppose -2226 = -t*h - 2*k, -5*h - 5*k + c + 1655 = 0. Is h composite?
False
Let l(f) = f**2 + 234*f + 957. Is l(-4) a composite number?
False
Let u be 2 + (-3 + 2 - -5). Suppose -90 = -u*f - 36. Suppose -13*h + f*h = 2*y - 598, 3*y - 917 = -h. Is y a composite number?
False
Let t(k) = -14585*k + 1169. Is t(-4) composite?
False
Let j = -3435 + 8652. Suppose -k + j + 4724 = 0. Is k a composite number?
False
Let m(x) = x - 1. Let t(r) = 4*r**2 + 12*r + 5. Let h(i) = 2*m(i) + t(i). Let k be h(-10). Suppose -5*p + k = -1047. Is p composite?
True
Let p(c) = -c**2 - 6*c + 3. Let i be p(-7). Let z be (i - -2)*(3 - 27). Suppose z*v + 743 = 49*v. Is v a composite number?
False
Suppose 15 = 4*t + 3, -3*c = 4*t - 1266. Suppose 0 = -3*j + 251 + c. Suppose 3*y + 157 = 3*p - y, -3*y = 5*p - j. Is p prime?
True
Let a be (-3)/2*(-4)/(-2). Let h be (-24)/9*(-1 + a/6). Suppose 3*z - y = y + 1411, 0 = h*y + 8. Is z composite?
True
Let x(v) = 654*v**2 + 34*v + 23. Let s be x(-16). Suppose 0 = -23*g + s - 7582. Is g prime?
False
Suppose 0 = -82*u - 85*u + 40835341. Is u composite?
True
Let g(x) = -1656*x**3 + x**2 - 4*x + 2. Let r be g(1). Let i = r + 7638. Is i prime?
True
Let m = -581 + -1076. Let g = m - -7944. Is g a prime number?
True
Let u = -18 - -18. Let z(j) = -j**2 - 38*j + 10903. Is z(u) prime?
True
Let q(g) be the second derivative of 2*g**5 + 5*g**4/12 - g**3/3 - 5*g**2/2 - 2*g - 33. Is q(2) prime?
True
Let x = -2229983 + 3269232. Is x a composite number?
False
Let c = 44846 - -15435. Is c composite?
True
Let i = 283 - 262. Suppose 3*b - i*y = -20*y + 8154, -2*b - 2*y = -5444. Is b a composite number?
False
Let r(j) = -j**3 - 6*j**2 + j - 31. Let c be r(13). Is (-8)/(4 + 0) - c composite?
True
Suppose -13451 = -6*g - 3809. Let q = 2626 - g. Is q a prime number?
True
Suppose 0 = 4*v - 2*v - 24. Suppose -4*q + v = -36. Suppose -u = -2*i + 6, u - 2*u = 4*i - q. Is i a composite number?
False
Suppose 5*o - 13 = 3*j, -5*j + 5*o - 19 = -j. Is -4*1 + (-24)/j + 177 composite?
True
Suppose 67*m = 6317819 + 4609680. Is m composite?
True
Let b be (-88)/(-14) + 0 - 8/28. Let d(l) = -8*l + 23. Let j be d(b). Is ((-3453)/15)/(5/j) a prime number?
True
Let u = -16 + 20. Suppose u*n - 21 + 0 = 3*s, 4*s - 16 = -2*n. Suppose -n*o = -o - 3065. Is o a composite number?
False
Let c = -42 + 39. Let w be (-2)/c - (-5 + 28/(-21)). Is -4 + w + (81 - 2) a prime number?
False
Let w be -2 + (13*16)/4. Suppose 38 = 2*c + w. Is ((-1276)/c + -3)*3 a prime number?
False
Let b = -252 + 1076. Let c = b + -517. Is c a prime number?
True
Let t(o) = 406*o**2 + 24*o + 447. Is t(-14) a prime number?
True
Let k(x) = -x**3 + 10*x**2 + 14*x - 11. Let m be k(11). Let n = -17 + m. Suppose 4*s = 4*q - 8208, s = n*s - 4. Is q a composite number?
False
Is ((11/(-1))/(83/(-166)))/((-4)/(-5114)) prime?
False
Let n = -144 + 154. Is (1 + n/8*8414)*2 prime?
False
Let k(z) = -44*z**2 + 7*z + 44. Let r be k(15). Let i = -3014 - r. Is i prime?
True
Let v(h) = 162*h**2 - 4*h - 53. Is v(30) prime?
False
Suppose 2*n - f = 15, 4*f = 4*n + f - 25. Let u(h) = -20*h - 27 - n - 2. Is u(-12) prime?
False
Suppose 2*f - 5*m = -2*f - 12, 3*m = -2*f + 16. Let l be 492 + (-4)/(-2) + f + -2. Let u = l + 425. Is u prime?
True
Let o = -12706 + 45189. Is o composite?
True
Suppose 3*y = 895774 - 69703. Is y a composite number?
False
Suppose 2*s = 15*b - 13*b - 809416, 10*b - 5*s = 4047075. Is b prime?
False
Suppose 23*o = 7*o + 2967856. Is o a composite number?
False
Let l = -308 - -305. Is 7283/((-4 + (3 - l))/2) composite?
False
Let i = 77290 - 49197. Is i composite?
True
Suppose 3*s - 6530 = -5*l, s + 205 = -5*l + 6745. Suppose k - l = -0*k. Suppose -5*j = -4*i + k + 190, 4*j - 20 = 0. Is i composite?
True
Let s(k) = 5119*k + 1767. Is s(25) a composite number?
True
Let y be (1 + 2 + -3)*-1. Let a be 2*(42/(-6) + 3 - -9). Suppose y = -q + a + 325. Is q composite?
True
Let t = 6 + 11. Suppose -t = 3*r - 41. Is (-2508)/(-16) + 2/r a composite number?
False
Let t(i) = -33*i**3 - 7*i**2 - 8*i + 7. Let r be (15/(-10))/(3/(-148)). Let k = 69 - r. Is t(k) prime?
False
Let n(d) = -36*d - 40*d + 0*d - 27. Let t = 906 - 914. Is n(t) a composite number?
True
Suppose 32*n = 79*n - 31*n - 33104. Is n composite?
False
Suppose 0 = -2*o + 5*d - 10*d + 1484, 0 = 4*o + 2*d - 2936. Suppose l + 3*l - o = 0. Is (l - -8)/(1 - (-18)/(-21)) a prime number?
False
Let l = 118117 + 64678. Is l composite?
True
Let o be (677/2)/(2/32). Suppose 0 = -5*j + 5, -75*z = -70*z + 5*j + 18100. Let f = o + z. Is f a prime number?
False
Let k(v) = 13*v - 3. Let o be k(2). Suppose o = i - 2*a, 0*a - a = 2*i - 31. Suppose -i*b + b + 8048 = 0. Is b composite?
False
Suppose -3*v = -30*v + 74547. Let w = v - -2316. Is w a composite number?
False
Is (-366932)/((13 - 17) + (-2 - (-4 + 2))) a composite number?
False
Suppose 100*r - 83*r - 31227 = 44304. Is r a prime number?
False
Let s be (-1394)/(-16) - 20/160. Suppose -102 + s = 3*y. Is 1547 + y + (-5 - -6) a prime number?
True
Suppose 7*j - 9789 = 23944. Let a = j - 536. Is a a composite number?
False
Is ((-5664)/(-128))/((-9)/(-7444))*3 a prime number?
False
Let s(p) = 3475*p + 2. Let o be s(-1). Let z = -2386 - o. Is z prime?
True
Suppose -2*