er: -17 or f?
-17
Suppose t + 2*t + 427 = -2*j, 0 = -2*j - 4*t - 432. Suppose 50*o = 263 - 10613. Which is smaller: j or o?
o
Let j = -23652/2977 + 103/13. Let r = j - -426/29999. Is r at most -1?
False
Suppose -18*q = 2399 - 383. Let b = -91 - q. Suppose -2*i = -19 - 25. Which is smaller: b or i?
b
Let p = 1 + -0.965. Let a = -1.884 - -1.879. Let y = a - p. Which is smaller: -1/2 or y?
-1/2
Suppose 0 = 88*h + 32873 + 30399. Is -1435/2 not equal to h?
True
Suppose 0 = 657*x - 651*x - 408. Which is bigger: 29 or x?
x
Let k = 29097441428477/85564031380212 + 5/5736392557. Let y = k + 2/2373. Is 1 smaller than y?
False
Let r = 328 - 321. Suppose -2*w = -5*z - 0*w - 22, -w - r = 2*z. Which is smaller: z or -5?
-5
Suppose -2*a = -4*x - 8, 98*a - 2*x - 12 = 101*a. Does a = -99/101?
False
Let q = -5.9 + 3.9. Let c = 1.11 - 10.11. Which is smaller: q or c?
c
Suppose 14768 = 321*n - 62046 + 4589. Which is greater: n or 222?
n
Let l = 0.544 - 0.46. Let a = l - 0.284. Which is bigger: a or -5/6?
a
Let s = -125 - -126. Let o be 6 + s + (-2)/(-4)*-4. Suppose 2*j = o*j - j. Which is greater: -2/311 or j?
j
Let w(u) = -u + 4. Let a be 2*2/16 - 15/(-4). Let o be w(a). Suppose o = -3*r + 2*z - 149 + 18, 3*z - 3 = 0. Which is greater: -2 or r?
-2
Suppose 4*y - 4*g + 163 = 5*y, -465 = -3*y - 4*g. Suppose y*j - 156 = 157*j. Is -12 at least as big as j?
True
Let p(t) = -t**3 - 3*t**2. Let c be p(-3). Suppose -15*z - 10 + 204 = 29. Is c bigger than z?
False
Let j(p) = -11*p - 780. Let k be j(-71). Are k and 3029 non-equal?
True
Let v(s) be the third derivative of -s**4/6 - 7*s**3/6 - 12*s**2. Let b be v(-3). Do 19/3 and b have the same value?
False
Let c = 34443 + -28587. Which is bigger: c or 3?
c
Let r = 1.9 + -13.7. Let a = r - 37.8. Let h = 50 + a. Is h greater than 0?
True
Suppose -2*h - 5 = 3*x + 1, -h + 2*x = 3. Let o be -8 - -25 - (2 + 4). Suppose -2 + o = -9*j. Which is bigger: j or h?
j
Let k = -11.8123 - -0.3623. Are 5 and k equal?
False
Let n(i) = -4*i**3 - 7*i**2 + i + 10. Let z(j) = j**3 + j**2 - 1. Let a(k) = n(k) + 5*z(k). Let d be a(5). Let u be 2/3 + d/(-34). Which is bigger: u or -2?
u
Suppose 2*w + 7*w = 27. Let a(q) = -2*q**w - 5*q - 2 + q**3 - 3 - 3*q**2. Let j be a(-2). Is j greater than or equal to -0.7?
True
Let w be (2/5)/(3/(-12)). Suppose 24*o + 14*z = 23*o + 96, -5*z = 3*o - 29. Does o = w?
False
Suppose x = -5*o + 5, -4*o + 5*x = -3 - 1. Suppose -7*n - o = -6*n. Is -4/141 >= n?
True
Let i be (-2 + 2)/(9 + -10). Suppose 5*d + 0*j = 5*j + 220, i = -3*j. Suppose -2*t - d = -0*t + 4*u, 4*u - 12 = 0. Is -27 less than t?
False
Let v be 378/(-9)*4/(-14). Let j be ((-31)/(-93))/((-65)/v). Which is bigger: -1/3 or j?
j
Suppose -32*b + 921 = -4999. Let v be (-1 - -1)*37/b. Is v at most as big as -1/720?
False
Let q(k) = 3*k + 19. Let d be q(-7). Let b be 14/(-2) + 15/5 + d. Let h(c) = -c**2 - 7*c - 4. Let m be h(b). Which is smaller: 3/4 or m?
3/4
Suppose 0 = 4*z + 2*p, 2*p = 4*z + p. Let k be z - (-1)/(-17)*(2 + 1). Suppose -3*r + 6*r = 4*j - 19, 5*r - 2*j = -13. Which is greater: k or r?
k
Suppose 33*j + 23*j - 21097 = 3319. Which is smaller: j or 869/2?
869/2
Suppose -2*q + 20 = 4*a, -2*a + 2*q + 0*q - 2 = 0. Let f(c) = c**3 - c**2 + 2*c - 2. Let u be f(a). Let o be 9/(-6) + u/20. Which is smaller: o or 0?
o
Let v be -4*8/6*363/1936. Which is greater: 2/5111 or v?
2/5111
Let x be (18/30)/((-174)/(-30) - 6). Which is greater: -284/85 or x?
x
Let a be ((-18)/(-12))/(6/(-8)) + 2. Suppose a*r = -7*r + 483. Let m = r - 135/2. Which is bigger: -5 or m?
m
Let i be ((-78)/5)/(2 - 21 - -20). Let r = 1 - 1.1. Does i = r?
False
Suppose 13*i - 3*i = 150. Let z(d) = 7*d**2 - 4*d + 12. Let n be z(i). Let a = n - 62604/41. Which is greater: a or 1?
1
Suppose 495 = 25*k + 1895. Let h = k + -12. Which is greater: 0.2 or h?
0.2
Let q(l) = -26*l - 13. Let x be q(-6). Let a = x + -144. Let w = -3223/83487 - 1/1637. Which is smaller: w or a?
a
Let q be (-1)/(2/(-16)) + 10150/(-203). Let b = 55 - 106. Let z = b - q. Which is smaller: -2 or z?
z
Suppose -31*o = 81 - 19. Let k be ((-4)/(-16)*o)/((-774)/(-48)). Is k <= 0?
True
Let d(z) = 10*z**3 + 11*z**2 - 71*z - 725. Let u be d(-9). Does u = -6485?
True
Let q be (2/7)/((-191984)/(-1988)). Is q not equal to 1?
True
Let d = 3360.2 - 3360. Which is smaller: -2/41 or d?
-2/41
Let u(y) = -2*y**2 - 30*y - 19. Let j be (-4)/10 - (-87)/5. Let o = 3 - j. Let w be u(o). Is w greater than 9?
False
Suppose 2*i + 10*v = 7*v - 42, 5*v = -9*i - 138. Let h = -1 + 2. Let u be (-14)/(-3)*(-2 - h). Which is smaller: u or i?
u
Let k(i) = 2*i - 73*i**3 + 1 - 164*i**2 - i + 162*i**2. Let g be k(1). Let r = g - -74. Which is smaller: r or 2/101?
2/101
Let k(v) = v**3 - v**2 - v + 5. Let a be k(0). Suppose -5*r + 4*c = c + 47, 5 = -a*c. Is -9 smaller than r?
False
Let g be (-6)/(-8)*(-1197)/189. Suppose 5*p + 14 = 2*s, 6*p + s = 4*p - 11. Is p greater than or equal to g?
True
Suppose 5*l - 5*x - 5 - 5 = 0, l + 3*x + 10 = 0. Let p(j) = -4*j**2 - j + 20. Let d be p(4). Let r be (d/(-384))/(1/((-1)/(-8))). Are l and r nonequal?
True
Let q = -61 + 107. Let u = q - 57.1. Let p = -5.1 - u. Is p < 2/7?
False
Suppose 3*c + 5*b + 25 = 0, b = 457 - 462. Is -44/93 equal to c?
False
Suppose -15*i + 57 + 5508 = 0. Which is bigger: i or 367?
i
Let h be -8 - (-7)/14*18. Let u = -5085/23 + 221. Is h not equal to u?
True
Suppose -14*k + 43*k = -46*k - 58875. Which is smaller: -786 or k?
-786
Let j be 14/112*0*4/8. Which is greater: j or 1/6286?
1/6286
Let r(y) be the first derivative of 13*y**2/2 + 96*y - 101. Let i be r(-13). Is -2 at most i?
False
Let f(k) = 36*k**2 + k - 2. Let y be f(1). Suppose -r = -3*x + r - y, 22 = -2*x + 2*r. Let i be ((-6)/10)/(3/x). Which is bigger: 3 or i?
3
Let z be ((-476)/(-21))/4 - (2 + (-14)/6). Is 45 >= z?
True
Let z be 17 - 0 - (7 - 3). Let o = -65 + z. Let u = o + 209/4. Is u > 1?
False
Let z be ((-6)/9)/(-10*(-14)/(-70)). Which is bigger: -564 or z?
z
Let x be (-8 + 11)*-2*(22724/7575 + -3). Which is smaller: x or 1?
x
Let s be 13730/8 - 125/100. Which is bigger: 1714 or s?
s
Suppose 1084 = 2*h - 4*b, 0 = 5*h + 177*b - 175*b - 2698. Which is bigger: h or 537?
h
Let l = 52 - 277. Let q(z) = -z**2 + 7*z + 5. Let b be q(7). Let k be (3/l)/(2/b). Is k > 1?
False
Suppose 54*r - 159*r = -1260. Which is smaller: r or 24?
r
Let u(f) = f**3 - 6*f**2 - 16*f + 12. Let v be u(8). Let c be (-18)/(1 + 2)*(-20)/v. Let w be (-2)/c + 13/((-325)/(-630)). Which is bigger: 23 or w?
w
Let y be (-7)/(-20)*(-8784)/(-74760). Let q = y - 9/89. Which is smaller: q or -3/2?
-3/2
Let g be 16/(-10)*(-210)/56. Is g less than 46/7?
True
Let r be ((-5)/3)/((-3)/63). Suppose 0 = u + 35 + r. Let f be (u/(-8))/5*-8. Which is bigger: -15 or f?
f
Let o = 25.5 + 21.5. Let c = -9 + -19. Let t be 7/c + -2 + (-2)/(-1). Are o and t non-equal?
True
Suppose -32819*h + 32810*h + 306 = 0. Which is smaller: h or -0.035?
-0.035
Let b(g) = -g**2 + 65*g - 407. Let t be b(60). Which is greater: -118 or t?
t
Let w = 9337.9 + -9338. Is -2941 < w?
True
Let n be (-9 - 168/(-20))*5. Are n and -1/187 unequal?
True
Let t be 1264/20 - ((-28)/10 - -2). Suppose -26*i + 28*i = -t. Let u be (-14)/6*(-8)/(i/(-12)). Is u at most as big as 7?
True
Let l be 423/47 - (51 - 12/4). Let t be 27/45 - (-54)/10. Let r be (t/(-3))/((-4)/(-78)). Are r and l equal?
True
Let g = -46.337 - 1.573. Which is greater: 2/3 or g?
2/3
Suppose -253*j + 252*j = 3*i + 10, -4*i = -j - 3. Which is bigger: -202 or j?
j
Let t be (48/20)/(-3) - 0. Let n = -0.11498 + 0.11498. Which is greater: n or t?
n
Let p = 572 + -255. Let b = 317.2 - p. Is b greater than or equal to 2/15?
True
Let h = -102052.51 - -101562. Let i = 491 + h. Let p(z) = z**2 - 2*z - 1. Let m be p(2). Is i less than m?
False
Let p = -6601 - -6601.1. Suppose -4*n + 5*n = -2. Let o be n/(-8) + (-45)/4. Is p at least as big as o?
True
Let g(v) be the third derivative of -v**4/12 + 5*v**3/2 + 8*v**2 - 9. Let m(x) = -2*x**2 - 7*x - 6. Let l be m(-4). Let q be g(l). Which is smaller: q or 34?
34
Let x be 2*(10/(-12) + 12221/14685). Which is smaller: x or 1?
x
Let g be 12/9 - (6 + ((-60)/(-18) - 6)). Is g equal to 887?
False
Let z(f) = 201*f + 431. Let x be z(-2). Which is bigger: 25 or x?
x
Let l = 25688 + -22786. Is -2 != l?
True
Let w be 0/2*7