a prime number?
True
Suppose 7*y = 8*y - 2106. Suppose -6*f + y = -3192. Is f a prime number?
True
Suppose 0 = 3*h + 28 - 448. Let n = 271 - h. Let p = 346 - n. Is p a composite number?
True
Suppose 0*j - 4*j + 32 = 0. Let o = -2 + j. Suppose -o = 2*i - 260. Is i prime?
True
Suppose 7*d - 98178 = -26071. Is d composite?
False
Let j(n) = 403*n - 122. Let m be j(5). Suppose -x + 18 = 2*x. Is (x/(-9))/((-2)/m) a composite number?
False
Let t = -3 + 11. Suppose 0 = -2*z - 0*z + t. Suppose 595 + 121 = z*x. Is x prime?
True
Let q(n) be the second derivative of 3*n**5/20 - n**4/4 + 7*n**3/6 - 5*n**2/2 + 23*n. Is q(6) a composite number?
False
Suppose 3*b = 5*b + 336. Let o = 265 + b. Is o prime?
True
Let d(w) = -w**3 - 25*w**2 - 92*w + 1. Is d(-32) prime?
False
Let k be 4/(-22) - 22941/(-33). Suppose 0 = -b + k + 144. Is b a composite number?
False
Let j(l) = l**3 + 15*l**2 + 8. Let m = -11 - 4. Let p be j(m). Is ((-70)/p)/((-1)/4) a prime number?
False
Suppose 0 = 5*n + n - 3366. Suppose c - 1730 = n. Is c a prime number?
False
Suppose -3*g - 2*z - 230 = 185, -4*z = g + 155. Let c = g - -199. Suppose j = -3*t + 19, -4*j - 2*t + c = -52. Is j a composite number?
False
Suppose -z - 8377 = -3*a, -2*a - z + 1366 = -4227. Suppose q - 5*y - a - 1642 = 0, q - 4433 = 4*y. Is q a composite number?
False
Let t(o) = o**3 + 3*o**2 - 3*o + 4. Suppose w - 95 = -4*w. Suppose -4*j + 17 = s - 9*j, s + 4*j = -w. Is t(s) a composite number?
False
Let p(i) = -6 + 5 - 4 + 12*i. Is p(3) prime?
True
Suppose 0 = 5*g - 24 + 4. Suppose g*q = 4036 + 1872. Is q prime?
False
Let v = 753 + -383. Let p be 63 + 3/(-3) - (1 + -2). Let c = v - p. Is c composite?
False
Let b be ((-11)/(-11))/(1/(-9)). Let p be 3/b*0 - -4. Suppose -p*x + 552 = 3*s + 2*s, 2*x + 4*s - 282 = 0. Is x prime?
False
Let h be 5/(-10)*(0 + 6). Is 7*79 + h + 3 composite?
True
Let o(t) = 171*t**2 + 18*t - 69. Is o(10) composite?
True
Let t = 4 - 11. Let r = t + 11. Suppose -2*x = -r, 0 = 2*j + 3*x - 6*x - 164. Is j a prime number?
False
Let n(q) = -q - 3. Let p be n(-6). Let t be (p*-18)/(1/2). Let h = 163 + t. Is h a composite number?
True
Let o(n) = 3*n**3 - 20*n**2 + 11*n - 67. Is o(15) a prime number?
False
Let t(h) = 309*h - 68. Is t(13) a composite number?
True
Is 4 - -1 - (-9559 + -23) a prime number?
True
Let h(m) = -11*m**3 - m**2 - 9*m - 10. Let q(z) = z**3 - z**2 - z - 1. Let s(j) = h(j) + 5*q(j). Is s(-5) a prime number?
False
Suppose 2*m - 42053 = -5*g - m, -5*m = 5*g - 42045. Is g prime?
False
Let o = -11763 - -19814. Is o a composite number?
True
Suppose -l - 14 = -2*l. Is (1 - 3)/(l/(-2317)) a composite number?
False
Suppose 0 = -5*k, -12*k - 8071 = -u - 14*k. Is u prime?
False
Let s = 7223 - -390. Is s prime?
False
Let z(m) = 6*m**3 + 10*m**2 + 34*m - 57. Is z(9) prime?
False
Let x = 3256 - 1237. Is (4 + x/12)/(2/8) prime?
False
Let v be 3*1/(6/4). Suppose -142 = -4*x + 3*s, 0 = -v*x + 3*x + 5*s - 47. Is x a prime number?
True
Suppose -h + 12 + 4 = 0. Suppose -b - 2 = -3*z, 0 = -5*b - 5*z + 14 + h. Let y = b - -51. Is y composite?
True
Let l = -428 + 820. Let m(a) = 10*a**2 - 3*a + 18. Let k be m(9). Let t = k - l. Is t composite?
False
Let u(d) = 34*d + 1. Let m be u(1). Suppose -30 - m = -5*y. Suppose 2*a + h = 127, -4*h - y - 64 = -a. Is a a composite number?
True
Suppose 4*m - 2*s = 2*m - 4, 0 = -3*m + s. Let j be m + 3 + 1024/(-4). Let x = -1 - j. Is x a prime number?
True
Suppose -3*z + 5*d - 290 = 0, -5*z + 4*d = 3*d + 498. Is -1 + 4 - (z + -10) prime?
True
Let w = 1029 - -1332. Is w a composite number?
True
Let t be (-12)/10*(-80)/24. Let w be 1 + 41 + (t - 2). Suppose -83 - w = -i. Is i prime?
True
Let f be 17/3 + 2/(-3). Suppose 0 = -3*u + 4 + f. Suppose 0*j - u*j = -105. Is j a prime number?
False
Let v be -6*(5 - (-1465)/15). Let w = 703 - v. Is w prime?
True
Let h(c) = -5*c - 9. Let m be h(-2). Is (283 + 10)/(m + 0/2) a prime number?
True
Let f = 24 - 24. Suppose -3*t = t - 3*v - 5125, f = 2*t + 2*v - 2580. Is t a composite number?
True
Let f = 2 + 0. Let k(i) = 140*i**3 + 23*i**3 + 4*i**2 - 40*i**3 - 1 - 6*i**2 - i. Is k(f) a prime number?
False
Suppose -4*z - 61 = -q, 5*q + 5*z = q + 202. Let x = q - -88. Suppose y - x + 52 = 0. Is y a composite number?
False
Suppose -2*a - 6 = 5*s, 4*a = 3*s - 4*s + 6. Let j be (143/26)/((-1)/a). Let c(h) = h**3 + 16*h**2 + 13*h - 13. Is c(j) prime?
True
Suppose 18 - 10 = 4*l. Suppose 3556 = 4*s - 2*v, -3*s + l*s = 4*v - 871. Is s prime?
True
Suppose -5*l + 20 = -t, 3*l - 2*l + 3*t - 4 = 0. Let w be ((-826)/56)/((-1)/l). Suppose -w = -0*q - q. Is q a composite number?
False
Suppose -30 = u - 4*m, -3*u + 50 = -6*u + 4*m. Let j = -22 - u. Is 44/j*(-4 - 2) prime?
False
Suppose 5*y - 2*y + 63 = 0. Suppose 3*b - 183 = -3*q, 43 = b - 3*q - 30. Let p = b - y. Is p composite?
True
Let a(l) be the first derivative of 3*l**2/2 - 5*l + 6. Is a(5) composite?
True
Let n be ((2 + -3)*-2)/((-9)/(-1116)). Suppose -2*o + n + 170 = 0. Is o a composite number?
True
Let g be 0 - (-4)/24 - (-22)/12. Suppose g*t + 3*t - 170 = 0. Is t prime?
False
Suppose 0 = -5*g + 4*s + 8, -5*g = -s - 3 - 14. Suppose 0 = 2*l + g*n - 542, 4*n = n + 9. Is l composite?
True
Is 723 + (2 - 5 - 5) + 3 composite?
True
Suppose -5*v + 508 = o - 10*v, -3*o = 4*v - 1467. Is o prime?
False
Let l = 13740 - 7711. Is l prime?
True
Let s = -68 + 72. Suppose -4*v + 2*l = -4010 - 36304, s*l = -3*v + 30241. Is v a prime number?
True
Suppose -2*u + 21 = u. Suppose u - 25 = 3*v. Let p(c) = 4*c**2 + 6*c + 14. Is p(v) prime?
False
Suppose 0*o + 302 = -t - o, -4*t = -o + 1233. Is (1*t/2)/(1/(-2)) a prime number?
True
Suppose 0 = -2*i + 4*u + 14586, i + 44*u - 45*u - 7288 = 0. Is i a composite number?
False
Let i(b) be the second derivative of b**4/12 + 5*b**3/6 - b. Let d be i(-5). Is 288 + (d + 1)*-1 a composite number?
True
Let o = 155 + -65. Let c = 669 - o. Is c a prime number?
False
Let c(a) = -55*a - 9. Suppose 7*k = 11*k - 56. Let r = k + -18. Is c(r) prime?
True
Suppose 1 = 2*y - 9. Suppose -1 = m + 3*m + 5*q, -3*m = -y*q - 8. Is (m + 6/(-9))*393 prime?
True
Let m(u) be the third derivative of -u**4/12 + 35*u**3/6 - 6*u**2. Is m(0) a composite number?
True
Suppose 2*u + 4*a - a - 47837 = 0, 3 = 3*a. Is u a composite number?
False
Let w(r) = 3216*r**2 + 14*r - 13. Is w(1) a prime number?
True
Let x(z) = -z**3 - z**2 - 7*z - 5. Suppose 0*h - 3*h = 21. Let l be x(h). Suppose -2*r = -3*c - r + l, 0 = -2*c - 5*r + 231. Is c a prime number?
True
Suppose g + 55 + 159 = 0. Let s = 190 + -610. Let u = g - s. Is u prime?
False
Let t = -24 + -15. Is t/2*(-12)/6 composite?
True
Suppose 558 = f - 7*f. Let d = f + 146. Is d prime?
True
Suppose -11 = d - 4*y - 5, 3*y = 6. Suppose 3*a + 4*g + 3794 = 5*a, d*g = -5*a + 9509. Is a prime?
True
Suppose 7*p - 15 = 12*p, -4*p - 28 = -t. Suppose 4*l - 3492 = -h - 3*h, -4*h = t. Is l a prime number?
True
Suppose -17*v + 44586 = -11*v. Is v composite?
True
Let g(w) = -13*w + 2. Let s be g(2). Let o = s - -3. Is 1463/o*(-4 - -1) composite?
True
Suppose 5*l = 5*v + 20, -4*v - l - 32 = 3*l. Let a = -5 - v. Let m(r) = 65*r**3 - r**2 + 2*r - 1. Is m(a) a composite number?
True
Let h(d) = 70*d + 7. Let i(r) = r**2 - 4*r + 5. Let o be i(5). Let m = o - 4. Is h(m) composite?
True
Let t = -13 + 16. Suppose -3*f + t*y = -2*y + 20, 5*f - 4*y + 16 = 0. Suppose -u - 492 = -4*u + 3*h, 3*h + 3 = f. Is u composite?
False
Let s(r) = r + 3. Let o be s(-3). Let n be (3 - o)*(-1 + 2). Is 110/3 + 1/n a composite number?
False
Let a(f) = f**2 + 8*f + 22. Let g(l) = -l**2 - 9*l - 23. Let n(o) = 7*a(o) + 6*g(o). Is n(9) a composite number?
True
Suppose -38 + 34 = y, -4*y = 2*b - 3058. Is b a composite number?
True
Suppose 0 = -0*k - k + 36. Suppose -k = -5*h + h. Is ((-2574)/h)/((-2)/1) prime?
False
Let k(d) = 25*d - 28. Let h = -78 - -89. Is k(h) prime?
False
Let y(o) = 1191*o + 8. Is y(1) a prime number?
False
Suppose 4*z = -2*s + 54090, -9*z + 4*z = -s - 67616. Is z composite?
False
Let j = 169 - 49. Suppose 2*b - 4*i - 46 = 0, -i = -b - 4*i + 28. Let y = b + j. Is y composite?
True
Suppose 0 = -4*h - h + 20. Suppose 14*n - h*n = 850. Is n composite?
True
Suppose -25 = -5*z, -4*z + 6*z + 20 = 5*u. Suppose 0 = u*p - 40 - 38. Is p prime?
True
Suppose -4*m + 73373 = -30151. Is m a composite nu