Is q prime?
True
Let n(r) = -r**3 + 15 + 0*r - 6*r**2 - 4*r - 15*r**2. Is n(-22) a composite number?
False
Let g(z) = z + 14. Let n be 0 + (-1)/(-2)*-22. Let v be g(n). Suppose -5*q + v*k + 1862 = 0, 0 = -4*q + 5*q + 5*k - 378. Is q prime?
True
Suppose 5*u - 4*s = -5 + 60, 2*u + 4*s - 50 = 0. Suppose 6*f - u*f + 3933 = 0. Is f prime?
False
Suppose 2*m = 3*w - 16393, 2*w - 4*m = 5602 + 5340. Is w prime?
False
Let z be 765 - ((-2 - -4) + 1). Let t = -505 + z. Is t a composite number?
False
Suppose -20 = 4*j - 28. Suppose 0 = 3*c - j*u - 417, 0*u + 5*u = 15. Is c a composite number?
True
Let g(v) = 15*v**3 + 45*v**2 + 18*v + 3. Is g(21) prime?
False
Let q = 6 - 2. Suppose q*z - 3251 = 765. Is (0 + z)*(-7)/(-28) composite?
False
Let n be 3/(-2 - 1)*-1. Let v be 3 + -50*n + 2. Is (-6408)/v + 6/10 a composite number?
True
Is (3 - 4)/(-5 + (-1576)/(-316)) a prime number?
True
Suppose 2*i - 487 - 147 = 0. Is i composite?
False
Suppose 60*v = 328908 + 121032. Is v prime?
True
Suppose -12*x - 3 = u - 8*x, 4*x + 2 = -2*u. Is ((-293)/((-2)/2))/u composite?
False
Is ((-2)/(-2) - -4) + 1386 a composite number?
True
Let n(f) = 34*f**2 + f + 10. Suppose 0 = k - 1 + 7. Let x be n(k). Suppose 3*r - x = -r. Is r prime?
True
Let y(k) = 20*k**3 + 22*k**3 + 2*k**2 - 27*k**3 - 4. Is y(3) a composite number?
False
Suppose 5*h = -y + 3*y + 1057, 5*y = -2*h + 417. Let k = h + -84. Is k composite?
False
Let b = -1189 + 811. Let z = 875 + b. Is z composite?
True
Let c = -45 - -48. Suppose 3*r = -4*x + 164 + 138, -3*x + c*r = -237. Is x prime?
False
Let p(x) = -6*x**3 + 2*x + 1. Let h(l) = l + 3. Let j be h(-4). Let v be p(j). Suppose 0 = 11*a - v*a - 1422. Is a prime?
False
Let b(p) = p**3 - 15*p + 1. Let a be b(6). Suppose -i + f = -a, 7*i - 2*i + 5*f - 595 = 0. Is i composite?
True
Let d = 45922 - 20693. Is d a prime number?
True
Suppose -n - 26 = -4*z, -3*z + 2*n + 28 = z. Suppose z*c - 114 = 522. Is c a prime number?
False
Suppose -257*a + 252*a - 10 = 0. Is (17/((-595)/42))/(a/955) a composite number?
True
Suppose 5*s - 5 = 0, -2*h + s + 11 = 2*h. Suppose 0 = h*b + 2*x - 347, -3*x + 5*x = 5*b - 605. Is b a prime number?
False
Suppose 0*i + h = i - 721, -3*i = h - 2155. Is i prime?
True
Let v(t) = -9*t + 52. Let a be v(13). Suppose -2*u - 5*x + 351 = 0, -3*x = 3*u - 4*x - 535. Let r = a + u. Is r a prime number?
True
Suppose 5*l - 5*k = 46250, 4*l = 8*l - k - 37009. Is l a composite number?
True
Suppose -58*v + 55*v + 12 = 0. Is ((-8)/12)/(v/(-5862)) a composite number?
False
Let n = 13 + -85. Is 1/4 + (-270342)/n prime?
False
Is (-4 - -10)*94324/24 prime?
True
Suppose 5*m - o = -3*o + 344, -2*m + 134 = 2*o. Suppose -5*a = b - 89, -3*b = -a - 165 - m. Suppose -2*p + 3*p = b. Is p a prime number?
True
Let x(y) = 8 - 3 - y + 5. Let b be x(8). Suppose 0 = b*c - 196 - 250. Is c a prime number?
True
Let z(x) = -2002*x + 4. Let f be z(-2). Suppose 0 = -13*q + q + f. Is q composite?
True
Suppose 5*s - 2*i + 0*i - 25 = 0, 3*s + 3*i + 6 = 0. Let p = -1 + s. Suppose 0 = -5*z - 6*v + p*v + 155, -3*z - v + 93 = 0. Is z composite?
False
Is 10/(-240)*-12 + (-80317)/(-2) a prime number?
False
Is (991/(-5))/((21/7)/(-15)) composite?
False
Is (76/24)/(-19)*-44994 composite?
False
Suppose -8*l = -9*l + 2819. Is l a composite number?
False
Suppose 2*d - 4277 - 2387 = 0. Suppose 3*o + 1115 = p - o, -d = -3*p - o. Is p a prime number?
False
Suppose -4*i = 0, 3*i = -r - 4 - 1. Let b be (-1)/r + 5/(-25). Suppose 5*h + b*h = 555. Is h composite?
True
Let p(i) = -i**3 + i**2 + 3*i - 3. Let g be p(-6). Suppose 4*t - 14 = 5*n + 19, 0 = -5*t - 2*n. Is g/11 - 1*t prime?
True
Let n = 1945 - 1523. Is n composite?
True
Suppose 4*f - 5*x = -10*x + 176458, 0 = -5*x - 10. Is f a composite number?
True
Let c(k) = 24*k + 5. Suppose 9*p - 4*p = 20. Let s be c(p). Is 0 + s + 5 + -9 prime?
True
Let h be 11 - (1 - (-4)/(-2)). Let r = 14 - h. Is ((-32)/(-6) - r)*3 prime?
False
Let c(v) be the second derivative of v**4/2 - v**3/3 + 13*v**2/2 - 4*v. Let k be (-3)/2*14/(-3). Is c(k) prime?
True
Suppose 0 = 8*m - 1386 + 474. Is ((-628)/(-6))/(4/m) prime?
False
Suppose 4*n = 9*n. Suppose 0 = -5*u + l + 47, 5*u = 3*l - n*l + 41. Is (u/(-8))/(4/(-32)) a prime number?
False
Suppose -4 = 5*k - 14. Suppose 0 = -f - k*y + 17, -6*f + 4*y = -2*f - 80. Is f a composite number?
False
Let y(b) = 44*b**3 + 6*b**2 - 6*b - 3. Is y(5) composite?
True
Suppose -352*s + 355*s - 206589 = 0. Is s composite?
False
Let u = 7 + -9. Let a be (-2)/(-2) + u - 100. Let f = -55 - a. Is f a composite number?
True
Suppose -q + 2*v = 0, 2*q + 5*v = 5*q. Suppose 3*y + 2*g - 4635 = q, 7*y - 3*y + 2*g = 6178. Is y a prime number?
True
Suppose 2*w - 9596 = -3*c, 7*c + 4807 = w + 4*c. Is w prime?
True
Let u = -2453 - -3745. Suppose 6577 - u = 5*t. Is t a prime number?
False
Let a = -21 - -26. Suppose -b + 0*b - 72 = -p, 5*p - 350 = -a*b. Is p a prime number?
True
Suppose 5*k + 51180 = 3*x, 0 = -x + 5*x - 20. Is k/(-18)*(-2)/(-3) a prime number?
True
Let g be 87/9 + 10/(-15). Let k = -41 + g. Is 6/(-8) - 7928/k prime?
False
Let f(z) = -449*z + 6. Let n(p) = 1. Let l(k) = f(k) - 3*n(k). Is l(-2) composite?
True
Is 181102/93*(-3)/(-2) a prime number?
False
Let k(y) = y**2 - 6*y - 1. Let z be k(-9). Let s(f) = 26*f**2 - 15*f. Let t be s(-3). Let w = t + z. Is w a composite number?
True
Let i(g) = 894*g - 649. Is i(24) prime?
True
Suppose 0*b = 5*c + 2*b + 26, -20 = 4*c + 2*b. Let q be (c/(-2) + -7)*1. Is q*((-170)/8 + -3) a composite number?
False
Let y = 106079 + -38602. Is y composite?
False
Let n be 1 - (1 + 0) - (2 + -4). Suppose -n*b = -5*q + 3545, 2*q - b - 1418 = -6*b. Is q a prime number?
True
Suppose 2*n - 3 - 3 = 0. Suppose 0 = i - 5*i - 5*t + 2202, 0 = i - n*t - 559. Is i a composite number?
True
Suppose -5*u - 8 - 17 = 0, -5*b - 5*u = 35. Let d be 5/((-2)/b + 0). Is 3393/15 + (-1)/d a prime number?
False
Let l(j) = -279*j**2 + 5*j - 6. Let o be l(2). Let a = o - -1891. Is a composite?
True
Suppose 4*l = 5*v + 8432, 4*v + 1770 = l - 349. Suppose -20*t + 17*t = -l. Is t a composite number?
False
Suppose 100*w - 18568307 = 11523993. Is w a prime number?
False
Let p = -2 + 2. Suppose p = 2*y + 3*y - 40. Suppose -3*d + y*d = 605. Is d composite?
True
Let a(w) = 4*w**2 + 46*w + 17. Is a(-19) a prime number?
True
Let a(m) = -6862*m**3 - 4*m - 3. Is a(-1) prime?
True
Let w be (10 - 9)*194/1. Suppose -y - w = -3*y. Is y composite?
False
Suppose 0 = 2*d + 11 - 3. Let m(s) = -5*s - 10. Let f be m(d). Is 1112/f + 2/(-10) a prime number?
False
Suppose 3*p = -2*z + 6, 2*p = p + z - 3. Suppose 2*c + k = -p*k + 7, 5*c + 4*k = 10. Is ((-3)/c)/(1/(-266)) composite?
True
Suppose -7*f + 53 = -31. Let c be 3/f*(13 + -1). Suppose c*t = 2*x - 388, 0*x + t - 189 = -x. Is x a prime number?
True
Let q(v) = 86*v + 13. Is q(8) a composite number?
False
Suppose -u = 4*b - 19129, 4*b - 20145 = u - 1010. Is b composite?
False
Let s(c) = c**3 + 6*c**2 + 9*c. Let l be s(-7). Let a(z) = 3*z**2 - 3*z + 37. Let o be a(-7). Let k = o - l. Is k a prime number?
True
Suppose 0 = -7*u - 71 - 139. Let d = u + 119. Is d prime?
True
Let w = 55 + 1584. Is w a composite number?
True
Let z(v) be the first derivative of 213*v**2/2 + 6*v - 9. Let q be z(8). Suppose -4*f + 3850 = 2*o, 6550 = 5*f - 3*o + q. Is f composite?
True
Let b(a) = 53*a - 7. Is b(4) a prime number?
False
Let h(r) = -r**3 - 2*r**2 - r + 131. Let b(j) = -j**3 + 11*j**2 + 13*j + 13. Let a be b(12). Let p = a + -25. Is h(p) composite?
False
Let x = 9 + -11. Let k be -94*(1 + 3/x). Let s = k + 42. Is s composite?
False
Suppose 4*n - 46 = -5*m, -m = m - 5*n + 8. Suppose -m*o - 373 = -2107. Is o a composite number?
True
Suppose -3*s + 5*h + 133056 = 2*h, 4*s - 177399 = -5*h. Is s a prime number?
True
Suppose -j + 0*j + 1847 = 0. Suppose -n + 2*i + 738 = n, -5*n + 4*i = -j. Is n composite?
True
Let j = -1678 + 576. Let n = 1571 + j. Is n prime?
False
Is 5 + 24/2*(-26807)/(-33) prime?
False
Suppose -2*c - 2*l = -1358, -5*c + 3355 = 4*l - 7*l. Is c composite?
True
Let v be (-2)/((-5)/(9650/5)). Suppose -3*h + v = -221. Is h a composite number?
False
Let n = 207746 - 114453. Is n composite?
True
Suppose 17 - 37 = -5*g. Suppose g*f + 2194 = 2*m, 0 = -2*m - 3*f - 1269 + 3428. Is m prime?
True
Is (-21)/35 + 1 + 8393/5 a compo