- 30 = p - h*i, 0 = 3*i - 6. Suppose 602 - 1767 = -p*z. Is z a prime number?
True
Let v = 705962 + -497335. Is v prime?
True
Let i be 0/(6/(-2)) + 1. Let k be i/1 + -6 + 7. Is (k/3)/((-6)/(-6633)) a composite number?
True
Let v = -1887084 - -2807717. Is v composite?
True
Let c(y) = -3*y + 21. Let s be c(7). Suppose 22*d - 21*d - 6683 = s. Is d a prime number?
False
Let q(i) be the first derivative of i**2 + 12*i + 10. Let w be q(-4). Suppose 3*p + p = -4*s + 500, -w*s - 16 = 0. Is p composite?
True
Suppose -34047 = 227*h - 254*h. Is h a prime number?
False
Let h = 15 + -40. Let o be ((-90)/h - 0)/(2/5). Suppose -o*u = -22*u + 22243. Is u a prime number?
False
Let i(a) = 4*a - 25. Let p be i(-10). Let y = p + 69. Suppose -5*x + 4185 = -5*n, -y*x + 6*x = -4*n + 1662. Is x a composite number?
True
Let t(z) = 52*z - 5. Let a be t(-8). Suppose 9*o = 1824 - 7260. Let n = a - o. Is n a prime number?
False
Let j(p) = -91*p**2 + 7*p - 9. Let d(w) = -90*w**2 + 6*w - 8. Let l = -131 + 126. Let v(c) = l*j(c) + 4*d(c). Is v(-6) composite?
False
Let w be (-38)/(-6) + -2 - 2/(-3). Let k(q) = 3*q**2 - 13*q + 3. Let d be k(w). Suppose -8*z + d*z = 3985. Is z a composite number?
False
Let c = -96 - -1507. Suppose 26644 + 50540 = 72*k. Suppose 13*l = c + k. Is l a composite number?
False
Let a = 73795 - 43396. Is a prime?
False
Suppose 0 = -2*t + z + 3, 2*t + 2*z - 4*z = 0. Suppose 4*a = -t*b + 15, -3*a - 2*b = -2*a - 10. Let j(k) = -2*k + 293. Is j(a) a prime number?
True
Let w = -140418 + 219779. Is w composite?
True
Suppose 11508 = -4*m + t, 6*m + 11492 = 2*m - 3*t. Let y = -1558 - m. Is y a prime number?
False
Let u = 3339 - -2693. Let w = u + -3093. Is w a prime number?
True
Suppose 4*f + 3*t - 369 - 18671 = 0, -2*f - 5*t + 9506 = 0. Suppose -7*b + 4638 + f = 0. Let g = -364 + b. Is g a composite number?
True
Suppose -3*p - 8 = -7*p. Suppose -2*r + 11 = -3*a, -5*r + p*a + 10 = -3*r. Is (-66675)/(-45) - r/6 prime?
True
Suppose 105*u = 113*u - 8920. Let i(y) = -y**2 + 8*y + 2. Let m be i(8). Suppose b + u = k + m*b, -4*k = -3*b - 4474. Is k prime?
True
Let k = -477 + 15718. Suppose 0 = -15*z + 17054 + k. Is z a prime number?
True
Let f(d) be the third derivative of 11*d**5/30 + 49*d**4/12 - d**3/2 + 9*d**2 - 2. Is f(-19) a prime number?
False
Let w be (-1 - -2)/((-5)/20) - 0. Is -95871*9/81*(1 + w) a prime number?
True
Let q be (-11224)/(-552) - -1*2/(-6). Suppose -q*f = 7*f - 988713. Is f a prime number?
False
Suppose 2*b - 3704 = 8870. Let o = b - 4132. Is o a composite number?
True
Suppose 0*f = 10*f - 1820. Suppose -f = 4*p - 3666. Is p composite?
True
Is (54341995/(-190))/(1/(-2)) prime?
False
Let u = -57 - -234. Suppose q + 65 = -u. Let y = q + 1329. Is y prime?
True
Let p = -450 - -199531. Is p prime?
True
Suppose 8*c - 14*c + 11*c = 660085. Is c composite?
True
Suppose 3*r - 310644 = 1127*f - 1124*f, r = 5*f + 103544. Is r prime?
True
Let l = 115 + -117. Let j be (22/(-4) - l) + (-5)/(-10). Let f(p) = -21*p**3 + p**2 - 4*p - 1. Is f(j) a prime number?
True
Suppose -20*b - 4072 = -1600 - 4052. Suppose -4*v = -2*v - 112. Let o = b - v. Is o composite?
False
Let s(q) = 3*q**2 + 7*q - 71. Let t be s(-10). Is (-397)/(-3)*(t + -3)/4 a prime number?
False
Suppose 5*d - 5*c - 898825 = 0, -182*d = -183*d + 4*c + 179783. Is d composite?
True
Let y = 8 - 4. Suppose 0 = -y*j + 2*n - 32, 0*n - 5*n = -j + 1. Is 2/(j/((-19476)/8)) prime?
True
Let b be 4 - -7 - (10 + -4). Suppose k - b*f - 15000 = 0, -28936 + 88912 = 4*k + 4*f. Is k a composite number?
True
Suppose 43*g - 1230727 = 1999519. Is g a composite number?
True
Let g(t) = 14*t + 19. Let q(r) be the second derivative of r**5/10 - r**3/2 + 3*r**2/2 - 6*r. Let v be q(2). Is g(v) prime?
False
Let z(o) = -o**2 - 8*o + 2. Let n be z(-8). Let g(w) = -5 + 0*w**n + 32*w - 12*w + w**2 - 9*w. Is g(17) prime?
False
Let a(y) = y**2 + 36*y + 1431. Let h be a(0). Suppose 0 = 6*u + 93 - h. Is u composite?
False
Is (-46729073)/(-25) - (-586)/7325 a prime number?
False
Suppose f - 108 = 78. Let t(l) = -f*l + 3 + 4 + 29*l**2 + 183*l. Is t(3) composite?
True
Suppose -15*q + 60015 + 32010 = 0. Suppose -5 = -5*x, 2*u - 39178 = x + q. Is u composite?
True
Let i(x) = -15 - 373*x - 23 + 37. Let s be i(-2). Let d = s - 494. Is d a composite number?
False
Suppose 895872 = -21*q + 25*q + 4*g, 1119843 = 5*q + 2*g. Is q a prime number?
True
Let g(w) = 57*w**2 - 105*w**2 + 13 - 3 - 13*w + 0*w + 50*w**2. Let p(t) = 3*t - 7. Let s be p(5). Is g(s) a composite number?
True
Let q(g) = -753*g**3 + 9*g**2 - 4*g - 175. Is q(-6) a composite number?
False
Suppose -22*h + 56*h = 68. Suppose h*n = -3*n + 10, -5*s = 5*n - 80995. Is s prime?
False
Suppose 5*x + 116 = -2*w, 4*x - 13 = 4*w + 191. Let k = w + 47. Is 20721/18 + 1/k prime?
True
Is (23/(-92))/(2/(-120824)) prime?
False
Let p(w) = -w**3 + w**2. Let m(d) = 4*d**3 - 15*d**2 - 11*d - 23. Let h(o) = -m(o) - 3*p(o). Let i be h(13). Is 746 + (i - 2/(-1)) a composite number?
True
Let d(l) = 1756*l - 707. Is d(79) a composite number?
True
Suppose 3*t + 3686 = 4*t. Let r = t + -8706. Is r/(-4) - 12/(-3) composite?
False
Let h(l) = 133464*l**2 - 12*l - 17. Is h(-2) prime?
False
Suppose 5*c = 5*o - 5846590, 9*o - 5*o + 3*c - 4677307 = 0. Is o a prime number?
True
Suppose 0 = -4*h - 2*h + 10830. Let p be 7461/12*16/6. Suppose -l = 4*v - p, -3*l + 3136 = v - h. Is l composite?
True
Suppose -2 = -l - 5. Let b be 0 + (-3 - -2*(0 - l)). Suppose b*s - 2*p = 1141, 0*s + p = -s + 382. Is s a prime number?
False
Let b = -40052 + 150091. Is b a composite number?
False
Let x = -17 - -17. Suppose x = -3*l - 0*l + 12. Suppose -7735 = -2*j + 3*k, -k = -j - l*k + 3854. Is j composite?
False
Let g = 539723 - 238888. Is g prime?
False
Let r = 36 - 30. Let j(k) = 202*k**2 + 5*k - 4. Let u be j(2). Suppose r*h + u = 8*h. Is h a prime number?
False
Let g(w) = 28*w**2 + 12*w - 70. Let i be g(8). Suppose 2*n - 568 = i. Is n composite?
False
Suppose 0 = -4*g - 4*q + 2129946 + 327454, -3*q + 614364 = g. Is g a prime number?
False
Let r(i) = 5500*i**3 + 4*i**2 - i - 2. Let m(s) = -s**3 - 18*s**2 + 18*s - 18. Let h be m(-19). Is r(h) a prime number?
True
Suppose -6*o = -o + 10*o - 254685. Is o a prime number?
True
Suppose 0 = -3*r - 3*u + 28407, -5*r = -3*r - 3*u - 18958. Suppose r + 362 = 7*b. Is b a prime number?
False
Let y = 7484 + 6650. Suppose 5*j - 11871 = y. Is j a prime number?
False
Let f(x) = -40*x**2 + 5*x - 3. Let y(q) = -2*q**2 - 1. Let m(t) = -f(t) + 4*y(t). Let k = 7 + -3. Is m(k) composite?
False
Is (110582/(-2))/((-22)/(-242)*-11) a prime number?
True
Let j be -101 - (-1 + 3 + -3 + 4). Let m = j + 243. Suppose -5*p + 2*d + 183 = -444, -p + m = 3*d. Is p prime?
True
Suppose -34*m - 16 = -42*m. Suppose 0 = 2*u + m*c - 4914, -3211 = -5*u - c + 9090. Is u a prime number?
False
Is -3*((-281507)/(-1068))/((-1)/236) prime?
False
Let j(g) = 7*g**3 - 14*g**2 + g + 131. Is j(12) a composite number?
False
Let b = -1168 - -1858. Suppose -b = -4*v - 2*v. Let g = 254 - v. Is g prime?
True
Let h(l) = 3*l**3 - 11*l**2 - 21*l + 27. Let k be (-12)/(-72) + (-249)/(-18). Is h(k) a composite number?
True
Suppose 447*j = 394*j + 173085227. Is j prime?
False
Let l = 309 - 309. Suppose 0 = -18*a - l*a + 3798. Is a composite?
False
Let k be 0 + -32 + -15 + 12. Is 12698 - (k/(-45) + 4/18) a composite number?
False
Let t be 4 + -3 - (7 - 37176). Suppose -t = -14*f + 4256. Is f a composite number?
True
Suppose 1880 = 3*n - 2*n - 5*q, -4*n + 5*q + 7460 = 0. Suppose 680 = 5*l - n. Is l/(-3)*21/(-14) composite?
True
Suppose -4*v = -p + 207277, 11*v = -4*p + 7*v + 829108. Is p prime?
False
Let o be ((-4)/(-16) - 1)/(-7 + 394389/56340). Let l = -10962 - -18086. Let i = o + l. Is i composite?
True
Let j(k) be the third derivative of 10*k**2 + 5/6*k**3 + 0*k - 8/3*k**4 + 0. Is j(-14) a prime number?
False
Let o(l) be the second derivative of -835*l**3/2 + 43*l**2/2 - 41*l - 4. Is o(-4) composite?
True
Let k(m) = -2*m - 33. Let h be k(-16). Let y be -4 + 2*(h - -2). Is 350 - (y - (0 + 1)) composite?
False
Let y = -2951 - -4601. Suppose 5*f - y - 2195 = -3*r, -f = -2*r - 756. Suppose -4*i = 2*t - f, -3*i + i + 5*t = -413. Is i prime?
False
Suppose q = -3*y + 2*q + 1, 2*q - 10 = 0. Suppose -y*i = 2 - 0. Is i + 819 + -1 + -2 a composite number