 2412 = -h*t. Is t prime?
False
Let b(f) = 13111*f + 1651. Is b(18) a prime number?
False
Suppose 4741 = 5*p + 2*d - 9115, 0 = -3*p - 3*d + 8319. Suppose -2818 - p = -4*y. Is y prime?
False
Let l = -101 - -97. Is 6 + (-6159)/12*l prime?
False
Let c(t) = -737*t - 153. Let n be c(-14). Let b = -3818 + n. Is b a prime number?
False
Suppose -6 = 2*h - p - 2, 0 = -h - 3*p + 12. Let g be -1*3*-1322 - (-4 - h). Suppose 0*f = -10*f + g. Is f prime?
True
Is -60969*((2 - -1) + -4)/3 a prime number?
True
Suppose -2120593 = -17*a + 542848. Is a a composite number?
True
Let k(f) = f**3 + 5*f**2 - f + 2526. Let o be k(0). Let a = o + -1067. Is a prime?
True
Let s(a) = -a + 3. Let k be s(3). Let y = -585 + 594. Suppose -5*v = -4*i - 16345, k = 3*v - y*i + 5*i - 9815. Is v a prime number?
False
Suppose 0 = 100*m - 87*m + 76869. Let j = 10802 + m. Is j composite?
False
Suppose -2161*l = -2146*l - 3155205. Is l prime?
True
Let z be 5/(-25) - (-1)/5. Suppose z = n - 3*n + 10. Suppose 2*g = -k + 157, 3*k = -n*g + g + 471. Is k prime?
True
Let d be (-3)/((-3)/8) + 3 + -2. Is (d - 7)/(1 - 14171/14173) a prime number?
True
Let r = 97 - 112. Is (-2019)/9*r*1/5 prime?
True
Suppose -1564 = -5*g + 5886. Let d be (-2)/(-15) - (-119248)/240. Suppose 3*c + 2*h - 394 = d, -5*c = 5*h - g. Is c a prime number?
False
Let c(m) = -m**3 + 10*m**2 - 9*m + 6. Let t be c(9). Suppose -t*q - 11778 + 291756 = 0. Is q a composite number?
False
Let l be (126/(-35))/(2/(-5)). Suppose 8*b = l*b - 3*b. Suppose b = -5*i + 8*i - 7545. Is i a prime number?
False
Suppose 0 = -2*l + 67 - 25. Let d(a) = 366*a + 131. Is d(l) a composite number?
False
Let d be -4 + -5031 + 10/(-5). Let y = 17108 + d. Is y composite?
False
Suppose 5*w - 73388 = -t - 0*t, 27*t + 2*w - 1981077 = 0. Is t a prime number?
False
Suppose -4*m - 4*p = -73076, -82*p = 3*m - 77*p - 54811. Is m composite?
True
Let a(c) = 49*c**2 + 10. Suppose -4*i = 0, 0 = 2*v + 7*i - 4*i + 14. Is a(v) a composite number?
False
Let s(d) = -4*d**3 - 21*d**2 - 35*d - 131. Is s(-20) a composite number?
False
Let l(v) = -2150*v - 4. Let f be l(-1). Let x = f + -509. Is x a composite number?
False
Suppose -5*t + 3*r + 34171 = 0, 4*t + t - r = 34167. Suppose -5*v - 2*k = -t, -2*k = k + 3. Is v a composite number?
False
Suppose 0 = -0*a + a + 5*y - 13, 2*a + 4 = -4*y. Is a/(-36)*15 + 2*3316 prime?
True
Suppose 0 = -12*m + 4*m + 30840. Suppose 5*f - 5150 = m. Is f a composite number?
False
Suppose 324*c - 321*c = 4*j + 257659, -j + 2 = 0. Is c a prime number?
True
Let b = 27357 + -11147. Let a = b - 4781. Is a prime?
False
Let b(h) = 302*h + 58. Let w be b(-9). Let x = -1899 - w. Suppose -4*q = -3925 + x. Is q prime?
False
Is 1078 + 16 - (-2)/(-2)*7 a composite number?
False
Let x = 957436 - 504449. Is x prime?
False
Suppose 1 + 99 = -2*k. Let l be 4/10 + -8*29485/k. Suppose 0 = 4*h + 16, h = 2*y + 3*h - l. Is y composite?
True
Let p(z) = -11*z - 698. Let x be p(0). Let n = x - -1431. Is n a prime number?
True
Let b be (-2)/5 + (12568985/25)/11. Let c = b - 31516. Is c prime?
False
Let j(v) = 8864*v - 253. Is j(36) a composite number?
True
Suppose -3*f - 2 = -2*f. Let q be -9 + 0 + -2 + -4. Is (-309)/q*(10/(-1))/f a prime number?
True
Suppose -16480 = -2*c + 2*b, 24704 = 4*c - c + 5*b. Suppose -4*j + c = 2*g, 0 = 3*j + 4*g - 2900 - 3266. Is j composite?
True
Let v(s) = 23*s - 16*s**2 + 27 - 18 - 8*s + 19. Let r be v(14). Is 4 + (r/(-3))/3 composite?
True
Suppose -4*z - 35544 + 151774 = -2*k, 3*k = 9. Is z composite?
False
Is -15 + (-897)/(-60) + (-8691063)/(-60) a composite number?
True
Suppose 38 = -d - 32. Let j = -19 - d. Let o = 8 + j. Is o prime?
True
Let t(a) = 293*a - 16. Let g(h) = -19*h + 8. Let n be g(-3). Let r be ((-2)/(-13) - 10/n) + 3. Is t(r) a composite number?
False
Suppose -33*b = 4*r - 31*b - 900538, 0 = 4*r + b - 900537. Suppose 160628 = 26*m - r. Is m a composite number?
True
Suppose 0 = 19*j - 7*j + 24864. Let u be ((-2)/2)/(2/j). Let n = u - 585. Is n composite?
True
Suppose -42*s + 71*s = -29*s + 3847546. Is s prime?
True
Let d(b) = 14514*b + 4537. Is d(30) composite?
True
Suppose -20 = -4*x - 28, 5*x = -4*j - 4910. Let a = -2118 - -1407. Let i = a - j. Is i composite?
True
Let w(m) = 9 - 9*m**2 - m - m**2 + m + 8*m. Let d be w(-5). Is d/(-3) + 36/(-54) a prime number?
False
Suppose -23*q = -7406677 - 12504819 + 846911. Is q a prime number?
False
Let j be (4 + 35/(-10))*14. Is (7/3)/j*642 composite?
True
Let h = 5 + -7. Let o be 12/(-21) + (-34371)/(-63) - -7. Is o/8 - (0 - h) prime?
True
Is 1 + 77790 + ((-15)/3 - (1 + -6)) a composite number?
True
Suppose 5*s + 597 = 2*k, 4*s + 602 = 3*k - k. Is (-10 - -5) + k - -1 a prime number?
True
Suppose 4*l - 32 = -4*x, -4*l + 5*x = x - 8. Suppose 1004 - 5449 = -l*w. Is w a prime number?
False
Suppose -4*a = -5*a + 2378. Let b = 695 - 2330. Let n = b + a. Is n a prime number?
True
Let a be 3/18 + (-3 - (-490)/12). Is (354/2)/(2/a) - -2 prime?
False
Let g(q) = q**3 - 11*q**2 + 10*q + 20. Let p(v) = -v**3 + 11*v**2 - 11*v - 20. Let x(h) = -3*g(h) - 4*p(h). Let o be x(9). Is (-2)/o + 49180/32 a prime number?
False
Suppose s - 5*f + 54 = 193, -2*f + 749 = 5*s. Suppose -s*y = -150*y + 4237. Is y a composite number?
True
Suppose -3*w = c + c - 1999, 4*c - 1322 = -2*w. Let y = 11616 + w. Is 5/(-4) - y/(-84) a prime number?
False
Let b be 271720/(-16)*(-4)/(-5). Let a = 6979 - b. Suppose -4*y + a = 5*y. Is y prime?
False
Suppose -57 = -u - 54. Suppose -3*n - u*y = -19353, -3*y - 6443 = -n - 0*y. Is n prime?
True
Suppose 0 = -4*b + 4*z - 260, -z = -3*b + 4*z - 197. Let i = -68 - b. Let f(w) = -149*w - 5. Is f(i) prime?
False
Suppose 28*d - 131062 = 83844 + 594322. Is d prime?
True
Suppose 4*q - 42094 = 10422. Is q composite?
True
Is (1586135/(-15) - 5)*45/(-30) a composite number?
False
Suppose c + 1 = 0, 0 = -368*n + 370*n + 3*c - 85103. Is n prime?
False
Let d = -11992 + 35591. Is d composite?
False
Suppose 3*m = -4*h + 21, m + 2*h - 9 = -0*m. Let v be (202/m)/(6*(-1)/(-45)). Suppose 5*q - v = -70. Is q a prime number?
False
Let p be ((-26)/4)/((-3)/6). Let m = p + -10. Suppose -x = -m*x + 1662. Is x a prime number?
False
Is (1*9431)/(-31 + 12672/408) prime?
False
Let w = -1320487 - -1885908. Is w prime?
False
Is (-82)/(-1230) - 2420668/(-30) a prime number?
False
Let h(c) be the first derivative of 5*c**3/3 + 11*c**2/2 - 17*c - 8. Let i be h(7). Suppose 0 = 7*u + i - 2146. Is u prime?
True
Let a = 612 - 618. Is -1 + 2137/(a/(-504)*6) a prime number?
True
Let u be (-20)/6*((-2376)/(-45))/11. Is 2 + 1 - u*19 a composite number?
False
Let w be (-42)/(-105) + 66284/(-10). Is w/(-4)*(-3 - -4) composite?
False
Let i = 57 - 57. Let x = i + 13. Suppose -2790 = -x*l + 57. Is l composite?
True
Suppose 0 = -11*f + 4*f. Suppose -c + f*c + 3259 = 0. Is c a prime number?
True
Is (-1756866)/(-10) + 1072/2680 a prime number?
True
Let i = -203 - -205. Suppose -3*r - 1262 = -2*k, -r = 2*k + i*r - 1262. Is k composite?
False
Suppose -4*x + 2*k = 32, 2*k = 3*x + 3*k + 29. Let q(z) = -z**3 - 2*z**2 - 14*z + 10. Is q(x) a composite number?
True
Suppose 0 = -c + 5*u - 16, -u = -c - 0*u. Let y be ((1 - 0) + -2)*-3. Suppose 2376 = y*m + 3*n, -378 = -c*m + 2*n + 2784. Is m prime?
False
Is (4 - 813995/(-10))/((-1)/(-10)*3) a prime number?
False
Let f = 136 + -133. Let i be 381*((-7)/f - 5). Let z = 5123 + i. Is z composite?
True
Let d = -339 - -367. Suppose -d*b = 6*b - 467942. Is b a composite number?
False
Suppose 8*n - 2*n = -1110. Let b = 9778 + n. Is b composite?
True
Suppose 2*x + 1898*m - 1894*m = 965234, 0 = -4*x - 4*m + 1930488. Is x prime?
True
Suppose 5*l = 0, 0 = 2*u - 6*u + l + 36. Let k(b) = b**3 - 6*b**2 - 6*b + 16. Is k(u) prime?
False
Let k(r) = 592*r**2 + 8*r. Let f be k(-6). Suppose f = 5*l - 3511. Is l prime?
False
Is (-33685 + (6 - 7))/2*-1 a prime number?
True
Suppose -323220 = 35*g - 45*g. Suppose -93994 = -8*a - g. Is a a composite number?
True
Suppose -2*v + 3*i = -3*v + 29485, 0 = 3*i. Suppose 14*u - 9*u - 4*w = v, 0 = -w. Is u prime?
True
Let i be (-2565927)/(-27) - 2/6. Suppose -5*g - 2*n = -6*n + i, -38024 = 2*g + n. Is g/15*9/(-6) a prime number?
True
Suppose 11*p = 2*p + 54. Let o(z) = 49*z**3 - 6*z**2 + 13*z + 7. Let v be o(p). Suppose -3*t + v = -5*c, -3*t + c + 10457 = -3*c. Is t 