Is n composite?
False
Suppose 0 = 6*r + r - 1197. Let y be (-4)/(-18) + (-38)/r. Suppose -2*l + 4007 = 3*g, y = 3*g + 3*l - 1408 - 2597. Is g composite?
True
Let o be (-61937)/(-2)*(0 - (5 - 9)). Suppose -29748 = -14*z + o. Is z a prime number?
True
Suppose 10*h = 104913 + 230664 + 133753. Is h a prime number?
True
Let r(h) = 3574*h**3 - h**2 + 2. Suppose -27*q = -29*q + 4. Let p be r(q). Suppose 0 = -3*u + 9*u - p. Is u a composite number?
True
Suppose -38*j - 58*j = -313667 - 2141725. Is j prime?
True
Suppose 0 = -4*w - 12, -7*w = -r - 2*w + 65. Let t = -102 + r. Let m = t - -75. Is m a composite number?
False
Is ((-27383760)/(-1800))/(4/10) a composite number?
True
Suppose 3*m = 4*g + 277, 3*m + 5*g - 2*g - 270 = 0. Let w = m + -73. Is (-113)/(-1)*18/w a composite number?
False
Let w = 113506 + -67267. Is w a prime number?
False
Let f(l) = 43*l - 783. Let n be f(25). Suppose 2*q - r = 245, -4*q + 7*r - 3*r = -496. Let o = n + q. Is o a composite number?
True
Let v = -18 + 26. Let n(o) = 22*o**2 - 9*o + 25. Is n(v) a composite number?
False
Let b(s) = s**2 + 4*s - 10. Let d be b(-6). Suppose -6*y + 54 = -d*y - 2*t, 0 = -2*y + 3*t + 21. Suppose y*k = 7*k + 6280. Is k prime?
False
Let t(v) = 159*v - 30. Let g(n) be the third derivative of 53*n**4/8 - 29*n**3/6 + 25*n**2. Let s(u) = 2*g(u) - 3*t(u). Is s(-7) a composite number?
True
Let a(d) = 115*d - 10. Suppose 6*f - 12 = -0. Suppose 3*o = -4*j + 56, -2*o - f*o + 49 = 3*j. Is a(j) a composite number?
True
Let a = 119 + -117. Let u(k) = -9*k**2 + k**2 + 4*k + 20*k**2 - 1 + 19*k**a. Is u(-6) composite?
False
Let l(z) = 1757*z**2 - 17*z - 7. Let b(p) be the first derivative of 1171*p**3/3 - 11*p**2/2 - 5*p + 18. Let o(i) = 8*b(i) - 5*l(i). Is o(-2) composite?
False
Let u = 289 - 275. Let s(l) = 9*l**3 - 8*l**2 - l - 15. Is s(u) a composite number?
False
Let o(i) = 61 + 154 - 4099*i + 18*i - 315*i. Is o(-9) a prime number?
True
Suppose 2*r - 679760 = z - 1799703, -z - 4*r + 1119901 = 0. Is z prime?
False
Is (-1043920112)/(-1008) + 2/(-63) composite?
True
Suppose 21*g = -12*g + 1396527. Is g prime?
False
Let v = 2499 - 536. Suppose -4*w + k = -1262, 5*w + 380 = 4*k + v. Suppose c - w - 694 = 0. Is c prime?
True
Let q = -172 + 252. Suppose 12*p - q = -8*p. Suppose 0 = 3*o + p + 2, 3*o = -2*w + 24104. Is w a prime number?
False
Let g(m) = -2*m**2 - 16*m + 23*m**2 - 6*m**3 + 1415 - 1412. Is g(-10) composite?
False
Suppose 3*d + c - 273991 = 0, 175*c - 177*c + 365320 = 4*d. Is d a prime number?
True
Let r be 19/5 - 16/20. Suppose 2*y - 6 = -c + 6*y, -r = -2*c - y. Suppose -4*f + 894 = c*f. Is f a composite number?
False
Is 11*32/(-176)*-82129 a composite number?
True
Suppose 171213 = 82*y - 3648160 + 580619. Is y prime?
False
Suppose -4*k + 17 = -k + 2*p, 5 = 5*p. Suppose k*y = -4*t + 6937, 0 = -7*y + 2*y - 3*t + 6934. Is y a prime number?
False
Let p = -532 + 367. Let d = 416 + p. Is d composite?
False
Let g = 7492 + -4233. Is g prime?
True
Suppose -4*g = -b - 18, g - 2*b - 9 = -4*b. Let l(n) = -n**3 + 4*n**2 + 8*n - 12. Let x be l(g). Let t(q) = 61*q**3 + 2*q**2 + 8. Is t(x) a composite number?
True
Let g(p) = 1603*p**2 + 47*p + 255. Is g(-11) composite?
True
Let h(p) = 785*p. Let j = 133 - 130. Suppose -5 = -4*l - x, -3 = 4*l - j*l - 4*x. Is h(l) a prime number?
False
Let g be -6 - -2 - -148*(4 + 457). Let w = 133 + -213. Is 1 - (-4)/(-5) - g/w a prime number?
True
Suppose 155*d - 149*d = 5291778. Is d prime?
True
Let h = -3 + 5. Suppose -h*o + 6 = -2. Suppose 0 = 5*d - o*m - 3677, 4*d + d - 3695 = -5*m. Is d composite?
True
Let d(s) = 23*s**3 - 4*s**2 - 24*s - 3. Let j be d(-6). Is (-7 - -13) + j/(-3) prime?
True
Suppose 57*k - 6153639 = -45*k - 1786917. Is k a composite number?
True
Let b = 118890 + 253607. Is b a composite number?
False
Let a(d) = -235*d + 206. Let w be a(-11). Suppose 0 = 3*g - 5*u - 13641, -u - w - 1756 = -g. Is g prime?
True
Suppose 3*l - 46587 = -4*k, 2*l + 36*k - 42*k - 31058 = 0. Is l composite?
True
Suppose -187*c = -176*c - 641399. Is c a prime number?
True
Suppose 62*r - 68*r + 49698 = 0. Let v = 16337 - r. Is v a prime number?
False
Let u = 34 + -42. Let s(t) = -t**3 - 13*t**2 + 4*t - 23. Let b be s(u). Let z = b - -536. Is z a composite number?
True
Suppose 922*j - 33715 = -y + 919*j, 2*y - 2*j - 67398 = 0. Is y a prime number?
True
Suppose -105*v = 121*v - 9766138. Is v a composite number?
True
Let j = -7282 - -13916. Let c = j + -1165. Is c a prime number?
False
Let t(c) = 248*c**2 - 74*c - 25. Is t(-8) composite?
True
Let z(t) = 30 - t**2 + 2*t**2 - 11*t - 2*t + 0*t**2. Let p be z(13). Let d = p + 221. Is d composite?
False
Suppose y + 1 = 4. Suppose g + 2*u - 13743 = 0, -5*u - 1912 - 39361 = -y*g. Is g a composite number?
False
Suppose -4*g - y = 2*y - 26, -2*y - 44 = -5*g. Is 14*4/g*937 prime?
False
Let o(j) = 198*j**3 - 2*j**2 - j - 2. Let v be o(-2). Let u = -72 - 613. Let b = u - v. Is b a prime number?
True
Suppose -3*d - 4*l + 24 = -0, -3*d - 2*l + 18 = 0. Let t be -1*(-66)/(-110) - 56/(-10). Suppose 5*o = -d*x + 2686, 5*x + 1023 - 4383 = -t*o. Is x prime?
False
Suppose 5*s = -2*z + 180741, 2*s - 5*z = -6*z + 72295. Is s composite?
False
Suppose 28711 + 15533 = -3*t. Is (t/(-18))/(6/9) composite?
False
Let r(w) = -6308*w + 2891. Is r(-42) a composite number?
True
Suppose -4*f + 8 = -2*x, -3*x + 2*x - 4 = 0. Suppose m + f*m = 5. Suppose -m*b = -5*w - 8805, -2*b + 8773 = 3*b + 3*w. Is b a composite number?
True
Is -3552057*(440/(-180))/22 a composite number?
False
Suppose -63 + 0 = -3*o. Suppose 6*t = -t + o. Is (628/(-6))/((-2)/t) a composite number?
False
Suppose 0 = 3*u + 2*c - 88155, -u + 3*c + 88140 = 2*u. Is u a prime number?
True
Let a be 4/(-10) - 2/((-30)/(-2469)). Let y be (12/10)/((-22)/a). Is (-2)/y - 20/(-90) - -443 prime?
True
Suppose 0*g + g = -958. Let f = 1692 - 267. Let l = g + f. Is l prime?
True
Suppose -15*w + 20 = -55. Suppose -2*z - 4*a = -750, 5*a + 382 = -0*z + z. Suppose 2*c + z = p, 3*p - w*c - 1345 = -214. Is p a composite number?
True
Suppose a + 4*t - 14711 = 0, 0 = 7*t - 12*t + 30. Is a prime?
False
Suppose 9*y - 35644 = 28*y. Let p = 1243 - y. Is p a prime number?
True
Let j = 16 - -103. Suppose r + j = 123. Suppose 3*m + 5576 = r*q, -4*m + 9 = -7. Is q prime?
False
Suppose -2085 = 5*s - 8*s + 5*k, -2*s + k = -1390. Suppose w + 1953 = -s. Let p = w + 6963. Is p a composite number?
True
Suppose -456*q = -451*q + 5. Is (-1 - (q + 142))*(-644)/56 a prime number?
False
Let s(w) = 3*w**3 - 72*w**2 - 28*w - 51. Is s(60) a composite number?
True
Let o = 42 + -25. Suppose o*k - 3 = 20*k. Is (677 - 3)*k*(-1)/2 prime?
True
Let m(a) be the first derivative of 43*a**3/3 + a**2 - 34*a + 143. Is m(-11) composite?
False
Let h = -7713 + 57020. Is h a prime number?
True
Suppose 4*j - 1388 = 3*j. Let t be (1*(2/(-2) + -2))/(-1). Suppose t*u - j = -u. Is u a prime number?
True
Suppose -4*l - 89709 = -j, 5*j - 22*l = -24*l + 448391. Is j a prime number?
True
Suppose -4*s + 142 = -s + 2*m, -5*s - 4*m + 234 = 0. Suppose -49*d - 919 = -s*d. Is d prime?
True
Suppose 5*p - 196 = -46. Let c = -39 + p. Is (-165)/9*-2 + (-3)/c composite?
False
Suppose 0 = 2*x - b + 5, 0 = 4*x - 3*b + 9 + 4. Is x*(-6 - (-5 + 9648)) a prime number?
True
Let q be 2604/155 + (-1)/(-5). Let p(a) = -a**3 + 23*a**2 - 7*a + 42. Is p(q) prime?
True
Is (-2)/(10 - 88892/8889) prime?
False
Suppose 3*c = o - 92134 + 25244, 0 = 5*o + 5*c - 334390. Is o composite?
True
Let j be 35/(-1)*((-2)/7 + 0). Suppose -j*s + 333 = -3457. Is s a composite number?
False
Suppose -13*c + 2*c - 88 = 0. Let v be (4/c)/(2/(-52)). Is (26/v)/(0 + (-4)/(-2218)) a composite number?
False
Suppose 4*t - 122994 = -5*p + 134691, -3*p = -4*t - 154579. Is p a composite number?
True
Let p be 56/14*30/8. Suppose -11*n + p*n = 68588. Is n a prime number?
False
Suppose -p + 11*p = 649026 + 1888204. Is p composite?
True
Suppose 33 = 19*v - 16*v. Suppose v = -2*g - 3*q + 31, -3*g + 4*q + 30 = 0. Suppose 12*s = g*s + 1174. Is s prime?
True
Let c(g) be the second derivative of -3*g**5/10 - 5*g**4/4 + g**3/6 + 91*g**2/2 + 99*g. Is c(-12) a composite number?
False
Let t(n) = -7*n**2 + 3*n + 2. Let d(j) = 8*j**2 - 2*j - 3. Let s(q) = -5*d(q) - 6*t(q). Let v be s(4). Suppose 1 - v = o, 3*b - 53 = -5*o. Is b prime?
False
L