?
True
Suppose -136*l - 74 = -138*l. Is l prime?
True
Is (86/(-258))/((-8236)/(-8238) - 1) composite?
False
Let u(i) = 884*i**3 - 2*i**2 - 6*i + 17. Is u(2) prime?
True
Suppose -2*m = 5*t - 6, 7*t - 2*t - 4*m - 18 = 0. Let v(p) = 85*p**2 + 1. Let r be v(t). Suppose -2*g + 4*z + r - 41 = 0, -g + 142 = 2*z. Is g prime?
False
Let o(q) = q**3 - 7*q**2 + 2*q + 1. Let j be o(7). Let n = 47 - j. Suppose -4*i = -0*i - 4*r - n, -4*r = -2*i + 10. Is i a prime number?
True
Suppose -5*m = 2*j - 1466, 1049 = -4*j + 5*m + 4011. Suppose f - 610 = j. Suppose 3*r = -r + f. Is r prime?
True
Is (-2)/6 - 617842/(-57) a prime number?
False
Suppose -91 = t - 622. Let g = t + -152. Is g a prime number?
True
Let p = -31120 + 46671. Is p prime?
True
Suppose -81*f + 4610529 = -18*f. Is f prime?
False
Suppose 0*i = -4*w - i + 155, -3*i - 15 = 0. Let f = w - -183. Is f a composite number?
False
Suppose 1178 = 3*m - 529. Suppose -1595 - m = -4*f. Is f a composite number?
False
Let w(l) = 5*l**2 + l + 1. Let b be w(-2). Suppose -3*x + b = 2*o, -2*x + 1 = 5*o + 3. Let i(j) = j**2 - 7*j - 5. Is i(x) a prime number?
True
Suppose -325 = 4*m + 2603. Let g = m - -4001. Is g a composite number?
True
Let s(a) = 90*a**2 - 2*a + 3. Let k = -17 - -26. Suppose 0 = 5*n - 2*n - k. Is s(n) a composite number?
True
Suppose 0 = -y, 0 = i - 4*i - 4*y + 5517. Is i composite?
True
Suppose 0 = 4*a + 4*k - 3568, 5*a + 6*k = 3*k + 4454. Suppose a = 3*y - 1016. Is y prime?
False
Suppose 5*w - 30 = -5*n, 0*n + w = -2*n + 10. Suppose -n*q - 6 = -q, 5*m + 5*q - 575 = 0. Suppose m = u + 35. Is u a prime number?
False
Suppose -7*c = -14*c + 360941. Is c composite?
False
Let n(k) = k**2 + 2*k - 4. Suppose 0 = -6*r + 3*r - 12. Let u be n(r). Suppose -2*d = -4*a - d + 4266, 0 = 2*a - u*d - 2126. Is a a prime number?
False
Let r(c) = 994*c + 34. Let n be r(14). Is 2/(4 - n/3489) a composite number?
False
Let c(z) = 50*z**2 - 43*z - 217. Is c(-18) a composite number?
True
Let z be 3357/12 - (-6)/(-8). Let b = z - 130. Is b prime?
True
Let r(h) = -h**2 - 2*h + 2. Let v be r(-2). Let p = v + 2. Suppose -2*o - 634 = -p*o. Is o composite?
False
Suppose 45*k - 514794 = 148641. Is k a composite number?
True
Let b(m) = 15*m**2 - 15*m - 7. Let n(w) = w**2 - 6*w - 9. Let t be n(8). Is b(t) a composite number?
True
Let u be (-176)/(-48) - 2/(-6). Suppose 3*r - 454 - 131 = -u*l, l - 155 = r. Let a = 7 + l. Is a prime?
True
Let y(a) = 2*a**3 + a**2 + 8*a**3 - 1 + a + 0*a**3. Let f be y(1). Let q(o) = 2*o**2 - 2*o - 9. Is q(f) prime?
True
Let o(t) = 10112*t - 841. Is o(4) a prime number?
True
Let b be ((-56)/(-21))/(1 - 2/6). Let x = 1176 - 667. Suppose w - 5*k - x = -w, b*w - 973 = -5*k. Is w a prime number?
False
Let z(x) = -1263*x - 5. Let g(u) = -u**3 - 2. Let h be g(0). Is z(h) a prime number?
True
Let g(c) = 168*c**2 + 6*c - 7. Let f(r) = 3*r - 19. Let n be f(7). Is g(n) a composite number?
False
Suppose 232240 = 10*b + 76670. Is b a prime number?
False
Suppose 0 = 5*g + 25, -2*g - 633 = -5*z + 8157. Suppose 0 = -3*m + 2091 - 270. Suppose v - z = -m. Is v a prime number?
False
Let g(f) = -f. Let h(n) = 177*n + 25 - 25. Let u(t) = 4*g(t) - h(t). Is u(-5) composite?
True
Let x(m) = 545*m**2 + 21*m + 17. Is x(-5) prime?
True
Let i(h) = 84*h**2 + 30*h + 65. Is i(-9) a composite number?
False
Let h(u) = 12*u**2 - 7*u + 22. Let l(v) = 1 + 6 + 5*v**2 - v**2 - 2*v. Let y(p) = -2*h(p) + 7*l(p). Is y(-9) composite?
True
Let x be -4 + (-14)/(-4) + (-62)/(-4). Suppose -a - 5881 = -4*h - 0*a, 0 = -5*a + x. Is h a composite number?
False
Let h(y) be the third derivative of y**6/120 - 7*y**5/30 + y**4/2 - y**3/6 + 3*y**2. Let o be h(13). Is (4/o)/((-3)/147) a composite number?
True
Let f(o) = o**3 + 3 + 0*o + 6*o + 6 + 7*o**2 - 5. Let r be f(-6). Suppose -a - a - 3*x + 15 = 0, -r*a + 38 = -2*x. Is a a composite number?
True
Let c be (-1)/(-3) - 3/9. Suppose -5*m + 5*y + 1285 = 0, c*m + 2*m = -4*y + 496. Is m a prime number?
False
Suppose -6*n + 44514 = -3*w, 3*w + 16 = 4. Is n a composite number?
False
Suppose -4*a = -6*y + 3*y + 5909, 5*y = 5*a + 7390. Let o be 10/(-45) + 2482/(-9). Let i = o - a. Is i a prime number?
False
Suppose -5*b = -0*b - 10. Suppose b*v - 3*v = -91. Let j = v - 38. Is j a composite number?
False
Let k be (-6)/(0 + 6/(-4)). Suppose -3*y = 4*b - 18, -3*b + 24 = k*y + 7. Suppose 0*q + 5*n = 5*q - 1295, -8 = -y*n. Is q composite?
False
Suppose -16 = -2*b + 4*l, 5*l + 1 = -4*b + 20. Let n be (99/b)/((-1)/6). Is ((-56)/(-24))/((-3)/n) composite?
True
Suppose -26 = 4*v - 458. Let j = 73 - v. Is (-4)/(-14) - 1775/j prime?
False
Let r(o) be the second derivative of 1315*o**3/6 + 16*o**2 + 47*o. Is r(3) prime?
False
Let r be (-85)/(-1) - (2 + 1). Let g = r + 16. Suppose 0 = -3*i + g + 517. Is i composite?
True
Suppose 0 = 5*c - 63 - 2. Let t be c/(-26) - (-31)/2. Suppose q - 7 = t. Is q a prime number?
False
Let y(g) = -g**3 + g**2 - g - 1. Let q(n) = 2*n**3 + 4*n**2 + 4*n - 2. Let r(b) = -q(b) - y(b). Let c be r(-3). Is 8787/5 - c/(-15) a composite number?
True
Let t be (-4 + 0)*-1*1. Suppose -f = -3*o + 1512, t*o = o - f + 1518. Is o a prime number?
False
Suppose 2 + 3 = 3*x - 2*i, 4*x = -3*i + 18. Let q(r) = r**3 - 6*r**2 - r + 6. Let t be q(6). Suppose f = -c + 50, t = x*c + 2 - 5. Is f a composite number?
True
Suppose -p + 18957 = -5*t, 4*p - 35*t + 38*t - 75736 = 0. Is p a prime number?
False
Let u(v) = v + 13. Let y be u(-11). Is (6/(-15))/(y/(-4430)) a composite number?
True
Suppose 8357 = 5*m - 2*k, -2*m + 907 = 3*k - 2432. Is m a prime number?
False
Let m = 417 - -61. Is m a prime number?
False
Suppose 15*f - 5*x = 16*f - 13231, -39713 = -3*f - 5*x. Is f a prime number?
True
Let m be ((-2)/4)/(4/32). Let q be (-6)/(-4) - 1278/m. Suppose -5*r + 309 = u - 5*u, -5*r = -u - q. Is r composite?
True
Let b(z) be the third derivative of z**5/60 + 5*z**4/24 - 5*z**2. Let p be b(-6). Let q(a) = 2*a**3 - 9*a**2 + 6*a - 5. Is q(p) composite?
False
Suppose 9*p + 12*p = 81858. Is p prime?
False
Suppose -53*r + 50*r + 15 = 0. Suppose -v + 250 = -r*y - 40, -1226 = -4*v - 2*y. Is v a prime number?
False
Let d(n) = -2*n**3 - 4*n**2 - 5*n - 3. Let y be d(-4). Suppose -y + 1161 = 4*t. Let c = t - 139. Is c prime?
True
Let r(p) be the first derivative of -2*p**3/3 + 4*p**2 - 2*p + 3. Let h be r(4). Is (-6*446)/h + -1 a prime number?
False
Let n(m) = 168*m + 1. Let b be n(2). Suppose 706 = 20*i - 4914. Suppose -i - b = -3*w. Is w composite?
True
Suppose 2*v - 40 = -3*v. Suppose 9*m = v*m + 242. Let h = m - 55. Is h a composite number?
True
Let u = 23412 + -6739. Is u composite?
False
Let h = -9 + 9. Suppose -z + 383 = -r, -3*r + 0*r + 776 = 2*z. Suppose h = -3*k - 2*k + z. Is k a composite number?
True
Let j = -7 + -3. Let a be ((-5)/(-10))/((-1)/j). Is (139/a)/((-1)/(-5)) prime?
True
Let i be ((-3)/1)/(27/18). Let p be (-1 + i)/(8 - 9). Suppose 0 = -g - q + p*q + 195, 0 = -q + 4. Is g composite?
True
Let p = 1601 + 1074. Suppose -7*z + p = -2*z + h, 1605 = 3*z + 5*h. Is z composite?
True
Let r(u) = 21*u**2 - 7*u - 1. Let q be r(20). Suppose -2*c - 2741 = -12*h + 11*h, -3*h = 3*c - q. Is h composite?
False
Let l = 8607 - 5950. Is l a composite number?
False
Let g(f) = -5*f - 12. Let i be g(-8). Let r = -30 - -28. Is i/35*(-685)/r prime?
False
Suppose 812 = 2*r - 2*q, 5*q - 7 = -2*r + 798. Is r + -20 + 4/(-1) a composite number?
True
Let i(z) = 5*z - 56. Let o be i(12). Suppose 0 = -3*c + o*n + 3714, 3*c + 3*n + 1282 - 4996 = 0. Is c a prime number?
False
Suppose 5*f - b - 23778 = 16182, 4*f + 3*b - 31987 = 0. Is f composite?
False
Let n be (1/(-4))/((-3)/12). Suppose -3 = 2*b + n. Is 1/b*-3*14 prime?
False
Let w(h) = -h**3 + 14*h**2 + 15*h - 10. Suppose -k - 5*i + 5 = 0, -k = -4*i - 0*i - 23. Let t be w(k). Let b(x) = 9*x**2 + 11*x - 5. Is b(t) a composite number?
True
Suppose 4*a + 6405 = 2*h + 19007, -9464 = -3*a - h. Suppose -3*v - a = -2*z, -4*v = -2*z + 4642 - 440. Let m = -502 - v. Is m a prime number?
True
Let z = -118 + 40. Is ((-11166)/(-9))/(5 + z/18) a prime number?
True
Suppose g = 5*g + 32. Let v = g - -12. Suppose 68 - 344 = -v*r. Is r a prime number?
False
Let a = 138 + 2204. Is a a prime number?
False
Suppose -3*b + w + 12 = b, b = -w - 2. Suppose -b*g = -5*g. Suppose -5*d + 8271 = -2*n, g = -10*d + 5*d