is smaller: v or -2/7?
v
Let t(l) = l**3 + 15*l**2 + 33*l - 39. Let y be t(-12). Let j = 3 + -2. Which is greater: y or j?
j
Let p = -55 - 5. Let c = -54 - p. Is c not equal to -6/11?
True
Suppose 3 = 3*i - 0. Let d(j) = -7*j - 8. Let x be d(-4). Let s = x + -18. Is i <= s?
True
Let b = -32932/969 - -570/17. Let c = b - 4/19. Is 0.1 at least c?
True
Let f be (4/24)/(64/(-18)). Let z = f + -113/320. Which is smaller: -0.03 or z?
z
Let z = -0.13 - 0.01. Let j = 8.86 - z. Let b = -1 - -1. Which is greater: j or b?
j
Let t = -95 - -65. Let u be (-1)/(-2) + 15/t. Do -1 and u have different values?
True
Let d = 99643/1692 - 530/9. Which is smaller: d or 1?
d
Suppose -37 = -4*r - 5*j, 2*r - 5*r + 5*j = 16. Suppose 4*o + b = r, 3*b - 2 = -5. Let x be (4 - -1)/((-18)/(-4)). Which is greater: o or x?
x
Let y be 2/(-6)*(-6)/14. Suppose -2*d - 32 = -24. Let u be d - 2/((-8)/12). Which is smaller: u or y?
u
Let c be ((-4121)/(-156))/((-363)/39543178). Let x = c - -2877683. Let f = x - -1/121. Does f = -1?
False
Let o be (1 - -15)*3/6. Let w be (2/(-4))/((-4)/o) - 8. Are -7 and w unequal?
False
Let w = 92 - 55. Let p = w + -37. Is p greater than or equal to 0.112?
False
Let d be ((-105)/(-423))/7*(-4)/10. Let w = d - 268/987. Is -3 <= w?
True
Let z be (0/(-2) - 1)/(-1). Let b = -10 + z. Suppose k + 16 = 3*j, -4*k + 6*k = -5*j - 10. Is k at least b?
False
Suppose -3*m + 5*g = -54, 26*m - 23*m = 3*g + 48. Which is smaller: m or 7?
7
Let h(f) = -f - 13. Let o = 11 - 11. Let j be h(o). Are -27/2 and j unequal?
True
Suppose 14*l - 105*l = 91. Which is smaller: -48/37 or l?
-48/37
Let f be (18 - 20) + (-2)/(-27)*33. Which is bigger: f or -10/11?
f
Let i = 23 - 38. Let v = 8 + i. Which is smaller: 2/9 or v?
v
Let i be -1 + 1 + (-2)/(-13). Let x = 15 + 4. Let q = -18 + x. Is q bigger than i?
True
Let y = 28 - 44. Which is smaller: y or -0.7?
y
Let n be (-1 + -2)*30 - (-2 - 0). Let c = -87 - n. Is c >= -7/6?
True
Let h be 4/10 + 26/(-65). Let t be (15/(-170))/((-66)/8). Which is smaller: h or t?
h
Suppose 0 = 7*f - f - 24. Suppose -4*h = -3*t - 7, -h + 14 = -2*t + f*h. Suppose t*q - 32 = 7*q. Do -7 and q have the same value?
False
Let z be 2/7 + 10/14. Suppose 0 = 3*q - 40 + z. Let h(w) = w**3 - 12*w**2 - 13*w - 4. Let d be h(q). Is d greater than -6?
True
Suppose -3*s = -3*x - 42, -x + 27 + 37 = 5*s. Let d be 35/4 + (-5)/(-20). Let t = s - d. Is t less than 14/3?
True
Let y = -119 - -124. Suppose 0 = y*s - 2*x - 366, -5*s - 3*x + 255 = -96. Are 72 and s equal?
True
Suppose 4*t - t + 3 = 3*g, -5*g + 11 = -2*t. Let j be 7 + -11 - 8/t. Is j smaller than -25/3?
False
Let s = -190375/26 - -7323. Does 0 = s?
False
Let k = -93 - -36. Let h = 53 + k. Let j = 0 + 2. Which is smaller: h or j?
h
Let m(c) = 2*c**3 + 11*c**2 + c - 16. Let l be m(-5). Suppose 2*p + 16 = -3*f, -2 = l*f - p + 1. Are f and -9/5 equal?
False
Suppose 0 = 44*y - 46*y - 686. Which is smaller: -342 or y?
y
Let g = -280 + 279.9. Is g at most as big as 10/49?
True
Let h = -274 - -278. Let r be 2*(-1)/(-2) - 2. Let n be (-8)/(-4)*r - h. Is n smaller than -7?
False
Let d be (15/(-30))/((-2)/(-8)). Let y be (0 - -1)/(5/5)*d. Do -6/11 and y have different values?
True
Let z be (-4620)/900 + 5/1. Which is smaller: z or 31?
z
Let z = 142 + -148. Let r be 0*(-2 + 4 + -1). Let k(g) = -g**3 - 7. Let b be k(r). Is z < b?
False
Suppose 1632*o - 21 = 1625*o. Which is greater: 5 or o?
5
Let z(s) = s**2 + 7*s - 5. Let x be z(-8). Suppose 0 = -w + 4*w - x. Let p = -7/148 - 4/111. Which is bigger: p or w?
w
Let w = 10.92 + 0.18. Which is bigger: 0 or w?
w
Let g(o) = -2*o**2 + 3*o + 2. Let q be g(-4). Suppose 0 = -6*c + 56 - 314. Which is greater: c or q?
q
Let o = 529 - 544. Which is bigger: o or 0.01?
0.01
Let r = -376 - -417. Which is greater: 39 or r?
r
Suppose 2*g - 2 = -j + 15, 3*j - 4*g = 1. Suppose -7*q = 42 - j. Is q != -3?
True
Let s = 19 - -94. Let x = s + -115. Is x < -13/11?
True
Let j be -1 + (133/(-3))/1. Suppose -4*s + 180 = -8*s. Let d = s - j. Is d greater than -6?
True
Let z(o) = -3*o**3 - 19*o**2 - 7*o - 4. Let n be z(-6). Suppose 3*p - 2*p = -n*q + 1, -p + 5*q = 6. Which is bigger: 2/15 or p?
2/15
Let o = -2210/5013 + -2/557. Is 1 bigger than o?
True
Let v be 2/16 - (-85)/(-40). Let c be 7 - 1 - 4/v. Suppose 22 = -c*j - 58. Is -10 bigger than j?
False
Let g = -730/11 - -3092/33. Do g and 26 have different values?
True
Let u = -121.8 + 108. Let m = 13.9 + u. Which is smaller: m or 19?
m
Suppose -3*n + 2*f + f = 3, n = -f + 7. Let x be 138/(-552) + (-194)/(-72). Is x at least as big as n?
False
Let a = 854 - 28184/33. Let b = -13 + 13. Which is smaller: a or b?
a
Let l = -36 - -34. Let j be l - ((-2)/(-6) + 96/(-18)). Which is greater: 4 or j?
4
Suppose -7*o - 158 = -5*o. Let k = 35 + o. Which is bigger: -43 or k?
-43
Suppose 0*n - 2 = 2*n. Let r = 5 - n. Suppose q - 2*q = -5. Are q and r nonequal?
True
Let o = 66 + -202/3. Let x = -244 + 104. Let l = x - -140. Does o = l?
False
Suppose -4 = -2*g - 2*g, 5*i = -g - 59. Which is smaller: i or 7?
i
Suppose 210 = -14*s + 16*s. Let r be s/28 + 9/(-12). Suppose -5*w + 21 = 4*m, 5*w + r*m + 11 = 7*m. Which is greater: w or 3/23?
w
Let n = -16 - -12. Let p be 3 + n/(-1) - 2. Let t = -0.7 - 0.3. Is t greater than p?
False
Let n be (-1 + -2)/(30/(-4002)). Let t = 403 - n. Is 2 at most t?
True
Let k be (-1)/6 - 14/(-12). Let f be 1/k + 8 + -4. Suppose -3*r - 2*o = -8, -f = r - 4*r + o. Is r at most -1?
False
Suppose 4*a = -2*i + 14, 3*a - 5 = 7. Let u be (6/27)/1 - 86/306. Is u at most as big as i?
False
Suppose 4*s - 1 = 11. Let r = -0.2224 - -0.0224. Which is smaller: r or s?
r
Let m be (52 - 1)*(-3 - (-220)/72). Let l = 15 + -16. Which is smaller: m or l?
l
Suppose 4*t + 50 = -50. Which is greater: t or -4?
-4
Suppose 5*d = 4*i - 303, 3*i = 6*i - d - 219. Is 72 at least as big as i?
True
Suppose 0 = 3*w - w - 2. Let b be 141/45 + (-6)/45. Let j = -25/9 + b. Is w smaller than j?
False
Let p(f) = f**3 - 5*f**2 - f + 7. Let i be p(5). Let h = -13 - -29. Let d be (2/1)/(h/24). Which is smaller: i or d?
i
Let g(f) = -5*f**2 + 56*f + 96. Let x(a) = -a**2 + 14*a + 24. Let z(c) = 2*g(c) - 9*x(c). Let n be z(-12). Let j be (-4)/14 - (-93)/105. Is n at least j?
False
Let x be 35/(-5) + 1 + 2. Suppose 0 = 5*z + 2*s - 20, 2*z = z + 3*s + 4. Suppose f - 45 = 4*i - 4*f, -4*i = z*f. Is i at least x?
False
Let y = -81 + 53. Is y at least -0.2?
False
Let k = 0 - 5. Suppose -5*r = 5*i, -4*r = -6*r - i + 1. Which is bigger: r or k?
r
Suppose -3*y + 30 = 3*y. Suppose -y*v - 40 + 10 = 0. Let g be (-12)/(-3)*(-14)/8. Which is smaller: g or v?
g
Let z = 499 + -499. Let b(o) = 4*o**3 + o**2 - o + 2. Let x be b(2). Let q = x + -501/14. Which is smaller: z or q?
z
Let f be 4 + -3 - (-3 - -220). Are f and -214 non-equal?
True
Let p(t) = t**2 - 1. Let c be p(0). Let d be (1*5)/((-9)/27). Let n be 2 + (-16)/(-84)*d. Which is smaller: n or c?
c
Let s = 1392.91 + -1400. Let h = s + 0.09. Is h < 4?
True
Let p be (36/21)/(4/42). Let x = 171 - 152. Do x and p have the same value?
False
Let d = 0.26 + 3.74. Let m = 1.8 - -5.2. Let q = -6.8 + m. Is q less than or equal to d?
True
Let u be ((-40)/(-15) - 2)/(1/3). Suppose -l - 7 = -u. Suppose 5*t + 0*v = -3*v - 39, 0 = -5*t + 3*v - 21. Which is greater: t or l?
l
Let v = 620 - 605. Is v >= 16?
False
Let p be -2 + (-196580)/690*(-3)/4. Let x = p + -423/2. Is x greater than -1?
True
Let r = 1007/3996 + -2/999. Let l = -4 + -6. Is l less than r?
True
Suppose -4*m + 16 = 60. Let n = 188 - 193. Let f = n - m. Which is smaller: f or 5?
5
Let x = 1176 - 1170.87. Let p = -0.47 - x. Let i = p + -0.4. Is -1 equal to i?
False
Let s = -28 - -29. Which is bigger: s or 129/7?
129/7
Let r = 1 + 1. Suppose 3*g - 9 = n, -3*n + 2*n = g - 11. Let l = r - n. Which is smaller: l or -6?
-6
Suppose 2*t = -2*b - 6, -5*b - 3*t = -2*t + 3. Which is bigger: 10/27 or b?
10/27
Let z = 13.15 + -12.9. Let l = -0.36 + z. Which is smaller: l or -1/5?
-1/5
Let o = -1.217 + 0.217. Let u(y) = -2 + 1 - y + 0*y + y**2 + 11*y**3. Let a be u(-1). Which is smaller: a or o?
a
Let a(p) = p**3 + 17*p**2 + p + 35. Let s be a(-17). Is 39 greater than s?
True
Let d(k) = 2*k**2 - 21*k + 50. Let a be d(3). Is 27 not equal to a?
True
Let q = -3836 + 2596. Let g be 4/(-10) - 886/q. Let h = 2/