(-2). Suppose 1355 = -a*c + 18323. Suppose 0 = o - 4*w - 1071, -c = -4*o - 3*w + 5*w. Is o composite?
True
Suppose 0 = 15*z - 18*z + 1266. Let s = 645 - z. Is s prime?
True
Let f(u) = -3*u + 29. Let t be f(9). Suppose -4*g + 4*z + 66616 = 0, 4*z - 23965 = -t*g + 9367. Let d = g - 11397. Is d prime?
True
Let h(v) = 2*v**2 - 5*v + 9. Let w be h(-5). Let m = w + -25. Is m a prime number?
True
Suppose -s + 7 = -751. Suppose 0 = 2*n + 2*u - s, 2*u - 4*u = 5*n - 1901. Is n a composite number?
True
Let r = -2 + 2. Suppose 11*y - 33*y + 49293 = 14907. Suppose -16*p + 13*p + y = r. Is p a composite number?
False
Let x(a) = -a**3 + 6*a**2 + 5*a - 8. Let h be x(6). Suppose -21 = -2*s - 5*n, n + 1 + h = 3*s. Suppose w - 954 = 3*f - s*f, 4*f - 763 = -w. Is f composite?
False
Suppose -91*v = 100*v - 197*v + 364938. Is v a prime number?
False
Let z(a) = -12362*a + 2569. Is z(-12) prime?
False
Suppose -3*p + 3 = -81. Let z(x) = 3*x**2 + 36*x + 9. Is z(p) a prime number?
False
Let i be (1078/231)/((-4)/(-3102)). Let v = 1738 + i. Is v composite?
True
Let h(w) be the first derivative of 59/3*w**3 - 17 - 17*w - 2*w**2. Is h(5) composite?
True
Let z = -57 - -62. Let h be -2*(1 + z/(-2)) - -2. Suppose 4*f - 7184 = h*w, 5395 = 2*f + f - 2*w. Is f a prime number?
True
Let f = 189601 + -28800. Is f composite?
True
Let q = 34894 + -23558. Suppose -2754 = -10*w + q. Is w a composite number?
False
Suppose 1501273 + 507046 = 7*w - 706568. Is w a composite number?
True
Suppose -4*o - 2397 - 4975 = 0. Let y = o - -651. Is (y/(-24))/(1/(-9)*-3) a prime number?
True
Let q(k) = -k**2 + 6*k + 6. Let a be q(6). Suppose -5*w - 40 = -2*x, a*w = -5*x + 2*w + 34. Is (x/(-30))/((-2)/330) composite?
True
Suppose 0 = -222*t + 252*t - 846030. Is t prime?
True
Suppose -27 = -x - 24. Suppose 0*r = -5*p - x*r + 9853, -4*p + 5*r = -7912. Is p prime?
True
Let t(v) = 13829*v**2 - 148*v + 517. Is t(4) composite?
True
Let v be -9 - -5 - (-7 + 4 + -57519). Suppose -15*t = -155167 - v. Is t composite?
True
Let o(b) = -1 + 1 + 891*b**2 + 3*b + 4 - 443*b**2. Is o(3) a composite number?
True
Is (50019/2)/(-6 - -3)*-26 prime?
False
Let n(o) = 15*o**3 + 8*o**2 - 7*o + 97. Let i = -107 - -116. Is n(i) a prime number?
True
Let m(z) = -10*z**3 - 22*z - 253. Is m(-19) composite?
True
Suppose -a = 5*v - 37717, 3*v + 206588 = 4*a + 55720. Is a a composite number?
False
Suppose 3*h = -6*v + 2*v - 17739, 3 = -3*h. Let o = -637 - v. Is o a composite number?
False
Let c(j) = 57*j**2 + 44*j + 393. Is c(-26) prime?
True
Let c be 1/(-6) - 2*(-3)/36. Suppose -l + 87 + 236 = c. Let m = 1062 - l. Is m composite?
False
Let v(j) = -15*j**3 + 2*j**2 + 17*j - 1. Is v(-5) a composite number?
True
Suppose 5*n = g + 607339, 0 = 2*n - 11*g + 7*g - 242914. Is n composite?
False
Let x(n) = 63*n**3 + 7*n**2 + 2*n - 609. Is x(17) composite?
True
Let d = 67 + -70. Is d/5 + 135522/45 composite?
False
Let o(t) = -28*t**3 - 8*t**2 - 2*t + 9. Let w(j) = -85*j**3 - 23*j**2 - 5*j + 27. Let b(z) = -17*o(z) + 6*w(z). Is b(-2) prime?
False
Suppose -11*h - 57 = -134. Suppose h*b - 46967 = -6738. Is b prime?
False
Is (-17)/(51/6) + (-5511)/(-1) a prime number?
False
Let x(q) = 4145*q**2 - 33*q - 235. Is x(-9) a composite number?
False
Suppose -929*y + 2139468 = -917*y. Is y a prime number?
True
Let a be ((-81984)/160)/((-2)/35). Suppose 4*w - a = -b, -25*w + 35851 = 4*b - 26*w. Is b composite?
False
Let z(u) = 366*u - 449. Is z(37) a prime number?
True
Suppose -12 - 4 = 2*h. Let p(u) = 50*u**2 + 20*u - 3. Is p(h) prime?
True
Suppose 91*w - 86328 = 79*w. Suppose 3*n - 6*o - w = -o, -2*n - 4*o + 4774 = 0. Is n a composite number?
False
Let s(c) = -c - 7. Suppose -55 = 5*l - 5. Let k be s(l). Is k/2*(-316)/(-6) a prime number?
True
Suppose -39*l = -42*l + 12. Suppose a + 6569 = z + 5*a, 0 = l*z + 4*a - 26264. Suppose 8*t - z = -573. Is t a composite number?
True
Let n(j) = j**3 - 6*j**2 + 7*j - 6. Let q be 2/2*(7 + -2). Let v be n(q). Suppose -2*o - 2*b = -1824, v*b = -o - 0*b + 927. Is o a composite number?
False
Is (-5)/10*-13522*1 composite?
False
Suppose -16*o + 186957 + 892931 = 0. Is o prime?
True
Suppose -2*w = 5*f + 3*w - 2760, 0 = -3*w - 3. Is f prime?
False
Let r = -45 + 133. Let c = r - 26. Is c + ((-25)/(-5) - 2) a composite number?
True
Is 20/(400/(-14610))*(-3 - (-413)/(-3)) composite?
True
Suppose 5*h - 56264 = 4*l - 6*l, 4*h + 4*l = 45016. Let z = -7029 + h. Is z a prime number?
False
Let a = 319913 + -114816. Is a composite?
False
Let s(r) = -7*r**2 + 9*r + 19. Let j(p) = 1. Let t(b) = 5*j(b) - s(b). Let z be t(6). Let w = z + 331. Is w a prime number?
False
Is (-1469938)/(-11) + 2427/8899 a prime number?
True
Suppose -7*o + 21 = -10*o. Let y be (-1)/o + 66564/42. Let t = -1100 + y. Is t composite?
True
Let z be 93*(1/((-12)/(-320)) - -2). Suppose -16393 + z = -7*m. Is m a composite number?
True
Is 8/20 + (-13)/45 + (-131901548)/(-1251) a composite number?
False
Let u(q) = -2*q + q**3 + q - 73 + 70. Let n be u(2). Suppose n*i = 1446 + 501. Is i prime?
False
Is -16 + 25 + (-60314)/(-2) - 5/1 composite?
False
Let j be 23 - 16 - (-1 + 0). Suppose -6*n = -j*n - 2. Is (-1)/2*(n + -717) composite?
False
Suppose -24 + 20 = -2*b. Suppose 24 = -b*v - 12. Let u(z) = -139*z + 1. Is u(v) composite?
False
Let x = -260759 - -538044. Is x a composite number?
True
Let w(x) = 5*x + 19. Let y be w(-15). Let g = -58 - y. Is 76/(-16)*232/g prime?
False
Suppose 155*n - 160*n = -42110. Is n a prime number?
False
Let h = -407 + -100. Let i be (1 + 2)*(20/15 - 2). Is h/i - (-18)/(-36) prime?
False
Suppose -2*v = 2*k - 18, 3*v + 5 = -3*k + 8*k. Let t be (((-101710)/k)/(-5))/((-5)/(-10)). Suppose -2*x + 6770 = c + 3*c, -3*x + t = -2*c. Is x composite?
False
Let i(y) = 10 - y**2 + 23*y + 13 - 5*y. Let a(z) = -22*z - 92. Let r be a(-5). Is i(r) composite?
False
Suppose s - 5*s - 6104 = 4*w, 2*s - 5*w + 3045 = 0. Let l = s + 2163. Let q = 123 + l. Is q composite?
False
Let l = 41 + -37. Suppose 2*f = -4*d + 70, 0*d + 5*d - 149 = -l*f. Let r = f - -17. Is r a composite number?
True
Let z be (-394)/4*(7 + -11). Suppose 0 = -2*d + 1568 - z. Suppose -d = -5*i + 1748. Is i a composite number?
False
Suppose 0 = 12*z - 3*z + 27. Is (-1 - z) + 2 - -885 composite?
True
Suppose 75 = 4*s - s - 4*f, 5*f = -4*s + 69. Suppose -s = -3*o - 15. Suppose 88 + 18 = o*h. Is h composite?
False
Suppose 0 = -2*j + 3*g + 4933934, 2*g + 12334853 = 5*j - g. Is j composite?
False
Suppose -4*p - g + 46588 = 0, 0 = -2*p + 7*g - 9*g + 23294. Suppose -5*w - 10*v + 14*v + p = 0, -4*v + 6969 = 3*w. Is w prime?
False
Suppose 0 = -0*s - 7*s + 133. Suppose s = -4*j + 43. Suppose 8*a - j*a = 1574. Is a a prime number?
True
Let a(x) = -4780*x - 53. Let p be a(4). Let y = -5324 - p. Is y a prime number?
False
Let q(w) = 14*w + 173*w - 50*w - 47 + 197*w. Is q(7) composite?
True
Let t be (-12)/(-3) + (-4)/2. Let g be (-2 - (-3 - 3)) + 0. Is ((-8203)/(-26))/(t/g) prime?
True
Let k(d) = 2*d**3 - 85*d**2 + 7*d - 31. Is k(53) a prime number?
False
Let u(p) = p**2 + 13*p + 7. Let i be u(-12). Is 1442/1 + 4 + i a composite number?
True
Let x(s) be the third derivative of 21*s**4/2 - 65*s**3/6 - 4*s**2 + 3. Is x(5) prime?
False
Suppose 3*s - 621 = -c - c, s = c - 298. Suppose 5*t = 2*v - 25, -23*t + 26*t + 15 = v. Suppose 2*n - 5*g = -102 + 721, v = n + 4*g - c. Is n composite?
False
Let g(b) = -9*b**2 + 14*b - 8. Let d be g(16). Let f = d - -3727. Is f composite?
True
Let v = 124210 - 87493. Is v a composite number?
True
Let r(d) = 134*d**3 - d**2 - 5*d + 3. Let u = -44 + 48. Suppose -2*h - 4 = -u*b, -12 = -5*b - 4*h + 3*h. Is r(b) a composite number?
False
Is (-11)/((-99)/253296) - -9 composite?
True
Let k(b) = b**3 - 18*b**2 - 3*b + 47. Let f be k(18). Let s(d) = -41*d**3 + 2*d**2 + 20*d - 2. Is s(f) a prime number?
False
Suppose -5*u - z - 34590 = 0, 49*u - 52*u + 3*z = 20754. Let w = 4239 - u. Is w a composite number?
True
Suppose 3*i = -4*w, 2*i + 2*i - 2*w = 22. Let u = 7 - 6. Is 1124/((-2 + i)/u) a composite number?
True
Let d(t) = 956*t + 98. Let m(o) be the second derivative of -319*o**3/6 - 33*o**2/2 + 26*o. Let h(f) = 6*d(f) + 17*m(f). Is h(8) composite?
False
Suppose -15*f + 425058 = 16*f - 219215. Is f prime?
False
Suppose 50*v = 30*v + 8027620. Is v prime?
True
Suppose -190 = -2*g +