 33537, 2*j + 4 = 0. Is x a composite number?
True
Let k = -7 - -9. Let n(j) = -34*j + 4*j**k + 21*j + 14*j + 7. Is n(6) a prime number?
True
Let d(z) = -2 - 33*z + 6 + 4 - 7. Is d(-10) composite?
False
Suppose i = -3*m + 3, -3*i + 2*m = 7*m - 9. Let w = 305 + -294. Suppose -i = -2*h + w. Is h prime?
True
Is ((-24)/120)/(1/(-24755)) composite?
False
Suppose -2*g + 0*g - 12 = 0. Let s = g + 6. Is 184 - (2 + (-5 - s)) a prime number?
False
Let p(j) = -2504*j**3 - 2*j**2 + 4*j + 5. Is p(-1) composite?
False
Is 3407*((-1)/3 + 28/21) prime?
True
Let i be (-30)/8 + (-3)/12. Let y(u) = -3*u - 8. Let k be y(i). Suppose 76 = k*t - 688. Is t prime?
True
Let a = -6 - -11. Let g(y) = -43*y + 5. Let z be g(a). Is (z/2 + -1)/(-2) a prime number?
True
Let b(d) = d**3 - 6*d**2 - 7*d + 6. Let p be b(7). Is p*-1 - -4 - -81 prime?
True
Suppose -28*v = -26*v - 1688. Suppose v = 3*m - 629. Is m composite?
False
Suppose 0 = -x + 172 + 77. Let y = 1138 - x. Is y prime?
False
Is (-30516 + -2)/(1 + 4 + -7) a prime number?
True
Suppose 8 = -4*k + 2*k. Let a = k - -26. Let r = a + -7. Is r a composite number?
True
Suppose 56*j - 307626 = -10*j. Is j composite?
True
Suppose 23*l = 16*l + 539. Is l composite?
True
Let b be (-4 + 2)*2575/10. Let y = -264 - b. Is y prime?
True
Suppose 4*f - 29 = -0*f + x, 3*f + 2*x - 19 = 0. Let b be (f/(-21))/(1/(-345)). Suppose -t = 4*t - b. Is t prime?
True
Let g = -111 + 29. Let n = g + 225. Is n composite?
True
Is (-30)/(-5) + -2 + 3705 a prime number?
True
Let k be -1*-1002*(-2)/3. Is 1 - k - (-2 - (-6 + 2)) a composite number?
True
Let r = -32 + 32. Suppose r = 3*p + 2*h - 8, -3*p - h + 2*h = -14. Suppose 0 = -4*z + p, -4*z + 487 = -0*y + 3*y. Is y prime?
False
Let s = 320 + -313. Suppose -x + 16 = x + 2*z, 0 = 4*x + z - 20. Suppose -x*l = -s*l + 609. Is l composite?
True
Let o = 56966 + -29643. Is o a prime number?
False
Let n = 27 + -16. Suppose -10 - n = -7*q. Suppose 1026 = q*z + 9. Is z prime?
False
Suppose 4*k = v - 13419 - 9322, -3*v - 2*k + 68279 = 0. Is v a composite number?
True
Let k be -3 + 451/2*-2. Is (k - 3)*(-5 + 4) composite?
False
Suppose 0 = 4*o - 14*s + 11*s - 190480, 0 = -3*o - 2*s + 142843. Is o a composite number?
True
Let g(o) be the second derivative of 27*o**5/20 + 11*o**3/6 - 13*o**2/2 - 10*o. Is g(4) a composite number?
False
Let z = 62 + -62. Suppose -i + 1655 = -z. Is i a prime number?
False
Is 13/(26/1228) - 1 composite?
False
Is 4/(-46) - (-66152)/46 prime?
False
Suppose 505882 = 2*t + 24*t. Is t a composite number?
False
Let x(c) = 0*c - 5 + 5*c**3 - 4*c**2 - 3*c**3 - c. Let t(y) = y**2 - 7*y - 14. Let u be t(9). Is x(u) a prime number?
False
Let m(f) = -f**2 - f - 1. Let c be m(-1). Let r be (9/45)/(2/10)*-1. Is (2 - r) + c + 741 composite?
False
Let z = 15804 + -6737. Is z a composite number?
False
Let l(a) = 4*a**3 - 2*a**2 + 1. Let n be l(1). Suppose r = -n*r + 7472. Is r/8 - (-1)/(-2) a prime number?
True
Let o = -26 - -31. Suppose -3*t + 2*a + 1953 = 0, -5*t + 0*t = o*a - 3280. Is t a composite number?
False
Let n(i) = -9*i + 30. Let s be n(4). Is s/(-2)*11727/27 a prime number?
True
Let k(f) = 13*f + 6. Suppose 7*d = 3*d. Suppose d*q = -3*q, -3*q = 4*v - 28. Is k(v) a composite number?
False
Let q(p) be the second derivative of 7*p**5/10 - 5*p**4/12 + p**3/6 + 7*p**2/2 + 15*p. Is q(5) prime?
True
Suppose 2*q = 12428 - 330. Is q composite?
True
Let r = -54 + 28. Is (-43078)/r - 28/(-182) a composite number?
False
Let d = 82532 + -8619. Is d composite?
True
Suppose 0 = 4*o - 0 + 252. Let q be (-151179)/o + 2/6. Is (1 + q/(-5))*-1 composite?
False
Let m be ((-1268)/(-8))/((-5)/(-10)). Suppose 13*v = 14*v - m. Is v a composite number?
False
Suppose -5*n + 3*v = -v + 5, -4*n = 4*v - 32. Suppose -7*w + 188 = -n*w. Is w prime?
True
Suppose -21*x + 95514 + 22569 = 0. Is x prime?
True
Let v be -2*(-45)/(-6)*690/(-9). Let o = 2559 - v. Is o prime?
True
Let c(r) be the first derivative of 3*r**3/2 + 7*r**2 - 5*r + 3. Let i(t) be the first derivative of c(t). Is i(9) a composite number?
True
Let z = -225 + 416. Suppose z = x + 5*c, 5*c + 7 = -3. Is x a prime number?
False
Let n(z) = -133*z**2 - 2*z - 2. Let w be n(-2). Let o = 2247 - w. Is o a prime number?
True
Let r(b) be the third derivative of 0 - 1/12*b**4 + 3/2*b**3 + 0*b + 5/6*b**5 - 13*b**2. Is r(5) composite?
False
Let s(q) = 81*q - 62. Is s(23) a composite number?
False
Let i = 4286 - 3037. Is i prime?
True
Is 6 + 79013/7 + (-20)/35 a composite number?
True
Suppose f + 3*f = 32. Let m = f + -5. Suppose -m*l + 597 = -2*l. Is l prime?
False
Suppose -3*j + 3*z + 31448 = 8*z, -3*j = -5*z - 31438. Is j a composite number?
True
Let t(h) = h**3 - 9*h**2 + 6*h + 18. Let g be t(8). Suppose 3*k - 274 = -g*b, 5*b = 4*k + 521 + 210. Is b composite?
True
Suppose 8*n - 5*n - 174 = 0. Let u = 349 - n. Is u composite?
True
Let g(d) = 41*d**2 + 2*d + 1. Suppose -2*t + t = 2. Let f be g(t). Is 2/(f/(-163) + 1) composite?
False
Let i = -34 + 24. Let z be ((-188)/i)/(3/15). Let l = z - 39. Is l prime?
False
Let v(g) = -g**2 - 3*g + 2. Let b be v(-3). Is 67 + (b + 0 - (4 + 0)) composite?
True
Suppose -210156 = -3*f + 3*j, 4*j = -f + 6*j + 70053. Is f a prime number?
True
Suppose -5*t + 10*t = -14950. Let b = -1473 - t. Is b prime?
False
Let n be 183/(-2)*(-664)/12. Suppose 5*l - 25 = 0, l = 4*j - 0*l - n. Is j prime?
False
Suppose 0 = -9*o + 60 + 156. Suppose -2*v = 6*k - 2*k - 350, 2*k = 2*v - 368. Let j = v - o. Is j a prime number?
True
Suppose 0 = -4*g - 12, -10*q - 5*g + 8270 = -5*q. Is q composite?
False
Suppose 0 = g + u - 6, 2*g - 5*u = 3*g - 10. Suppose 5*o = 15, 2*o + 0*o = -g*b + 126. Is 3/b + (-21468)/(-32) a composite number?
True
Suppose 0 = 2*y + 5*s - 7865, -2357 + 6287 = y + 5*s. Is y a composite number?
True
Let p = -22 + 8. Let c(x) = -50*x - 33. Is c(p) a prime number?
False
Let v = 21 - 11. Suppose -5*n = -2*t + 26, -4*n - 12 = -2*t + v. Suppose 335 = 5*p - 2*r, 122 = 5*p + t*r - 213. Is p a prime number?
True
Let z(m) = -47*m + 3. Let h be z(-1). Is (-2)/((h/6585)/(-5)) a prime number?
False
Suppose 2*n - 1544 = -150. Let f = -1178 + 1582. Let j = n - f. Is j a prime number?
True
Let d be (-10)/(-4)*16/(-20). Let r = -18 + 12. Let n = d - r. Is n a composite number?
True
Suppose -648 - 243 = -3*m. Let p = m + -200. Is p prime?
True
Let w be (-55)/10*1868 - (-2)/(-2). Is (w/(-10))/5*2 prime?
False
Suppose -t = -4*i - 4288, -3*t - 8621 = -5*t - i. Suppose -4*a = 4*k - t, -173 = k - 2*a - 1250. Is k a composite number?
True
Let o = 234 - 101. Let z = -48 + o. Is z a prime number?
False
Let i(x) = x**2 - 27*x + 10. Is i(28) a prime number?
False
Let a be (-4)/(-1) - (-9 + (8 - 4)). Suppose a*t + t - 2330 = 0. Is t a composite number?
False
Suppose 0 = 95*y - 527699 + 65904. Is y composite?
False
Suppose t - 2*b - 7023 = 0, 4*b - 28032 = 27*t - 31*t. Is t a composite number?
False
Suppose -b = 4*j + 37, 4*b - 5*b = -4*j - 35. Let k be (12/j)/2*-3. Suppose -3*t + 286 = 2*t - 3*g, 2*t + k*g = 124. Is t prime?
True
Suppose -22*j = -13*j - 13887. Is j a prime number?
True
Suppose -36 = -4*j + 5*d + 33, -2*j - 5*d - 3 = 0. Let a(c) = c**2 + 7*c - 11. Is a(j) a prime number?
False
Let x(p) = p**2 - p + 1. Let f be x(-4). Let w be 18/(-6) - (-8)/(-2). Let n = f + w. Is n composite?
True
Let u = -264 + 418. Suppose 2*b + 149 = -m - 2*b, -b + u = -m. Let d = m - -271. Is d a composite number?
True
Let n be 8/3 - 11/(-33). Suppose n*x = -0*x + 6. Suppose 3*t - x*t = 149. Is t composite?
False
Let i(t) = -241*t**2 - 25*t + 22. Let v(k) = 80*k**2 + 8*k - 7. Let x(q) = -4*i(q) - 11*v(q). Is x(5) prime?
False
Suppose -3*i = i + 12, 3*d + 2*i = -6. Suppose 0 = 2*c - 4, d*c = 5*t + 3*c - 8291. Is t a prime number?
True
Let l(r) = -33*r**3 + 11*r**2 + 10*r - 11. Is l(-7) prime?
True
Let a be (0 - 2/(-5))*10. Let t(f) = 1 + 4*f + 2*f + 6*f**2 - a*f - 7*f**2 + 4*f**3. Is t(2) composite?
True
Suppose -13*j + 28134 = -73279. Is j composite?
True
Suppose g = -g + 4*t + 2462, 3*t - 4979 = -4*g. Let i = g + 2798. Is i a prime number?
False
Is (-12)/(-8)*4 + (3480 - -5) prime?
True
Let l = 0 - 5. Let a(s) = 39*s**2 + 3*s + 7. Let f be a(l). Let y = f + -498. Is y prime?
False
Suppose 0 = -2*g + 19 - 11. Suppose g*i = -2*q - 780, -5*i + 2*q - 969 = 3*q. Let x = i + 356. 