*c - 4667. Is p(58) prime?
True
Is 157613 - (-5 - 9 - 0) a composite number?
False
Let r(t) = 2180*t**2 - 95*t - 58. Is r(-23) a prime number?
False
Is (-4)/11 - 2173933264/(-5104) a prime number?
False
Let s = 15 + -12. Let u be 1/(s*2/24). Is (0 + -2342)/(3*u/(-6)) a composite number?
False
Let v be -2*-2*884/16. Suppose 2143 = 4*w - v. Suppose 2364 = 4*n - 8*b + 4*b, -n = -4*b - w. Is n composite?
True
Suppose -2321296 = -17*y + 7*y - 6*y. Is y a prime number?
False
Let x(b) = 669*b**2 + 89*b - 459. Is x(6) prime?
False
Let v(q) = 4*q**3 + 19*q**2 + 9*q + 28. Let k(t) = -7*t**3 - 37*t**2 - 19*t - 55. Let a(f) = -3*k(f) - 5*v(f). Is a(8) prime?
True
Suppose 6*s - 2*s + 12 = 0. Let f(x) = -10*x**3 - 6*x - 8. Let t be f(-4). Is 5*(t/40 + s/(-5)) a composite number?
True
Let j be 9/(-4 - -6 - 3). Is 575 + 3*12/j composite?
False
Suppose 0 = -4*k + 14818 - 3250. Suppose 2*g - 5*g - k = 0. Let z = 2006 + g. Is z composite?
True
Let w(o) = -7*o**2 + 11*o - 23. Let a(n) = 4*n**2 - 6*n + 11. Let x(u) = -11*a(u) - 6*w(u). Let v be x(5). Is 4 + 84/(-22) + (-10455)/v prime?
True
Suppose 41*n - 1 = 42*n. Let d(m) = -4273*m**3 - 2*m**2 + 6*m + 6. Is d(n) a composite number?
False
Suppose 0*i - 5*o = 3*i, 5*i = -o. Suppose -47*d + 46*d + 5 = i. Suppose p = -d*c + 1649, 3*c = 3*p + p - 6550. Is p a composite number?
True
Let i(m) = -m**3 - 20*m**2 - 20*m - 14. Let w be i(-19). Suppose 18180 = w*p + 5*k, -3*p + 2*k = k - 10888. Is p a prime number?
True
Suppose 9*n - 1403 = 2125. Let w = n - 339. Is w a composite number?
False
Let l(q) be the first derivative of 1118*q**3/3 - q + 48. Let p = -10 - -9. Is l(p) a prime number?
True
Let g(b) = 5*b**2 - 6*b + 3. Let q be g(24). Suppose -q = -8*s + 5133. Suppose -s = -2*v + 5342. Is v a composite number?
False
Suppose 27*b = 23*b + 20. Let f(x) = 3*x - 9. Let m be f(b). Let u(r) = 19*r**2 - 7*r - 9. Is u(m) a composite number?
True
Suppose 3*r - 468903 = 109*f - 114*f, f + 156301 = r. Is r composite?
True
Suppose -342*p + 658471 = -311*p. Is p composite?
True
Suppose 0 = 3*d - l - 10813, -4061 - 13928 = -5*d - 3*l. Is d prime?
False
Suppose 2*z = -6*w + 135352, 4*z - 290*w + 287*w = 270719. Is z a prime number?
True
Is (-10 + 1)*(-255891)/9 a prime number?
False
Let b(h) = 3*h**3 - 3*h - 3. Let x be (-1)/(((-27)/12 + 2)*2). Let p be b(x). Suppose p*z = 2*z + 1859. Is z a prime number?
False
Let s = -175743 - -396962. Is s prime?
True
Suppose -854974 = 21*m + 48572. Let v = -5939 - m. Is v prime?
True
Let z(h) = -589*h**3 - 14*h**2 + 11*h - 23. Is z(-7) a prime number?
False
Let i(s) = -s**3 + 2*s**2 - 3*s + 1. Let g be i(1). Let q(f) = -8*f**3 - 2*f**2 + 1. Let m be q(g). Suppose 0 = m*c + 4*c - 5731. Is c a prime number?
True
Let k = 28 + -34. Let c be ((-2)/(-1))/(k/(-33)). Let z(d) = 98*d + 25. Is z(c) prime?
True
Let j be -4 + 477408/(-20) + 3/(-5). Is j/(-4) - 37/(-148) prime?
False
Let x be 1196/((-12)/16 - (-10)/24). Let l = x - -14755. Is l composite?
True
Is (-6 - 41)/((-4)/23588) a prime number?
False
Let v(s) = s**3 + 2*s + 2103. Suppose 14*a + 0 = -0. Is v(a) a composite number?
True
Let x = 15815 - 7883. Suppose -2*m + 5*n + x = 4*n, 3*m - 2*n - 11897 = 0. Is m composite?
False
Let a(o) = 104*o**2 - 4*o + 19. Suppose 3*w + 3*l = -0 - 6, 2*l + 1 = -3*w. Is a(w) prime?
False
Let a(c) = 2*c**2 - 13*c - 15. Let g be a(7). Is (-12776)/(-6) - g/(-24) prime?
True
Suppose 0 = 2*q + 2*g + 6802, q - 6*q - g = 16993. Let m = q + 5340. Is m a composite number?
True
Let z = 150118 + 571279. Is z a prime number?
True
Let v(w) = 14*w**2 - 125*w - 2. Let i be v(18). Suppose 0 = 291*j - 287*j - i. Is j a prime number?
True
Suppose 38*k = 37*k + 3*j + 103945, -5*k + 519764 = -2*j. Is k prime?
False
Let g be (-3)/(-2) + 3/(-6) - -1. Suppose 2*q = -10, -u + 1876 = g*u + 4*q. Suppose 0 = z + 3*z - u. Is z composite?
True
Let q = -3008 - -3185. Is q a composite number?
True
Let d(o) = 308*o**2 - 89*o - 62. Is d(-13) a composite number?
False
Let p be 12/54*-3*30/(-4). Suppose 3*k + 5*u = 8070, 4*k - 3806 - 6954 = -p*u. Suppose -7*a + k = -5*a. Is a composite?
True
Let i(g) = -175*g + 1. Let n be i(-3). Let s = n + -228. Is s a composite number?
True
Let x(u) = 2*u**2 - 4*u - 12. Let w be x(4). Suppose -6*z + 5*z = -w*g + 20, 0 = -5*z - g + 5. Suppose z = 7*t - 459 - 458. Is t a composite number?
False
Let i(u) = 3*u**3 - 3*u**2 + 8*u - 4. Let g be i(1). Suppose -g*s = 3*k - 7*k + 9848, -3*s = k - 2450. Is k a composite number?
False
Let z be (1 - -2)*(-80024)/84. Let d = 375 - z. Is d composite?
True
Suppose 13712 = 10*y - 6478. Is (-2)/((-18)/y)*(6 - 3) composite?
False
Let m(l) = -8*l**3 + 5*l**2 + 93*l + 499. Is m(-7) a prime number?
True
Let p(n) = 591*n - 4. Suppose r + 1212 = -11*r. Let o = 104 + r. Is p(o) prime?
False
Let f = -1405 + 2060. Suppose f + 2051 = 6*d. Is d a composite number?
True
Let s(j) = 3*j**2 + 11*j + 5. Let v(x) = -24*x - x**3 - 4*x**2 - 25*x + 49*x. Let d be v(-3). Is s(d) composite?
False
Suppose -4*h + 28 - 12 = 0. Suppose h*w = 2914 + 5162. Is w prime?
False
Let w(i) = 23*i**2 - 414*i + 134. Is w(69) composite?
False
Let w(k) = -2617*k**3 - k**2 - 5*k + 11. Is w(-4) composite?
True
Let n be (-80)/(-3) - 22/33. Is (-1)/4*(-320216)/n prime?
True
Let g = 3852 + 2049. Suppose 1534 - g = -s + 5*m, -3*m = 0. Is s a composite number?
True
Let u(y) = 4 - 475*y**2 + 5 - 11 + 127*y**2. Let q be u(1). Let t = 323 - q. Is t a prime number?
True
Suppose -5*q + 78 = -147. Let k = q - 43. Suppose k*v = 2*h + 630, 231 = 3*v - 2*h - 716. Is v a prime number?
True
Let p = -183 - -188. Suppose 648 + 94 = 2*b + 4*m, p*m = 25. Is b a prime number?
False
Let r be -2*34*-1*1. Suppose 0 = 2*p - k - 31, 3*p = -p - 5*k + 55. Let z = p + r. Is z composite?
False
Let t = -111 + 164. Let w = 4307 + -4307. Suppose t = z - 0*z - 2*g, -4*z - g + 221 = w. Is z a prime number?
False
Suppose 0 = -8*f + 20*f - 201444. Is f prime?
True
Let g be (-5)/((-140)/2202431) - (-3)/4. Let x = g + -54066. Is x composite?
False
Let u(a) = 1879*a**2 - 27*a - 911. Is u(-14) a composite number?
False
Suppose -4*m + 10428 = 4*w, -m = 4*m + 4*w - 13032. Suppose 14143 = v + m. Is v a prime number?
False
Let l(r) = 4*r - 4 - 5*r**3 - r - 3*r + 5 - r + r**2. Is l(-6) a prime number?
True
Let s(c) be the third derivative of 2*c**5/15 + c**4/24 - c**3/3 - 8*c**2. Let j be s(4). Is j - (-12)/4*-1 a prime number?
True
Let v = 275 + -270. Suppose 5*b = -3*o + 12886, -4*o + 12880 = v*b + o. Is b a composite number?
False
Is (-10799296)/(-57) + (-3)/9 composite?
True
Let i = 441198 - 215813. Is i composite?
True
Suppose 0 = -27*v + 29*v + 18386. Let b = -5930 - v. Suppose -b = -4*r + m - 0*m, 2*m + 821 = r. Is r prime?
False
Let k(t) = -t**3 - 5*t**2 - 7*t - 15. Let q(s) = s + 1. Let a(w) = -k(w) - 5*q(w). Let o be a(-5). Is -795*((-4)/(-24) + o)*-2 prime?
False
Let r = 1085 + -1930. Suppose 0 = 2*s, -9*y + 2*s = -11*y - 2868. Let p = r - y. Is p a composite number?
True
Suppose 4*z - 3*z = 5*m - 49961, 4*m + 5*z = 39963. Suppose -10818 - m = -2*k. Is k composite?
True
Let c(h) = 4755*h**2 + 75*h - 223. Is c(3) composite?
False
Let d = -546 - -549. Let q(n) = 591*n + 20. Is q(d) a prime number?
False
Suppose 3*r - 156*i = -151*i + 326363, -435168 = -4*r - 2*i. Is r a composite number?
False
Let h(i) = 0*i + 0*i + 21865*i**3 + 1 - 4*i - 2*i**2 + 3*i. Is h(1) prime?
True
Suppose 48 = 6*v - 6. Suppose -v*q + 2*q + 35357 = 0. Is q composite?
False
Let n(l) be the first derivative of 41*l**3/3 + 5*l**2/2 - 49*l + 132. Is n(-9) prime?
False
Let u be -371*(18/(-3))/6. Let x = -230 + u. Is x composite?
True
Let x be (-14)/(-21) + (-8006)/3. Let f = 3996 + x. Let b = -513 + f. Is b a composite number?
True
Let u = -951650 + 1481299. Is u a prime number?
True
Is (-6)/(-12) - (-158767)/14 composite?
True
Let i be -3*((-13 - -7) + 7). Is ((-12)/(-8))/1*(-6778)/i prime?
True
Let x(a) = 31300*a**2 - 135*a + 756. Is x(5) a prime number?
True
Suppose 0 = 10*m + 250 + 400. Let u = -61 + m. Let q = 875 + u. Is q prime?
False
Let g = 314 - 341. Is g - -28 - (-1 - 6821) a prime number?
True
Let d = -35 - -95. Suppose 0 = -140*i + 84*i - 2968. Let g = i + d. Is g a prime number?
True
Let a(o) = o**3 + 15*o**2 - 46*o - 5. Let q be a(-24). Let u = 5932 + q. Is u prime?
