+ 21*k**2/2 + 2*k + 62. Is q(-5) a prime number?
True
Let f = -559 - -562. Suppose 1111 = 5*r + j - 0*j, -f*j = -2*r + 458. Is r composite?
False
Let v = 86520 - -99427. Is v composite?
False
Suppose 349*l - 337*l - 169896 = 0. Let v = 2557 + l. Is v prime?
False
Let s be 4 + -4 + (2 - -76). Let m(q) = 30*q - 245. Let t be m(12). Let v = t - s. Is v composite?
False
Suppose 4*h - 56 = 2*h. Suppose -56*x + 68*x = 204. Suppose -x*g - 473 = -h*g. Is g a prime number?
True
Let u = 486 - 483. Suppose -3*k - u = 0, -5*k + 6526 = j - 5920. Is j a prime number?
True
Suppose v - 2*v = 3*m - 9, -3*v = 2*m - 6. Suppose v = 2*o - 1912 + 7158. Let c = o + 4166. Is c composite?
False
Let f = 1750 + 284. Suppose s + 3*o = 545, 4*s - 2*o - f = 146. Suppose -n + s - 42 = 0. Is n prime?
True
Let i = 331376 + 246587. Is i prime?
False
Let v = -44 + 47. Suppose 0 = v*z - 8*z + 23775. Suppose 2196 = 7*g - z. Is g composite?
True
Let s(l) = 39*l**3 - 4*l**2 + 125*l + 31. Is s(25) a prime number?
True
Suppose -4*x + 15 - 7 = 0. Suppose 4*u - 3*t = 756, 189 = -u + x*u - t. Let a = u - 50. Is a a composite number?
False
Let t = 3133 + 18636. Is t a prime number?
False
Let b be 2850/4 - (25/(-10) + 2). Let p = b - 342. Is p a composite number?
True
Let p(i) = 7*i + 18. Let w = 14 + -22. Let z be p(w). Is z/(-57) - 2978/(-6) a composite number?
True
Is (-1)/((-16)/(-345612))*(-92)/69 a prime number?
False
Suppose 5*q + 5*x - 7 = 8, 2*q + 4*x = 6. Let l(v) = 2*v**2 - 8*v + 6. Let p be l(q). Suppose p = 5*k - 4*f - 1867, -2*k + k - f = -368. Is k prime?
False
Suppose b - 735351 = -251740. Is b a composite number?
False
Suppose 5*m = -3*h + 31*m + 25881, -4*m = -12. Is h prime?
False
Let j(a) be the first derivative of 14*a**3/3 - 5*a**2/2 + 3*a - 8. Let h(o) = 70*o**2 - 24*o + 14. Let m(i) = -2*h(i) + 11*j(i). Is m(-6) composite?
True
Suppose 3*l - 3*l = -3*l. Suppose l = 5*p - 2*a + 1 - 15, 4*a = 3*p. Suppose -p*k + u + 2519 = 0, -3*k - 4*u + 1884 = -3*u. Is k a composite number?
True
Suppose -7*o - 59547 = -275203. Suppose -2*j - 2*w = -4*w - o, w = 3*j - 46206. Is j a prime number?
True
Let i(f) = 505*f**3 + 25*f**2 - 23*f + 25. Is i(6) prime?
False
Suppose 3*b + 5*w - 6*w - 634473 = 0, 0 = 6*b + 4*w - 1268982. Is b a prime number?
True
Let j(k) = -293*k - 1. Let g(t) = -5*t**2 + t - 2. Let f be 4/3*6/8. Let r be g(f). Is j(r) prime?
False
Suppose -2*l + 3671 = z, 0 = 4*l - 5*l - 5. Suppose 11*y = 2*y + z. Is y composite?
False
Let v = -507 + 512. Is 484 - (1 + 20/v) a composite number?
False
Suppose 7*i = 2*b + 6*i - 7, -5*b + 16 = -i. Suppose -12*j + 84345 = b*j. Is j a composite number?
False
Is (-16)/136 + (-1351742)/(-34) a prime number?
False
Is 10/4*34/85 + (-76096)/(-16) prime?
False
Let p be (-4 - 3)/14 - 130/4. Let o(z) = 4*z**2 + 53*z + 24. Is o(p) a prime number?
False
Let k = -403 + 447. Is (5590 - k) + 2*(-2)/4 a composite number?
True
Let v(o) = 2*o**2 - 5*o - 1. Let y be v(3). Let h = 2 - -2. Suppose -a - y*a + 5*c = -1970, -4*a + h*c + 2624 = 0. Is a prime?
False
Suppose h + 1 = 0, 5*m - 106 = 10*h - 14*h. Suppose 0 = -10*w + m*w - 28956. Is w a composite number?
True
Let n be (2156/(-3))/(8/24). Let k = 3672 + n. Suppose r + k = 5*r. Is r prime?
True
Let h(a) = -2*a**3 - 16*a**2 + 14*a - 19. Let v be h(-9). Suppose -7543 = -v*f - 2*f. Is f composite?
False
Let c = -49683 + 90401. Is c a composite number?
True
Let o be (2/(-7))/(2/(-14)). Let c(x) = 88*x**3 - 6 - x**2 + 4 + 3 - 4*x + o. Is c(2) a composite number?
True
Let a(q) = -546*q - 97. Suppose z - y = -14, z - 8*y = -4*y - 29. Is a(z) a composite number?
False
Let c be (5 + (-56)/10)*-5. Suppose -5*i = 4*o - 6138, 3*o + 4*i - c*i - 4609 = 0. Is o a prime number?
False
Let z(r) = 52*r**2 - 164*r - 167. Is z(-42) a prime number?
False
Let c be (-3)/15 + 104/20. Suppose -5*a - 984 = s - 2*s, c*a = 4*s - 3981. Let l = s + -406. Is l composite?
False
Let s be -2094*(35/10 + -6). Suppose -4*o - 28853 = -3*m, -o + s = -3*m + 34091. Is m prime?
True
Suppose -11*d + 27901442 = 138*d. Is d a composite number?
True
Let t(m) = m**3 - 3*m**2 - 16. Let h be t(4). Suppose h = -3*q + 6925 - 2563. Is q a prime number?
False
Let b(m) = m - 8. Let p be b(8). Let i(x) = -4*x + x + 170*x**3 + x**2 + 1 - 20*x**3 + p. Is i(1) prime?
True
Suppose -d - 4*d = 25. Let o(c) be the third derivative of -21*c**4/2 - c**3/6 - 175*c**2 + 1. Is o(d) prime?
True
Let l(w) = -177*w + 38. Let u(h) = -178*h + 37. Let q(k) = 4*l(k) - 5*u(k). Let c be q(4). Suppose 3*r - c = -p + 1152, -r = p - 619. Is r a composite number?
True
Let p(t) = -t - 3. Let g be p(-1). Let m = g + 4. Is (-268)/(-36)*3*(m - -1) a prime number?
True
Let f = -135 - -120. Is 17571/f*(-6 - -1) a composite number?
False
Let x(c) = 96*c**2 + 65*c + 790. Is x(36) composite?
True
Suppose 1617768 = 93*z + 440295. Is z a prime number?
False
Suppose -5*m - m = -30. Suppose -m*s = 0, 4*s = -4*p - 3 + 23. Suppose -1459 - 116 = -5*n - p*v, -5 = -5*v. Is n composite?
True
Let d(f) = 71*f**2 - 20*f - 7. Let w = -655 + 661. Is d(w) composite?
True
Suppose 5*l + 0*f - 250 = -3*f, -l + 4*f = -50. Let m = -45 + l. Suppose 2*d = m*j - 1191, -d = -5*j + 2*d + 1189. Is j prime?
True
Suppose 5*t = -q - 171181, 3*t = -q - 24370 - 146807. Is q/(-28) + 4/(-14 + -2) a composite number?
False
Suppose 0 = 5*p - 35, -3*p + 2*p = -3*u + 506726. Is u composite?
True
Is (-47)/(-5) - 10 - 1611218/(-5) prime?
True
Let d(n) = n**2 + 16*n + 33. Let u be d(-14). Suppose v - 3*y = 8438, -3*v - 33759 = -7*v + u*y. Is v a composite number?
True
Let p(g) = -g**3 - 25*g**2 + 19*g - 82. Suppose -81 = 11*d - 8*d. Is p(d) prime?
True
Let a = 228981 - 51050. Is a prime?
False
Let d be (-38427 + (-3 - -2))/(11/(-22)). Suppose 7*z - d = -4*w, w - 4*z = 5*w - 76844. Is w a composite number?
False
Suppose -41373 = 48*z - 51*z. Suppose 0 = -4*k - 5*a + z, k + a = -2*k + 10346. Is k prime?
True
Let x = 185182 + -84131. Is x a prime number?
True
Let j(v) be the second derivative of 361*v**5/20 - v**4/4 + v**2/2 + 15*v. Let x be j(2). Is (x/6)/((-4)/(-8)) prime?
False
Let q(x) = -4*x - 7. Let p be q(-3). Suppose 0 = -p*b - 5, -2*b - 2*b = -j + 3809. Is j a composite number?
True
Suppose -2*n = -7*n + 87945. Let r = -8218 + n. Is r a composite number?
False
Let o(y) = -y**2 - 4*y + 14. Let h be o(-9). Let q = h + 36. Suppose -q*c + 6*c = -2, 688 = 3*s - 5*c. Is s a prime number?
False
Suppose 3159475 = 14*z + 268223. Suppose 3016 = 26*o - z. Is o composite?
False
Suppose 0 = -2*y + 79*y - 1527757. Is y a composite number?
False
Let c = -160750 + 237887. Is c composite?
False
Suppose -2*s = 3*l - 1102059, -3*s = -5*l + 596077 + 1240726. Is l a prime number?
True
Suppose 3*i + 2*l = 102367, -41*l = -2*i - 46*l + 68241. Is i prime?
True
Let v = 95 + -89. Let z be (v/(-9))/(3/(-9)) - 0. Suppose z*d = -2*d + 9964. Is d composite?
True
Let d(t) = t**2 - 12*t + 18. Let z(q) = 2*q + 18. Let x be z(-7). Let b be d(x). Is b/(-14) - (-720)/1 composite?
True
Let s(x) = 3*x**3 - 9*x**2 - 2*x + 3. Let g = 6 + -4. Suppose g*z - q = 8, 7*z - 35 = 2*z - 5*q. Is s(z) a composite number?
True
Suppose 19 = 761*d - 760*d. Suppose -d*y + 8825 = 6*y. Is y a composite number?
False
Let u = 1512319 + -923318. Is u a prime number?
False
Suppose 3 = 3*y, 2*y = -7*d + 53137 + 1108956. Is d a prime number?
True
Suppose -5945479 + 2219694 = 359*v - 394*v. Is v a composite number?
False
Suppose 315*z = 319*z - 10524. Let y = z + -1654. Is y composite?
False
Is 12 - (12 - (264200 + -9 - -12)) a prime number?
False
Let y = 778 + -733. Is y/(-9) - 498*-13 a composite number?
False
Let a(z) = 668*z**2 - 104*z - 211. Is a(-29) composite?
False
Suppose 1061746 - 4504549 = -39*c. Is c a prime number?
False
Let j(v) be the third derivative of -8971*v**4/24 + 2*v**3/3 + 10*v**2 + 11*v. Is j(-3) composite?
True
Suppose t = 4*j - 36321, 0 = -j - 9*t + 4*t + 9054. Is j composite?
True
Let w(v) = 1837*v - 174. Let g be w(19). Suppose 2*n + 23156 = 4*n - u, 4*u + g = 3*n. Is n composite?
False
Let a(u) = -8*u - 7. Let w be a(-5). Suppose 4*x + x + w = l, 5*l - 2*x = 188. Let k = l + 45. Is k composite?
False
Is 202264 + (54/(-9) - 4) + 7 prime?
False
Is (-1)/(-9 + (5 - (-2653708)/663428)) a prime number?
True
Let q = -460 + 465. Suppose -1341 = 2*h - q*h