5 = 45*h. Is h a composite number?
False
Suppose 0 = -13*q + 72 + 123. Suppose 2 = -2*j, 0 = -5*k - 11*j + q*j + 9689. Is k prime?
False
Suppose 3*y = -y + 52. Let n = 7994 + -6167. Suppose -4*k = -y*k + n. Is k prime?
False
Let r(c) be the second derivative of 7*c**4/6 - 2*c**3/3 - 37*c**2/2 - 9*c. Let k be r(-7). Suppose 0 = -2*u - 5*f + k + 55, 5*u + f = 1853. Is u prime?
False
Is ((-42)/(-8) - (-2)/(-8)) + -1377 + 94419 composite?
False
Let n(p) be the second derivative of p**4/6 + 35*p**3/6 + 36*p**2 - 31*p. Is n(-25) prime?
False
Suppose -5*r = -10, 5*r - 1021583 = -3*i + 7*r. Is i a composite number?
True
Is (((-1078989)/9)/((-8)/(-6)))/((-228)/912) a composite number?
False
Let i(z) = -7424*z + 263. Is i(-3) prime?
False
Let c(i) = i**2 + 23*i - 2. Let t(g) = g**3 - 7*g**2 + 9*g - 18. Let z be t(5). Let f be c(z). Is 21351/44 + 2*f/16 a prime number?
False
Let x = 0 - -16. Is ((-502)/4)/((-8)/x) composite?
False
Suppose -5*t + 4*a = -9597, 7*t - a = 5*t + 3837. Is -134*1*t/(-54) a composite number?
True
Suppose 233582 = 16*d - 160962. Is d a prime number?
True
Suppose -2*m = 4*l - 4012014, 6*m = 2*m + 2*l + 8024018. Is m prime?
False
Let x = -60243 - -102800. Is x composite?
False
Let o = 3136 + -3132. Let g(u) = -366*u - 1. Let h be g(-4). Suppose 992 = o*t - 2*t + 2*j, h = 3*t - 2*j. Is t prime?
True
Let w be (6/5)/(1 + (-72)/75). Suppose 37*l - 7301 = w*l. Is l a composite number?
True
Suppose 19138 = -3*x - w - 12685, -2*x = 2*w + 21222. Let h = x - -18215. Is h a composite number?
True
Let m(n) = -n**3 + 2*n**2 - n + 560. Let y be m(0). Let l = y - 1155. Let x = -110 - l. Is x prime?
False
Suppose -74152*v = -74133*v - 518681. Is v a composite number?
False
Let o = -15 + 10. Let z(y) = y**2 + y - 8. Let w be z(3). Is (-381)/(o - (-8)/w) a prime number?
True
Let t = 560 + -1327. Let k = 41 + t. Let o = k + 1459. Is o a composite number?
False
Let y(k) = 2*k**3 - 21*k**2 + 25*k + 10. Let f be y(9). Is (-2045)/20*(f + -4) prime?
False
Is ((30/5)/(-6))/((-2)/(-4486396)*-2) prime?
True
Let m(b) = b + 6. Let v be m(-4). Suppose -8*r + v*r = -7698. Is r prime?
True
Let r be ((-2)/((-16)/26))/((-1)/32). Is (-2566824)/r - 2*-4 prime?
False
Suppose 6901496 = 3174*g - 3118*g. Is g a prime number?
False
Suppose -29*u + 25*u + p + 6290923 = 0, 0 = 2*p - 2. Is u a composite number?
False
Suppose 2*k - 3836 = 5*s + 71090, 0 = 2*k - 3*s - 74926. Is k composite?
False
Let n be (7/(-3))/(4/12). Let v be 7*(9 + -10 - 79/(-7)). Let k = v - n. Is k composite?
False
Suppose 0*p - 4*p + 2268 = 0. Let y(h) = 298*h + 4. Let l be y(1). Let z = p - l. Is z a prime number?
False
Let b be (-4)/(-24)*-4*-6. Suppose -b*i = -m - 267, 3*i + 3*m = -0*m + 189. Is ((-24)/(-18))/(1*4/i) prime?
False
Let u = -176 + 590. Let n = 4 - -1. Suppose 3*h = -n*i + 7 + 600, -2*h - i = -u. Is h a composite number?
True
Suppose 5*h + o - 3008 = 0, -3006 = -5*h - 2*o - 0*o. Suppose 400*x - 408*x + 12072 = 0. Let i = x - h. Is i composite?
False
Suppose 0 = x - 5*x + 4*g - 8, 0 = 5*g + 15. Is 2/(x + (-22)/(-4)) - -4507 composite?
True
Let t(w) = 3053*w**2 + 211*w - 3342. Is t(17) a prime number?
False
Is (1952/26)/((-162)/(-197073)) + 3/(-39) prime?
True
Let k = 95 + -95. Suppose -5*t + 2386 = -4*y - 411, k = 2*t - 2*y - 1120. Is t composite?
False
Suppose 0*q - 264 = 4*r - 2*q, 0 = 5*r + 5*q + 360. Let p = r - -75. Suppose -8032 - 3329 = -p*z. Is z a composite number?
True
Let m = -505 - -965. Let a(d) = -108*d + 4 - 130*d + m*d + 553*d. Is a(1) a composite number?
True
Let r = -22 - -29. Suppose r*s = 2*s + 3640. Let u = s + -435. Is u composite?
False
Suppose -1977*z + 792017 = -1974*z - 2*k, -4*z + 3*k = -1056022. Is z composite?
False
Let y be (-7 + 7)/(-2 + 3). Suppose 6*o - 31 + 1 = y. Suppose 1517 = -4*d + o*d. Is d a composite number?
True
Let j be (-116)/290 + (-1)/5*-25782. Suppose -2740 = -k + f, -j = -2*k - 3*f + 339. Is k a composite number?
True
Suppose 4*u = -5*w + 4895, 0 = -2*u + w - 5*w + 2440. Let p = 3329 - u. Is p composite?
False
Let w(s) = 1313*s - 810. Is w(127) composite?
False
Suppose -3*w = 3*t - 21, 5*w - 25 = 4*t - 7*t. Is (-103560)/(-330) + w/11 a composite number?
True
Let t = -59 - -41. Let j be (t/4 - -1) + 7/(-14). Let d(o) = 8*o**2 - 13. Is d(j) a prime number?
False
Suppose d - 21985 = 2*n, -d - 4*n + 21988 = -5*n. Is d prime?
True
Let o be (110/15 - 15/(-9))*121. Let n = o - -3772. Is n prime?
True
Suppose 0 = 2*s - 2*k - 55 - 309, -4*s + 729 = -3*k. Suppose -s*f + 160*f = -712793. Is f composite?
True
Let o(j) = -1 - 1 - 618*j**2 + 1939*j**2. Is o(-1) composite?
False
Suppose 8*f - 11 = 7*f. Let a be (-3)/(-6)*f*-2. Let n(j) = -26*j + 7. Is n(a) prime?
True
Suppose -5*v = -3*f - 16, -4*v - 3*f + 29 = -0*f. Suppose -v*y + 10440 = -y + 2*k, 3*k + 13039 = 5*y. Is y a prime number?
True
Suppose 0*x - 8534 = -2*x - d, -2*x + 8534 = -d. Is x prime?
False
Let q be ((-3)/6)/((-11)/22). Is -5*(2 + (-284 - 1/q)) prime?
False
Suppose 2*v - o = 50037, 0 = -4*v - o - 38195 + 138254. Suppose 5*y - v = -m, -4*m = -5*y + m + 25010. Is y composite?
False
Let f(h) = -5 + 435*h**2 - 112*h**2 - 110*h**2 - 6*h + 463*h**2. Is f(-1) composite?
False
Suppose -772913 - 246886 = -46*j + 1221827. Is j a composite number?
False
Let k(v) be the second derivative of 41*v**4/12 + 29*v**3/6 - 41*v**2/2 - 164*v. Is k(27) a prime number?
True
Suppose -15 = -i - 2. Suppose -6*c + 11 + i = 0. Is c/18 + (-31470)/(-54) prime?
False
Suppose -3*n + 14*n = 377957 + 2990474. Is n composite?
True
Let c = 9760 - 15804. Is ((-31)/62)/(2/c) prime?
True
Is 4 + 9 + -9 + 3 - -29214 prime?
True
Let u = -1269 + -2766. Let l = 244 - u. Is l a composite number?
True
Let v = 781 + -427. Suppose v = 2*x - 2*c, -5*c - 357 = 3*x - 5*x. Suppose -1240 + x = -8*p. Is p composite?
True
Let p be 6*(35/(-15))/(-7). Suppose 2*h + 6102 = 2*v - 1222, -p*v + 2 = 0. Is (-34)/(-153) - h/9 prime?
False
Suppose -106 = i - 3*i. Let j = i + -55. Is (-444)/(-2) + (2/(-1))/j prime?
True
Let i be 2 + (-9)/3 + (-57 - -2). Let w = i + 59. Suppose 931 = w*c + 2*f, 4*f = 4 + 16. Is c a prime number?
True
Suppose 5*h + 1571 = 4*n, 5*n - 677 = 5*h + 1288. Suppose 0 = 2*x - 3*s - n + 117, -146 = -x + 3*s. Is x prime?
True
Let s(p) = -91 + 404*p + 209*p + 28 + 30. Let v be s(24). Suppose 3*j - v = -1524. Is j a prime number?
False
Suppose 0 = 2*r + 8 - 58. Suppose 4*y + 15 = -r. Let q(z) = z + 16. Is q(y) prime?
False
Let q = -5 - -17. Suppose 0 = -7*m + 11*m + q. Is (-12736)/(-12) - m/(-9) prime?
True
Suppose 12*a + 4*a - 160 = 0. Let q(p) = p**3 + 3*p**2 + p + 8. Is q(a) a prime number?
False
Suppose -893 + 2358 = c. Let u = 13962 - c. Is u composite?
False
Suppose -f + 2682 = 3*l + f, 0 = -l + 3*f + 905. Suppose 0 = 2*t - l - 2052. Let c = t + -861. Is c a prime number?
True
Is ((-54)/24 + 4/2)*-1767692 a composite number?
False
Let x be 26/(-6) - -5 - 4/6. Suppose 0 = -x*a + a - 6. Suppose -497 = -v - a*v. Is v prime?
True
Suppose -32 = 45*f - 37*f. Is f/(-6) + (-2614)/12*-10 a composite number?
False
Let r = 150 - 149. Is 2/r - (4*-3278)/8 composite?
True
Let h = 142774 + 9483. Is h a composite number?
True
Suppose 0 = -8*d + 2*d + 228. Let z = 346 - d. Suppose 0*o - 4*o = -z. Is o a composite number?
True
Is 4 + 2 - 0 - (168 + -146060) a composite number?
True
Suppose 0 = -23*g + 189 - 28. Is 2/(-14) - (-151446)/g a composite number?
True
Let m be 4/(-5)*-10 - 4. Suppose 16124 = -0*d + m*d. Is d prime?
False
Let r = 106 - 86. Let y be 16114/(-4)*r/(-35). Is (y/6)/((-1)/(-3)) prime?
True
Suppose 576*h - 1508255 = 541*h. Is h a prime number?
True
Suppose -3*v + 2*f - 3666 + 13243 = 0, 2*f - 3203 = -v. Is v - (-64)/(1 + 7) a composite number?
False
Suppose 5*f = u + 20032, -12417 = -2*f + 5*u - 4395. Let s = -2694 + f. Let z = s + -797. Is z a prime number?
False
Let q(h) = -h**3 + 2*h**2 - 10*h + 11. Let p be q(3). Let g be (21/p)/(2/8) + 1. Is (-2 + 2 - g) + 2101/1 composite?
True
Suppose -2*w + 101 = -3*n - 30, 3*n + 323 = 5*w. Let y = -58 + w. Suppose 0 = 7*o - y*o - 1591. Is o a prime number?
False
Let s = -8 - -19. Suppose -j + 127812 = s*j. Is j composite?
False
Suppose 0 = -2*h + 4, -2*h + 17722 = 5*k - 6*h. Suppose -3*a - 2*i + 10655 = 0, 3*i = -a + 8*i + k. Is a a composite number?
True
Suppose 136*s - 6557