pose -3*a = 6 + b. Let t(h) = 2*h + 15. Let j be t(a). Is -34 not equal to j?
True
Let f be ((-15)/6 - -4)*108. Let x = f - -1311. Let u be 1/(-1) + -2 + x/492. Which is smaller: 0 or u?
u
Let d = 1.32 - 0.22. Let l = d - 13.1. Let f = 8 - 6. Is l less than f?
True
Let x(w) be the first derivative of -4*w**2 - 2*w - 2. Let l be x(2). Suppose b - 40 = 2*s, 8*s - 6*b = -4*b - 156. Which is bigger: s or l?
l
Let n(l) be the third derivative of l**4/12 - 2*l**3/3 - 53*l**2. Let z be n(3). Let s(d) = -d**3 - 2*d**2 + d + 2. Let k be s(-2). Which is smaller: k or z?
k
Let l = -0.3 + 0.3. Let a = 275.4927 + -0.0927. Let z = a + -278. Is l at most z?
False
Let j(x) = x**3 - 6*x**2 - 9*x. Let u be j(7). Let l be (-14)/49 - 60/u. Suppose -5*n + 56*n = 255. Is n less than l?
False
Let v = 14.42 - 1.52. Let u = 19 - v. Let j = u - 5.1. Which is greater: j or 1/3?
j
Suppose -11*q + 26*q = -1680. Let u = -2465/22 - q. Is 1 smaller than u?
False
Let i(q) be the third derivative of -227*q**4/24 + 2*q**3 + 10*q**2. Let z be i(-4). Let b = z + -35878/39. Which is greater: 1 or b?
1
Let s be (0/(-40)*2/10)/(4 + -3). Which is smaller: s or 630?
s
Let d = -6935 + 7287. Is 4 >= d?
False
Let v(h) = -66. Let m(o) = o + 130. Let a(x) = -3*m(x) - 5*v(x). Let d be a(-21). Which is bigger: d or 14/5?
d
Suppose 2*x + 5*d = -4 + 1, 0 = -5*d - 5. Let u be ((-12)/24 - 37/(-68))/((-3)/10). Is x at least as big as u?
True
Let v be (638/3509)/((-48)/33). Let h = 0.06 + -0.13. Let d = h + 0.37. Which is smaller: v or d?
v
Let l = 1091 - 1091.07. Let g = -0.9 + -7.1. Is l equal to g?
False
Let x = 89.1 - -1565.9. Which is smaller: x or 0?
0
Let v = -10486 - -10188. Which is smaller: -0.3 or v?
v
Let y be (8 + (-819)/90)*30/24. Is y equal to -1?
False
Let c = 346.6144 + -0.6144. Is -0.18 less than c?
True
Let y = -10.853 + 4752.853. Is y less than 0?
False
Let a be 11/11 + (29 - 0). Let w be -1*a/20*(-16)/(-6). Let i = -3454 - -27597/8. Is i at least as big as w?
False
Let d be (-1)/4 - 43/12. Let o = -139786 - -139784. Is d equal to o?
False
Let o(n) = -n**3 + 15*n**2 - 64*n + 7. Let u = -619 + 627. Let k be o(u). Is -57 at most k?
True
Suppose -10*d = 5*d - 1920. Suppose -c = 5*l - 5*c - 151, -5*c = -4*l + d. Which is greater: 32 or l?
32
Let d = -61 + 22. Let s = 32 + d. Is s less than or equal to -7?
True
Let o be (-1 - (-15)/(-9))/(-6). Let q be (-1 + 6 - -40) + (-15)/(-5). Let k = 49 - q. Which is smaller: o or k?
o
Let f = 1 - 0.95. Suppose -627*x - 2967 - 345 = -489*x. Do x and f have the same value?
False
Let r(g) = g**3 - 4*g**2 - 7*g - 6. Let f be r(6). Let d = 30 - f. Suppose d*s - 14 - 4 = 0. Does s = 3?
True
Let y be (-16)/(-24)*579 + 1/((-1)/(-6)). Which is bigger: 391 or y?
y
Suppose 3393 - 20994 - 24024 = 45*z. Is z at least as big as -927?
True
Let m be (-12 + 13 + 11)/(((-5)/(-385))/1). Which is smaller: m or 925?
m
Let n be (-404)/(-1010)*5/(-318). Suppose -2*d + 2 = 4. Is d smaller than n?
True
Let z be 1/(5/(-153 - -3)). Let m = 35 + z. Let k be 8*m/(100/15). Which is smaller: k or -2?
-2
Let l = -71 + 74. Suppose 10 = -2*x, x + l*x + 740 = 4*i. Let o = 2335/13 - i. Is o != -1?
True
Let l(b) = 66 + 7*b + 14*b**2 - 350*b**3 + 0*b + 349*b**3. Let i be l(15). Are i and -53 non-equal?
True
Let q = 0.31 + 465.69. Let z = q + -464. Is z > 159?
False
Let u = 113 + -109. Suppose 5*c + 1 = u*i, 0 = -5*i - 5*c + 4*c - 6. Is -19/10 bigger than i?
False
Let x be (-9)/33 + 35/(4235/(-15334)). Which is smaller: x or -175?
-175
Suppose 77*p - 76*p + 3*u + 82 = 0, 5*p + 3*u + 350 = 0. Are -750/11 and p equal?
False
Let z be (-2)/8 + (135/(-36) - -9). Let h(s) = -17*s + 2. Let r be h(-1). Which is greater: r or z?
r
Suppose 80*f = 82*f + 34. Suppose -5*c - 25 = 0, 4 = -2*u + 4*c + 30. Suppose 0*g = v + 4*g - 6, 0 = 2*v - u*g - 1. Which is smaller: v or f?
f
Let k = 29.9 - 28.68. Let y = -6.5 + 6. Let s = k + y. Which is greater: 0.1 or s?
s
Let r = 767 - 533. Let m be 4*(r/4)/3. Suppose 12*j + m = -6. Are -4 and j unequal?
True
Suppose -528 = 4*t - 48*t. Let w be 147/t + 20/(-80). Is 25 at most as big as w?
False
Let d = 26/28085 + 136661428/196595. Is d smaller than 694?
False
Let a be (-8)/2 + (-280)/(-20). Let r be 57/(-15) - (-8)/a. Suppose -o = 5*g + 18, -2*o - 7*g - 18 = -3*g. Are r and o non-equal?
False
Let m(j) = -43*j + 4. Let w be m(0). Suppose 0 = -5*p + 3*u + 42 + 16, -4*p + w*u = -48. Let r be 13 - (4 - (-2)/(-1)). Is r <= p?
True
Let j = 98544 - 492663/5. Suppose -52 = -4*l - 4*s, 53 = 2*l + 3*l + s. Is j > l?
True
Let n(c) = 11*c**2 + 11*c - 12. Let z be n(1). Suppose -j - 4*b = -0 - z, 3*j - 4*b - 46 = 0. Which is smaller: 76/5 or j?
j
Let q = -533 + 480. Is -61 bigger than q?
False
Suppose 21*s + 6*s - 15202 = 3887. Is 710 > s?
True
Let v be ((-75)/(-9))/((-6)/(-18)). Suppose 0 = d + 5, 0 = 4*j + 6*d - d + v. Suppose 3*s - 42 = -j*s. Which is smaller: s or 10?
10
Let f be 4968/224 + 5/2. Let h = f - 178/7. Which is bigger: -4 or h?
h
Let d(g) = g**2 + 24*g - 342. Let v be d(10). Are -60/43 and v unequal?
True
Let m be ((-2673)/(-267) + -10)*2377/117. Let k = 2/801 + m. Which is smaller: -19 or k?
-19
Suppose 2400 - 30774 - 201 = -15*h. Is 1907 at least h?
True
Let d be (33/27 - 1) + (-14)/(-18). Suppose 0 = 2*p + 4, -105*p + 103*p = k - 3. Is d at least as big as k?
False
Let p = -180.3207 + -10.8483. Let s = 191 + p. Let g = s - -0.029. Do g and 2 have different values?
True
Let d(v) be the first derivative of 3*v**2 + 40*v + 28. Let q be d(-6). Suppose -40 = 5*w + q*a, -8*a - 5 = -5*w - 3*a. Is -4 at most as big as w?
True
Let k = 2626 - 76132/29. Does -2 = k?
False
Let j = 100/3 + -2288/69. Suppose 3 = b + 5, 5*a - 3*b - 26 = 0. Suppose a*q = -0*q. Is q != j?
True
Let k = 17 - 12. Suppose k*l = l - 4. Let i be (-4)/(-14) + l/28. Which is greater: i or -0.018?
i
Let b(u) = u**3 + 8*u**2 + 12*u - 2. Let r = 30 + -28. Let t be r/10 - (-62)/(-10). Let z be b(t). Are z and -8 unequal?
True
Let w = 523.9884 + 0.0116. Let d = 521.5 - w. Let k be (-6)/28 + (-1)/(-2). Which is greater: k or d?
k
Let i(y) = -3*y**3 + 40*y**2 + 258*y - 6. Let d be i(-6). Which is smaller: d or 533?
533
Suppose -12*i + 8*i + 5*n + 2340 = 0, 4*n = 4*i - 2340. Let p = i + -612. Do p and -31 have different values?
True
Suppose -88*l + 62*l + 16224 = 0. Let p be ((l/2)/8)/2. Let d(g) = -4*g - 3. Let m be d(-6). Is p less than m?
True
Let v be ((-123)/9)/((-4 - 3)/(-231)). Let a = v - -452. Which is smaller: -6/101 or a?
-6/101
Let b = -50 - -68.6. Let h = 17.6 - b. Which is greater: 45/8 or h?
45/8
Let a = -9.582 + 9.622. Which is smaller: -834 or a?
-834
Let x be (-5 - 28330/(-5660))*9/(-27). Is x bigger than 0?
False
Suppose 4*h - 574 = 378. Let v be 80/24 + -3 - h/(-6). Let b = -202/5 + v. Which is smaller: -2 or b?
-2
Suppose -40 = -8*a - 0*a. Suppose 4*w - a - 3 = 5*l, 3*l = -5*w + 10. Suppose 9 = -3*d + 3*g, -5*d + 10*d = 2*g - 9. Are l and d unequal?
True
Let w be 6/(-30) - 166/(-5). Let t(d) = -d**3 - 20*d + 26*d**2 + 7 - 15*d + 4*d + 7*d. Let x be t(25). Which is smaller: w or x?
x
Suppose 20*j - 3*t - 19 = 16*j, 5*j - 2*t - 22 = 0. Suppose 6*m = 3*m. Suppose m = j*s + 4*s + 216. Which is smaller: s or -29?
-29
Let z = 1448.2 - 1620. Let u = z + 177. Is u at least as big as -1/2?
True
Let x = -4544 + 231734/51. Let k = x + -1123/255. Is k greater than -4?
False
Let y(c) = -5*c**2 - 48*c - 44. Let a(d) = -7*d**2 - 47*d - 43. Let o(b) = 2*a(b) - 3*y(b). Let f be o(-39). Is f greater than -385?
True
Let n be (-12)/(-816)*17 - 37390/(-8). Is n >= 4674?
True
Suppose -4*u = u - 335. Suppose -15 = 4*p - u. Let k = -2872 - -2885. Is k < p?
False
Let i be (1/(-3))/(106/(-60)). Suppose -9*f = -f - 26*f - 18. Does i = f?
False
Let f be 187/51*(-12)/32. Which is bigger: f or 2/65?
2/65
Suppose -25*v = 2074 - 15624. Suppose -540*g - 64 = -v*g. Which is smaller: g or 33?
g
Let q(v) = v**2 + 5*v - 4. Let c be q(-6). Let o(s) = -1 + 2*s**2 + 40*s - 50*s + 0*s**2 - s**c. Let d be o(10). Which is smaller: 0 or d?
d
Let u(w) = w**3 + 12*w**2 + 12*w - 25. Let d be u(-11). Let i = -48 - d. Let b be ((-6)/(-45))/(i/(-75)). Which is bigger: 0 or b?
b
Let p = -176 - 24. Let k = -4.0061 + 4.1061. Are k and p equal?
False
Suppose -2*l = 2*u - 28 - 22, -u - 5*l = -9. Let h = 17 - 14. Suppose 5*r + 2*