) = 3*v**3 + 9*v**2 + 7*v + 16. Let f be j(-9). Let d = -778087/517 - f. Which is smaller: -1 or d?
-1
Let m = 133 - 125. Is m != 5?
True
Let n = 49/2 - 97/4. Which is bigger: n or 6?
6
Let s(l) = l**2 - 2*l - 4. Let c be s(-5). Suppose 3*z - c = 2. Let u = 9 - z. Which is bigger: u or -4/5?
-4/5
Let y = -2 + 1.82. Let u = 0.35 + y. Let x = -5.17 + u. Is 2/3 < x?
False
Suppose -5*m - 26 + 86 = 0. Suppose -2*d = -2*b + 4, 3*b - 5*d = -4*d + m. Suppose 0*y - 15 = -b*c + 3*y, -5*c = -5*y - 15. Is c at most as big as 5?
True
Let d be ((-114)/12)/(2/12 + 0). Let b = -58 - d. Which is smaller: b or -6/13?
b
Suppose 0 = 4*w - w - 63. Let y be 15/35*w/(-30). Suppose 4*j + j - 5 = 0. Are j and y equal?
False
Let o(l) = l**3 + 19*l**2 + 31*l + 24. Let k be o(-17). Let b = -0.1 + 0.1. Which is smaller: b or k?
b
Let b = 40 - 26. Suppose 0 = -3*i - b - 7. Let d be 0 - (8/2 - -1). Which is smaller: d or i?
i
Let y = -11.77 - 0.03. Let p = -10.8 - y. Which is smaller: p or -49?
-49
Let l = 1394/5235 + 2/5235. Suppose 0 = -0*g + 3*g. Which is smaller: l or g?
g
Suppose -u - 3*u - 7 = 3*v, 3*v = 3*u. Is v bigger than 7/15?
False
Let t(l) = -3*l - 5. Let m be t(7). Let f be 3 + 2/4*m. Let n be (-6)/f + 33/(-55). Which is greater: n or -2.9?
n
Let q be 2/4*(-111 - -13). Is -47 at most as big as q?
False
Let w = 2 + 4. Suppose w = 4*a - 2*x + 4, -3*x = 5*a + 25. Let z be a/(-1) + 306/(-162). Are 1 and z unequal?
True
Let t = -13/18 - -103/126. Let q = -88 + 89. Which is greater: q or t?
q
Let i be (1 + (-10 - -3))/(-1). Suppose -4*r - 3*z + 14 = 0, 3*r + z = -0*r + 13. Which is smaller: i or r?
r
Let i = 5237 - 47044/9. Is i <= 11?
True
Let j = 653 + -7. Let z = j - 20028/31. Which is greater: -1 or z?
z
Let g(h) = -3*h**2 - 26*h - 36. Let t be g(-7). Which is bigger: -356 or t?
t
Let s = -430 - -371. Is -56 less than s?
False
Let t = 8446/5 + -1689. Suppose 4*z + 5 = 5*z. Suppose 0 = -z*m + m. Which is greater: t or m?
t
Suppose 0 = -2*q + n + 9, 4*q - 27 = 2*n + 3*n. Suppose -2*w + 50 = -2*s, -w = -q*w - 2*s + 58. Let k = w - 8. Is k at most 20?
True
Suppose 0 = -2*v - 8, -v = -3*k + v - 19. Is k greater than -39/4?
True
Let w be -1 - (8/12)/((-2)/9). Suppose -j = 2*y - 2*j + 8, -w*j - 5 = 3*y. Let c be (-81)/15 + (2 - 1). Is c greater than y?
False
Let k = 14 - 85/6. Let d(w) = -3*w + 12. Let y be d(5). Let s be y/9 - 4/(-84). Which is smaller: k or s?
s
Suppose 3*o = 4*o + 3, 2*h = -5*o - 25. Let p(i) = i**2 + i. Let m(j) = 3*j**2. Let w(x) = m(x) - 4*p(x). Let t be w(-5). Is t != h?
False
Let d = 2491 - 2579. Is -620/7 != d?
True
Let x = 801 + -809. Which is greater: -33 or x?
x
Suppose -72 = -3*z - 51. Suppose -3*u - 4*d = -10, -u - 2*d - 22 = -z*d. Let p be ((-15)/4)/(6/4). Is p smaller than u?
True
Let w = 17.2 - 45. Let f = 3.8 + w. Let v = f + 25. Is 12 at most v?
False
Suppose -4*f = -3*w - 19, 4*w + 12 = -3*f + 5*f. Let z be (-2*4/24)/((-1)/(-6)). Which is smaller: z or w?
z
Let c be 6625/300 - (-3)/(-36). Which is greater: c or 151/7?
c
Suppose 5*r - 4*h - 10 = 4*r, -4*h + 14 = -5*r. Let n(d) = 3*d**2 - 5*d + 13. Let q be n(r). Does q = 150?
False
Let t = 1225.8 + -1226. Which is bigger: 78 or t?
78
Let a be 1 + 1 - 20/(-10). Suppose 4*p = -a*u + 32, 60 = 4*p - 4*u + u. Let m be 3 - (80/p + -3). Is m != -1/4?
True
Suppose -5*h = -5611 + 431. Let j be (h/15)/(8/(-44)). Let m = -380 - j. Which is bigger: m or -1?
m
Let o(k) = k**3 + 2*k**2 - 2*k - 6. Let h be o(-3). Let x be (-20)/96 - 3/h. Is 0 bigger than x?
False
Let m = -7.3 + 7. Let v = -3544 - -3541. Is m at most as big as v?
False
Let q = -35 + 83. Let g = -48 + q. Is 3/11 smaller than g?
False
Let v = 300.754 - 0.754. Is v at least as big as -0.1?
True
Let h = 0.2 + -0.4. Let w = -3 + -33. Let j = 37 + w. Is j <= h?
False
Let z(w) = -3*w + 1. Let t = -1 + 3. Let b be z(t). Let l be 3*4*(-100)/300. Which is greater: b or l?
l
Let c be 3/6 + 2*15711/(-78876). Let z be 1 + 0 + (-311)/313. Let y = z - c. Which is smaller: y or -1?
-1
Let i(t) = t**3 - 3*t**2 + t + 3. Let d be i(3). Let u be d/(-21) - (-18)/14. Which is smaller: u or 15?
u
Let n be 248/(-48) + 5 + 4/8. Is n greater than -10/17?
True
Suppose 7*n + 100 = 9*n. Suppose 25 = 3*a - n. Suppose 0 = -2*t + 7*t + a. Is -16/3 <= t?
True
Let o be (-15)/9 + (-1360)/(-60). Let p = 0 + -7. Let b be 6/o - 68/p. Is -2/5 < b?
True
Let m = -0.21 + -8.79. Let s = m + 9.02. Is -2/7 >= s?
False
Let n = -423 - -539. Is n <= -0.2?
False
Let f = -56 + -4. Let p = 85 - f. Is p > 0?
True
Let c be (3/2 - 3) + 9/6. Let j be (15/6 - 12/8)*c. Is -4/19 != j?
True
Let a = 3 + 27. Let g be (-57)/a*2 - -3. Is g at least as big as 3?
False
Let r(m) = 2*m - 10. Let k be r(6). Suppose 3 = p + k. Let n be (2/(-8))/(-3 - p). Is n less than 0?
False
Let m = -0.23 + -0.09. Let o = -257/3 - -85. Which is smaller: o or m?
o
Suppose -w = 5, 2*w - 109 + 113 = -3*q. Which is smaller: -31 or q?
-31
Let v = 49 - 88. Let m = -37 - v. Is 25/9 <= m?
False
Let k be -13 - (3/(-1) + 2). Let j = k + 17. Let d be (2 - j)*2/(-6). Which is smaller: -2/5 or d?
-2/5
Let q = -54 - -42. Let w be 2/q*(-120)/(-8). Which is smaller: w or -4?
-4
Let f be 884/8 - (-5)/(-2). Is f at most as big as 108?
True
Let z = -12 + 16. Suppose -8*u - z = -9*u. Suppose 3*h - u = h. Is h < 1/2?
False
Let w(a) = -2*a**2 - 20*a - 83. Let z be w(-10). Is -85 at least z?
False
Suppose 0 = -11*p + 12*p + 14. Let f be ((-319)/2)/(p + 15). Let r = f + 156. Which is smaller: -5 or r?
-5
Suppose 2*l + j + 239 = -l, -j - 159 = 2*l. Let o = 165/2 + l. Let k be 5/15*(-9)/12. Is k < o?
True
Let p(f) = -15*f - 10. Let h be p(8). Let n = 65 + h. Let g = n - -91. Do g and 27 have different values?
True
Let s be 13013/(-3234) + 1/(7*-1). Is -3 < s?
False
Let l = 468 - 467. Which is greater: -3/35 or l?
l
Let i(m) = 5*m + 2. Let t be i(-5). Let k = t - -20. Which is smaller: k or 5?
k
Let j = -342 + 324.3. Let d = j - -17. Let t = d + 1. Is t >= 1/3?
False
Let d(q) = -q**3 - 43*q**2 - 80*q - 59. Let a be d(-41). Is -141 > a?
False
Let c(o) = 2*o**3 + 26*o**2 - 30*o - 41. Let s be c(-14). Is s greater than -14?
True
Let f = -435 - -1832. Is 1397 smaller than f?
False
Let j = 437 - 449. Is 1.6 smaller than j?
False
Let v be (-396)/420 + (-1)/(-7). Is -0.13 < v?
False
Suppose 55*r + 475 + 680 = 0. Which is bigger: -22 or r?
r
Let k = 672 - 671. Let v = -4 + 6. Let l = -2 + v. Is k < l?
False
Let l(x) = -4*x**3 + 6*x - 5*x**2 + 3*x**3 + 0*x**3 + 5. Let i be l(-6). Is 6 less than or equal to i?
False
Let f = 9/29 - 661/1943. Let u be 7 + 7/((-21)/12). Suppose u = 2*g - c, 2*g - 19 = g + 4*c. Which is smaller: g or f?
g
Suppose 5*o = 20, -2*a + 5*o = -0*a - 162. Suppose -2*r = 111 + a. Let h = 1317/13 + r. Which is smaller: h or -1?
-1
Suppose 0 = -3*o + o + a - 21, 0 = 4*o + 3*a + 37. Let j be ((-8)/(-20))/((-2)/o). Suppose w - j*w + 1 = -2*u, 15 = 3*u + 4*w. Which is smaller: 3/5 or u?
3/5
Let o be 2/38 - (-108)/114. Suppose 3*q + 82 = -2*h, q + 4*q + 137 = -3*h. Let i = q + 86/3. Which is greater: i or o?
o
Let u = 3 + -1. Let t be 0*4/(-16) + 6. Suppose u*i - t*i = 0. Which is smaller: -1/2 or i?
-1/2
Let d(f) = -f**3 - 17*f**2 - 71*f - 12. Let v be d(-10). Which is bigger: v or -11/16?
-11/16
Let n be -1*5996/(-16) + 11/44. Is 375 < n?
False
Let o = -55 + -17. Let q = 1351 + -1422. Is q equal to o?
False
Let p = -6286.997 - -6282. Let g = p + -0.103. Let j = g + 5. Which is bigger: j or -0.01?
-0.01
Let o be 2/2*-5 + (-165)/(-5). Which is smaller: 4 or o?
4
Let p(r) = -r**2 + 7*r + 12. Let u be p(8). Which is bigger: 23/5 or u?
23/5
Suppose -27*t = -21*t + 66. Is t at least as big as -135/11?
True
Let m be -1 + (-94)/(-8) + (21 - 20). Is m bigger than 11?
True
Let j(q) = -q**3 - 14*q**2 - 16*q + 3. Let u be j(-13). Let y be 1380/u + (-1)/(-7). Which is smaller: 34 or y?
y
Let x be 3*-2*(-2)/4. Let u(w) = -14*w - 55. Let a be u(-4). Suppose -b = x - a. Which is bigger: b or -1?
-1
Let x be (59 + 2)*(-5)/(-15300). Let j = 5/204 + x. Which is smaller: 1/4 or j?
j
Let b be (2/1)/(-2 - 5). Let j(r) = -r**2 + 8*r - 17. Let h be j(5). Let k = -1 - h. Is b at most as big as k?
True
Let a = 140.3 - 145. Let t = 5.1 + a. Is 10 bigger than t?
True
Let t = -29 - -24. Let k be (85/15)/((15/18)/t). Which is smaller: -103/3 or k?
-103/3
Let