number?
True
Suppose -2*p + 3671072 = -10*p + 40*p. Is p prime?
False
Suppose 3*l - 5*l - t = -62, 0 = -t - 2. Let p be 2/17 - l/(-17). Suppose g + 2964 = 5*g + 4*x, p*x = 3*g - 2203. Is g composite?
True
Let c be 64/(-80) - (-877788)/10. Is (c/(-4) + 1)*10/(-15) composite?
False
Let k(x) = -2617*x**3 + 17*x**2 + 15*x - 38. Is k(-7) composite?
True
Suppose 45*y - 20783016 = -176931. Is y a composite number?
False
Suppose 2*a + 2*r = a + 5, -5*a + 11 = -4*r. Suppose -a*z - 41620 = -23*z. Is z a composite number?
False
Suppose 356 - 4859 = -3*m. Suppose 6071 = 5*s + 4*n, -s - n + m = 287. Suppose s = 2*g - 539. Is g a composite number?
False
Suppose -3*d = -5*d + 4*t + 26, 5*d = -3*t + 52. Let q(r) = r**3 - 13*r**2 - 17*r - 11. Let b be q(d). Let s = b + 981. Is s a prime number?
True
Let l(u) = 31082*u**3 - 6*u**2 + 25*u - 35. Is l(2) a composite number?
True
Let d = 148193 - 97452. Is d a prime number?
True
Let j = 87435 + 19544. Is j a composite number?
False
Let g = 142276 - -6282. Is g a composite number?
True
Suppose -2*l + p = -85, 0 = 3*l + p - 107 - 33. Let t = l - 49. Is (t + (-330)/(-8))/(2/16) composite?
True
Suppose -5*s + 2*o + 428868 + 174897 = 0, -4*o = -3*s + 362273. Is s a composite number?
True
Let z = 823 + -1164. Suppose 0*s + 2*s - 352 = 0. Let d = s - z. Is d prime?
False
Let m(h) = -1364*h - 16. Let y be m(8). Let s be y/12*(-5 + 2)*1. Suppose -j = 3*j - s. Is j prime?
True
Let g(t) = 49 - 118 - 47*t + 49. Is g(-7) a prime number?
False
Suppose r + 8*f - 4*f = 48025, -4*r = -4*f - 192060. Is r a prime number?
True
Let c = 73 + -57. Let y(h) = -h**3 + 16*h**2 + 2*h - 27. Let q be y(c). Suppose -5*k - 5*t + 1945 = -2865, -4*t = -q*k + 4855. Is k a prime number?
True
Suppose 0 = -73*o + 50*o + 19438657. Is o prime?
False
Suppose -76*t = -47*t + 299570. Let c = 17949 + t. Is c a composite number?
True
Suppose 4*x = -5*w + 1403167, -2*x - 620220 - 502350 = -4*w. Is w prime?
True
Let d(m) = 14 - 2*m - 14. Let k be d(0). Suppose 9*h - 2583 = -k*h. Is h prime?
False
Is 90/54 + ((-8412)/(-54))/(4/2118) prime?
False
Let v(p) = 19*p - 18. Let l(c) = -4*c - 1. Let t(m) = -8*m - 2. Let q(f) = -11*l(f) + 6*t(f). Let j be q(-3). Is v(j) a prime number?
True
Let f = -33470 - -67011. Suppose 16*i + i = f. Is i composite?
False
Is (-276)/(-920) + 12773/20*398 prime?
False
Is (-4 + (-39)/5)/(-1*(-1)/(-98755)) a composite number?
True
Suppose 8*k - 55*k - 130*k = -602331. Is k a composite number?
True
Let o = -4748 - -1559. Let c = -608 - o. Is c a composite number?
True
Let j be (-1)/6*2 + (-486615)/(-9). Suppose 0 = 112*p - 84*p - j. Is p a composite number?
False
Is (-1229113)/(-5) - (-308)/70 composite?
True
Let n = 70722 - 44545. Is n a composite number?
False
Let k(m) = -2*m**2 - 41*m + 23. Let s be k(-21). Is (-1 + s)/(29/17313) composite?
True
Let l(p) = p - 30. Let c(j) = -j + 1. Let m(s) = 2*c(s) - l(s). Let i be m(9). Suppose -5*k + 1895 - 366 = -2*u, 3*u = i*k - 1526. Is k a prime number?
True
Suppose 0 = 5*h - 3*t - 4, -2 = 5*h - h - 5*t. Suppose -4*b + 24168 = -h*y, 0 = -86*b + 87*b - 2*y - 6045. Is b a prime number?
False
Let b(p) = p**2 - 3*p. Let y be b(4). Is 3*y/(-24)*-44246 a prime number?
True
Suppose 8*l - 42 = l. Let y be (-5816)/l*(-27)/18. Is y/10 + (-6)/15 composite?
True
Let f = 61197 - 15814. Is f a composite number?
True
Suppose 7*w + 4 = 9*w. Suppose u + 74 = w*u. Let j = u + 137. Is j prime?
True
Suppose -3*j = -2*k + 18, 3*j - 5*j = 3*k - 14. Suppose k*w - 1878 = 636. Is w prime?
True
Suppose -5*i + 294961 = -3*u, -204182 + 27207 = -3*i + u. Is i a composite number?
False
Suppose r - 2*q = 4277, 0 = -3*r - 2*q + 4*q + 12827. Let x = r + -868. Is x a composite number?
False
Suppose -b - 9 = -5*o - 5*b, -5*b = 20. Suppose 3*d = -o*m, 5*m - 3*d + d - 25 = 0. Suppose 2*n + m*q + 1671 = 5*n, n - 557 = -5*q. Is n composite?
False
Let r(d) be the second derivative of d**5/20 + 7*d**4/4 - 23*d**3/3 - 21*d**2/2 + d. Let g = -2772 - -2754. Is r(g) a composite number?
True
Let g = 1302920 - 653969. Is g a prime number?
False
Let q be (8936/10)/(-6 + (-276)/(-45)). Suppose 2*x - 3340 = 3*w, 0 = 4*x - 2*w + 7*w - q. Is x composite?
True
Let q(o) be the first derivative of -o**2 + 12*o + 7. Let z be q(-11). Suppose 29*d - z*d = -3265. Is d a prime number?
True
Let n(d) = -8*d**3 + 3*d**2 - 8*d - 23. Suppose 4*o + 1 = -3*y, -4*y - 4*o + 9 = y. Suppose -11*t = -y*t + 36. Is n(t) prime?
True
Suppose 28*h - 30136 - 4640 = 0. Suppose -17*w + 313 = s - 18*w, -4*s - w + h = 0. Is s a prime number?
True
Suppose -58*f + 229085 - 7251555 = -188*f. Is f a prime number?
False
Let v(h) = 10*h**2 + 3. Let q be v(-6). Let b = q - -1074. Suppose -4*k + 7*k - b = 0. Is k a prime number?
True
Let s(g) = -37*g + 37. Let x(b) = -31*b + 38. Let l(p) = -16*p + 19. Let a(i) = -5*l(i) + 2*x(i). Let f(w) = -7*a(w) - 3*s(w). Is f(-7) composite?
False
Let r(j) be the first derivative of j**4/2 - 8*j**3 + 2*j**2 - 13*j + 59. Is r(23) a prime number?
True
Let m = 200808 + -60635. Is m a prime number?
False
Let o be ((-38)/(-6))/(36/1836). Suppose 8462 + o = 5*d. Is d prime?
False
Let b be ((-8)/(-14))/((-94)/(-329)). Suppose 2*c - 67182 = -b*z + 6*c, -4*c = 2*z - 67182. Is z prime?
False
Let d be 6/(-10) - 332/(-20). Suppose -4*g + 8 = -d. Is g/15 + (-1773)/(-5) composite?
True
Let v(x) = -10*x**3 + 18*x**2 - 22*x - 51. Let g be v(-16). Suppose 73965 = 22*w - g. Is w a prime number?
False
Suppose -789238 - 519245 = -9*c. Is c composite?
True
Suppose -519*q = -205*q - 235745234. Is q composite?
True
Let b = -175 + 181. Is (-3 - 2) + 83815*b/15 composite?
False
Let d = -95 - -113. Suppose 3*v - 2*y = v - 4, -v - 4*y + d = 0. Suppose v*a - 1088 = 5*o - 3*o, -2*a + 1073 = 3*o. Is a a prime number?
True
Suppose 655*z = 775*z - 71354040. Is z a composite number?
False
Suppose 25*k - 24 = 19*k. Let m be (-11236)/(-10) + 10/25. Suppose -k*w = -4320 - m. Is w composite?
False
Let r(l) = 89*l**3 + 45*l**2 - 64*l + 53. Is r(12) a prime number?
False
Let i(a) = -a**3 + 4*a**2 + 6*a - 1. Let m be i(5). Let v be ((-898)/m)/(90/48 + -2). Suppose -1487 = -7*r + v. Is r prime?
False
Suppose -u - 2*y = 2426, u - y - 4*y = -2447. Let v = u + 5181. Is v composite?
False
Suppose 5*y = 3*i + 277618, -111051 = y - 3*y + 5*i. Suppose -y = u - 14*u. Is u composite?
False
Suppose 3*b + 4*s = -2*b + 55028, 3*s = 6. Let f = -2873 + b. Is f a prime number?
False
Suppose 22*o = -6*o + 442260. Suppose 3*k = 3*x + o, -4*x - 7 = 1. Is k a prime number?
False
Suppose -2*k + 38616 = 11236. Is 68/51 + k/6 a composite number?
True
Let p = -386 + 988. Suppose -p*w + 597*w + 1630 = 0. Is w a prime number?
False
Suppose 771 = 5*t - 21864. Suppose -h + 708 - t = 0. Let f = 6278 + h. Is f a prime number?
True
Let g = -16600 + 47762. Is g a prime number?
False
Suppose -10*p = -15*p + 4*n - 22805, 0 = p - 3*n + 4550. Let m = p - -21811. Is m composite?
True
Let w = 601398 + -270367. Is w prime?
True
Suppose -c = 4*p - 534265, -3*c + 441*p = 444*p - 1602795. Is c prime?
False
Let k(f) = -6*f**2 + 3*f + 2. Let j be k(-4). Let y = -109 - j. Is (460/4 - y)*(-3)/(-6) a composite number?
False
Let a(q) = -q**3 + 5*q + 3. Let l be a(-2). Let n be -2038 + -25 + (3 - l). Let x = n + 3320. Is x composite?
False
Let z(r) = -3*r**3 - 8*r**2 + 14*r - 3. Let w be z(-11). Suppose 575 = q - 2*a, -2*q + 7*q - w = 3*a. Is q a composite number?
True
Suppose -4*v + 8*s + 94240 = 11*s, 2*s + 117777 = 5*v. Is v prime?
True
Let y(t) = -t - 21. Let h be y(-27). Suppose 18 - 6 = 4*a. Is 460 + 6*a/h a composite number?
False
Let p = 2244 + -2052. Let s be 3 - (0 - 332*1). Let d = s - p. Is d prime?
False
Let o = 41 - 37. Suppose w - x + 15022 = 0, 2*x - 30032 = 2*w + 3*x. Is (-8)/4*(w/o)/3 composite?
False
Let n be (-14)/(-10) + (-10822)/(-70). Let m = 211 - n. Is m a composite number?
True
Let n be (((-4)/(-16))/(-1))/((-6)/120). Is 2777/((n/(15/(-6)))/(-2)) a prime number?
True
Suppose 4*z - 26637 = -2*f + 390197, 5*z - 521050 = -5*f. Is z a composite number?
False
Suppose 13*r + 5*k - 17446672 = 0, 709626 + 3316507 = 3*r - 2*k. Is r prime?
True
Let t(w) = 5657*w**2 - 94*w + 1023. Is t(10) composite?
True
Let k(m) be the second derivative of 479*m**5/4 - m**4/6 - m**3/6 + 3*m**2/2 - 12*m + 3. Is k(1) composite?
Tr