= -133 - -142. Suppose o*q = m*q - 335. Is q a composite number?
False
Let p = 123 - 77. Suppose x - 693 = -p. Is x prime?
True
Suppose -76594 = 131*x - 138*x. Is x composite?
True
Let y be 0/(-12) + (1 - 43). Let m = y + -4. Is m/3*(-33)/2 a prime number?
False
Suppose -4*f - 123667 = -9*f - 2*b, -b = -4*f + 98931. Is f composite?
False
Let z be 7 + 3/(15/5). Let n(a) = 5*a**3 - 2*a**2 - 3. Is n(z) a prime number?
False
Suppose -314196 = -18*y + 6*y. Is y a composite number?
False
Let h = -135 - -144. Is (355*(-1)/2)/(h/(-18)) prime?
False
Let v = 4 - -2. Let w = v - 6. Suppose -3*s - 2*b = -401, w = -s + 6*s + 5*b - 670. Is s a prime number?
False
Suppose 2*l = -4*d + 430, -6*l + d + 450 = -4*l. Suppose -4*k + 3 = 5*c + 5, 2*k = -6. Suppose l = c*s - s. Is s composite?
False
Suppose -5*g = -r - 5307, -4*r - 3185 = -3*g - 3*r. Is g prime?
True
Let b = 132 - 128. Suppose d - 242 = -2*d + b*p, -411 = -5*d - p. Is d prime?
False
Let g(m) be the third derivative of 1/2*m**3 - 5*m**2 + 1/8*m**4 + 0*m + 1/60*m**5 + 0. Is g(4) a composite number?
False
Let j = 345 + -179. Suppose z - 521 = -j. Suppose 0 = 3*q + 3*a - 392 + 128, -a = 4*q - z. Is q a prime number?
True
Suppose -10*k = -12*k + 5042. Is k prime?
True
Let r(y) = 4*y**3 - 3*y**2 - 6. Let n(v) = -7*v**3 + 5*v**2 + v + 13. Let q(m) = 3*n(m) + 5*r(m). Is q(-7) a composite number?
False
Is (-12)/40 - (4323662/(-20))/7 a composite number?
True
Let f(a) = 448*a + 13. Let i be f(5). Let q = -1346 + i. Is q composite?
False
Let x = 10 - -115. Suppose k - x = 380. Is k prime?
False
Let q be (-1)/1*-10*-1. Let b = 58 - q. Let v = b - -27. Is v a prime number?
False
Suppose 3*k - 2*m = -2, -37 = -5*k - 3*m - 15. Suppose -5 = o, 2*a + 4*o - 1188 = -k*a. Is a composite?
True
Let x(s) = -194*s - 87. Is x(-4) prime?
False
Is (381342/(-234))/(1 - 4/3) composite?
False
Let k(v) = -4*v + 35. Let t be k(6). Suppose -t*l = -0*l - 374. Is l a prime number?
False
Suppose -4*c = -12*c - 17280. Let l = c + 3415. Is l prime?
False
Suppose -3*o - 5*s = -99, -5*o - 8 = 3*s - 173. Is (-22)/o*(-3774)/4 a composite number?
True
Suppose -210*j + 199*j = -170797. Is j a prime number?
True
Let y be (-106)/(-10) - (-6)/15. Suppose -3*z - 3 = -2*h, 3*h = -5*z + y + 3. Is 2/(z - 3)*-35 composite?
True
Let d be -12*1506/(-66) - (-2)/11. Is d*(-4)/(40/(-25)) composite?
True
Let n(k) = -k - 5. Let y be n(-9). Suppose 0 = -w + 2*h + 269 + 210, y*h - 982 = -2*w. Is w a composite number?
True
Suppose 19047 = 4*m - 4981. Is m composite?
False
Suppose 5*v + 44 = 9*v. Let g be (-1 - 1) + (v - 15). Is 523 + g - (-1 - -1) prime?
False
Let k = -31 + 14. Let h(a) = -28*a + 17. Is h(k) prime?
False
Let x = 26 + -26. Suppose 5*c - a - 639 = -x*c, 0 = 3*c - 2*a - 389. Is c prime?
True
Suppose 2*j + 5*r + 19 = 0, 5*j + 0*j - 10 = -r. Suppose j*c = 7*c - 644. Let v = c - -30. Is v a prime number?
True
Suppose -5*h + 5*g = 25, 0*h - 5*g + 20 = -4*h. Is 6 - (9 + h) - 11*-49 composite?
False
Suppose 0 = -5*b + 13827 + 5138. Is b prime?
True
Suppose 31*d - 44605 = -11528. Is d a prime number?
False
Let x(n) = -1853*n - 829. Is x(-6) a composite number?
False
Let a be (3 + 0 + 424)*1. Let n = 630 - a. Is n a prime number?
False
Let z(b) be the second derivative of -427*b**3/2 + 31*b**2/2 - 2*b. Is z(-6) a composite number?
False
Let q = -6354 + 13411. Is q a prime number?
True
Let n = -4 - 2. Is (-1)/(-2)*(1900 - n) composite?
False
Suppose 2*j + 18 = -5*k + k, 0 = 3*j - k + 20. Is j + 3 + 12*226/4 prime?
False
Suppose 7*o = -2*j + 5*o + 3932, -3*j - 5*o = -5908. Is j a prime number?
False
Let h = 40 + -37. Is (6036/36)/(1/h) a prime number?
True
Suppose -4*w = -5*v - 309, -2*w = 14 - 6. Let k be (-50)/(-2*5/20). Let d = k + v. Is d a prime number?
False
Let u = 96 - 98. Let n = 442 - -827. Is n/18 + u/(-4) a composite number?
False
Let z(n) = 3623*n - 68. Is z(9) composite?
True
Suppose -4018 = -13*x - x. Is x a prime number?
False
Let i(m) be the first derivative of m**7/420 - m**6/40 + m**5/60 - m**3/3 + 7. Let b(p) be the third derivative of i(p). Is b(7) a composite number?
True
Suppose 0 = -4*t, -m - 66 = m - 2*t. Let v = -33 + 172. Let y = m + v. Is y a composite number?
True
Suppose 6 = w + 4. Let q be 4 - (0/w - -4). Suppose 2*l + q*l = 530. Is l composite?
True
Suppose -5*j + 1 = -19. Suppose j*l = -f - 6, -7*l = 4*f - 3*l. Suppose -4*p - 168 - 137 = -i, 4*p = -f*i + 598. Is i composite?
True
Suppose 0*b = 3*a + 2*b - 212, 0 = 3*a - b - 200. Let n = a + -40. Suppose -n = 2*i - 78. Is i prime?
False
Is 3521 + (-12 - -2 - 0) prime?
True
Let j = -163 + 175. Let s = -8 + 13. Suppose 0 = s*p - 383 - j. Is p prime?
True
Suppose 3712 = -0*s + 4*s. Let y = s - 183. Is y a composite number?
True
Suppose -5 = 11*p + 6. Is (3 + -1 - p*624) + 3 prime?
False
Let r(o) = o**3 - 2*o**2 - 2*o. Let n be r(3). Suppose 0*s = s + n. Is (-3)/((s/13)/3) a prime number?
False
Let c(v) = -2*v**3 + v**2 + 7*v - 39. Is c(-7) a composite number?
False
Let b(r) = -34*r**2 - r - 2. Let q be b(3). Let s = -204 - q. Let u = 160 - s. Is u a composite number?
False
Let x = -1197 - -16120. Is x composite?
False
Let q be (444/15)/(2/195). Suppose 6*s + 0*s = q. Is s composite?
True
Suppose s = 5*z - 49385 + 10301, -3*z + 23456 = 5*s. Is z a composite number?
False
Let h = 132 + -104. Suppose 0*g = -3*g - 9471. Is (-3)/(-12) - g/h a composite number?
False
Suppose 3*q = -q + 2144. Suppose -2*u = -q - 1330. Is u prime?
False
Let j(o) = 3*o**3 - 2*o**2 + 16*o - 4. Let y be j(-5). Let p = y + 1050. Is p a prime number?
True
Let w be -7*((-3210)/(-21))/(-2). Suppose 15 = 3*t - 4*o, -2*o - 3*o - 20 = -4*t. Suppose 0 = -t*u + 30 + w. Is u composite?
False
Suppose -4*d - 108 = -d. Let z(k) = -2*k - 4. Let v be z(-6). Is (-1 + d/v)*-14 a prime number?
False
Let l(w) be the third derivative of 29*w**5/30 - 5*w**4/12 - 3*w**3/2 + 13*w**2. Let p(z) = 29*z**2 - 5*z - 5. Let s(n) = -6*l(n) + 13*p(n). Is s(-4) prime?
False
Let a be ((0 - -1)*9)/((-3)/3). Is ((a/3)/3)/((-2)/86) composite?
False
Let t = -7 - -8. Is t/((1/271)/(0 - -1)) prime?
True
Suppose -3*i - 4*d - 1631 = -6*i, 3*d + 2700 = 5*i. Is i prime?
False
Let b = 16 - 797. Is (-19 - -17)/(2/b) composite?
True
Suppose -1375 + 244 = -13*w. Is w composite?
True
Is 5 - 1 - (-31)/((-62)/(-32204)) prime?
False
Let y(g) = -106*g + 6. Let c be y(-2). Is 38/(-6)*(-19 - c) composite?
True
Suppose -4*s - 22 = q - 6*q, 5*s + 19 = 2*q. Suppose q*p = -d + 1001, p - 3*d = -229 + 747. Is p a prime number?
True
Let c(w) = -5*w**2 - 3*w - 32. Let r be c(-6). Is (-2*(-6)/4)/(-1) - r a composite number?
False
Let a = 440 - -106. Let k = a - 73. Is k a prime number?
False
Suppose -17*q = -3*q - 84. Let m be ((-14)/(-1))/(1 - 0). Is (5334/m)/(q/4) a prime number?
False
Let k(t) = t - 1. Let v(q) = 139*q**2 - 5*q. Let j(u) = -5*k(u) + v(u). Is j(2) prime?
True
Suppose 4 = -2*d, -w - 3*d + 12 = -3. Is (-16080)/(-14) - (-9)/w - -2 a composite number?
False
Suppose 2*v = 3*h + 1322, 4*h - 4494 + 1870 = -4*v. Let x = -273 + v. Suppose 0 = 6*w - w - x. Is w a composite number?
True
Let k = 222 + -242. Suppose -2*c = 5*q - 0*c - 553, -5*q - 5*c = -550. Let i = q - k. Is i a composite number?
False
Let y(s) = 222*s + 25. Let z(w) = -667*w - 73. Let j(i) = -11*y(i) - 4*z(i). Is j(4) a composite number?
True
Is (-3)/((-6)/20)*2833/5 a composite number?
True
Suppose c = d - 941, c - 4 = 2*c. Is d a composite number?
False
Let h(d) = 158*d**2 - 9*d - 46. Is h(-15) a composite number?
True
Suppose 0 = 70*b - 48*b - 548966. Is b a prime number?
True
Let q(s) = -2*s**2 - 7*s - 5. Let u be q(-5). Is u/(-10) + (0 - -905) a composite number?
False
Let r be (-6)/(-10) + (-6)/10. Is 1146/30*(r - -5) a composite number?
False
Suppose 0 = -t - 3*t + 44. Let x = t + -11. Suppose x*n = -n + 113. Is n prime?
True
Suppose -m + 84 = 30. Suppose -q + 3*o = -m, 4*q - 3*o - 27 = 234. Is q prime?
False
Let z be 98/4 - (-2)/(-4). Suppose -3*m - z = m. Is 36/24*(-716)/m composite?
False
Let t = -2 + -8. Let j(q) be the third derivative of -13*q**4/8 + 11*q**3/6 - 13*q**2. Is j(t) a composite number?
False
Let l(x) = 25*x**3 + 2*x**2 + 2*x - 9. Suppose c = -c - b + 8, -c = b - 4. Is l(c) a prime number?
False
Let o = 15 - 12. Suppose -3*b - m + 1492 = 0, 1488 = o*b - 0*b - 3*m.