15 = -x. Is c a composite number?
True
Suppose -2*z = -8*z + 348. Let u = z + 37. Is u prime?
False
Suppose 25*c = 56793 - 20168. Is c composite?
True
Let l be (-6 + (-5 - -5))*(-482)/(-3). Let s = l + 2937. Is s composite?
False
Let k(y) = 58*y + 8. Let i be k(6). Let z = i + 663. Is z a prime number?
True
Suppose -17*n + 36 = -8*n. Suppose 29 = 2*h - 3*m, n*h - 4*m - 57 = m. Is h prime?
True
Let t = 6250 + -2916. Is t a composite number?
True
Suppose -2*s + 160 = -3040. Suppose 4*w - s = -4*v + w, -4*v + w = -1616. Is v a prime number?
False
Let x(v) = -291*v + 293. Is x(-10) a prime number?
True
Suppose 24148 = -625*f + 629*f. Is f a prime number?
True
Let y be (-4)/(-24) + 13/(-6). Is 160 + 1/(y/(-2)) composite?
True
Suppose 352*y - 5028479 = 321*y. Is y composite?
False
Suppose 4*x + 2 = -2. Is -4 + 649 + 5 + x a prime number?
False
Let r(w) = w + 11. Let h be r(-5). Is (2/h)/(6/6354) prime?
True
Suppose -45101 = -12*l - 5*l. Is l a prime number?
False
Let l = 1313 + -2438. Let j = -473 - -2335. Let q = j + l. Is q prime?
False
Suppose 0 = -3*k - 9 - 21. Is (-930)/(k/2) - -1 prime?
False
Suppose 18*d - 29455 = -4849. Is d prime?
True
Let n = -1550 + 2629. Is n composite?
True
Let h(c) = -c - 5. Let u be h(-5). Suppose l - 2 = -u. Suppose -2*z + b + 383 = l*z, -5*z + 5*b = -460. Is z a composite number?
False
Let p(h) = 3 - 1 - 5 - 20*h. Let d = -61 + 56. Is p(d) composite?
False
Let w(y) = -y**3 + 15*y**2 + y - 10. Let m be w(15). Suppose -1827 = -z - m*k, 10*z - 3*k - 1859 = 9*z. Is z a prime number?
True
Let c(p) be the first derivative of -3*p**4/4 - 14*p**3/3 - 7*p**2/2 - 8*p - 29. Is c(-6) a prime number?
False
Is 5 - 9/(63/(-10682)) a composite number?
False
Let y(c) = 25*c**2 - 25*c + 21. Is y(11) composite?
True
Let w = 1899 - -914. Is w composite?
True
Let d be 10/30 - 5/(-3). Let l be (d + 2)*6474/24. Suppose 2*f + c = l, -4*f + 4*c = -3*f - 553. Is f a composite number?
False
Suppose 3*i = -t + 6593, 19751 = 19*t - 16*t + 2*i. Is t composite?
False
Let w(y) = 210*y**2 - 8*y - 5. Is w(-6) prime?
True
Let h be (-1*1)/((-20)/17080). Suppose 3*j = 475 + h. Is j a composite number?
False
Is (-64056)/(-15) - (-3)/5 prime?
True
Let f(r) = 2*r - 39. Let t be f(15). Is (3 - t/(-6))*1706 composite?
True
Let l(b) = b**3 - b**2 + 3*b - 1. Let f be l(2). Suppose -5*x + 280 = -f*x. Is 3040/14 - (-10)/x prime?
False
Let y = 2 - -81. Suppose w = 1 + 1. Let k = w + y. Is k prime?
False
Suppose 2*l = 2*n + 4, -n - 2*l + 10 = -0*n. Suppose -10 = 2*k + m + n*m, -4*k + 20 = -4*m. Suppose -4*h = -5*f - 61, 0 = f - 4 + k. Is h composite?
False
Let f be (8/6 - 1)*-6. Let k be 1/f*(-4)/1. Suppose n - 48 = -g, -k*g + g + 4*n = -43. Is g composite?
False
Let m = 59 - 55. Suppose m*d - 7352 - 1260 = 0. Is d a composite number?
False
Let g be (-28)/(-4) - (-3 + 11). Let q(r) be the first derivative of -109*r**4/4 - r**3/3 + r + 1. Is q(g) prime?
True
Let m = -361 + 69. Let x = 49 - m. Is x composite?
True
Let d be (2 - -1)*(-1659)/9. Suppose 0 = 11*g - 3*g + 6816. Let y = d - g. Is y a prime number?
False
Suppose 2*b + 3*x - 146 = 4*b, 3*x + 55 = -b. Let g = b - -100. Is g composite?
True
Is (-954805)/(-68) + (-3)/12 a composite number?
True
Suppose -11*j + 33*j - 1189826 = 0. Is j prime?
True
Is (-56)/(-28) + 587*7 a composite number?
False
Suppose -2*s = 2*g - 30138, 16*s = 13*s - 5*g + 45203. Is s a prime number?
False
Is ((-4)/6)/(22/(-28347)) prime?
True
Let x(q) = q**2 - 7*q - 18. Let p be x(9). Is -6 + 2175 - (p - -2) a prime number?
False
Is (-43910)/6*(27/9 - 6) composite?
True
Let m be ((-636)/20)/((-5)/50). Suppose -4*v + m + 190 = 0. Is v composite?
False
Let b(p) = -p**3 - 5*p**2 - 7*p - 6. Let o be b(-9). Suppose 2*i + i - f = 1208, i - o = -4*f. Is i a prime number?
True
Suppose 23713 = 5*q - 2*d, -4*q - 3*d + 5*d + 18972 = 0. Is q composite?
True
Let x(d) = 8*d**3 - 6*d**2 + 2*d - 10. Let f be x(5). Let w = 1758 - f. Let q = w + -379. Is q prime?
False
Let h = 262 + -130. Suppose 4*o - h = -3*w + 938, 0 = 4*w - 2*o - 1434. Is w composite?
True
Suppose -11*i + 61704 + 16847 = 0. Is i a composite number?
True
Let a be 9*(7 + -1) - (1 - -1). Let v = 321 - a. Is v a prime number?
True
Let h(r) = 818*r - 5. Let z be h(2). Suppose 0 = 3*k - 4*k + z. Is k a prime number?
False
Let d = -83 - -81. Is 11838/6*(d + 1)/(-1) composite?
False
Suppose -742 = -5*t - 3*a + 1386, 3*t + 4*a = 1268. Let s = t + 581. Is s a composite number?
False
Let n = 850 - -29. Is n prime?
False
Let j(h) = -h**3 + 6*h**2 - 2*h - 10. Let m be j(5). Suppose 5*o = -4*x + 285, 0*x + m*o = -x + 90. Is x composite?
True
Suppose -v + 48 = 3*j, -7 - 21 = -2*j - 2*v. Suppose 18*w = j*w. Suppose w = -3*z + 4*x + 1425, 0 = -3*z + 4*z + 4*x - 491. Is z composite?
False
Let q(m) = m**3 + 16*m**2 + 18*m + 7. Suppose -4*h + x = -5*h + 2, -5*h + 22 = x. Let t be (-108)/45*1*h. Is q(t) a composite number?
False
Let c(f) = 2*f**2 - 2*f + 2. Let d(x) = x**3 - 3*x**2 + 3*x - 3. Let q be d(3). Let z be (q/10)/(3/(-15)). Is c(z) a composite number?
True
Suppose 24700 + 30390 = 10*g. Is g a composite number?
True
Let x = -9 + 17. Suppose -x = -2*c, 2*r - c = -3*r + 291. Is r a composite number?
False
Let g(d) = d**3 - 12*d**2 + d - 12. Let b be g(12). Suppose 3*x + 67 + 107 = b. Is (1 - x)*(-8)/(-8) a prime number?
True
Let n be ((-6)/4)/((-12)/16). Suppose n*a + 3*a = 6265. Is a a prime number?
False
Is 132*(-2 - 66/(-12)) - 4 prime?
False
Let h be (3*-3 + 3)*42/(-36). Suppose -h*b + 326 = -9201. Is b composite?
False
Suppose -47*p + 55*p = 12056. Is p composite?
True
Let h(d) = -2*d**3 + 17*d**2 + 15*d - 17. Is h(-21) prime?
False
Let y(t) = 13 + 6*t - 6 - 7*t. Let k be y(3). Is 258 + k/(1 + 3) a composite number?
True
Is 63890/(-1)*1*9/(-18) a composite number?
True
Let a = 1 - -5. Is 139 - 1/((-2)/a) prime?
False
Suppose -2*a = -4*a + 5*n + 110, 4*n = -8. Let f = 808 - a. Suppose f = 4*h - 2*r, -5*h = 2*r - 608 - 317. Is h prime?
False
Is 88526/2*(4 + -3) a composite number?
False
Let t be (-3)/(-7) + 7684/(-28). Let f = 497 + t. Is f prime?
True
Suppose 9 + 1 = -2*u. Let j(y) be the third derivative of -83*y**4/12 + 3*y**3/2 + 6*y**2. Is j(u) composite?
False
Let f = 6124 - -813. Suppose -n + f = 6*n. Is n composite?
False
Suppose -17 - 183 = -2*s + 3*n, -4*s + 412 = -3*n. Let h(k) = -144*k + 3. Let o be h(-2). Let u = o + s. Is u composite?
False
Let p(j) = 2*j - 11. Let x be p(8). Let m(g) = -2 + 1 + 12*g**2 + 4*g**3 - g - x*g**3. Is m(5) a composite number?
True
Suppose -10*g = -8*g - 212. Suppose f = 120 + g. Is f composite?
True
Let d = 8 + -12. Let n be (-32)/(-128) - (-1149)/(-4). Is 10/d*(n - -13) a composite number?
True
Let w(k) = k**3 - 12*k**2 - 6*k - 19. Let u be w(13). Suppose -5*d = 3*j - 201, 4*j - u = -2*d + 7*j. Is d a prime number?
False
Let f(w) = -w**3 + 8*w**2 + w - 5. Let y be f(6). Suppose -2*d - 3*h = -3*d - 27, 2*h + 10 = 0. Let g = y - d. Is g a prime number?
False
Let x(l) = 60*l**2 + 13*l - 30. Is x(-7) a prime number?
True
Let p = 5312 - 895. Is p a prime number?
False
Suppose -x + 6*x - 760 = 0. Suppose 3*g - 375 - x = -z, 4*g - z = 691. Suppose -3*r - g = -6*r. Is r a composite number?
True
Let l = 35 - -378. Is l prime?
False
Suppose -z - 55 = -5*i, -3*i + 37 = -2*i + 5*z. Suppose 0 = 4*q + i, 4*g = 3*g + 4*q + 3155. Is g a composite number?
True
Let b(t) = -546*t - 61. Is b(-7) prime?
True
Let d(j) = -2*j - 9. Let n be d(-6). Let l be 3 + (3 - (7 - n)). Suppose 2*t = -4*p + 118, -t + 4*p - 65 = -l*t. Is t prime?
True
Let z(o) = -o**3 - 18*o**2 + 3*o - 25. Is z(-23) prime?
True
Let h be (5 - 19)*6/(-21). Suppose 5*l = -h*u + 7, -3*u + 4*l + 0*l + 13 = 0. Suppose -4*j + 237 = -u*j. Is j a prime number?
False
Let g(m) = -40*m - 5. Let d be g(-2). Let h = 46 + d. Is h a prime number?
False
Let l(g) = 135*g**2 + 14*g + 44. Is l(7) composite?
True
Suppose 49897 + 120093 = 10*s. Is s a composite number?
True
Suppose -3707 = -10*i + 17103. Is i prime?
True
Let w = -1908 - -3025. Is w prime?
True
Let c be 67 + 3 - (0 + 1). Let u = c + -44. Is u a composite number?
True
Let v(x) = -x**2 - 8*x - 2. Let z be v(-7). Suppose -h - 197 = -o + 142, -5*o - z*h = -1645. Suppose -48 = -2*i + o. Is i prime?
True
Let r(i) = -56*i**3 + 7*i**2 + 12*i + 7. Suppose -10*n + 0 = 