= 12609 + -7840. Is x prime?
False
Suppose -3*p - 3*g + 9 = 0, g = 5*p - 12 - 3. Let c = 1 + p. Suppose -c*t + 36 = -96. Is t composite?
True
Let r(t) = -t**3 + 16*t**2 + 16*t - 7. Let z be r(17). Let o = z + 31. Let q(f) = 116*f - 9. Is q(o) a composite number?
True
Suppose 35853 + 29608 = 11*j. Is j prime?
False
Let j be 715/26*(-4)/(-5). Let x be (8/10)/(j/605). Is ((-55)/x)/(2/(-12)) a prime number?
False
Suppose 0 = 21*j - 24*j - 5*a + 1237, -2*j + a = -816. Is j composite?
False
Suppose -m = -2*j - 37, 10 = -j + m - 6. Suppose 146 = 2*q + 2*p, -2*q + 4*p = 2*p - 150. Let b = q + j. Is b composite?
False
Is 98656/(-80)*(-10)/4 a prime number?
True
Suppose -2*p - 3*h = -17, 4*p - 27 = 2*p - 5*h. Is 0 - p - 19620/(-9) a prime number?
True
Let g(l) = 2*l**2 - 4*l - 1. Let s be g(3). Suppose f + 1769 = s*x - 414, 3*x - 1307 = 2*f. Is x composite?
True
Suppose 0*s - 2*s + 36401 = -i, -36395 = -2*s - i. Is s a composite number?
False
Suppose 3*a = -d, d + 3 = -2*a + 2. Is 3*(a - (-4670)/15) a composite number?
False
Let u(b) = -b**2 + 26*b - 33. Is u(18) composite?
True
Let z(h) = 270*h**2 - 27*h + 92. Is z(9) a prime number?
False
Let j = -6 + 8. Suppose -j*x + 978 = -x. Suppose 0 = 5*u - 2433 + x. Is u prime?
False
Let o(v) = 9 - 3 + 5*v**2 + 3 - 4*v - 6*v**2. Let t be o(-6). Is 1968/6 - (2 + t) a composite number?
True
Suppose d + 4*p + 0 + 1 = 0, 3*p + 3 = 0. Suppose d*a + 15 = 6*a. Suppose a*o = -9 + 424. Is o a prime number?
True
Suppose -w + 5150 = -2*k, -101*k + 102*k = -3*w + 15478. Is w a composite number?
True
Suppose 2*c - 11005 - 8305 = 0. Is c prime?
False
Let l = -1120 + 3401. Is l a prime number?
True
Let f = -9487 - -21026. Is f composite?
True
Let y be (18/6)/(-1*(-1)/4). Is (7/(-8))/(y/6576)*-2 prime?
False
Suppose y + 3*g = 2, g - 1 - 3 = -y. Suppose -3*j + 3*w + 9 = 0, 3*w + 4 = y*j - 13. Is (-8)/j*(-47)/2 prime?
True
Let d(y) = 6*y**2 - 8*y + 9. Let x be d(-7). Let f = 818 - x. Suppose f - 1919 = -4*k. Is k a prime number?
False
Let n be 2/(6/(-2) - 15/(-6)). Is (-22944)/(-60) - (n/(-5))/2 a prime number?
False
Suppose -5*b - 3*n = 48, -3*n - n + 76 = -5*b. Let q = b - -15. Suppose -6*k - q*c + 105 = -k, 0 = 5*c. Is k composite?
True
Let d = 17855 - 12354. Is d/((-3)/(-5) - 6/(-15)) prime?
True
Suppose -5 = 2*r + 5*o - 59, -o = -4. Let a = r - 8. Suppose -2*x - a = -615. Is x composite?
True
Let a = -120 - -78. Let x be 120*(a/10 + 3). Let h = 149 - x. Is h a composite number?
False
Suppose -43262 = -2*k + 48150. Is k composite?
True
Suppose -4*c + 3*c + 5 = 0. Suppose c*a = -4*f + 6311, -3499 - 1549 = -4*a - 3*f. Is a a prime number?
True
Let u be 44/(-14) - (-2)/14. Let w be 3 + u/(12/20). Is (2/w + 2)*223 a composite number?
False
Suppose 4*k + 5*x = -666, 5*k - 5*x + 382 = -428. Is k/((-9)/6*8/6) a composite number?
True
Suppose -3019 = -2*y - t, -y + 3*t = 705 - 2225. Is y a prime number?
True
Let d = 6361 - -42648. Is d a prime number?
True
Let g(v) = -5*v - 23. Let t be g(-5). Suppose -b + t*b = 254. Is b a prime number?
False
Let z be 56*(2/3 + (-8)/(-24)). Suppose -5*r - z = -451. Is r prime?
True
Let c(r) = r**3 - 6*r**2 + 2. Let z be c(6). Let p(a) = 278*a**2 - a + 1. Is p(z) prime?
False
Suppose 5*u - 2*l - 18913 = 0, -u - 3*l + 3992 = 223. Let s = u - 2343. Is s prime?
False
Let j = -3634 + 6647. Suppose 6*v = j + 3221. Is v prime?
True
Suppose -5*b = -0*i + 2*i - 212, 356 = 3*i - 2*b. Suppose i = -4*c + 948. Suppose 3*l - c = -j, 2*j = -3*j + l + 1024. Is j a prime number?
False
Let z(p) = 25*p. Let m be z(14). Let k = m + -93. Is k prime?
True
Let m(u) = -2*u**3 + 31*u**2 - 111*u - 31. Is m(-26) a prime number?
True
Let x = -20554 + 32639. Is x a prime number?
False
Is (-4)/(-18) + 16/(-72) - -3979 a composite number?
True
Suppose 0 = -14*m + 129787 - 40509. Is m prime?
False
Let d(i) be the second derivative of 29*i**3/2 - 4*i**2 - 22*i. Is d(1) a composite number?
False
Let c be 81/99 - (-4)/22. Suppose 3*z - 2 = -2*u, 0 = -3*z + 3*u + c - 19. Is 1/z*(-420 - 2) prime?
True
Let l(u) = 758*u + 19. Let b be (72/(-40))/((-3)/10). Is l(b) prime?
True
Let x = -582 - -3359. Is x a composite number?
False
Let t = -1619 - -9507. Suppose 12*p - t = 9404. Is p a composite number?
True
Suppose -v + 5*s + 0*s = -1548, 2*v - 3081 = -5*s. Is v a prime number?
True
Suppose -4*r + 14 + 6 = 0. Suppose -5*u - 4*h + h + 2647 = 0, r*u - 2*h = 2627. Is u a composite number?
True
Suppose y = h - 32118, -y + 33911 - 130263 = -3*h. Is h a prime number?
True
Let h(y) = 2447*y + 118. Is h(11) composite?
True
Suppose 0 = -3*h + 18763 + 17528. Is h composite?
False
Let p = 1419 + -911. Suppose 0 = 4*x - 0*x - p. Is x prime?
True
Let o(j) be the second derivative of 61*j**5/20 - j**4/12 + j**3/3 - j**2/2 - j. Suppose -5*t + 2*v = 0, t - 3*v = 2*t - 17. Is o(t) a composite number?
False
Let c = 7585 + -3582. Is c composite?
False
Is (-1042)/((9/6)/((-21)/28)) composite?
False
Let q = -9143 + 24046. Is q prime?
False
Suppose 5*o + 3*m + 33 = -72, o - 5*m = 7. Let u be 7 - 1 - o/(-9). Suppose -2*p + 142 = -u*w, 5*p - 3*w = w + 343. Is p prime?
True
Let c(x) = -129*x**3 + 13*x + 83. Is c(-4) a composite number?
False
Suppose 0 = 35*u - 13*u - 259468. Is u a composite number?
True
Suppose -3*x + 54 = 5*m, 4*x = -x - m + 90. Is x - 16 - 378/(-2) a composite number?
False
Suppose -p + 5*c = 22, 3*p + 2*c - 1 = 18. Is p + -4 + 644 - 2 composite?
False
Suppose 0 = -x + 5*x + 2304. Let a = 1271 + x. Is a a composite number?
True
Let o(v) = v - 10. Let x be o(7). Let f be (-1)/(x - 312/(-105)). Suppose -f = -0*q - q. Is q composite?
True
Is (5578/(-8))/(7/(-56)) + 1 a composite number?
True
Suppose 23*n = -5*x + 26*n + 10865, 3*n - 10865 = -5*x. Is x composite?
True
Let h(p) = p**3 - 18*p**2 + 18*p - 16. Let f be h(17). Suppose -n = -30 - f. Is n a composite number?
False
Let s be -2 + (-1 + -1)*-2. Suppose 1599 = w + s*u, 1580 = 4*w - 4*u - 4804. Is w a composite number?
False
Let o be (663/(-12))/(1/4). Let j = o - -412. Is j prime?
True
Suppose v = 4340 + 2049. Is v a prime number?
True
Let d be (-3424)/40*(-6 - -1). Suppose -b + h + d = -2*h, -b + 416 = h. Is b a prime number?
True
Suppose q + 10*q = 0. Let j(d) = -d**3 + 7*d**2 - 5*d + 3. Let i be j(3). Suppose -f + i + 211 = q. Is f prime?
False
Suppose 7*d = 2*d + 30. Suppose -o - 10 = -d*o. Suppose o*q = -s + 137, 4*s - 91 - 256 = -5*q. Is q a composite number?
False
Let o = -2573 - -3865. Let z = o - 373. Is z a prime number?
True
Suppose 4049 = -10*i + 10309. Is i a prime number?
False
Let o(n) = 51*n**3 + n**2 - 3*n + 3. Let k be o(4). Suppose 4*x + k = 5*p, 0*p - 3*p + 2*x = -1963. Is p composite?
True
Let i be 1*(2 + (-2)/(-1)). Let h be -2 - -59 - (i + -4). Let c = h + -36. Is c a composite number?
True
Suppose 0 = q - 0*q - 3*g - 11, -3*q - g + 13 = 0. Suppose -560 = -q*o - c, 8*o = 3*o - 2*c + 555. Is o prime?
True
Let f be ((-2)/(-12)*9)/((-2)/12). Is (-4)/6 - (2 + 4677/f) a composite number?
True
Let x be (-72)/10*(-90)/12. Let u = 90 - x. Is 12/u - 356/(-3) a composite number?
True
Let f = 8 + -5. Suppose -8*l + f*l + 5*o = -20, -2*l + 20 = -5*o. Suppose l = -13*y + 4*y + 2637. Is y prime?
True
Let f be (0 + -2)/(-11 + 9). Let p be (831/(-9))/(f/(-15)). Suppose -4*g + p = g. Is g composite?
False
Let d(c) = -c**3 - 18*c**2 - 2*c - 20. Suppose -4*u - 5*t = 76, 3*t = 7*t. Is d(u) a composite number?
False
Let b be 99*(40/12 + 0). Let d = b + -188. Is (d/6)/((-2)/(-18)) a prime number?
False
Let c be ((-4)/(-3))/(8/12). Let s = c + 0. Suppose 162 = 4*h + 3*p, h - 45 = -p - s*p. Is h a prime number?
False
Let w(r) = -r**2 - 37*r - 34. Let y be w(-16). Suppose 0 = -2*z + y + 636. Is z a prime number?
False
Let x(k) = 1264*k - 1264*k + 757*k**2. Is x(1) a prime number?
True
Suppose 0 = -m - 3*k + 32, 36 = 2*m - 5*k + 4*k. Let j be 52/m - 6/(-15). Suppose -j*z = -42 - 219. Is z a prime number?
False
Let q = -12 + 11. Is q/(-5) - 19092/(-15) prime?
False
Suppose 5*v = 281 - 71. Is ((-508)/6)/((-4)/v) a prime number?
False
Let n = -537744 - -761443. Is n composite?
True
Let s(u) = 3*u**3 - u**2 - 2*u + 2. Let j be s(1). Is j/6*(20 + 5899) a prime number?
True
Suppose 8 + 6 = 4*r + 5*t, -3*r + t + 1 = 0. Let d be (3/6)/(r/(-298)). Let s = d - -306. Is s a composite number?
False
Let