ose -4*v + 4*f = v + 8, -2*v - 5*f = 23. Let n = -292 + 304. Let t be n/(18/(-8) + 30/(-20)). Which is bigger: t or v?
t
Suppose -k - l = 872, -19*k + 3494 = -23*k + 2*l. Which is greater: -1 or k?
-1
Suppose 10 = -35*n + 30*n. Let a be -10 - -6 - n - (0 + -3). Which is bigger: 8 or a?
8
Let r(z) = 33*z**2 + 3*z - 3. Let k be r(1). Let v = k + -12. Suppose 5*o + 2*y + 0*y = 111, 2*y - 90 = -4*o. Is o smaller than v?
False
Let i = -0.0627 - 4.7073. Let z = 5 + i. Let n = z + 0.77. Which is smaller: n or -9?
-9
Suppose 0 = -3*v + 1474 + 3656. Suppose -14*p + 5*p = v. Does p = -188?
False
Suppose 6434*w - 43664 = 6442*w. Do -5458 and w have the same value?
True
Let x = 280846/9 + -30634. Let n be (-30)/18*(2 + -1 - -341). Let l = n + x. Which is greater: 1 or l?
l
Let q(o) = -o**3 + 3*o**2 + 2*o - 1. Let x be q(0). Let w = 12046262590615139/86931 + -138572690879. Let z = w + -2/6687. Is x > z?
True
Let k(i) = -i**3 - 9*i**2 - 12*i - 6. Let r be k(-7). Let h be r/472*10/25. Let t be ((-1)/(-2))/((-1)/(-2)). Is h greater than or equal to t?
False
Let y = 232.1 + -252. Let m = 247/28 - 60/7. Which is smaller: m or y?
y
Suppose 22*r + 10 = 16*r - 4*r. Which is bigger: 14652 or r?
14652
Let u = -2754014/141 + 19532. Let w = 2 - 2. Which is bigger: u or w?
w
Let h be -19 - 2418 - (-26)/(-2). Which is greater: h or -2451?
h
Suppose 96*p = 186*p + 810. Do 11/89 and p have the same value?
False
Let j = -127591/6 - -4465703/210. Let f(n) = n - 4. Let s be f(4). Is s equal to j?
False
Suppose -476*j + 2954031 = -59*j - 2309760. Which is greater: 12624 or j?
12624
Let f be (3 - 3)/(1/2*-2). Suppose 4*c - 44 + 20 = f. Let v be (c/(-4))/((-12)/(-80)). Is -9 < v?
False
Let k = 413 + -413.053. Let c = -0.13 - -0.183. Let f = c + k. Which is greater: -0.6 or f?
f
Suppose -2*u + 15 = -7. Suppose -u*j = -4*j - 77. Suppose j*q - 14*q = 0. Which is smaller: q or 2/31?
q
Let o(l) = 6*l**2 - 11*l - 5. Let g(y) be the third derivative of -y**5/60 - y**3/6 + 38*y**2. Let d(p) = -5*g(p) - o(p). Let v be d(16). Are v and -70 equal?
True
Let w = -11690 - -2797.98. Let n = 8984 + w. Let i = n + -92. Which is bigger: -1/2 or i?
i
Let d = -410 + 410. Suppose d = 14*m - 172 - 164. Are -9 and m equal?
False
Let w = -681 - -731. Let v = 47.47 - -0.53. Let g = w - v. Is 0.07 > g?
False
Let y = -154 + 400. Let a be 6 + -5*(y/330 + 1). Is a != -3?
True
Let x = 3383.24 + -3383. Which is greater: -10/13 or x?
x
Let i be ((-1*(-9)/(-3))/((-90)/(-240)))/2. Does i = -4521?
False
Let w(p) = -52 - 47 - 10*p + p**2 + 81. Let r be w(12). Let k be (2/3)/((-13)/r). Is k greater than or equal to -1?
True
Let c = 6377/437 + -269/19. Is 2/5 equal to c?
False
Suppose -151*k = -8*k - 76701 - 84460. Which is smaller: 1128 or k?
k
Suppose 782 = -17*m + 2*m - 343. Which is smaller: m or -77?
-77
Let x(t) = -2*t**3 - 195*t**2 - 98*t - 84. Let v be x(-97). Let j(h) = -h + 1. Let c be j(0). Let q be -1 + c - 1*-13. Are q and v non-equal?
False
Let l = 0.1033 + 594.8967. Let x = -593 + l. Which is smaller: -1/4 or x?
-1/4
Let o = 776.6 + -703. Let i = -74.6 + o. Is i greater than -63/2?
True
Let y = 8810 + -8810.3. Which is smaller: y or -0.12?
y
Suppose 3 = j + t, -5*j + 4*j + 3*t - 9 = 0. Let x = -13847/238 + -23/34. Let z = x + 3757/63. Which is smaller: j or z?
j
Let y = -6358 + 12068. Is 11419/2 greater than or equal to y?
False
Suppose -2*f - 2661 = -t - 7172, 0 = 4*t - f + 18058. Is -4512 less than or equal to t?
False
Let p = -103 + 315. Let w = p - 114. Let l = w - 94. Which is bigger: -1.2 or l?
l
Let s(h) = h + 106. Let m be s(0). Suppose 43 = 3*d + 4*y - 24, -2*y + m = 4*d. Suppose 513*t - 406 = 499*t. Is t greater than or equal to d?
True
Let b = 22.778 - 109.778. Suppose -5*q = -3*q. Which is greater: b or q?
q
Suppose y + 22 = r, 4*y - 3*y - 86 = -5*r. Let j be r - 97 - (1 - 6). Which is smaller: j or -76?
-76
Suppose -a + 3*j - 7 = 0, a + 5*j - 11 = 14. Suppose -4*q - 50 = 2*p, a = -3*q + 5*p - 0*p. Let g be (-3)/q + (-6)/36. Which is smaller: g or -4?
-4
Let d = 6.9 - 6. Suppose 3*z + 16 = 4. Let c = 6 + z. Is c at least d?
True
Let q = 1251691/62768827 - -2/139177. Is q less than or equal to 1?
True
Let j = -18.43 + -60.08. Let n = j - -79. Let b = -3.49 + n. Which is smaller: b or 0.1?
b
Let h(j) = -j**3 + 65*j**2 - 182*j - 287. Let y be h(62). Which is smaller: -153 or y?
-153
Let t = 2 - -8. Suppose 5*q = 3*q + t. Suppose -2*n + p = n - 81, -108 = -4*n + q*p. Is n not equal to 29?
True
Let r be (-5738)/475 + 2/25 + 7865. Is 7854 > r?
True
Let i = -1781/1288 - -29/21. Is i less than or equal to 0?
True
Suppose -11 = -p - 4*u + 10, 5*p - 5*u - 80 = 0. Suppose 21*t + 56 = p*t. Suppose 5*k + 50 = -5*g, 2*k + 2*k - 95 = 5*g. Do g and t have different values?
True
Suppose 5*z - 6 = -16. Suppose 0 = 14*s + 19 + 23. Let d be (2*s/32)/((-3)/(-10)). Is d bigger than z?
True
Let j = 0.227 - -0.013. Let d = -2.22 + 0.46. Let t = j - d. Is 2 smaller than t?
False
Let b = 14.3 - -4. Let n = -41.5 + b. Let u = -23 - n. Is 2/5 <= u?
False
Suppose -6*p = -4*p - 2*o - 4, o - 13 = -2*p. Let i be -4 - (-6 + 38/20). Is p at least i?
True
Suppose -1 = u + l, -12 + 1 = 3*u + 5*l. Suppose 3*n - 1098 = -u*n. Is 183 less than n?
False
Suppose -2*r = -9*r + 56. Suppose -30 = r*n - 14. Is n smaller than 14?
True
Let i = 359885/7 + -51217. Is i not equal to 196?
True
Suppose 3*n = 6, -2*g + 0*g + 12 = 3*n. Suppose x = -g, -x + 3*x = -j - 8. Let w(f) = -7*f**2 + 2*f - 1. Let m be w(j). Which is smaller: -32 or m?
m
Let a(r) = r**3 + 28*r**2 + 40*r + 75. Let s be a(-27). Is s <= 0.4?
True
Let v(n) = 5*n - 26. Let x be v(0). Let z be (2/((-8)/(-274)))/(13/x). Let t = -137 - z. Which is greater: 3 or t?
3
Suppose 4*h - 2*f + 184 = 0, -2*f - f = 0. Suppose -13*k - 55*k = -3196. Let r = k + h. Is -12 greater than r?
False
Suppose -5*h - 1 = -y - 4*h, 5*h = y - 13. Let d be 3071/(-798) + 1 + (2 - 0). Let j = -1/114 + d. Which is smaller: y or j?
y
Suppose n - 14 = -2*l, l = 4*n - 3 - 8. Suppose 2*b = -2*f - 2, 14*b - l*f = 16*b + 8. Which is smaller: b or 8/25?
8/25
Suppose -4*a = -3*m + 195, 9*a + 4*m = 10*a + 65. Do a and -45 have different values?
False
Let a(u) = u**2 - 12*u - 23. Let b be a(13). Let i be (6/20)/((-12)/b). Are 1/65 and i equal?
False
Let h = -273 + 356. Let s = h + -79. Which is smaller: s or 48/13?
48/13
Let x be 3 - (10 - -1628) - 14. Is x > -1646?
False
Let x = -2735 + 2734.9. Is x greater than or equal to -93?
True
Let w be 1 - 18/20 - 1. Suppose -v = -49*b + 53*b - 7, -5*b + 30 = -3*v. Which is greater: v or w?
w
Let x be (-451)/20432268*-15108 + 2/(-6). Which is smaller: x or -0.1?
-0.1
Let g(h) = h**3 + 14*h**2 + 13*h + 13. Let x be g(-13). Suppose -x = 10*d - 3. Does d = -13?
False
Suppose -20*k - 7*k = -108. Suppose -k*h = -5*j + 6*j - 15, 0 = -4*j - 3*h - 5. Is -1 <= j?
False
Let f(m) = m**3 + 8*m**2 - 3*m - 11. Let b be f(-9). Let n(v) = v**2 - 19*v - 16. Let p be n(16). Which is smaller: p or b?
b
Let q = -11537/954 - -217/18. Is q less than or equal to 3?
True
Let l(o) = 5*o**2 - 42*o + 21. Let m be l(8). Which is smaller: m or 135/26?
m
Let i = -317514347/2607 + 121793. Which is smaller: i or -1?
-1
Let q be (16/60)/(-2) + (-755)/(-5475). Suppose 0 = -27*u + 31*u + 4. Which is bigger: u or q?
q
Let f(m) = m**3 + m**2 - m - 1. Let o be f(0). Let d(j) = j**3 - 7*j**2 - 15*j + 19. Let x be d(9). Let r be (-1)/(-2) + x/(-68). Which is greater: r or o?
r
Let l be (-450465)/118*(-6)/(-5). Which is smaller: l or -4580?
l
Suppose -3*g = -2*q, -q + 3*q = -g - 8. Let o(u) = u**3 + 3*u**2 + 10*u + 28. Let p be o(q). Which is smaller: p or -51?
-51
Let y(m) = m - 1. Let i(t) = -5*t - 1. Let j(d) = i(d) + y(d). Let g be j(-8). Let o = -28 + g. Is o at most as big as 2/3?
False
Suppose -17*k = -6*k + 165. Let y be -1 + ((-40)/k)/4. Is -0.126 smaller than y?
False
Let a be ((-75)/6 - -5)/(3/(-6)). Suppose -a*t = -1904 + 179. Is t equal to 114?
False
Suppose 11*y - f = 10*y + 4, -5*y + 28 = 3*f. Suppose 5*k - 2*r - r = -11, 0 = k - y*r + 11. Which is greater: 1/37 or k?
1/37
Let z be ((-50)/40 + 1)/((-1094)/16). Which is greater: z or 1?
1
Let z = 64.819 - 0.519. Let u = 64.045 + -0.045. Let r = u - z. Which is greater: r or 0?
0
Suppose 188*g - 9848 - 12524 = 0. Is g less than 243?
True
Let x be