mber?
True
Let x = -61 - -752. Is x a prime number?
True
Suppose 26 = 3*m - 4*x + 2*x, 0 = 2*m - 5*x - 32. Suppose -2 + m = -2*f. Is 1/f*(-221 - -3) prime?
True
Let c(q) = 25*q**2 - 19*q - 145. Is c(-27) composite?
False
Let a(c) = c**3 - 23*c**2 + 8*c + 34. Let l be a(23). Suppose 3*w - l = w. Is w a composite number?
False
Let i(c) = 8*c + 3. Let j be i(-2). Let k = j - -24. Let n = k + 36. Is n composite?
False
Suppose -2*u + 3*f = -8, -u - 5*f = -5*u + 16. Suppose -7*w + 2*w - 1441 = -u*n, 3*w - 1433 = -4*n. Is n a composite number?
False
Suppose -y + 73363 = 2*y + 2*h, 4*y = -h + 97824. Is y a prime number?
False
Let o = -2255 + 6066. Is o prime?
False
Let m(b) = 12*b**3 + 2*b**2 + 4*b + 5. Suppose -12*r + 3 + 33 = 0. Is m(r) a composite number?
False
Suppose -3*n + 4*n = 4. Suppose -2*d = -d + 2*f - 605, 0 = -n*d + 3*f + 2464. Is d a prime number?
True
Let g be 4/(-12) + 35/(-3). Is (-11294)/g + (-11)/66 a composite number?
False
Suppose l = -3*s + 2, 0 = 11*s - 10*s + 1. Suppose l*x = -i + 749, 4*i = i - 4*x + 2291. Is i prime?
True
Suppose n - 1352 - 1257 = 0. Is n composite?
False
Let c = 56 - 84. Let d = 5 - c. Suppose j - 331 = -d. Is j a composite number?
True
Let m be ((-62)/14 + 3)/((-7)/49). Is (6515/m + 7)/((-6)/(-4)) composite?
False
Let o(x) = 377*x + 14. Let p(a) = 251*a + 9. Let h(s) = 5*o(s) - 8*p(s). Is h(-3) a prime number?
True
Let k = 1362 + 13487. Is k a composite number?
True
Suppose 0 = -3*p - 12, o - 3*p = -3*o + 20. Suppose w = -o*w + 12. Is 0 + 12/w + 788 prime?
False
Suppose 6*f - 14 = 10. Suppose -f*o + 605 = o. Is o prime?
False
Suppose -260224 = -20*t + 188436. Is t composite?
False
Is ((-354199)/123)/(2/(-6)) a composite number?
True
Suppose -59*u + 66*u = 41153. Is u prime?
True
Suppose 2*o + 4 = -2. Let r be (-2)/(o - -4) - -2. Let s(a) = -a + 33. Is s(r) a composite number?
True
Suppose -14*k + 59249 + 69803 = 0. Suppose k = 21*y - 1723. Is y a prime number?
True
Let j(r) = -1178*r**3 - r**2 + 12*r + 8. Is j(-3) composite?
False
Let f(g) = -8*g**3 - g**2 - 3*g - 1. Let q be f(-6). Let h = q - 450. Is h prime?
True
Suppose -3816 = -8*a + 4*a. Suppose -3*b - 2*s = b - a, 3*s - 236 = -b. Is b a prime number?
True
Let b(p) = -7*p**3 - 7*p**2 - 4*p + 17. Let l = -61 - -54. Is b(l) a composite number?
True
Let u = 62 - 163. Let p = -10 - u. Is p a prime number?
False
Let u = -446 + 177. Let s = 620 - u. Is s a composite number?
True
Let s(y) = -190*y**2 + 16. Let f(l) be the first derivative of 38*l**3/3 - 3*l - 1. Let b(u) = 11*f(u) + 2*s(u). Is b(-1) composite?
False
Suppose 2*u - 2*h + 9912 = 6*u, u + 4*h - 2471 = 0. Is u a composite number?
True
Suppose 7*f + 1798 = 23050. Suppose -7*l + 1745 = -f. Is l prime?
True
Let p(b) = 3744*b + 83. Is p(5) prime?
True
Let s(l) be the second derivative of l**4/12 - l**3/2 - l**2/2 - 6*l. Let v be s(4). Suppose 0 = 2*y - v*y + 59. Is y composite?
False
Let n(m) = m**3 - m**2 - 2. Let t be n(0). Let k(f) be the second derivative of -33*f**5/20 - f**4/6 + f**3/2 + 3*f**2/2 + f. Is k(t) a prime number?
False
Let p = 7 + -5. Suppose -5*x + 10 = -q, 3*x = -p*q - 0*x + 6. Suppose -3*s = -s + 3*i - 74, q = 5*s - 2*i - 185. Is s a prime number?
True
Let g(y) = 125*y**2 + 2*y + 2. Let o be g(3). Let v = o + -580. Is v a composite number?
True
Is 50/(-150)*(1 + -43750) prime?
False
Suppose -g - 2*h + 16483 = 0, -13*g + 12*g + 16486 = 3*h. Is g a prime number?
True
Suppose 58*i = 57*i + 835. Is i composite?
True
Let j = 39 - 43. Let q(c) = -169*c + 7. Is q(j) a composite number?
False
Let m(b) = -3*b**2 + 4*b + 9. Let f(o) = -o**2 - o. Let h(s) = -4*f(s) + m(s). Let g be h(-7). Suppose v = g*n + 191, 5*v - 475 - 480 = -n. Is v prime?
True
Is (3 - 15 - -7) + 13648*1 composite?
True
Let s = 15 + -15. Suppose 5*t - 30 = -3*r, r - 3 = -2*t - 2*r. Suppose -l + t + 242 = s. Is l a prime number?
True
Let n = 70 - 168. Let l = 630 + -443. Let v = l + n. Is v composite?
False
Let j(y) = y**3 - 20*y**2 - 7*y + 25. Is j(24) prime?
True
Suppose -3*i + 2*q - 4367 = -4*i, -21835 = -5*i - 4*q. Is i prime?
False
Let u = -3 - -7. Let t be (-6)/(-24) + 7/u. Suppose -2*y - 6 - t = 0, -3*v - 5*y + 967 = 0. Is v prime?
False
Is (1061/(-4))/(-2 + 56/32) prime?
True
Suppose 0 = -13*f + 11*f - 2. Is f + (-1 - -2 - -853) prime?
True
Let j = 7 + -2. Suppose 0 = -3*s + j*b - 89 - 251, 3*s = -4*b - 295. Let p = 190 + s. Is p composite?
True
Let m be 8/6*(10 + -4). Let p be (30/m)/(6/(-552)). Let v = 70 - p. Is v a prime number?
False
Is ((-23710)/15)/((-4)/6) prime?
True
Let j(z) = z**3 + 6*z**2 - 3*z - 7. Suppose 4 = 2*l + a, -5*l - 3*a + 12 = -0*a. Let h be (5/(-1))/(-1 - l). Is j(h) prime?
False
Is (-453034)/(-30) - 58/435 a prime number?
True
Is ((-10)/4)/((-1074)/1068 - -1) composite?
True
Let b(h) = 29*h**2 + 2*h - 13. Let q be b(6). Suppose m + 4*u = q, -4606 + 434 = -4*m + 5*u. Is m a prime number?
False
Let t = -6458 - -14247. Is t a prime number?
True
Suppose f - 3 - 8 = -5*m, -3*f - 3 = -3*m. Suppose -5*v = -3*u + 1862 + 872, 4*u = m*v + 3650. Is u a composite number?
True
Let o = 422 - 249. Suppose -2 = -2*h + 2*v, -h + 3*v = v - 2. Suppose h = -x + o + 148. Is x composite?
True
Let j(s) = -15183*s + 22. Is j(-1) prime?
False
Let a = 5485 + -1872. Is a a prime number?
True
Let n be (-6*(-6)/(-9))/(-2). Suppose 5*t - 4*f = -1253, 4*t + 3*f + 492 = n*t. Let p = 398 + t. Is p a composite number?
False
Let m(z) = z**2 + 4*z + 2. Let t be m(0). Suppose 6463 = 5*b + t*o, 3*b = -5*o + 707 + 3186. Is b a composite number?
False
Let i = 26 - 38. Let t be i/24 - (-1410)/4. Let j = -211 + t. Is j a prime number?
False
Suppose 5*a = -7694 + 62379. Is a a composite number?
False
Let i = -10 + 13. Let b(t) = -18*t - 2. Let y be b(i). Let z = 145 + y. Is z a composite number?
False
Let o(q) = 4*q**3 - q**2 - 34*q + 7. Is o(6) a composite number?
False
Suppose 4*c = -5*u + 299, -u - c = 2*u - 178. Let a = 65 + u. Suppose -4*d + 12 = -a. Is d composite?
True
Let j = 19 - 14. Suppose -a - 5332 = -j*a. Suppose -2*q - 2*f - 3*f + a = 0, 704 = q - 5*f. Is q prime?
False
Suppose p = 4*k + 31, 2*k - p + 24 = -k. Let x = k - -9. Is x + -1 - (-56)/1 a composite number?
True
Let s(x) = 4*x + 42. Let p be s(-9). Suppose -p = 4*y - 66. Is y prime?
False
Let t(m) = 107*m**2 + 5*m - 2. Let b be t(-3). Suppose 3*c = 551 + b. Is c prime?
True
Suppose 20 = 3*z - y + 1, -4*z = -3*y - 27. Suppose -z*q + q = -50. Suppose -237 = 7*g - q*g. Is g a prime number?
True
Let j = -2957 + 5854. Is j prime?
True
Let a be ((-4)/(-6))/(1/9). Suppose -501 = -a*l + 3*l. Is l a composite number?
False
Suppose -30*b = 38*b - 1446292. Is b prime?
True
Let k be (-1 + 22)/(3/36). Suppose -3*q + q - k = -2*y, -5*y = q - 654. Suppose -4*r - 30 = -y. Is r a composite number?
True
Let o be -2*4*1/(-2). Let t(s) = s**3 - o*s**2 - 2 + 0*s**3 - s**2 + s - 2*s**2. Is t(9) a composite number?
True
Suppose 0 = -10*c - 4074 + 23564. Is c composite?
False
Let m = 8 + 2. Let o = -18 - -302. Is (m/(-4))/(-5)*o a prime number?
False
Let w be (-16)/(-2)*2/4. Let z be 67/13 - -2*(-2)/26. Suppose -w*d + 16 = 0, -z*d - 1355 + 196 = -3*x. Is x prime?
False
Suppose -i + 3*c = -2, -4*c = -5*i + 3 + 7. Suppose u - i = 2. Suppose u*t = -0*r + 4*r + 1232, 0 = 4*t - r - 1229. Is t a composite number?
False
Suppose 0 = 5*q - 18 - 2. Let r be 3/q*(7 - -5). Suppose r*i = 11*i - 62. Is i composite?
False
Suppose 1242*c = 1239*c + 9819. Is c composite?
True
Let b be (-7)/2*120/(-140). Suppose v + 5*x - 652 = 0, -x + 3395 = 5*v - b*x. Is v a composite number?
False
Let j(x) = 327*x - 30. Let w be j(4). Suppose -d = 2*h + 2*d - 1264, -2*h + 4*d = -w. Is h a prime number?
False
Let j be 9/6*1*(-3484)/(-39). Let f = 67 - 112. Let y = f + j. Is y prime?
True
Let y(w) be the second derivative of 121*w**4/12 + w**3/6 + w**2/2 - w. Let a(v) = v**3 + 7*v**2 - 8*v - 1. Let f be a(-8). Is y(f) a composite number?
True
Is (2 + 4587/9)*3 prime?
False
Let j be 3*(-2)/(-18)*3. Let c(h) = -132*h**3 + 225*h**3 + 408*h**3. Is c(j) composite?
True
Let u(p) = 20*p**3 - 5*p**2 + 4*p - 4. Let r be u(4). Suppose r = 11*s - 5*s. Is s prime?
False
Let q be 8527/2 - 6/12*-1. Suppose 911 - q = -7*g. Is g composite?
False
Let k = -39 - -43. Suppose k*q = 2*q + 494. Is q prime?
False
Suppose 2*f + 72 = 