v a prime number?
True
Suppose -39*f - 26360 = -38*f. Let k = 39607 + f. Is k a composite number?
True
Let l = -122 + 124. Let f(n) = -120*n - 12. Let w be f(-10). Suppose 3*o - l*c - 513 - 680 = 0, -3*o - 3*c + w = 0. Is o prime?
True
Let t(r) = -4*r**3 - 23*r**2 - 13*r + 7. Suppose 119*n = 121*n + 42. Let u be t(n). Suppose 18*v - 7*v - u = 0. Is v composite?
True
Suppose -8 = 122*y - 120*y. Let w(c) = 229*c**2 + 15. Is w(y) a prime number?
False
Suppose -3*w = x + 213, -3*x + 7*x - w = -930. Let l = 1162 + -677. Let t = x + l. Is t composite?
True
Let q = 413759 + -291789. Suppose 0 = 34*j - 44*j + q. Is j prime?
True
Let p be 14/10*(-4 + 9). Is -21624*(-1)/p + (-2)/14 a composite number?
False
Let l(n) = -n**3 - 2*n**2 + n. Let g be l(-3). Let y(a) = 0 - 12*a - g - 5*a - 7. Is y(-10) prime?
True
Is 43057*-13*((-80)/10)/104 composite?
True
Let l be (-3)/9 + 6 - (-4)/(-6). Suppose -2*b + 1 + 11 = -2*d, 2*b - l = -5*d. Is ((-9)/(-18))/(d/(-9818)) a prime number?
True
Suppose 0*z = -4*z + 1512. Let h be ((-140)/65 - -2) + 347262/39. Suppose -t + z = -y + 2605, -4*y = -5*t - h. Is y a prime number?
False
Let d be 3481 + ((-72)/3)/6. Let u = 8824 - d. Is u a composite number?
False
Let l(r) = -38243*r - 467. Is l(-3) a composite number?
True
Let d(u) = 88171*u - 6. Is d(5) prime?
True
Let i(b) = b**3 + 8*b**2 - 11*b - 11. Let j be i(-9). Let o(u) = 547*u + 16. Is o(j) prime?
False
Suppose 2019 = 2*y + 233. Suppose 3*t + 4*d = 3359, -2*t + d = y - 3125. Is t a composite number?
False
Suppose 3*h + 6 = 21, -5 = 2*m - h. Suppose m = 13*y - 12*y + 5*k - 2493, -3*y - 4*k = -7501. Is y a composite number?
False
Let k(i) = 30*i**2 - 55*i + 4. Is k(5) composite?
False
Let m = -54 + 56. Suppose 1416 = m*a + 570. Suppose -2*u - a = -2177. Is u a composite number?
False
Let v(n) = -n**3 - 11*n**2 + 9*n - 34. Let x be v(-12). Suppose -4*q = 4*h - 38888, -x*q + 3*q - 38888 = -4*h. Is h prime?
False
Suppose q = -4*c - 28041, 2*q + 7005 = 2*c - 3*c. Let n = -2838 - c. Suppose 881 = g + 2*k, 4*g - n = 3*k - 605. Is g prime?
False
Suppose -3*n - 159324 = -71*n. Let u = 1 - -2. Suppose -2*x + n = -p, -3*x - u*p - 1174 = -4*x. Is x composite?
False
Let b be (-6*1/(-2))/((-6)/(-13606)). Suppose 5*c - b = 6812. Is c a prime number?
False
Suppose d = 20 - 16. Suppose 819 = d*m + 103. Suppose -p + m = -270. Is p a composite number?
False
Let t(c) = 8796*c**2 + 45*c - 61. Is t(-5) a composite number?
True
Let h(z) = 3*z + 3. Let f be h(0). Suppose f*i + 3*x - 66 = 6*x, x = -3*i + 74. Suppose -5541 = 21*n - i*n. Is n prime?
True
Let k = 6393 - -32816. Is k prime?
True
Let d be 2672 - (-7 + 5 - 6). Let f be (-8)/(-2*(-1)/(-2)). Is (-6)/f + d/32 prime?
True
Suppose o - 84*x = -88*x + 50475, 0 = -5*o + x + 252270. Is o a prime number?
False
Let j be 98/(-16) + (-184)/(-1472). Let l(z) be the third derivative of -7*z**4/6 + 19*z**3/6 + z**2. Is l(j) composite?
True
Suppose 3*z = c - 268076, -1090*c = -1095*c + z + 1340338. Is c a composite number?
True
Let d(w) = -w**2 + w - 16. Let h be d(7). Let i = h - -57. Is (i/(-7) - 45/21) + 1545 a prime number?
True
Suppose -836394 = -5*m + 3*v + 272590, -4*v - 1108977 = -5*m. Is m composite?
True
Let j = -379 - -377. Is -8329*(j/(-10) + (-102)/85) a composite number?
False
Let n(r) = -r**3 - 71*r**2 + 311*r + 78. Is n(-99) a prime number?
False
Suppose 0 = 242*b - 239*b + 5268. Let w = -394 - b. Suppose -i + w = -1657. Is i a prime number?
True
Let p be ((-1)/4)/((-1)/(3 + 1)). Suppose z + s - p = 4*z, -4*z = -s + 1. Suppose -6*g + 2395 - 205 = z. Is g a composite number?
True
Let s(o) be the third derivative of o**5/30 - 17*o**4/24 + 2*o**3/3 - 2*o**2 - 60. Is s(14) a composite number?
True
Let m = -5 - -7. Let w be 8*(7847/(-14))/(-19). Suppose m*b - q = 667, 4*q = -4*b + 1068 + w. Is b prime?
True
Let p = -43257 + 76504. Is p composite?
False
Let f = 424 + -379. Suppose f*i = 204952 - 79987. Is i prime?
True
Let v = 133194 - 10559. Is v prime?
False
Let n(p) = 3*p**3 - 7*p**2 + 4*p - 9. Let c be n(5). Suppose -3*m - c = -q, 3*q = m + 728 - 119. Let g = 287 + q. Is g a prime number?
False
Let c be 4 - (4 + 9/3). Let z be (c/(6/3742))/(-1) + 1. Suppose 4*v = -4*x + 1860, 2*x + 2*x = 2*v + z. Is x composite?
False
Let g(w) = -w**2 + w. Suppose 13*j - 9*j = -16. Let k(d) = d**3 + 3*d**2 - 2*d + 7. Let i(v) = j*g(v) - k(v). Is i(-3) prime?
False
Let d be 108/(-24)*(6 + -1012). Suppose -92682 = -9*z + d. Is z composite?
True
Suppose 98271 = 3*j - 4*s, 43*s = -2*j + 48*s + 65528. Is j prime?
True
Let w(p) = -41*p**3 + 14*p**2 - 19*p - 27. Is w(-13) composite?
True
Is (-13 - -11)*-496612 + 11 composite?
True
Let y be ((-144)/40)/((-6)/20). Suppose 27*a + y = 31*a. Is 2968/a + -5 + (-84)/(-18) composite?
True
Let i(y) = -y**2 + 6*y - 9. Suppose -3*b = -a - 2, -12 = -6*a + 5*a - 4*b. Let o be i(a). Is o/5 + (-20524)/(-70) composite?
False
Let n be 5 + -4 + -1 + 10. Suppose -16*p = -n*p - 22146. Is p a composite number?
False
Let z(o) = 2659*o**2 - 42*o - 186. Is z(-17) prime?
True
Is 2/((-11)/(5 - 146206)) composite?
True
Let s(o) = -290*o + 67. Suppose 104 = -3*m + 5*a, 11*m = 6*m + 3*a - 168. Is s(m) composite?
True
Let a = 274870 - -365901. Is a prime?
True
Let l(s) = -114*s**3 + 3*s - 2. Let x be l(1). Let g = -118 - x. Is (-12)/(-60) + (-3529)/g a composite number?
True
Suppose 4*l - 5*d = 990, -7*d = 2*l - 3*d - 482. Suppose -16635 = -16*m + l. Is m a prime number?
False
Let u = 1707 + -3039. Let p = u - -1895. Is p composite?
False
Is (-4 + 5)/((-2)/(-6)*6/82762) prime?
True
Let q(c) = 504*c - 24. Suppose -42 = -2*g - 5*g. Let h be q(g). Let s = 5579 - h. Is s prime?
True
Let t(x) = -904*x - 58. Let o be t(-19). Suppose -4*k = a - o, -8564 = -k - k - 3*a. Is k prime?
False
Suppose -22*c + 140790 = 43*c. Let k = c - 767. Is k composite?
False
Let d = -308 + 308. Let c = 43 - 89. Let j = d - c. Is j a composite number?
True
Let m(o) = -o**3 - 14*o**2 + 6*o - 8. Let d(g) = 2*g + 2*g**2 - 2*g**3 - 3*g**3 + 6*g**3. Let i be d(-3). Is m(i) prime?
True
Let o be ((-7)/2 + 1)/((-13)/598). Let f = -169 + o. Let z = 172 + f. Is z composite?
True
Let c = -12409 + 29388. Is c prime?
True
Let f(q) = q**2 + 20*q - 34. Let o be f(-21). Let b(p) = -95*p - 2. Let c(h) = -63*h - 1. Let t(m) = -5*b(m) + 8*c(m). Is t(o) a composite number?
False
Let g(b) be the first derivative of b**4/4 + 22*b**3/3 - 23*b**2/2 - 17*b - 128. Is g(-21) composite?
False
Suppose -2*l - 143425 = 3*s + 2*s, 4*l - s = -286905. Is l/(-15) + (4 - (-56)/(-12)) a composite number?
True
Let a = 553 + -518. Suppose 0 = a*n - 41*n + 18498. Is n prime?
True
Let y = -2228 + -1446. Let m be (7428 + 4 - 1) + 4. Let k = y + m. Is k a prime number?
True
Let r = 3266 + -4962. Let f = -855 - r. Is (2 - 1 - (0 + 4)) + f prime?
False
Suppose 0*h - 1512 = -2*h. Suppose -8*y - 40629 = -37*y. Suppose -h = -2*k - 5*d + y, -2158 = -2*k - 4*d. Is k prime?
False
Let n = -320695 + 465596. Is n prime?
False
Suppose -39*y + 1612763 + 31078870 = 0. Is y composite?
False
Let l(r) be the first derivative of 2*r**3/3 + r**2 - 51*r + 103. Is l(6) a prime number?
False
Let b = -62 - -73. Suppose -3*t = -b*t + 1024. Is (-2)/(-5 - -3) + (t - 2) prime?
True
Suppose -61 = 5*v - 46. Is (-2 - -3)/((-2)/6852*v) a composite number?
True
Let l(z) = -11*z**3 - 26*z**2 + 37*z + 391. Is l(-15) a composite number?
True
Let p = -421 - 3520. Let r = -1342 - p. Is r composite?
True
Is (-9)/(-144) + 13508487/144 composite?
False
Let w be (16/(-100)*5)/(4/(-10)). Is -4 - 43/((w + -3)/39) a prime number?
False
Suppose 6*m + 620126 = -361504. Is ((-4)/(-10))/((-78)/m) a prime number?
True
Let p be 5/(0 + 8 - 7). Suppose 2*r - 1047 - 1834 = -v, p*v + 1424 = r. Is r prime?
True
Let d = -37640 - -63703. Is d a prime number?
False
Let z(n) = n**3 - 7*n**2 - 7*n + 32. Let j be z(12). Let r(t) = -58*t + 9. Let x be r(6). Let w = j + x. Is w a composite number?
True
Suppose -79*n - 189 = -76*n. Is (2 + 2 - n) + 7 a composite number?
True
Let x = -178064 + 306633. Is x prime?
False
Let g = -16193 - -85786. Is g prime?
True
Let l(j) = -62*j - 11. Let g be l(-2). Suppose -5*a = 3*f - 36, -5*a - 15 + 2 = -4*f. Suppose 6*o + g = f*o. Is o prime?
True
Let d(z) = -3*z**3 - 32*z**2 - 28*z - 41. Is d(-30) a prime number?
True
Let q = -38