. Suppose 3*p = -9, 4*r + p = -3*p - 132. Let u be ((-368)/r)/(-4)*-3. Do l and u have different values?
True
Let f(j) = -14*j + 18. Let b be f(3). Let g be (-45)/204*b/9. Which is smaller: g or 1?
g
Suppose r + 4 = -3*r. Let k be (28/35)/(r - (-6)/5). Let i be 2/(36/(-14))*k/14. Is -0.2 at least as big as i?
True
Let m = -0.5 + 1.5. Let o = 19.08 - 19.6. Let a = -1.52 - o. Which is smaller: a or m?
a
Let b(u) be the first derivative of u**4/4 - 7*u**3 + 3*u**2/2 + 7*u - 1. Let o be b(21). Let j = -68 + o. Is 3/4 bigger than j?
False
Let a be (1*186)/3 + 0. Suppose -4*h - 101 = 5*i, 3*i + h + a = -0*i. Let k be (-280)/i*(-3)/(-22). Which is smaller: k or 2?
k
Let h = -4567 - -4570. Suppose 3*l + 0*l = 0. Suppose -u + h*u - 4 = l. Which is smaller: 14/5 or u?
u
Let o(y) be the first derivative of y**4/4 + 3*y**3 + 17*y**2/2 + 14*y - 82. Let b be o(-7). Is 1 != b?
True
Let b(c) = -2*c**2 + 14*c - 11. Let r be b(5). Let s be (16 - -1) + (-5 + r - 1). Let v = s - 15. Is v > 2/21?
True
Suppose -2358 = -12*b + 1086. Let n = -862/3 + b. Which is smaller: n or 2/3?
n
Let g(y) = y**3 + 10*y**2 - 11*y + 4. Let c be g(-11). Let k = c + -5. Let r = -1303/4902 + 25/114. Which is smaller: r or k?
k
Let h = -130 - -103. Let x = -2 - 0. Let b be x/(-9) + (-3)/h*142. Are b and 16 equal?
True
Let s(f) = f**2 + 4*f - 43. Let r be s(-8). Is r greater than -485?
True
Let k(q) = -59*q - 38. Let h be k(-5). Let a = 275 - h. Is 25 > a?
True
Let m = 286655/12 - 101721/4. Do -1543 and m have the same value?
False
Let x(f) = f**3 - 12*f**2 + 2*f - 12. Let v be x(12). Let q = 238/19 - v. Suppose -6*n + 8 = -2*n. Are n and q unequal?
True
Let n be (864/54 + (-10056)/(-15))/((-3)/10). Which is greater: -2286 or n?
-2286
Let d = -383384/17793553 + -2/38431. Is -1 greater than d?
False
Let i(q) = -q**2 - 22*q - 27. Let w be i(-24). Let t = w - -71. Let r be -4 + t/(-1) - 1. Which is smaller: r or -2/33?
r
Let w(k) = k**3 + k**2 + k + 39. Let n be w(0). Let b = -8071.3 + 8071. Is n at least b?
True
Let c be (6/112)/(104/(-48)*1). Let y = 935/91 + c. Let x = 18 - 9. Is x at least y?
False
Let c be ((-6890)/(-325))/(4/5). Is c at least -4?
True
Suppose x = -x - 30. Let f = x + -4. Let i be (11 - (-301)/(-21))/((-2)/(-12)). Is i > f?
False
Let r be 35/14*2 + 595/(-375) + -3. Which is smaller: r or 0?
0
Let c be (-6)/(-27) - (-2)/(-9). Let z be -2 + 5455/(-495) + (-287 - -300). Which is bigger: c or z?
c
Let y = 96696 - 1644660/17. Is -2/3 at most y?
False
Let f = 53.533 - 0.133. Let b = 49 - f. Let j = -10.6 + b. Which is bigger: 0.1 or j?
0.1
Let k be (6/9*3)/(7/21). Let z be k/(-21) - 2/(-7). Let c be (11/44 + (-2)/4)*-4. Which is greater: z or c?
c
Let i(o) = o**3 - 17*o**2 + 20*o - 126. Let z be i(16). Is -1/5 less than or equal to z?
False
Let l = 269 - 263. Suppose 3*b + l = -4*y, 2 = -3*y - 7. Is b at most 15/23?
False
Let v = 4 - 2. Let w = -152 + 154. Let y(r) = 2*r**3 - 3*r**2 + 3*r - 4. Let g be y(w). Which is bigger: g or v?
g
Let z be (-3)/4 - 36983/(-49476). Let d = z + -751/18753. Let r = -13 - -14. Which is smaller: d or r?
d
Let f be -2046*(-9)/(1872/32). Which is bigger: f or 316?
316
Let p(q) = -q**3 + 14*q**2 - 26*q + 9. Let v be p(12). Which is smaller: -20 or v?
-20
Let u(z) = -2*z**2 + 10*z + 7. Let q be u(5). Let g(p) = -q*p + 4 - 10 + 8*p. Let c be g(2). Is c less than -1?
True
Let m be 3/111*-6*76/18. Let h = -382/4773 + 8/129. Let d = h - m. Which is greater: d or -2?
d
Let a = -107 - -111. Suppose a*z = -335 + 79. Is z less than -63?
True
Let i = 5 - 19. Suppose 4*q - 3*l + 279 = -251, 5*l + 412 = -3*q. Let d = q + 121. Which is smaller: d or i?
i
Let n(b) = 33*b + 7*b - 10 - b**2 - 29. Let p be n(39). Which is smaller: 2/403 or p?
p
Suppose d + d = -8. Let l(c) be the third derivative of -5*c**4/6 + 106*c**3/3 - 41*c**2. Let a be l(11). Are d and a equal?
False
Let u = -16 + 114/7. Let x = 4.9 - 13.9. Let y = 7 + x. Which is bigger: y or u?
u
Let p = 1145 + -1394. Let z(f) = -f**2 - 4*f + 3. Let v be z(14). Is p less than v?
False
Let i be 20/120 - (0 + 56884/24). Which is smaller: -2367 or i?
i
Let x(i) = -i + 19. Let g be x(21). Suppose 0 = -3*k + 8*k. Let p be g*2/4 + k. Is p greater than -1/6?
False
Suppose -j + 14*y - 12*y - 493 = 0, 0 = -4*j + y - 1944. Let m = j + 400. Which is bigger: -343/4 or m?
m
Suppose -1 = -3*h + 23. Let i = -4 + h. Suppose 0 = -i*r + 2*p + 22, -1 = p - 0. Which is smaller: r or 32/5?
r
Let t(y) = 2*y**2 + 9*y - 44. Let u be t(5). Let d = 100 - 50. Do u and d have the same value?
False
Let n be (-42)/(-147) - 1446/14. Are -101 and n nonequal?
True
Let y be 0/(78/(-90) - 13/(1560/16)). Suppose -4*j + 2*k - 1 = -45, 0 = -4*k + 8. Let i be (-6)/4*j/18. Is i at most y?
True
Let d(n) = 3*n**2 - 16*n - 38. Let y be d(7). Let i be -80 - y - (-2 + 17)/(-5). Is i smaller than -76?
False
Let a = -5697 + 5700. Which is smaller: -1098 or a?
-1098
Let c = -13570 + 13293. Is 1.3 != c?
True
Let w = 64051/475 + -2578/19. Which is smaller: 0 or w?
w
Let q(p) = -p**3 - p**2 + p - 1. Let m(a) = 3*a**3 - 14*a**2 + 11*a - 34. Let o(j) = m(j) + 2*q(j). Let s be o(15). Is -65 less than or equal to s?
False
Suppose 3*f = -w - 30, f - 3*f - 20 = -3*w. Suppose -55 = 4*t - 5*g, 139*t - 29 = 141*t - 3*g. Is f at most t?
True
Let u be 1 + (16/2)/4. Suppose -2*c = x - 4, -7 = -u*x - 4*c + 3*c. Suppose -2*p = -b - 12, b - 12 = -x*p - 4. Is p smaller than 6?
True
Let z = 0 + 6. Let d be 27/6*z/(-9). Let g = -1 - 0. Is d > g?
False
Let p(x) = -3*x**2 - 19*x + 5. Let w be p(-6). Suppose w - 5 = 2*y. Let u be (66/12 - y)/(1/(-6)). Is -15 at most as big as u?
True
Let h(p) be the first derivative of 3*p - p**3 + 7 - 11/2*p**2. Let y be h(-4). Do y and -2/149 have the same value?
False
Let c be 13 - 102042/11346 - 12/3. Is c greater than or equal to -1?
True
Let a = -916 + 804.1. Let b = a - -112. Let j = 14 - 10. Which is smaller: j or b?
b
Suppose 2*c + d = 32, 4*d + 8 - 61 = -3*c. Suppose -3*j = 5*g - 3*g - 96, 4*g - 12 = 0. Let a be (-804)/c - 12/j. Which is smaller: a or 1?
a
Let x = -0.72 + -131.48. Let s = x + 132. Is 16/3 smaller than s?
False
Let r = 72.2 + -130. Let b = -32.8 - r. Is 0 greater than or equal to b?
False
Let r = -255744 - -88743170/347. Let l = -3 - -3. Is l at most as big as r?
True
Let h be -3 + -6 - (-4 - -3005) - -5. Which is smaller: 1 or h?
h
Suppose -2*g + 10340 = -g + g. Which is greater: g or 5169?
g
Let o = 1643 - 1116. Let n = -527.35 + o. Which is bigger: 0.2 or n?
0.2
Suppose 6*r - 4942 = 5*d, -3*r + 1577 + 888 = -4*d. Which is bigger: 829 or r?
829
Suppose -11*l + 877 = -828 - 792. Let j be (0 + -1)*0/3 - -226. Which is smaller: j or l?
j
Let w be 30/(-4)*128/(-24). Let f = 3 + w. Is f greater than or equal to 41?
True
Let q(r) be the third derivative of -r**4/8 + r**3/2 + 15*r**2. Let k be q(11). Let f be k/(-12) - 3*1. Which is smaller: f or -2?
-2
Let p = 16885 + -24410. Is -7524 not equal to p?
True
Let c(j) = 2*j**2 - 22*j - 7. Let v be c(14). Which is greater: v or 74?
v
Let x = 13 - 8. Suppose 4*u - 182 = -x*q, -q - 4*q + 2*u + 194 = 0. Suppose 6*t = 502*t - 18352. Is t > q?
False
Let j = -857 + 1558. Let a = -701.047 + j. Which is smaller: -0.3 or a?
-0.3
Let q(d) = -d**3 - 17*d**2 + 17*d + 40. Let o be q(-18). Let g = o + -3. Let y = -54 + g. Is y greater than or equal to 6/5?
False
Suppose 659 = 12*t - 6517. Suppose 10*n - 23*n = -t. Which is bigger: 45 or n?
n
Let a = -4202 - -16579. Is 1 less than or equal to a?
True
Let i(g) = 42*g - 1116. Let x be i(28). Does 11 = x?
False
Let l be -2*(-1)/(-13) - (-199296)/329589. Let h = 2/313 - l. Are h and -1 unequal?
True
Suppose 23*d + 12 = 26*d. Suppose 0 = -3*b + 3*a - 3, -d*b + 8*b - 5*a + 5 = 0. Suppose n + 4*n = b. Which is bigger: n or 3?
3
Let p = -102.5 - -93. Let o = p + 24.5. Let y = 14.56 - o. Is 0 < y?
False
Let m be 772/(-10)*80/(-96). Let g be ((-32)/(-10))/(4/(-80)). Let i = m + g. Is i < -17?
False
Suppose 5*y = -y. Suppose y = 3*v + 4*q - 8, -2 = -5*v + 3*v - q. Suppose -4*d = -v*d - 32. Is d at most as big as 15/2?
False
Let x = 33 + -55. Let n = -8 - x. Let q = -0.03879 + -0.06121. Which is smaller: n or q?
q
Suppose -56*p - 169*p - 225 = 0. Let y = 13354/287385 - -2/3381. Is y smaller than p?
False
Let m = 4634 + -4492. Is 8 bigger than m?
