 composite?
False
Let t(a) = -2719*a**2 + 3*a - 4. Let z be t(1). Let l = 4627 + z. Is l prime?
True
Let f(n) = 10*n - 1. Let k be f(0). Is 2/(-15) + (799353/(-135))/k prime?
False
Suppose 0 = 94*l - 5359393 + 1643667. Is l composite?
True
Is (-2672110)/(-8 + -6) + 14 a composite number?
True
Let c(k) = 16985*k - 1087. Is c(6) composite?
False
Let d(q) = q + 1. Let v(x) = 97*x - 12. Let o(s) = -5*d(s) - v(s). Is o(-2) prime?
True
Let b(v) = 2*v**2 + 18*v + 36. Let y be b(-6). Suppose y = 57*n - 52*n - 3655. Is n a prime number?
False
Suppose 0 = 12*f - 27531 - 718438 - 862355. Is f prime?
False
Let k = -1096 - -3753. Is k a prime number?
True
Let c(j) = 518*j**3 - 6*j + 5. Let a be c(2). Let f = a + -2426. Is f prime?
False
Suppose 0 = -36*g + 40*g - 48. Is (-32)/g*(-939)/4 a composite number?
True
Let f = 19127 + -11073. Is f prime?
False
Let p = -27 + 27. Suppose -6*i - 798 = -p*i. Let b = i - -402. Is b prime?
True
Let s = -1733 - -2760. Suppose 5*m - 452 = -2*l, 3*l + 3*m = s - 349. Is l composite?
True
Suppose 289 - 247 = 6*t. Let m(o) = 4*o**3 - 14*o**2 - 5*o + 2. Is m(t) a prime number?
True
Let f = -63417 - 41036. Let s = f - -159734. Is s/5 + (-4)/(-5) a composite number?
False
Let u(m) = 71*m + 2. Let r be u(4). Let g(a) = a**2 - 20*a + 87. Let z be g(6). Suppose z*i = -w + r, -w + 7 - 3 = 0. Is i prime?
False
Suppose -10*v = -7*v + 11*y - 8351, v + 2*y = 2792. Let i(u) = 1522*u**2 + 4*u + 2. Let h be i(-2). Suppose 4*n - v = h. Is n composite?
False
Let b(t) = 435*t - 219. Let p be b(10). Suppose 4*m + 3*d - 4141 = 0, 2*m - 6*m - 5*d + p = 0. Is m a prime number?
True
Suppose -57 = -w + 2*g, 0*g = 2*w - 5*g - 116. Let s = w + -51. Suppose s*c + 1240 = 4*l - 2*c, -3*l + 920 = -c. Is l a prime number?
False
Let u = -21779 - -15570. Let m(k) = 21*k. Let f be m(-1). Is u/f*-9*2/(-6) composite?
False
Suppose -4*r - 2*f - 262 = -8*r, 10 = 2*f. Suppose 4*j - r = 4*o, 7*o = 2*j + 3*o - 42. Is (-1 - j)/(((-6)/(-11))/(-3)) prime?
False
Let p = 1154 + -531. Suppose -m - q + 124 = 0, -15*m - 4*q + p = -10*m. Is m a composite number?
False
Suppose -2*n + 12 = 2*n. Suppose -v + 2358 = 2*a - 5*v, -5*v - 10 = 0. Suppose -2*y + a = n*y. Is y a composite number?
True
Let v be 10/2*240/25. Suppose -v*i + 117 = -45*i. Is i composite?
True
Let r be (-5)/10*(-15 - -3). Let w be -1 - 25/(-15) - 4/r. Suppose w*q + q = 895. Is q a prime number?
False
Suppose -4*a + 32 = 4*q - 0*a, -2*a + 7 = -q. Let k(c) = 8*c + 2. Let u be k(q). Suppose 2*o - 64 = -u. Is o composite?
False
Let y = -133 - -135. Suppose q - 1514 = -u - 2*u, -2*u + 1000 = -4*q. Suppose y*k - 84 = -2*i + u, 0 = -i + 3*k + 290. Is i composite?
False
Suppose 91*x = 52941110 - 411451. Is x a composite number?
False
Let q = 228970 - 131051. Is q a prime number?
True
Let x(p) = 49226*p + 389. Is x(6) composite?
True
Let d be (-16)/40 + (44/(-5))/(-2). Let k be 54138/28*d/(-3). Let b = -1817 - k. Is b a composite number?
False
Let j be (-1 - (-1)/2) + (-1391121)/(-134). Suppose -j = -13*t + 14176. Is t a prime number?
True
Suppose -4*x = -3*k + 402375, 60*k - 2*x - 402381 = 57*k. Is k a composite number?
False
Let k(i) = 10682*i + 151. Is k(3) prime?
False
Suppose 0 = -2*x - 3*a + 271406, -129*a = -128*a - 4. Is x a prime number?
True
Let x(c) = -2*c + 14. Let k be x(5). Suppose -k*f + 3*l = -0*f - 7192, 0 = -f - 5*l + 1821. Is f composite?
False
Suppose 22707 + 7466 = -13*i. Let b = i - -4774. Is b a composite number?
True
Let s = -15252 - -33841. Is s a composite number?
True
Let l(h) = 1219*h**2 - 16*h - 129. Is l(-4) composite?
True
Let f(g) be the first derivative of g**4/4 - 31*g**3/3 + 21*g**2 - 26*g + 56. Let z = 90 + -60. Is f(z) prime?
False
Suppose 12 = -34*f + 36*f. Let s be -1*((-4)/(-1) - f). Let h(k) = 30*k**3 + 3*k**2 - 5*k + 5. Is h(s) a composite number?
True
Let c = 175 + -175. Suppose -s - 21 = -2*s + 4*d, -3*s + 2*d + 43 = c. Is s a prime number?
True
Is ((-835)/10*26)/(-1) a composite number?
True
Let m = -630205 - -1012474. Is m a composite number?
True
Suppose -x - 7 = -4*u, u + 4*u - x - 9 = 0. Suppose -d + 5*d + u*d = 0. Suppose 0 = -5*n + 4*n + 2*v + 3811, d = -2*n - 4*v + 7590. Is n a composite number?
False
Let h = 133000 + -58443. Is h a prime number?
False
Suppose c - 252686 = -3*s + 8*s, 0 = c + 6*s - 252697. Is c a composite number?
False
Suppose -x = 4*k - 1634173, 6*x + 1634171 = 7*x + 5*k. Is x a prime number?
False
Suppose 4*o - 2*o + 1857361 = 13*o. Is o a composite number?
False
Let x = 902533 + -37622. Is x prime?
True
Let q(w) = -88*w - 2. Let o be q(2). Let z(u) = 81*u**2 + 2*u + 3. Let m be z(-2). Let t = o + m. Is t composite?
True
Let x(o) = 10*o**3 - 3*o**2 + 26*o + 131. Is x(16) prime?
True
Suppose j = -5*a - 0*j + 59, 41 = 3*a + 2*j. Suppose a = -4*x + 19. Suppose x*m - 629 = -5*p + 2*p, -4*m - 3*p + 1243 = 0. Is m composite?
False
Is (1 - (-423)/(-12))/((-6)/984) composite?
True
Let y(u) = -u**3 - 142*u**2 - 138*u + 433. Let o be y(-141). Let t(m) = 430*m + 1. Let r be t(5). Suppose 7*k - o*k + r = 0. Is k composite?
True
Let y be 27/21 - (18/14 - 1). Let v(w) = 7*w**2 - w + 2. Let k be v(y). Suppose 0 = 5*o - k*o + 2343. Is o composite?
True
Suppose 513 = 29*s - 10*s. Suppose -406 = -s*y + 2537. Is y a prime number?
True
Suppose -9*m + 5 = -22. Is (((-7086)/(-4))/((-2)/(-4)))/m prime?
True
Suppose -5*b - 4 = 5*h + 1, -4*h - 2*b - 2 = 0. Suppose -4*l + 9718 = -2*y - 22038, -l - 3*y + 7925 = h. Is l prime?
True
Let n(t) = t + 18. Let c be n(-3). Suppose 0 = -7*h + c - 43. Let s = h - -351. Is s composite?
False
Suppose 1577 = 2*x + 229. Let j(s) = -169*s - 563. Let z be j(-6). Let c = x - z. Is c composite?
False
Let d(y) = 6*y**2 + 8*y - 9. Let l be d(5). Suppose 0 = -2*k + l - 23. Suppose -4*z - k = -5*z. Is z a prime number?
True
Let t be ((-12)/36)/(1/(-27)). Let a = t + -14. Is 208 - (a + (-2)/(-1)) composite?
False
Let m(p) = 13299*p**2 - 14*p - 47. Is m(-6) a prime number?
True
Let h(f) = 8*f - 4. Let y be h(3). Suppose -3*k - 4*t = 17, -4*t = 5*k + t + y. Is 939 - k/4*0 - -2 prime?
True
Is 7/(16 - 1033140/64572) a prime number?
False
Let r = 780 + 830. Let c = 2289 + r. Is c prime?
False
Let n = -2555 - -7493. Suppose -5*k = -7847 - n. Is k prime?
True
Suppose -3*i - t + 1 = -6, 3*i = -2*t + 8. Suppose -10*g + i*g = -40408. Is g composite?
False
Let w = 27547 - -43680. Is w prime?
False
Let j(f) = 163*f + 30029. Is j(0) composite?
False
Let u(j) = -359*j**2 + 2*j + 37. Let b be u(9). Is (b/48)/(2/(-15)) a composite number?
True
Let o be 2*(-2 + -1) + 3. Let p be o*(2/(-3) - 1). Is 15/p - (-2716)/2 a composite number?
False
Let d be (-6)/(-10)*5465*2/(-3). Let t = 3841 + d. Is t composite?
True
Suppose 3*f - 3*u - 63 = 0, f = -3*u + 31 + 2. Let t be 42/f - (-2)/8. Suppose 3*h - 5333 = -t*h - 2*k, 4*k - 2130 = -2*h. Is h composite?
True
Suppose b + 21627 - 211961 = -4*z, 5*b - 47593 = -z. Suppose 10*s - 32927 = z. Is s composite?
True
Suppose 2*l - 2*l = 6*l - 830394. Is l composite?
True
Suppose 27*t - 437773 = 7700. Suppose -29*p + 36*p = t. Is p a composite number?
False
Suppose 4*s + 4 = 2*s. Let j be (-2940)/(-16)*(6 + s). Suppose 219 = i - 4*a, 3*i - 4*a + 70 = j. Is i a prime number?
True
Suppose 4*f - 4*m - 3765 = m, 3*f - 2816 = -4*m. Let y = -347 + f. Is y composite?
False
Let v(m) = 12*m - 16 + 6 - m**3 - 6*m**2 + 2*m**2. Suppose 12*x - 448 = 75*x + x. Is v(x) a composite number?
False
Let s(r) = 384*r + 8195. Is s(136) a prime number?
False
Let q = 137 - 121. Suppose 11*h = 2*n + q*h - 38540, -4*h + 77068 = 4*n. Is n prime?
False
Let h = 173239 + -84066. Is h composite?
True
Let j(c) = c**2 + 4*c - 1130. Let y(n) = n - 1. Let f(q) = j(q) - 6*y(q). Let z be f(0). Let m = -273 - z. Is m composite?
True
Let m(c) = 33*c**2 - 74*c + 57. Is m(32) composite?
False
Let s = -870192 + 1286989. Is s a prime number?
True
Let b(s) = 268*s + 63. Let z be b(6). Let f = z - -1168. Is f prime?
False
Suppose -4*w + 5*h + 307 = 0, 0 = -3*w + 7*w - 4*h - 308. Suppose 7*c - 34 - w = 0. Is 2228/c - (-2)/(-8) composite?
False
Suppose -5*q = -14 + 4. Let u be (2/(2 + -4))/(q/(-6)). Suppose u*j = 2*l - 453, 0 = -0*l - 4*l + 3*j + 891. Is l a prime number?
False
Let z be (91/52 + 11)*(-40)/(-3). Suppose g + 4*i - z = 77, -244 = -g - 5*i. Is g a prime numb