 y?
y
Let n be 5/(1*(-2 + 1)). Let l(j) = -j - 7. Let q(a) = 5*a + 35. Let p(o) = 11*l(o) + 2*q(o). Let i be p(-1). Which is bigger: n or i?
n
Suppose -5*n + 4*i + 64 = 0, i - 1 = -2. Let a be (-24)/(-50)*(-30)/n. Let v(g) = g - 4. Let x be v(2). Is a smaller than x?
False
Suppose -2*u - 8 = -2*l, -l - 2*u - 8 = 4*l. Is l at least as big as -3/98?
True
Let j be (4/39*-1)/(109/(-3270)). Is 3 not equal to j?
True
Suppose -4*l + 98 = 5*a + 668, -l - 4*a - 148 = 0. Which is smaller: -138 or l?
l
Let o be (1 + 28)*(-4 + 7). Let f = 110 - o. Is f at least as big as 24?
False
Let z be 1 + 2 + (4 - 20). Let d be (76/(-10))/(z/(-65)). Is d > -38?
False
Let y = 0.59 - -0.01. Let o = -2.6 + y. Let d = -37.1 - -35.1. Is d less than o?
False
Let c be 2/14 + 9/(-189)*3. Is -1/124 less than c?
True
Suppose 0 = 6*f - 4*f - 7*d + 23, -2*f + 10 = 4*d. Which is smaller: f or -45/38?
-45/38
Let h(k) be the first derivative of k**2/2 - 2*k - 16. Let m be h(1). Which is greater: -2/59 or m?
-2/59
Suppose -18 = 67*q - 62*q - 4*o, q + o = -9. Let w be 1*-2 + 2 + 2. Suppose -b + 4 = -z, -b = -w*z + 3*b. Is z greater than q?
False
Let r = -18.8 + 17. Let v = r - -2.2. Is 2 less than v?
False
Let k be 2015/20 - 2/(-8). Suppose -98*p = -k*p - 123. Is -41 at most p?
True
Suppose 5*c + 4*r = -0*c + 14, 12 = 4*c + 4*r. Let b be 80/95 + -1*2/c. Which is greater: 0 or b?
0
Let s = 807 + -7261/9. Suppose 4*t - 12 = 4*b, 0*t - 5*b - 8 = 2*t. Which is smaller: t or s?
s
Suppose -4*i = -8*i + 5*y + 11, -12 = 4*y. Is i less than or equal to 49?
True
Let l = 1.4 + 0.6. Which is greater: 22 or l?
22
Let g be 4*(6*6/72 - 3). Is g at least 3?
False
Let l = -12 + 12. Let i = -0.32 - -0.23. Let y = 0.3 + i. Which is greater: l or y?
y
Let h = -3.3 - 0.7. Let r = 40105/4 - 9972. Let y = -54 + r. Does h = y?
False
Let q be 1/5*(0 - -5). Let j be 15 + 0 + 4 - 3. Let g be (-9)/27*9/j. Are q and g nonequal?
True
Let r be (-40328)/3440*2/(-13). Let j = 2/559 - r. Is j at least -2?
True
Suppose 4 = -2*s + 2, 0 = 5*w - 2*s + 38. Is 14 greater than or equal to w?
True
Let a be (-15 - 0)*3/(-9). Suppose -3*f - a*h = -122, 2*h + 59 = -3*f + 4*f. Let c be (-14)/f - (-174)/(-28). Which is greater: c or -8?
c
Let k = 20 + -24. Let q = 0.2 + 3.8. Let g = 5 - q. Which is bigger: k or g?
g
Suppose -l - 2*h = 0, -2*h = -3*l - 0*l. Suppose -r = -5*p + 10, l = -3*p + 3*r - 1 - 5. Suppose -a - p*a - 2*x + 18 = 0, 27 = 4*a + 5*x. Are 5 and a nonequal?
True
Let v = -28.85 + 29. Let y = v - 0.05. Is y less than -0.17?
False
Suppose 0 = -5*n + 4*z + 9, -5*n = -2*z + 2 - 9. Which is smaller: n or 0.05?
0.05
Let n be (-5855312)/(-204288) - (-1)/6. Let z = 548/19 - n. Let h = 37/672 - z. Is h > -1?
True
Let x = 113 - 2372/21. Let c be 705/(-9) - (-2)/(-3). Let s = 78 + c. Do s and x have the same value?
False
Suppose -86*s + 105*s = -19. Let j be 6/(-21) - (-162)/371. Let i = j - -241/159. Is s at least as big as i?
False
Suppose -3*c + 5*t + 25 = -138, -3*c - 3*t = -195. Suppose 7*d = 16 + c. Let k = -6 - d. Is -17 at most as big as k?
True
Let k be 0/2*(-1 + 0). Let s = -2399/48 - -50. Which is smaller: s or k?
k
Let c be ((-44)/(-77))/(2/21). Let q(v) = 2*v - 13. Let k be q(10). Do k and c have the same value?
False
Let y be 1 - 4/((-48)/(-15)). Let j = 0.12 - -15.88. Which is greater: j or y?
j
Let l = -5 + 5.4. Let b = -29 - -43. Let k = -16 + b. Does k = l?
False
Suppose f = -5*x + 202, -4*f - 4*x + 808 = -0*f. Which is smaller: 201 or f?
201
Let r = -47 + 46.71. Let a = 0.09 + r. Suppose -2*y + 45 = -5*o, -3*o + 35 = y + 4*y. Is a equal to y?
False
Let w(j) = -16*j - 8 - 21*j + j**2 + 25*j. Let q be w(13). Let u be 3 - 1 - q - -13. Which is smaller: u or 8?
8
Let v be -2*(-1)/5 + (-1692)/180 + 9. Let g = 2426 + -356624/147. Which is smaller: g or v?
g
Suppose -4*u + 2*o - 26 = 0, 1 = -u + 4*o - 16. Let g(f) = f**3 - 14*f**2 + 14*f - 16. Let w be g(13). Is u greater than w?
False
Suppose -2*x - 604 = -3*a, -678 = 4*x - 4*a + 538. Which is smaller: -307 or x?
x
Let b = 22 - 19. Let j be -2 + (-225)/10 + b. Which is bigger: j or -21?
-21
Let i(q) = -2*q + 40. Let r be i(19). Suppose -3 = r*x - 5. Which is smaller: 2/13 or x?
2/13
Let w = -0.076 + -68.924. Let m = -69 - w. Is -6 greater than m?
False
Suppose 0 = 5*n - 0*n. Suppose n = -3*i - 19*i + 330. Is i greater than 18?
False
Let o(i) = i**3 - 12*i**2 + 20*i. Let y be o(10). Let z be 34/(-120) - (-3)/15. Which is smaller: z or y?
z
Let z be 18/(((-7)/2)/(3/(-51))). Which is greater: z or 1?
1
Let i be 202/((-1 - -5)/2). Which is bigger: i or 102?
102
Suppose -2*b - 2*u - 114 = 0, b = -6*u + u - 65. Which is smaller: b or 2?
b
Let f = -31501/13 + 2422. Suppose 0*k - 3*k = 3. Is k less than f?
False
Let p(b) = 4*b + 30. Let r be p(-8). Let g be ((-45)/2895)/(3/r). Which is smaller: 0 or g?
0
Suppose -3*o - 4 = -t, 4*o + 0 = 2*t - 6. Which is greater: -2/4003 or o?
-2/4003
Suppose 0 - 3 = -y. Suppose -28 = -y*c - c. Suppose -1 = u - 2*q, 0 = -3*u - 3*q + 44 - 11. Is u greater than or equal to c?
True
Let f be ((-85)/20 + 4)/(7/(-252)). Which is greater: f or 3?
f
Suppose -2*w + p + 6 = 0, -6*w - 7 = -9*w + p. Which is smaller: -1/6 or w?
-1/6
Let p = 1.4 + -2.9. Let a = p + 6.5. Which is smaller: -1/2 or a?
-1/2
Suppose 2 = y - 5*x, 12 = 5*y - x - 46. Which is smaller: y or 3?
3
Suppose 5*v = 3*j - 13, -2*v + 12 + 14 = 4*j. Suppose -j*m = -0 + 72. Is m bigger than -13?
True
Suppose -9*j + 30 = -15. Suppose -j*x - 18 = -11*x. Is x less than 0?
False
Let p = -1 - 9. Let j(x) = -2*x**2 + 7*x - 1. Let q(n) = n**2 + n + 1. Let d(t) = -j(t) - 3*q(t). Let c be d(p). Which is bigger: 0.1 or c?
0.1
Let c = -290 - -178. Do c and -1/5 have the same value?
False
Let l(u) be the third derivative of -u**6/120 + 13*u**5/60 - 13*u**4/24 + 11*u**3/6 - 9*u**2. Let r be l(12). Which is smaller: r or -1/5?
r
Let i be (-1*3/18)/(-2). Let y = 567 + -567. Which is greater: i or y?
i
Let s = -2.32 + 2.2. Let r = 2773/4 + -693. Which is smaller: r or s?
s
Let v = -13.36 - 2.64. Which is greater: 0.01 or v?
0.01
Let z(h) = -h**3 - 6*h**2 - 7*h - 6. Let j be z(-5). Suppose c + j*c + 15 = 0. Is -2/3 less than or equal to c?
False
Let f(v) = -v**2 + 8*v + 5. Let u be f(8). Suppose g - 14 = -n - 2*n, 0 = -u*g + 5*n + 130. Let y be (4/7)/4*161. Is y at most g?
True
Let q = 96.95 - 97. Let n = q + -0.15. Let v = 0.09 + -0.1. Which is bigger: v or n?
v
Let p(k) = -k**3 - 10*k**2 + 17*k - 2. Let c be p(-9). Let f be (-6)/(-10) + (4 - c/(-60)). Let x be ((-2)/1)/(24/9). Are x and f unequal?
True
Suppose 11*a + 2282 = -578. Let w be 10/a - (-3)/6. Which is smaller: 1 or w?
w
Let s be ((-4740530)/(-15))/(68/330). Let v = 1533241 - s. Let k = -460 - v. Is k equal to 0?
False
Let q be (-12)/84*7/2. Do q and -1 have the same value?
False
Let g = -45945 + 6340459/138. Let h = g + -1/46. Is h < -4/19?
False
Let f(x) = 134*x - 197. Let m be f(3). Is 206 bigger than m?
True
Let o = 349 - -76. Is o > 1/4?
True
Let c be 6 + (-2*6)/(-4). Which is greater: c or 8?
c
Let q(y) = y**2 - 9*y + 3. Let v(w) = w**2 - 10*w + 3. Let j(a) = 5*q(a) - 4*v(a). Let i(t) = -4*t. Let r be i(-1). Let x be j(r). Is x not equal to 2/17?
True
Let y(n) = 15*n - 3 + 33*n + 2*n + 13*n. Let j be y(1). Let w be (-88)/j + 2/15. Is w smaller than -2?
False
Let d = -15937 - -494105/31. Is 3 at most d?
False
Let f(d) = -7*d**2 + 2. Let j be f(-1). Let c = 0 + j. Let r = -9 + 2. Is c < r?
False
Let d = 1 - -1. Let f be (-4)/(-10)*(-2 - -22). Suppose 5*h - 14 = 2*h - j, -2*j = h - f. Which is bigger: d or h?
h
Suppose 5*f + 17 = 187. Let i = 35 - f. Which is smaller: i or -2/51?
-2/51
Suppose -1500 = -6*o + o. Let m be 84/o - (-4)/(-10). Which is smaller: -1 or m?
-1
Let j be 15/(-10)*(-8)/(-21). Let p = -2/3 - j. Which is smaller: 0 or p?
p
Suppose 0 = 5*u - 10 - 10. Let a = u - 3. Are a and 1/20 equal?
False
Let i be (-5)/(-6)*(-18 + 24). Suppose -4*j = 5*w - 7*w - 54, -20 = i*j. Which is smaller: -37 or w?
-37
Suppose -5*s + 7 = -f, 1 = -f - 2*s + s. Which is greater: 26 or f?
26
Let r be (4/5)/((-10)/(-25)). Suppose -7*n = -r*n + 25. Let b be 55/(-14) + (-45)/(-105). Which is bigger: n or b?
b
Suppose -5*n - 1 = -26. Let l(r) = -2*r**3 - 29*r**2 - 13*r + 12. Let w be l(-14). Let z be w*((-6)/n)/(-6). Is -1 > z?
False
Let d(w) =