1. Let y = -15 + -33. Let d = 66 + y. Is t(d) a prime number?
True
Suppose 14*a - 2238768 = 1554742. Suppose -2*o + a = 3*o. Is o prime?
True
Let r be -7666 - (4 - 30/5). Let l = -3765 - r. Is l a prime number?
False
Suppose -21*u + 37*u = -47*u + 6926031. Is u prime?
True
Is 3/(15/7062712) - ((-9152)/320 - -28) composite?
True
Let b = -19754 - -55632. Is b a prime number?
False
Suppose m - b = -9 - 7, 5*b = 0. Let u be 2/4 - 23112/m. Suppose 3*a = -2*a + u. Is a prime?
False
Let s(a) = -17*a - 5. Let w be s(1). Is (2046/w)/(6/(-326)) a prime number?
False
Suppose 7*k - 10*k + 13104 = 0. Suppose 29308 = 4*m - k. Is m a prime number?
True
Suppose 0 = 2*l - 3*v - 0*v - 6, -l = -v - 3. Suppose -f = -x - 1042, -11*f + 7*f + l*x = -4167. Is f a composite number?
True
Suppose 0 = -3*y + 468 - 93. Suppose 3565 = -3*j - y. Is (j/(-8) - -3) + 1/4 a composite number?
False
Let t = 494 - 484. Suppose -23855 = -15*y + t*y. Is y prime?
False
Suppose -3*w + 3*h + 7 = 4*h, 0 = -3*w + h + 5. Suppose w*o + 5*b = -3*o + 30, 12 = o + 3*b. Suppose 0 = -o*y + 5*y - 754. Is y a composite number?
True
Let n be (-6)/(-4)*(12/18)/(-1). Let w(o) = -62*o**3 + 2*o**2 - 1. Let d be w(n). Suppose d*x + 172 = 67*x. Is x prime?
True
Let l = -115 + 121. Let s(d) = d**3 + 4*d**2 + 9*d - 25. Is s(l) a composite number?
False
Suppose -4*o + 9818 = 5*h, -h = -2*o + 4*h + 4924. Let b = 4816 - o. Is b a composite number?
True
Let t(a) be the first derivative of -93/2*a**2 + 25*a - 24. Is t(-10) a prime number?
False
Let x = -42 + 40. Let g(w) = 108*w**3 + 2*w**2 + 3*w - 1. Let k be g(x). Let d = 1902 + k. Is d composite?
False
Let o(i) be the second derivative of i**5/20 - 7*i**4/6 + 5*i**3/6 - 15*i**2/2 + 2*i. Suppose -4*j + 462 - 411 = w, 2*j - 13 = -3*w. Is o(j) composite?
True
Suppose 4*t = 5*t - 9. Suppose 5*j = t*j - 2276. Suppose 2050 = 9*i - j. Is i a prime number?
False
Let t = 570 + -576. Let u(i) = 129*i**2 - 11*i - 73. Is u(t) composite?
False
Suppose 2*a + 26678 = 3*s - 2*a, -4*s = 5*a - 35581. Is s prime?
False
Suppose -5*n + 1287 = -18. Let d(j) = -74*j + 40. Let q be d(-28). Suppose -q = -7*r + n. Is r prime?
False
Let u be -3 + (-5 - -5) + 1001. Suppose -5*x + 8*x - 15978 = 0. Suppose 8*a = -u + x. Is a prime?
True
Suppose -72*j - 2516 = -35*j. Is (1 - -1)/(j/(-46274)) composite?
False
Let r be -3*2*2/4 - -4. Let x be ((-1)/1)/(r/10*-2). Suppose -2793 = -x*t + 13232. Is t a prime number?
False
Suppose 0 = 4*t - w + 14, -21*w + 16*w + 10 = 0. Let q(f) = -381*f - 2. Is q(t) a composite number?
True
Let i(m) = m**3 - 20*m**2 - 52*m - 28. Let u = 125 - 121. Let x be 2 + 21 + 0 + u. Is i(x) composite?
False
Let p = 30926 + 9231. Is p a composite number?
True
Let v be -5 - -3 - 33/(-6)*2. Suppose 0 = u - 4*q - 2215, -u = v*q - 5*q - 2239. Is u prime?
False
Suppose 7*i - 156601 = 134879. Suppose -5*g + i - 8330 = 0. Is g a prime number?
False
Let b(n) = -1016*n + 19. Let f = -177 + 169. Is b(f) a prime number?
True
Let q be 3/(-4) - (-13606)/8. Suppose 5*x - 5*h + q = 0, -4*h - 701 = 2*x - 51. Let b = x - -529. Is b a prime number?
False
Suppose -99*h + 81150949 = 9585730. Is h prime?
True
Let f(m) = -7*m + 2. Let c be f(-2). Let k(b) = -38*b + 19*b + 36 - c*b - 32*b. Is k(-13) prime?
True
Let z(q) = 2*q**3 + 20*q**2 - 21*q - 1. Let d be z(-11). Is (-18)/3*(-1 + 3906/d) prime?
False
Let l = -58 + 60. Suppose -l*j + h = -78714, -7*j + 4*h = -2*j - 196779. Is j a composite number?
False
Is ((-8 - -119848) + -1)*(-1)/(-1) a prime number?
True
Is (-2)/(-15) + (-42006640)/(-1950) composite?
True
Let p = -496 - -1437. Let n(g) = -3 + 13 - p*g + 1 + 6. Is n(-4) a composite number?
True
Let b be 24/(5 + -8) + 54. Is (0 + b)*7453/58 a prime number?
False
Suppose -66*c + 73*c = 56. Suppose -5*a = c*a - 33527. Is a composite?
False
Let r = 816235 - 428442. Is r prime?
False
Let c(m) = 801*m**3 + 4*m**2 - 5*m - 1. Suppose -12 = 4*n, -3*h - 3 = 2*n + 2*n. Is c(h) prime?
True
Let j be 6/4*16/6. Let h(q) = -57*q**2 - 9*q - 32. Let v(u) = -85*u**2 - 14*u - 45. Let m(r) = 10*h(r) - 7*v(r). Is m(j) a composite number?
True
Suppose 0 = 5*k - 3*k. Suppose -2*d - 74970 = -3*h - 6145, k = -5*d - 5*h - 172000. Is 2*d/(-42) + 2/3 a prime number?
False
Let f be 1/(-3) + (-5728)/(-12) + 0. Suppose -2*r - r + m = -1435, -r + f = -m. Is r prime?
True
Let s be (406/(49/(-7)))/((-2)/4). Let h = 657 - s. Is h a prime number?
True
Is 15/6*4264758/135 prime?
True
Suppose 2*t + 2*u = 687126, 24 = 6*u - 3*u. Is t a prime number?
False
Suppose -20662 = -4*t - 5*b, -3*t + 15493 = -b + 3*b. Let c = t + -2840. Is c a prime number?
False
Suppose -8*r + 3*r + 20 = 5*x, r = -4*x + 1. Let o(s) = 263*s**2 + 16*s - 18. Is o(r) composite?
False
Let y be 34/(-2)*(8 + -327). Let r(i) = -487*i - 6. Let m(f) = 440249*f + 5423. Let s(b) = y*r(b) + 6*m(b). Is s(1) a prime number?
False
Let t = 43 + -39. Suppose 4*y - t*v = v + 1812, 0 = -3*v. Suppose -y = 3*s - 4*s. Is s composite?
True
Let r = -61558 - -86459. Is r prime?
False
Is (-19 - (-17 - -236184))*(-2)/4 a prime number?
True
Let k = -42310 - -29762. Let m = k - -17685. Is m a composite number?
True
Suppose -14*n + 53 = 2041. Let z(x) = 118*x**3 - 4*x**2 + 2*x + 1. Let w be z(2). Let p = w + n. Is p composite?
True
Let t(j) be the second derivative of j**3/6 - 4*j**2 + 5*j. Let f be t(14). Suppose -3*x - 600 = -5*n, x = f*x - 25. Is n a prime number?
False
Let n(m) = 30091*m - 290. Is n(7) a prime number?
True
Let n = 2 + 39. Suppose -62*x + 151893 = -n*x. Is x composite?
True
Suppose 8*q - 971 = 7*q. Let u = -574 + q. Is u a composite number?
False
Let l(a) = 29849*a - 3538. Is l(13) a prime number?
False
Suppose 3 - 8 = -3*s - a, -s + a = 1. Suppose 12*x - s + 1 = 0. Suppose x = 4*c + 5*v - 81, -4*c = v - 24 - 53. Is c a prime number?
True
Let l = 56 - 52. Let z(n) = -29*n + l + 18 - 11. Is z(-4) a prime number?
True
Suppose 23*b - y = 25*b - 47421, -6*y - 47456 = -2*b. Is b prime?
False
Suppose 5*n - 664093 = -2*i, -8*n + 231440 = 5*i - 831116. Is n a composite number?
False
Suppose -2*w = -4*r - 2530, -4*r + 3*w - 4*w = 2539. Let p = r + 2105. Is p a composite number?
False
Is 639*47 + (708/120 - 6)*-20 a prime number?
False
Let k(n) = 29774*n**2 + 36*n + 23. Is k(3) composite?
True
Suppose 0*w + 4*w - 21 = 3*r, 2*r + 2*w + 28 = 0. Let f(a) = -15*a**3 - 10*a**2 - 34*a - 38. Is f(r) prime?
False
Let q(h) be the first derivative of 13*h**3/3 + 3*h**2/2 + 35*h + 39. Let u be q(18). Suppose 3*d - u = 2*c, -4326 = -5*d + 2*d - 3*c. Is d prime?
False
Suppose 3*j - 192 + 1338 = 0. Is (j - 0)*15/(-6) a composite number?
True
Suppose 479*i - 382*i = -2466565 + 5916758. Is i prime?
True
Is (-22100526)/(-756) + 9/(-2) composite?
True
Let u be 22502*(-4)/16 - (-6)/4. Let q = 8121 + u. Is q composite?
True
Let j(q) = 472*q**2 - 478*q - 311. Is j(-33) composite?
False
Let v be ((-7)/2)/(-7)*6. Suppose -4*f - 1 = -5, 5*z = -v*f + 38. Is (z/(-3) - -2)/(3/(-9927)) composite?
False
Suppose 9*t - 12 = 6*t - 2*a, 11 = t + 3*a. Let u(d) = -5 - 3*d**2 + t - 2*d**3 + 73*d - 83*d. Is u(-6) composite?
True
Suppose 121*s = 139*s - 4075578. Is s composite?
True
Let a be ((-172)/6)/((-2)/12). Suppose -31*k = -2*k - 1537. Let l = a - k. Is l a composite number?
True
Suppose 0 = 8*s - 258 - 182. Suppose -3*i + b + 57 = 0, -s = -2*i + 4*b - 9*b. Suppose 3639 = i*d - 17*d. Is d a prime number?
True
Let j be 2 - (1/5 + 47598/(-15)). Suppose 4*q = -4*v + 3*q + j, -4*v = 3*q - 3173. Is v composite?
True
Let h(p) = p**3 - 8*p**2 + 7*p. Let z be (-75)/(-10) - 1/2. Let s be h(z). Suppose -3*v + 97 = a, s = -4*a + 3*v - 0*v + 388. Is a a prime number?
True
Suppose 3*c - 5*c + 2442 = 4*m, 3648 = 3*c + m. Let l be (-16)/12 - 4020/9. Let a = c + l. Is a a prime number?
False
Suppose 0 = 83*a - 649592 - 1413207. Is a composite?
True
Let b = -922073 - -1677147. Is b prime?
False
Suppose -6*r + 137 = -151. Let f = r + -43. Suppose -3*q = 2*s - 1491, -s + f*s + 1010 = 2*q. Is q composite?
False
Let l(m) = -107*m - 45 + 24*m**2 - m**2 + 52*m + 59*m. Is l(-16) a prime number?
True
Suppose -9*g + 182 = -23*g. Let u(w) = 19*w**2 - 8. Is u(g) prime?
True
Is 31555 + -30 - (-7 - -21) composite?
False
Suppose -140*i = 1269645 - 12833785. Is i prime?
True
Let n(m) = -1839*m**3 - m**2 - m. Let h be n(-2). Let u 