 - 5*d + 3. Is i(o) prime?
True
Let u(r) = 68*r - 10. Let j be u(17). Suppose -s + 5*c + j = 0, 4464 = -6*s + 10*s + 4*c. Is s prime?
False
Let b be (-21 - 31)*(-167)/4. Suppose -b = -6*d + 4915. Is d prime?
True
Let l(s) be the first derivative of s**2/2 - s - 7. Let a be l(2). Is (4 + 355)*(3 - 1) + a composite?
False
Suppose -4*s + 204 = 13*s. Suppose s*t - 199340 = -8*t. Is t a prime number?
True
Let z(h) = h**2 + h + 6. Let w be z(0). Suppose w*q - 2394 = 8*q. Let d = q + 1894. Is d a composite number?
True
Suppose 4*p + 514 = 5*y, -4*p + 19 = 3. Let z = -105 + y. Is 12268/(-12)*z*-3 a composite number?
False
Let l(s) = -1 + 1727*s - 3 + 453*s**3 - 4*s**2 - 1718*s. Is l(2) a prime number?
False
Let x(a) = 2*a + 1. Let v be x(5). Let l(t) be the first derivative of t**3 - 17*t**2/2 + 11*t + 1653. Is l(v) composite?
True
Is (-1 + 3)*1321810/140 composite?
True
Suppose -65 = 5*q + 110. Let h = q + 38. Suppose 6*m + 615 = d + 2*m, -h*d + 1905 = 3*m. Is d a composite number?
False
Let k be 1/(-2) - 1911/(-42). Is 1114/5 - (-9)/k a prime number?
True
Suppose 0 = 2*d + 6, -4*o = -3*d - 3252775 + 417762. Is o a composite number?
False
Let p = -6 - -4. Let r be 3/(-1)*p/6. Is r/2 - 25575/(-22) composite?
False
Suppose -2*s + 228388 = -t, -6*s - 114187 = -7*s - 3*t. Is s prime?
True
Let m(g) = 8494*g**2 - 64*g + 9. Is m(5) a prime number?
True
Suppose -294 - 114 = -12*y. Suppose y*j - 42*j = -55192. Is j a composite number?
False
Suppose -571992 = -32*j + 1792072. Is j a composite number?
False
Let x(c) = -870*c + 12. Let v(f) = 873*f - 14. Let k(z) = 4*v(z) + 5*x(z). Is k(-9) a composite number?
True
Suppose -69 = 4*u + 11. Let d be ((16/10)/(-4))/(2/u). Is (-4)/(0 - d)*1949 a prime number?
True
Let h = 304724 - 174205. Is ((-1)/1)/((-47)/h) prime?
True
Is (-134143 - 0)*(15 - (15 + 1)) prime?
False
Let b(g) = -g**2 - 15*g - 50. Let i be b(-6). Let k(w) = w**2 - 5*w - 2. Let f be k(7). Suppose 2*z + f = 3*c - 325, -4*z = -i. Is c prime?
True
Suppose -30*a + 33*a + 3 = 0. Is (-4)/a + -10 - -401 a prime number?
False
Suppose 8*g - 4*g = 19796. Let s = 9082 - g. Is s a prime number?
True
Let i(w) be the third derivative of 1939*w**5/60 - w**4/6 + 2*w**3/3 - 3*w**2 + 30*w. Suppose -3*a + 1 = -2*a. Is i(a) a prime number?
False
Let c(j) = 2*j**2 - 3*j + 2. Let s be c(2). Suppose -4*f - f - 4*a + 63063 = 0, -25230 = -2*f - s*a. Is f prime?
True
Suppose -28*p + 18*p + 10 = 0. Is p/(-5)*5 + 19908 prime?
False
Let j(z) = -3*z - 1654. Let d be ((-6)/(-14) - 150/105)*0. Let w be j(d). Is (w/(-3))/(2/6) a prime number?
False
Let l = 1566 + -2505. Let g = l - -6320. Is g composite?
False
Let y be -1 - ((-6)/(-2))/(9/6). Let w be (0 + y/(-21))*7. Is (-2)/2 + 0 + w + 74 composite?
True
Suppose 0 = 255*h - 120257129 - 50958796. Is h prime?
False
Suppose 174 + 6 = 15*m. Suppose 13*q - 4111 = m*q. Is q a prime number?
True
Suppose -41*m = -85587 - 66646. Is m prime?
False
Let t(m) = 7*m + 8. Let i be t(27). Let u = i - -1506. Is u prime?
False
Let g be 2/(-2)*(-17724)/4. Suppose -m = -5*v + 11, -2*m = 4*v - 26 + 6. Suppose m*q + 4*z = -z + g, -2*z + 2216 = 2*q. Is q prime?
True
Is 56/(-44) - (35 + -36) - (-734044)/11 prime?
False
Let j(s) = -81*s + 14. Let v = 14 - -87. Suppose -76 = -5*y - v. Is j(y) composite?
False
Suppose -10 = -2*f, 2*l - 23 = -4*f - f. Let h be 2/l + 3 - -1. Suppose -1884 = -h*a - 2*a. Is a prime?
False
Suppose 3*x = -5*y - 223, -9*x - 112 = -7*x - 4*y. Is (-12)/x - (-275326)/22 a prime number?
False
Let h(m) = -133*m**2 - 7*m + 19. Let u be h(4). Let b = u - -10194. Is b composite?
True
Suppose 113296 + 223817 = 9*d. Suppose -28*w = -35*w + d. Is w a composite number?
False
Suppose -40081967 = -150*g + 2643643 - 198960. Is g a prime number?
True
Let v(i) = 256*i**2 + 55*i + 380. Is v(-7) a prime number?
True
Suppose -16*h + 76 = -84. Suppose -56558 = -h*n - 19008. Is n a prime number?
False
Let m(l) = -l**3 + 2*l**2 + 2*l + 1. Suppose -5*f = 5*z + 25, 6*f - f + 13 = -2*z. Let b be m(f). Is 31830/(-20)*b/(-3) a prime number?
True
Suppose 20 + 32 = 4*o. Suppose -o*d + 11*d = 30. Is (-2238)/(-5)*d/(-6) composite?
True
Let o be (-9 + 3)/1 - 1. Let d = 11 + o. Suppose d*u - 5*b + 2*b = 217, 3*u - b = 164. Is u composite?
True
Let r(x) = -2*x**3 - 16*x**2 - 15*x - 3. Suppose -2 = -a, 0 = -4*g - 4*a - 50 + 2. Is r(g) a prime number?
False
Let s be (-3 - 21)/((-9)/30). Is (-240033)/(-12) + -5*(-4)/s a prime number?
False
Let g(w) = -2*w - 17. Let p be g(-14). Suppose 4*f + z - p = 0, -f + 22 = 4*f + 4*z. Suppose -l - 63 = -f*u - 678, -5*l + 3066 = -u. Is l prime?
True
Suppose 59*x - 21042094 - 3175916 = -31*x. Is x composite?
False
Let c(d) be the third derivative of d**5/30 + d**3/2 + 6*d**2. Let i be c(-2). Suppose -12*l = -i*l - 91. Is l a prime number?
False
Is (3805/(-15) + 9)*(-834)/4 composite?
True
Let o = 1128 - 3206. Let x = 4395 + o. Is x composite?
True
Suppose -2*w + 2*c - 599914 = -6*w, -3*w + 5*c + 449916 = 0. Is w a prime number?
False
Let q = -53 + 55. Let m be 264/(-84) + q/14. Is (16068/14 - m) + (-4)/(-14) prime?
True
Let w be (-66)/(-6) + 24/(-4). Let f(q) = 201*q + 204*q + 11 + 13. Is f(w) composite?
True
Let l(t) = 4*t**2 - 34*t - 485. Is l(-36) prime?
True
Suppose 5*b - 15 = 0, 3*b - 1862 = -2*v + 4171. Let o = v + -1795. Let u = 2419 - o. Is u prime?
False
Suppose 26*s - 15*s = -6*s + 1085501. Is s prime?
True
Suppose 0 = 4*c - 3*t - 5 - 33, -4*t = 4*c - 24. Suppose 0 = 4*l, n + c*l - 505 = 13*l. Is n a composite number?
True
Suppose -4*u = -3*j + 7034, 0 = 2*j + 3*j + 2*u - 11758. Let h = 3399 - j. Is h a composite number?
False
Is (709245/360)/((-8)/(-64)) a prime number?
True
Suppose -22*k - 7*h + 4881774 = -5*h, -4*k - h + 887594 = 0. Is k a composite number?
True
Let j(y) = 1250*y - 53. Suppose w = -3, v - 4*w = 3*v - 6. Is j(v) a composite number?
False
Suppose 5*q = -5*p + 2725, 3*p = -5*q + 869 + 1854. Is ((-254)/8)/(5 - 2728/q) composite?
True
Suppose 94*b - 92*b + m = 626926, 0 = -5*b + 5*m + 1567315. Is b a composite number?
True
Let v = 166126 + -72869. Is v composite?
False
Suppose -40*t = -39*t. Suppose 3*f = 4*x + 17757, -13*x + 16*x - 9 = t. Is f composite?
False
Suppose 4*z - 8 = -4*w - 0, z - 3*w = 10. Suppose -1305 + 139 = -z*h - 2*n, -2*h + 563 = 5*n. Let m = h + -43. Is m a prime number?
True
Let d be -4 - 12/(-1 - 2). Let w be 0/(d + (3 - 1)). Suppose -k + 202 + 91 = w. Is k composite?
False
Let f(x) = 60*x**2 + 15*x - 64. Let h(p) = p**2 - p - 2. Let j(w) = f(w) - 3*h(w). Is j(9) composite?
False
Let h = -84356 + 120302. Suppose -8800 = -26*r + h. Is r composite?
False
Let x be -2 - 32/(-20) - (-58)/(-5). Is 4/x*(-7 - 2)*1361 composite?
True
Let c(t) = -t**2 - 10*t + 16. Let z be c(-11). Suppose z*x = 362009 - 139594. Is x prime?
True
Let m be -4*(7301/14)/(-7). Suppose -m = 10*w - 21328. Is w prime?
False
Let q = -16805 - -46981. Suppose 10*d - q = 55874. Is d composite?
True
Let k be ((-25)/(-5) - 4) + 5 + (-4 - 0). Let n(t) = t**2 - 7*t. Let f be n(6). Is (9/(-108)*f)/(k/2692) a composite number?
False
Let f(t) = t**3 + t. Let l(q) = -11*q**3 + 2*q**2 - 2*q + 1. Let v(k) = f(k) + l(k). Let i be v(1). Is ((-1892)/16)/(2/i) prime?
False
Let l = -140 - -170. Is (-46734)/l*(-5)/1 a prime number?
True
Let j(w) = -w**3 - 5*w**2 - 2*w + 13. Let y be j(-4). Let u(m) = 132*m**2 - 4*m + 19. Is u(y) a composite number?
False
Suppose 2*d - 16*d + 9*d = 0. Suppose 3*f + 4*b - 5095 = 2*f, d = 3*f + 2*b - 15245. Is f a composite number?
True
Let f be (56/6 + 10/15)*2. Is f/24 + (-195844)/(-24) a composite number?
False
Is (-150)/4*-827 - 95/(-190) prime?
True
Suppose 5*i + 236872 = j, -134*j + 137*j - 2*i - 710603 = 0. Is j composite?
False
Suppose 2*p - 336 = -22*p. Is (-4)/p - (-331280)/287 a prime number?
False
Let k(y) = -763*y - 45. Let n = 182 - 188. Is k(n) a prime number?
False
Let d be (-2112)/36 + 1/(-3). Let z = d + 61. Suppose z*i + 8488 = 10*i. Is i composite?
False
Let t(v) = 14*v**2 - 5*v + 4. Let c = -29 - -23. Let b be 2/(-4)*2*(c + 11). Is t(b) composite?
False
Suppose 15*c + 4340 = 10*c. Suppose 11*n - 10*n + 8 = 4*b, -5*n = b - 2. Is (-6)/b*c/12 composite?
True
Let k = 11010 - 6987. Let h = k + -2094. Suppose 4*s - h + 157 = 0. Is s a composite number?
False
Suppose 8*j = -3*j - 19*j + 6366