= 2*r. Is r prime?
True
Let d = -183 + 833. Suppose -275 - 395 = -2*b + 2*j, 2*b = -3*j + d. Is b composite?
False
Suppose 3*p + 5*g - 1245 = 9*g, -2*p = -g - 835. Is p composite?
False
Suppose -3*q + 238 = 5*n - 3*n, -3*n = 2*q - 162. Let r be q + 5 + -3 + -2. Suppose -m + r = m. Is m a composite number?
True
Suppose 3*f = -2*t - 6, -4*t + 2*f + 12 = 40. Is (3/t)/((-3)/354) composite?
False
Let a be -3*2/((-2)/1). Suppose -a*m + 2*m = -3. Suppose -m*h + 70 = 2*h. Is h a composite number?
True
Suppose 2*i + 5*n - 487 = i, i + 3*n - 491 = 0. Is i a composite number?
True
Suppose 34*x + 2758 = 36*x. Is x a prime number?
False
Is ((-10)/4)/(-5)*(453 + -1) a composite number?
True
Suppose -5*k = d - 196, -2*d = -5*k + 14 - 481. Is d a composite number?
True
Let v be 25 + (-3)/3 - 0. Let l be v/(-15)*25/(-2). Let z = 35 + l. Is z prime?
False
Let k be (0 - -3) + -6 + 352. Suppose -100 = -a + k. Is a composite?
False
Suppose -5*p = -4*f - 8797, -2*f - 2*f = 4*p - 7052. Is p a composite number?
True
Let a(b) = 6*b**3 - 3*b**2 - 4*b + 12. Is a(7) a composite number?
True
Let j = -12 - -14. Suppose 7 = j*f - 687. Is f composite?
False
Let g(u) = u - 4. Let v be g(9). Suppose 2*d + 3*q - 68 = 0, -v*q + 19 = -d + 66. Is d composite?
False
Let x(c) = -19*c + 6. Let q be x(-4). Suppose -3*y + q = 2*w, -45 - 174 = -5*w - 4*y. Is w a prime number?
True
Suppose 4*u = -2 - 6. Let m be (2/6 + u)*-6. Suppose -m = -p + 29. Is p a composite number?
True
Is 4/(-50) + 4503695/875 prime?
True
Let l be (15/(-20))/(1/8). Let p(c) = -c**2 + c - 1. Let d(u) = -u**2 + 7*u + 6. Let i(z) = d(z) - 2*p(z). Is i(l) composite?
True
Let u be (4/1)/(2 - 0). Let d be ((1 - u) + 0)*-11. Suppose 106 = 5*j + d. Is j a composite number?
False
Suppose -5*n = -5*g - 2390, 0 = 2*n - 4*g - 932 - 22. Is n a composite number?
False
Suppose -s - s = -2. Let m be ((-3)/(-2))/(s/(-2)). Is (-3)/m - (1 - 53) prime?
True
Let h(g) = 4*g**2 - 27*g + 9. Let c(u) = 9*u**2 - 53*u + 17. Let l(k) = 6*c(k) - 11*h(k). Is l(-10) composite?
False
Let a(n) = -2*n**3 + 7*n**2 - 3*n + 6. Let x be a(6). Let h = -113 - x. Is (h + -3)/2 + -3 composite?
True
Suppose 5*b + 9*w - 2510 = 7*w, 0 = 2*w. Is b a composite number?
True
Suppose 2*x + 2*x = 0. Suppose -4 = 2*u, -5*k + 2*u + 561 = 4*u. Suppose x = 4*w + k - 589. Is w a prime number?
False
Let b(w) = -11*w + 4. Let o be b(-6). Suppose -105 - o = -5*r. Is r a prime number?
False
Let s(h) = -2*h**3 - 3*h**2 + 3*h + 1. Let c = 6 - 9. Is s(c) a prime number?
True
Suppose -3*k + 20 = 2*o, 72 = 4*o + o + 2*k. Suppose -o - 41 = -3*f. Is f prime?
True
Let r(d) be the second derivative of -d**8/6720 - d**7/840 + d**6/720 + d**5/40 - d**4/12 + 2*d. Let l(a) be the third derivative of r(a). Is l(-4) prime?
False
Suppose -4*x = -3*n - 5127, -4*n + n + 1293 = x. Suppose -x = -2*z + 5*l - 170, 1671 = 3*z - 3*l. Is z a prime number?
True
Suppose -524 = -0*h - 4*h. Suppose -6*z = -67 - h. Is z prime?
False
Suppose 4 = z - 1. Suppose 0*r - 2*r - 14 = 4*s, 19 = -z*s - r. Is 33 + 4/(s/2) composite?
False
Let t(y) = 2*y + 1835. Is t(0) a prime number?
False
Let u = 8 + -8. Suppose y - 4 = 0, 18 = -2*j + 2*y - u*y. Let w = j + 64. Is w composite?
False
Let v = 32 - 11. Let s be v/3*(-2 - -1). Let a(h) = h**3 + 9*h**2 + 8*h - 9. Is a(s) a prime number?
False
Suppose 4*a + 15 = a. Let h be (-18)/a*-1*5. Let t = h - -55. Is t composite?
False
Let j be (-1)/(-2) - 30/(-4). Suppose -j*s + 9*s = 95. Is s a composite number?
True
Let a be (-56)/(-21)*(-315)/(-2). Suppose -2*r - r = -3*b - a, -2*r + 5*b + 265 = 0. Is r a prime number?
False
Let n = 141 - -4. Is n prime?
False
Suppose j - 5*t + 52 = -0, 0 = -2*t - 10. Is (j/3)/(1/(-3)) a composite number?
True
Suppose 8*q = 5*q - 72. Let a = 47 + q. Is a composite?
False
Suppose -n - 4 = 0, -4*z = -9*z + 4*n + 691. Suppose -t = a - 15 - 15, -2*t + z = 5*a. Is a composite?
True
Let c be 4/5*(-135)/(-18). Is c/(-39) - 2556/(-52) a composite number?
True
Suppose -v + 5*o - 800 = 4*v, 2*v - o + 319 = 0. Let w be 231*(8/6 + 0). Let g = v + w. Is g prime?
True
Suppose 0 = -8*t + 9*t - 55. Let h = t + -33. Is h prime?
False
Suppose 3*g = -2*j + 4981, -3*j - 412 = 5*g - 7886. Is j prime?
False
Let l(x) = 24*x - 14. Let j be l(5). Suppose -5*k + 3*k - j = -2*g, 0 = -g + 3*k + 53. Is g a prime number?
True
Suppose -15*z - 815 = -20*z. Is z prime?
True
Suppose -5*t = -5*q + 28125, -2*q - 5*t + 28105 = 3*q. Is q a prime number?
True
Let a be (-1)/(-5) + (-63)/15. Let s(h) = -7*h**3 - h**2 + 6*h + 5. Is s(a) a prime number?
False
Suppose 427 + 64 = w. Is w prime?
True
Let q(u) = -u + 183. Let m be q(0). Suppose -m = -4*h + 269. Is h a composite number?
False
Is (3 - (1 + 3)) + 614 a composite number?
False
Let n(v) = -3*v**3 + 10*v**2 - 12*v - 27. Let h(a) = a**3 - 3*a**2 + 4*a + 9. Let r(l) = -11*h(l) - 4*n(l). Is r(7) a prime number?
True
Suppose -2 = -x - 1. Let t be (x - 2) + 0 + 5. Suppose t*h = -h + 35. Is h a prime number?
True
Let a(f) = -f - 8. Let r be a(-9). Suppose 2*y - 5*t = 22 - r, 0 = 2*y - 3*t - 31. Is y composite?
False
Suppose 0 = -3*o - 5*t + 38, -4*o + 0*t + 66 = -t. Let d be (-94)/(-8) + 4/o. Suppose -40 = -2*j + 4*z, 3*z = -z + d. Is j composite?
True
Let v(n) = n - 3*n + 0*n. Let c be v(-2). Suppose 0 = c*g - 9*g + 110. Is g a composite number?
True
Suppose 37 = 5*i + 12. Let u = i + -2. Suppose -4*s = -s + u*a - 183, -a - 4 = 0. Is s prime?
False
Let a(n) = -n**3 - 2*n**2 - 5*n - 11. Is a(-6) composite?
False
Suppose 4*o - 132 = 4*r, -4*o + 129 = -4*r + r. Suppose k - o = -5. Is k a prime number?
False
Let o(s) = 35*s**2 - 2*s - 1. Let t be o(-1). Suppose 4*f + 32 + 36 = 0. Let j = f + t. Is j a prime number?
True
Suppose -17 = -3*f + 5*t, 0*t - 4*t = 2*f - 48. Let p be 4/f + 618/42. Suppose -p = -x + 6. Is x composite?
True
Let g(i) = -463*i + 6. Is g(-4) a prime number?
False
Let k = -849 - -508. Let r = k - -526. Is r composite?
True
Suppose 23*l - 7112 = 15*l. Is l a composite number?
True
Is 0 - (-357)/5 - (-72)/(-180) a prime number?
True
Suppose r - 5*w = 41, -2*r - 2*w + 32 = -98. Let d = 195 - r. Is d a composite number?
True
Suppose -2*n + 28349 = 5*u, 28351 = 5*u + 2*n + n. Is u prime?
True
Suppose 10893 = 5*u + w, u + 2*w - 2175 = -0*w. Is u composite?
False
Let g(j) = -j**2 + 5*j + 6. Let p be g(5). Let l(h) = -h**2 + 2. Let m be l(p). Let w = m + 65. Is w composite?
False
Is (27/12 - 2)*388 prime?
True
Suppose 0*j - 1 = j + 3*g, 0 = 3*j + 3*g + 3. Let s(q) = -61*q + 1. Is s(j) prime?
False
Suppose -l = 4*j - 52 - 161, 2*l = j - 60. Let h be j/(-45)*(-20)/6. Suppose c - h*c - 3*p = -456, 4*p + 733 = 5*c. Is c prime?
True
Let m be (-9)/(-12) + 6/(-8). Let g(f) = -f + 113. Is g(m) a prime number?
True
Is 4/(-8) + 12597/6 composite?
False
Suppose 5*j + 0*n = -2*n + 4792, -3*n + 2877 = 3*j. Is j a prime number?
False
Let h be (0 - 1 - -2) + -1. Suppose 0 = v + 6*v. Suppose -3*x + h*u - 3*u = -171, v = -3*x - 4*u + 169. Is x prime?
True
Let u(w) = -4*w**2 - 6*w - 10. Let o be u(7). Let b = 757 - o. Suppose 0*p = 3*p - b. Is p a prime number?
False
Let c(s) be the third derivative of -s**5/60 + s**4/24 - 2*s**3/3 + s**2. Let p be c(0). Is (-812)/(-12) + p/6 a composite number?
False
Let f(i) be the first derivative of 5*i**4/4 - 2*i**3/3 + 2*i**2 - 3*i - 4. Let z(r) = r - 2. Let v be z(4). Is f(v) prime?
True
Suppose -255 = -4*y + y. Is y a composite number?
True
Suppose -2*u = 2*i - 432, u - 658 = -2*u - 5*i. Is u prime?
True
Let f = 271 - -78. Suppose -i = 3*u - f, u + 3*i - 5*i - 107 = 0. Is u composite?
True
Let u(w) = 82*w**3 + w**2 - w + 1. Is u(1) a prime number?
True
Suppose -235*c + 240*c = 4145. Is c a prime number?
True
Suppose 0*i - 2 = -i. Let d be (0 - -71)*2/i. Suppose -4 = k - d. Is k a composite number?
False
Let g(z) = 5*z**2 - 2*z + 6. Let c be g(-6). Let y = 280 - c. Is y a prime number?
False
Let o = 1130 + -757. Is o a prime number?
True
Let w = -181 - -1174. Is w a prime number?
False
Let q(z) = 92*z**2 - 8*z + 7. Is q(6) composite?
False
Suppose -5*z = -0*z - 95. Suppose z = h - 4*l + l, -2*l + 19 = h. Is h prime?
True
Let j(p) = 11*p + 4. Let i be j(-6). Let m = 3 - i. Is m composite?
True
Suppose -3*u - 29 = 4*i, -u - 3 = -4*u. Is ((-826)/i)/((-2)/(-8)) composite?
True
Suppose -3 = 4*o - 2