 3. Let o = l + -9. Which is bigger: j or o?
o
Let u(h) = -2*h - 9. Let v be u(-10). Let r be (-30)/(-1) + -16 + 19. Let i = r + -22. Does v = i?
True
Let g be (-12 + 28)*(0 + 1). Let i(b) = -2*b - 2. Let p be i(-8). Let r = g - p. Is 2 at most r?
True
Let y = 464.8 + -465. Which is smaller: -10/119 or y?
y
Let j(f) = 2*f**2 + 25*f + 46. Let d be j(-13). Which is smaller: d or 62?
d
Let j(d) = -76*d - 614. Let u be j(-8). Suppose -2*a + 4 = 4*n - 6*a, -21 = 4*n + a. Is n smaller than u?
False
Let w = 54 - 54.2. Let y = -25 - -36. Do y and w have different values?
True
Let t be 20 + 18 + (0 - -1). Let y be (-2)/3*1/t. Let w = y - 76/117. Which is bigger: w or 0?
0
Let z be 32/(-42) + (-1)/(-3). Let n be 26/(-312) - 3/(-4). Is n less than z?
False
Let d(j) = j**3 + 7*j**2 - 10*j - 10. Let b be d(-8). Suppose -b*o - 6 = -4*o. Let k be 12/(-3)*1 + 1. Is o at least as big as k?
True
Let s be (-1 - 0)*(-7 + 6). Which is smaller: s or 4/7?
4/7
Suppose i + 61 = 4*j - 0*i, 5*j + i - 74 = 0. Suppose 3*u = -3*t - j, 5*t + 11 = -2*u - 14. Which is smaller: 6/7 or u?
u
Let u be 3/((-1)/(265/(-15))). Suppose 7*p + u = -52. Is p less than or equal to -15?
True
Let v = 15.5 - 52. Let f = v + 36. Which is greater: f or -2/9?
-2/9
Suppose 0 = 3*n - 2*n + k - 2, 5*k + 25 = 2*n. Suppose 0 = -n*p + 4 + 11. Suppose -p*i + r = 1, 4*r + 2 - 16 = 2*i. Which is greater: 2/51 or i?
i
Let z = -61 + 60. Let m be -1*((2 - 0) + z). Which is bigger: -2/231 or m?
-2/231
Let o(l) = l - 3. Let w be o(-6). Let r(j) = 9*j**3 - j - 1. Let n be r(-1). Is w at most n?
True
Let w(z) = -z**2 + 3*z + 6. Let f be w(4). Let u be -1 - (f/(-3) + 8/(-15)). Which is smaller: 4 or u?
u
Let n = 1/1011 - 338/1011. Is 1/327 greater than n?
True
Let p = -728 + 739. Is p equal to 16?
False
Suppose -20 = -2*s - 2*s. Suppose s*o - 44 = o. Suppose 0 = -4*x - 9 - o. Are x and -5 equal?
True
Let d be 12/(-4) + (7 - 10). Which is smaller: -60/13 or d?
d
Suppose -208 = 3*s - 4*r, 2*s = 6*s - r + 286. Is s equal to 0?
False
Let z = 90.7 + -171.8. Does z = 0?
False
Let x be ((-2)/183)/(-2 + 3). Let p = 205/2013 + x. Which is bigger: p or -2?
p
Let j be (-2 - 0 - 0) + 1300/78. Is 14 at least j?
False
Let r be 8/32 + 18/(-16)*10. Which is greater: -2 or r?
-2
Suppose 5*l - 10 = -f, 0*l + l = 3*f + 2. Which is greater: -4 or f?
f
Let f = 2 - -9. Let i(d) = 7*d**2 - 4*d + 14. Let l(u) = -15*u**2 + 7*u - 29. Let y(g) = 13*i(g) + 6*l(g). Let j be y(f). Is 19 equal to j?
True
Let x be (-1366)/8220*-3 - (-2)/(-4). Which is greater: -1 or x?
x
Let k be (-115)/238 - 36/(-63). Let c be (1 - 2)*(1 - 1). Which is bigger: c or k?
k
Let v be -1 + 2 - 8*1. Let m(h) = -h**3 + 3*h**2 + 6*h - 8. Let u be m(4). Suppose u = -5*b - 3*z - 0*z - 25, -4*b + 2*z = 42. Is b != v?
True
Let w(a) = 4*a**2 + 6 + 0 + 2 - 6*a. Let u be w(-6). Let q be ((-180)/u + 1)/(-1). Is q bigger than 0?
False
Let g be -3 - (-16 + (3 - 3)). Let v = -11 + g. Suppose -v*m + 6*m = 0. Is m greater than or equal to -3/4?
True
Let w be -4*(1 - 3)*-72. Let f be (-146)/w + 8/108*-3. Is -1 greater than f?
False
Let d = -46.7 + 47. Let c = d + -0.4. Is c <= 3/10?
True
Suppose 0 = 12*t - 9*t - 6. Suppose 3*b - 3*i - 25 = 5*b, 3*b + t*i = -35. Suppose n + 14 + 7 = -3*h, 2*h = -n - 18. Are b and n nonequal?
True
Let k = 53008/10815 + -172/35. Are -1 and k equal?
False
Let t = -289 + 2599/9. Which is greater: t or 4?
4
Suppose -3*x - 5*t - 12 - 12 = 0, t + 15 = -4*x. Let q(a) = a**3 + 13*a**2 - 15*a - 19. Let i be q(-14). Which is smaller: i or x?
i
Suppose -15*a = -16*a + 5. Suppose -a*m = -2 + 12. Let g be 2*(m + 1) + 3. Which is greater: 0 or g?
g
Let b(n) = n**2 + 5*n - 50. Let f be b(-10). Are f and -5/59 equal?
False
Let x = 68 - 83. Let n be 12/(-5)*2/x. Is -1 at least as big as n?
False
Let w = 28 + -26. Let n(a) = 2*a**3 - a - 2. Let i be n(w). Let l be 2/(i/(-9))*6. Is -10 < l?
True
Suppose -4 = -4*r + 24. Suppose r*w - 39 = -25. Which is smaller: 16/5 or w?
w
Suppose 0 = 12*d + 1036 - 64. Which is greater: d or -79?
-79
Let m = 210 + -234. Do m and 4 have different values?
True
Let q be (-1 + 3 + 2)*2. Suppose 5*x - 21 - 19 = 0. Let y = x - -1. Is y greater than or equal to q?
True
Let q = -248125 + 30767329/124. Let n = q + 4/31. Which is smaller: n or -1?
n
Let w(d) = -d**3 + 8*d**2 - 2*d + 11. Let i be w(4). Which is smaller: 68 or i?
i
Let f(w) = -11*w**2 + 2*w + 11. Let m(a) = 7*a**2 - a - 7. Let z(u) = 5*f(u) + 8*m(u). Let i be z(-3). Suppose 3*s + i*s = 0. Does -1/12 = s?
False
Let y = -108 - -110. Suppose 3*t - y*s = -19, -3*t - 5*s - 5 = -0. Which is smaller: t or -14?
-14
Let t = -0.3 - -0.3. Let f = -3217/106575 - -5/1421. Which is greater: t or f?
t
Let r be -1 + (-590)/464 + 195/520. Which is smaller: -2 or r?
-2
Suppose -4*x = 4*h - 1968, 50*h = -3*x + 49*h + 1476. Is 491 greater than or equal to x?
False
Suppose -a - 4*o = -11, 8 = -2*a + o + 3. Let m be 1*(-6)/3 - a. Let r be 30/72 + (-4)/6. Do r and m have the same value?
False
Let j be 4*(0 - 5/(100/(-105))). Which is smaller: j or -12?
-12
Let l = -64 + 77. Are 10 and l non-equal?
True
Let s = -20 - -11. Let l be ((-16)/10)/(24/(-60)). Suppose i + 2*j = l*j - 1, -3*j - 12 = 0. Does s = i?
True
Suppose -2*t = -j + 121, -10*j = -2*t - 5*j - 125. Which is smaller: 4 or t?
t
Let w be (-18)/(-207) - (-9260)/368. Which is smaller: w or 25?
25
Let t be 2/7 + 1235/(-133). Suppose -4*r - 18 = 18. Does r = t?
True
Let w(y) = -y**3 - 7*y**2 + 4. Let k be w(-7). Suppose 1 = -3*b + u - 0, 0 = -2*b + 3*u + k. Let q = -39 + 39. Which is greater: b or q?
q
Suppose -7*a - 1015 - 483 = 0. Are -213 and a non-equal?
True
Let g = -80 + 83.2. Let z be 1/(-5)*(-185)/(-74). Which is bigger: g or z?
g
Let i be (-25 + 27)*102/(-93). Which is greater: -2 or i?
-2
Let m = -5669/3 - -844645/447. Which is greater: 1 or m?
1
Let s be 5/(-1)*308/(-665). Which is bigger: s or 1?
s
Let i = 260/94841 + 7945474437/7302757. Let j = 1088 - i. Is -1 > j?
False
Let n = -21 + 18. Let b be (5/3)/((-1)/n). Suppose b*y - 35 - 20 = 0. Is 11 <= y?
True
Let g be (1 - -1) + 56 - 3. Suppose -v = 2*i - g, 0 = 4*i + 5*v - 65 - 42. Let z be (-144)/i + (-1)/(-7). Is -5 at most z?
True
Let s be 1120/(-2800) + ((-3)/5)/1. Is 3/380 at least s?
True
Suppose -6 = 3*x, -4*y - 13 = -y + 5*x. Let g(v) = -v**2 - 6*v. Let h be g(-5). Let a be (4/6)/(h + -13). Do y and a have the same value?
False
Let b be 46/105 - ((-24)/90)/2. Are b and 1/13 non-equal?
True
Suppose 0 = 2*n + 5 - 5. Let q(l) = l**3 + 2*l**2 - 2*l + 1. Let o be q(-2). Let d = -8 + o. Do n and d have the same value?
False
Let d = -0.63 + 0.68. Let h = 1.07 + -0.07. Let u = -3 + h. Is u >= d?
False
Let s(d) = d**3 - 6*d**2 + 5*d + 7. Let m be s(5). Suppose 1 - m = v. Let t be (44/8 - 9)/(1/2). Which is bigger: t or v?
v
Let v(q) = 12*q**2 - 64*q - 315. Let x be v(-5). Is 308 less than x?
False
Let d be (-4)/3 - (-2)/6. Let y = 385251/76 - 5069. Let q = y + 3/19. Which is smaller: d or q?
d
Let g be ((-9)/(-6))/(11/(-2)). Let r be (-1)/((-15)/20 - (-1)/(-4)). Which is smaller: g or r?
g
Let y(t) = 10*t + 37. Let g be y(-4). Let u be ((-84)/2)/2 - -1. Let f be u/15*g + 3. Which is greater: f or 8?
8
Let u be 1 + (-57)/(-21) + 2/7. Let k = u + -11. Is k > -6?
False
Let i = -106 - -103. Suppose -4*q - 9 = -1. Let v be (q + 3/(-6))*2. Which is smaller: i or v?
v
Let c = -14 + 9. Let x(y) = y**2 + 5*y + 2. Let k be x(c). Suppose 5*h - 11 = 4. Which is greater: k or h?
h
Let r = 113 - 112. Which is smaller: r or -2/33?
-2/33
Suppose -4*l + 4*i = 6*i + 4330, -4*i = l + 1100. Let p = l - -5382/5. Is -5 >= p?
False
Suppose -5*c + 997 = -193. Let s = c + -4520/19. Is -1 at least s?
False
Let y(q) = -q**3 + q**2 - 2*q + 5. Let a be y(0). Suppose 2*s = -a*k - 12, -3*k - 28 = -5*s + 4. Which is smaller: 1/7 or s?
1/7
Let u be 2470/2*(-1)/7. Let b(l) = -46*l + 7. Let x be b(4). Let z = x - u. Which is smaller: 0 or z?
z
Let f(v) = v**2 + 13*v - 3. Let k be f(-14). Suppose -5*l - k + 1 = 5*j, 0 = j - 4*l + 2. Which is smaller: j or -10/17?
j
Let w = -338 - -338. Which is bigger: w or 71?
71
Let v = 4665.131 - 4665. Let q = -0.2 - -0.3. Do q and v have the same value?
False
Let v = 356/2445 + -2/163. Which is bigger: 1/3 or v?
1/3
Let u = 48 - 45. Let s be (2 - u) + (-10)/(-25). Is 0.1 <= s?
Fal