a prime number?
True
Let r(t) = -2*t**2 - 25*t - 9. Let y be r(-12). Suppose -y*x + j = -1550, 6*j = -5*x + 5*j + 2586. Is x prime?
False
Let j = -691233 + 1513346. Is j composite?
False
Let q = -17596 - -26690. Is q a composite number?
True
Let b(q) = -31*q**3 + 3*q**2 - 2*q. Let n be b(2). Suppose -3*a + 4*a = -5*c + 453, 0 = c - 2. Let y = n + a. Is y a prime number?
False
Suppose -3*o - 2*y = -22594, -5*y = -4*o + 16826 + 13307. Suppose -3*r = 4*z - o, -r + 7532 = 4*z + r. Is z prime?
False
Let b(v) = v**2 - 14*v. Let h be b(14). Suppose h = 16*s - 7*s - 3339. Is s composite?
True
Suppose 5*r = 7156 + 10314. Suppose -19*l - r = -21*l. Is l a composite number?
False
Suppose -1095*q + 1100*q = 140. Is q + 3678 + -2 + 5 a prime number?
True
Let h(v) = -121*v**3 - 11*v**2 - 27*v - 3. Let z be h(-3). Suppose -z = -30*w + 24*w. Is w a composite number?
False
Suppose 0 = 4*q + 8, 5*c - 660951 = 34*q - 36*q. Is c a prime number?
False
Let w = 658015 - 307856. Is w prime?
True
Let l be (-3 - 1)*(-234 + -4 + 1). Let b = 385 + l. Is b a composite number?
True
Suppose -3*z = -8 - 1. Let n be 1*(-6)/(-8) - (-9)/72*46546. Suppose y - z*o = 1166, -3*y + 4*o + n = 2*y. Is y composite?
False
Suppose 0 = -141*z + 128*z + 36257. Is z composite?
False
Let q(n) = -26*n**3 + n**2 - 29*n + 4. Let v be q(-6). Suppose 19*i = 29*i - v. Is i a prime number?
False
Is (-349747)/(-5) - (-29)/((-1015)/14) a prime number?
False
Let c(t) = 4031*t**2 - 129*t - 1195. Is c(-9) prime?
False
Suppose 27577 = -2203*x + 2226*x. Is x prime?
False
Let s = -153 - -165. Suppose s*p = 28*p - 152368. Is p a prime number?
False
Suppose 0 = 5*p + 4*i - 697933, 0 = -5*p + 140*i - 135*i + 697960. Is p a composite number?
False
Let i be (-19)/((-19)/6)*(-136)/6. Let c = 699 + i. Is c a composite number?
False
Is (-18)/(-15) + (-145)/(-25) + 11658 composite?
True
Suppose -5*s + 0*s + 50 = 0. Suppose 3*a = 4*r + 40, r - 4*a + 5*a = -s. Is 743/((r/15)/((-2)/3)) a prime number?
True
Let f(o) = 17*o**3 - 22*o**2 - o + 233. Is f(22) a composite number?
False
Let c(n) = -9*n - 317. Let y be c(-34). Is 83775/35 - (-1 + y/(-7)) a composite number?
False
Let m(t) = t**3 + 13*t**2 - 5*t - 43. Let v be m(-13). Suppose j - 76751 = -v*j. Is j prime?
False
Let p(v) be the second derivative of 19*v**4/12 + 7*v**3/6 - 23*v**2/2 + 5*v - 33. Is p(6) a composite number?
True
Let a be 3*((-2472)/(-9) + 1). Suppose b + 144 = a. Is b prime?
True
Let f = -28 - -38. Suppose 0 = 4*x + f - 30. Suppose -x*g + 1132 = 3*b, 4*b - g = g + 1518. Is b a composite number?
False
Let h = -25 - -13. Let o be (-24)/(-13) + h/(-78). Suppose -g = o*v - 506, -3*v = 5*g - g - 769. Is v composite?
False
Let y(h) = 2*h**2 - 4*h - 17. Let c be (13 - 16)/(1/(-2)). Let g be c/36 + (-94)/(-12). Is y(g) a prime number?
True
Let o = -37 - -36. Let d = -9 - o. Let n = d - -30. Is n a composite number?
True
Let i(b) = b - 7. Let k(n) = 45*n - 16. Let p(o) = -5*i(o) + k(o). Let g = -12 - -24. Is p(g) prime?
True
Let n be (1 - (4 - 3))*-1 + 1. Let c(k) be the third derivative of 15*k**5/2 - k**4/8 - 2*k**2. Is c(n) composite?
True
Suppose 5*v + 2*q - 12 = 0, -3*q = -4*v + 7*v - 9. Suppose -v*s + 48 = 4*s. Let n(g) = 21*g**2 + 7*g - 3. Is n(s) a composite number?
True
Let p be 6/21*(-5 + 12). Let t be (-3)/6 - ((-29652)/8 + p). Let c = t + -1803. Is c a composite number?
False
Let v(z) = 47*z**2 + 25*z - 25. Let p be 15 + -11 - (-14 - -2). Is v(p) a composite number?
True
Let s = 3756 + 466. Is s composite?
True
Suppose 0 = 1259*g - 1243*g - 6939632. Is g composite?
True
Let g = 38 + -35. Suppose -17 = -4*n - 1, 0 = 5*l - g*n - 263. Suppose t = l + 42. Is t a prime number?
True
Suppose -210856 + 2732538 = 133*j - 1993269. Is j a prime number?
False
Let h = -542 + 541. Is h*((-3 - 7067) + 2/2) a prime number?
True
Let o(v) = v**2 + 9*v. Let u be o(-5). Let h be (-9 + 10)/(0/5 + 1). Is (u/15 - h)*-489 a prime number?
False
Let s(j) = 3*j**2 - 4*j + 5. Let g be s(-3). Let n = g - 41. Is 1 + (-251)/(-3) + 1/n a composite number?
True
Suppose 21*u + 3*v = 18*u + 3252, 0 = -2*u + 4*v + 2186. Let a = 2370 + u. Is a a prime number?
True
Suppose 0 = -44*n + 826580 + 262904. Is n a composite number?
True
Let u(o) = -o**2 + o - 2. Suppose -j + 4*j = 0. Let w be u(j). Is (-1768)/(-24) - w/6 a prime number?
False
Suppose -388*l = -409*l + 273. Is l - 8 - (-1 + -8945) a composite number?
False
Suppose 2 = -u + 4. Suppose -4*i = -n + 323, -647 + 7 = -u*n + 2*i. Is n prime?
False
Let b be (-60)/(-18) + 8/12. Let w be (b/(-22) - (-1240)/44)/2. Is (2/3*-39)/(w/(-469)) prime?
False
Let q(c) = 41*c**2 + c + 3. Let s be q(6). Suppose 617 = 3*f - 2*a - 1377, 4*a + 648 = f. Let r = s + f. Is r prime?
True
Let o(k) = 2*k - 4*k**3 + 3*k + 3*k**3 + 5*k - 17 + 4*k**2. Let j be o(5). Suppose -j*h = -2461 - 5179. Is h composite?
True
Let d(p) = -162*p**2 + p. Let i be d(-1). Suppose 6*a + 1071 = -669. Let u = i - a. Is u composite?
False
Let f(z) = -3*z - 8. Let u be f(-4). Suppose 0 = 3*v + 6, -u*v - 1 = 3*t + 1. Suppose 2*r - t*y = y + 1276, -r + 3*y + 641 = 0. Is r composite?
True
Let a = -146254 + 292831. Is a a prime number?
False
Suppose -2*h - 2*h + 2644 = 0. Let a be (-52)/(122/(-40) - -3). Let n = a - h. Is n prime?
True
Let i be 46/11 + (-256)/(-44) + -6. Suppose -i*g + 21688 = -5*h + 1139, 4*h = -g + 5111. Is g composite?
True
Suppose -240362 = -5*m - p, -43*m + 39*m - 2*p = -192286. Is m a composite number?
False
Let q be (2/7 - 73/35)*5. Let m be (q/6)/3*-6. Suppose -3*j = m*j - 4794. Is j prime?
False
Let i(o) = 123*o - 11. Let j be i(15). Suppose s = 5*t + j, 635 + 3019 = 2*s + 4*t. Is s a prime number?
False
Let r(y) = 69*y**2 - 3*y + 21. Let n be r(-4). Suppose 0 = -4*d + 3*o + 1015 + n, 4*d - 2156 = 2*o. Is d composite?
False
Let u = 4398 - 1009. Is u a composite number?
False
Let c be 800/6*(-378)/105. Is 39373/10 + 144/c a prime number?
False
Let i(v) be the second derivative of v**5/20 - 13*v**4/12 - 7*v**3/2 - 21*v**2/2 - 14*v. Let w be i(11). Let r = 921 + w. Is r prime?
False
Suppose -29 = -4*i - 53. Let g(r) = -88*r**3 + 9*r**2 + 3*r - 25. Is g(i) a composite number?
False
Suppose -4*y - m = -46, -13 = -y - 3*m + 4. Is y/((-66)/31446)*(-4)/6 a composite number?
True
Suppose -3*g + 6 + 3 = 2*n, -5*g + 3*n + 34 = 0. Let q(d) = 26*d**2 - 14*d - 13. Let s be q(11). Suppose g*f - s = -4*f. Is f a prime number?
True
Suppose 20 = o + o + j, 2*j = -2*o + 22. Suppose -o*v = -12*v + 9072. Suppose -v - 9603 = -9*z. Is z a prime number?
False
Let t(z) = -5*z**3 + 0 + 8*z + 4*z**3 + 4*z**3 - 17*z**2 + 9. Let r(c) = -16*c**3 + 84*c**2 - 41*c - 46. Let p(n) = -2*r(n) - 11*t(n). Is p(17) prime?
False
Let s = 303418 + 62775. Is s composite?
False
Let o(a) = 174*a**3 + 5*a**2 + a + 10. Let d be o(5). Let v = d + -9883. Is v a composite number?
False
Suppose -23*s = -24*s + 21. Suppose -4*i + s = -3. Let m(l) = 5*l**3 - 5*l**2 + 6*l + 7. Is m(i) prime?
False
Is (-7)/(-4)*(-9 - (1 + -6)) - -1080 composite?
True
Let l = 37570 + -5613. Is l composite?
False
Let w be (-1667)/(-1) - (-3)/(18/(-6)). Suppose 0 = -5*g + f + 1002 + 676, 5*g - w = -3*f. Is g prime?
False
Suppose 2*o - 240 = -6*o. Let m be 746/o + (-2)/(-15). Suppose 1599 = -22*i + m*i. Is i prime?
False
Let u = 93334 + -7227. Is u prime?
False
Suppose 4*g - 3*g = v - 560526, 4*g = 20. Is v prime?
True
Suppose 807 = -7*m + 7443. Let p be -4 + m + (0 - 4). Suppose 5*a = 2*s + 10447 - p, -1897 = -a - 4*s. Is a composite?
False
Let g be (-2)/((-63)/12 - -5). Suppose g*z + 17 = -15. Is (-1315)/(-10)*1*10 - z composite?
False
Suppose 0 = 209*g - 206*g - 543. Suppose 180*f - g*f = -1915. Is f a prime number?
False
Let h = -53 + 49. Is (6/(-9)*-3)/(h/(-3790)) a prime number?
False
Suppose -h - 32*h + 14333021 = 50*h. Is h a prime number?
True
Let p(t) = 5*t**2 - 60*t - 1104. Is p(-43) prime?
False
Let q = -612 + 407. Let u = 2176 + -2130. Let t = u - q. Is t a composite number?
False
Let a be ((-2)/1 - -5) + (-18)/(-9). Suppose -a*b + 3*p = -3236, -3*b + p = -p - 1941. Is b a prime number?
False
Let m = 692696 + -381576. Is ((-3)/(-4))/(30/m) a prime number?
False
Let m(o) = -1695*o**2 - 2*o - 10. Let x(y) = -3*y + 10. Let a be x(5). Let r(t) = 1130*t**2 + t + 7. Let i(n) = a*m(n) - 7*r(n). Is i(-1) a composite nu