is bigger: k or 1?
1
Let a(s) = 2*s - 24. Let m be a(12). Which is smaller: m or -4/9?
-4/9
Let q be 3/(-9)*(-9)/5. Let u be 2/(-8) - 18/(-8). Is u at most as big as q?
False
Suppose 3*z + 2*p + 5 = 1, -5*p = z + 10. Is z equal to 10/9?
False
Suppose -3*q + 8 = -q. Suppose 0 = -5*i - 10, q = -t - i - 0. Let g be (1 + 0)/(2/(-4)). Is g greater than t?
False
Let a(j) = -j**2 + j + 4. Let r be a(3). Suppose 0 = 2*o - 6. Let f be 3/27*o*-2. Are f and r equal?
False
Let j = -110 + 110. Which is greater: j or 0.47?
0.47
Suppose 2*l = l - 2*j, -l + 12 = 5*j. Let v = 2 + l. Let m be (-5)/(-6) + 3/v. Is 1 greater than m?
True
Let g be (-4)/3*12/(-8). Let i = g - 0. Let y = 86/3 + -28. Are i and y non-equal?
True
Let a = -5 - 148. Let j = a - -1067/7. Suppose 6 = 4*n - 2*u, 19 = -4*n + u - 4*u. Which is smaller: j or n?
n
Let j be (-160)/28 + (-2)/7. Let d = 5 + -9. Let q be (d/j)/(4/6). Is q bigger than 1?
False
Suppose 2*b = -3*b - 5. Let j be (-2*4/16)/b. Which is smaller: 1 or j?
j
Let q(a) = 4*a**2 + a. Let k be q(-1). Let l be 4*2*6/(-8). Let v = 8 + l. Which is smaller: k or v?
v
Suppose -1 - 9 = n. Let h = 1 - n. Which is greater: h or 12?
12
Suppose -3*g = -2*g. Let k be (-2)/(g + (-24)/9). Is k at least as big as 0?
True
Let j(i) = -12*i - 2. Let l be j(-1). Is 10 <= l?
True
Let u(v) = 5*v**3 + v**2 + v + 1. Let n be u(-1). Do -4 and n have the same value?
True
Let r be 2 + (-4 - -3) + -54. Which is smaller: -52 or r?
r
Let g(v) = v**3 - 9*v**2 + 2*v - 1. Let h be g(3). Is h smaller than -50?
False
Let t = 113 + -122. Which is smaller: t or -8?
t
Let z be 6/((-9)/(-3) + (-24)/16). Does z = -5?
False
Suppose 2*z - 3 = 5*z. Let x be -1 + ((-27)/3 - 3). Let o = 11 + x. Is z greater than or equal to o?
True
Suppose 2*w = -w - u + 16, -5*w + 2*u + 23 = 0. Let i(l) = l + 2. Let c be i(2). Is w bigger than c?
True
Let k = 8.2 + -0.2. Let o = -8 + k. Let v = -1 - -0.9. Which is greater: v or o?
o
Suppose 3*i - 4*x = -5 - 34, -3*x + 9 = 0. Which is smaller: i or 3?
i
Let i = -8 + 14. Which is smaller: i or 5?
5
Suppose -2*w - 2*d = 8, 6*d - d = 3*w - 20. Which is smaller: 8/7 or w?
w
Let p = -26 + 26. Let m = 5.09 - 0.09. Which is smaller: m or p?
p
Suppose -4*o + 37 = 3*v, 4*v + o - 54 = -2*o. Let t be (4/6)/((-10)/v). Let f be -1 - t/((-1)/(-2)). Is -1/4 at least as big as f?
False
Suppose 3 = f - 2. Suppose -4*q - f*n = 55, -q + 4*n - 2 = 17. Let p be 5/q - (-1)/21. Which is bigger: 1 or p?
1
Let a = 2 - 40. Let q be (-2)/(-6) - a/(-78). Let i = 2 + -2. Which is smaller: i or q?
q
Suppose -u + 3*h - 3 = 16, -82 = 5*u - 2*h. Let r be 8/u - 3343/18. Let l = r - -186. Which is greater: l or 1?
1
Let n be (-28)/49*7/(-2). Let d be (1 - (0 + 1))/n. Suppose c + 5*b + 26 = -0*c, -c + 2*b + 9 = 0. Which is smaller: d or c?
c
Let w(n) = -12 + 11 + 12 + n + 6. Let k be w(-8). Let s be k/(-3)*6/27. Which is bigger: s or -2?
s
Let m = 1/360 - 161/360. Let h be 9 + -3*(3 + -2). Let l(k) = k**2 - 5*k - 5. Let g be l(h). Which is smaller: g or m?
m
Let y be -4*(26*1/(-2))/2. Is 99/4 < y?
True
Let k be (3/(-22))/(6/(-360)*9). Which is bigger: 1 or k?
1
Let d be (-2)/(-7) + 0 + 0. Let r be (-3)/4*24/(-9). Suppose -b = -6*b + r*w + 11, 12 = -4*w. Which is bigger: d or b?
b
Let j be (-12)/(-18) + 4/(-6). Is 1/2 bigger than j?
True
Suppose 4*j = 7*j. Suppose 5 = z, -2*d - 4*z = -0*z - 16. Which is smaller: j or d?
d
Suppose 0 = 4*o + 3 + 9. Let s = -4 - o. Let h be (-4)/143 + (-2)/(-11). Which is greater: s or h?
h
Let h = -9.85 + -0.15. Let x = h + 14. Let a = x + -3.8. Is a < 2/3?
True
Let y = -29 - -40. Let j = 15 - y. Suppose 3*d + 5 = -4*h, -5*d + 1 = -2*h + j*h. Which is smaller: h or -4/7?
h
Let p = 1/115 - 237/805. Which is smaller: 0 or p?
p
Suppose -4*b + 2 = -3*i + 24, -8 = -4*i. Let d be 3/(0 + -1) - b. Let h = 35 + -387/11. Which is bigger: h or d?
d
Suppose -k = 4*k - 25. Let i = 11 - k. Let o = -6 - -10. Is o at least i?
False
Suppose 2 = -g - 0*g. Let l be 3/(-12)*g*2. Let a be 0 - (3 + -2 - l). Is -1 at least a?
False
Let t(v) = 2*v**3 + 5*v**2 - 4*v - 1. Let z be t(-3). Is 9/16 at least z?
False
Suppose -2*y + 1 = -b, 0 = -y - 5*b + 4 + 2. Which is greater: 2/13 or y?
y
Let u be -1*(-11 + (-1)/(-1)). Suppose -3*h - b - u = 0, -8 = -3*b + 5*b. Let l = 6/59 - 313/177. Is l > h?
True
Let g = -1/6 + -1/6. Let w be 2*(1 + 0) - 1. Which is bigger: w or g?
w
Let b = 32501/19130 - -2/1913. Is 2 at most as big as b?
False
Let h = -13 - -24. Is 10 greater than h?
False
Let f = 0.12 - -0.1. Let c = -0.2 + f. Does 0.1 = c?
False
Let y = 21 + 13. Let z = y + -26. Which is smaller: z or 10?
z
Let d = -3 - -10. Let q = d - 7.1. Let n = 7 - 6.9. Which is greater: q or n?
n
Let r(y) = -y**2 + 7*y + 4. Let x be r(7). Let v = x - 7. Do -2 and v have the same value?
False
Let l be (-2)/(-2)*2/1. Suppose 15 = l*t - 3. Let z be ((-1)/t)/1*2. Are -1 and z equal?
False
Let i = 3 - 12. Let w be 6*(i/6)/3. Let u = 3 + w. Is -2 <= u?
True
Let y be (1 + (-2 - 2))*1. Let d = y - -3. Let a = -1/6 - 1/6. Which is greater: a or d?
d
Let c(k) = -5*k - 63. Let f be c(-12). Which is bigger: -4 or f?
f
Let j = 0.84 - 0.65. Which is bigger: -1 or j?
j
Let x(r) = r**3 + 6*r**2 - 7*r - 3. Let l be x(-7). Is l at least 0.1?
False
Let r be ((-126)/(-49))/(3/14). Let w be (-7)/r - 4/(-12). Is w at least -1?
True
Let f = -316 + 11375/36. Which is smaller: -1 or f?
-1
Suppose -56 = -12*h + 16. Suppose -20 = -p - 3*p. Is h >= p?
True
Let y be 4 + ((-8)/4)/(-2). Suppose -7*q + y = -2*q. Is 2/9 equal to q?
False
Let z(d) = 2*d**3 - 16*d**2 + 7*d + 5. Let l(i) = i**3 - 8*i**2 + 3*i + 3. Let v(w) = -7*l(w) + 4*z(w). Let h be v(7). Which is bigger: h or -6/5?
h
Let j be (4/(-3) + 0/(-3))*-3. Is j greater than or equal to 4?
True
Suppose -4*m = -7*m. Suppose -2*h = -m*h. Which is greater: -4/5 or h?
h
Suppose 0*y - 54 = 3*y. Let t = y + 11. Let o(f) = -f - 3. Let d be o(t). Is d less than 5?
True
Let g = 5 - 7. Which is smaller: 8 or g?
g
Let t = 2 - 1. Let h(i) = i**2 + 4*i + 4. Let b(o) = o**2 + 3*o + 3. Let w(v) = -4*b(v) + 3*h(v). Let n be w(t). Which is smaller: 3/8 or n?
n
Suppose 0 = 2*x + 3 - 7. Let f be (-6)/5*(-40)/12. Let i be (x/f)/((-12)/(-8)). Are i and 1 non-equal?
True
Let o(w) = -w**3 - 4*w**2 + w - 2. Let l be o(-5). Suppose -2*t = t - l. Is t equal to -1?
False
Suppose 3*f - 6 = 3*c + 24, -4*f + c + 40 = 0. Let j = f - 6. Suppose 0 = 3*r - j*r. Is 1 greater than r?
True
Let u(v) = 3*v**2 - 2*v. Let q be u(2). Let y = 5 - q. Suppose -o - 2 = -0*o. Is y >= o?
False
Let j(a) = a**2 + a + 1. Let t = -6 + 5. Let w be j(t). Let y be 2*(-7)/(-10) - w. Is y less than -1?
False
Let v = -26 + 50. Are v and 25 non-equal?
True
Let s = -3587/15 - -239. Let p(a) = a - 1. Let r be p(2). Which is bigger: r or s?
r
Let j(r) = r - 5. Let g be j(0). Let u(k) = -k**2 - 2*k + 4. Let s be u(3). Let x = 7 + s. Which is smaller: g or x?
g
Let t = -18 - -19. Are t and -0.2 non-equal?
True
Let l = -14.825 + -0.275. Let i = -15 - l. Are -0.1 and i non-equal?
True
Let f be 0/(2 - 5) - (-12)/246. Do f and 0 have the same value?
False
Let s be (-390)/12*5/(-50). Let z be (-1)/(-3) - (-16)/6. Which is smaller: s or z?
z
Let k be ((-1)/(-2))/((-15)/42). Which is greater: k or -2?
k
Let n = 18 - 30. Let a = 22 + n. Let y be (a/(-5))/(14/8). Which is greater: y or -2?
y
Let d be (-4)/(-10) - (-78)/30. Let x be (-2)/(-14)*(d + -1). Suppose 5*k = 2*k. Which is greater: x or k?
x
Let s be ((-3)/(-6))/((-2)/(-12)). Suppose -g - s*g + 16 = 0. Suppose -2*b = -1 - 9. Is g greater than b?
False
Let i(q) = q - 1. Let g be i(5). Let j = -4 + g. Let u be 0 + (-1 - 8/(-5)). Is u less than j?
False
Suppose 3*d = -x + 3 + 6, 19 = 4*x - 5*d. Let p = x - 7. Which is bigger: p or -1/12?
-1/12
Let c(q) = q**2 + 13*q + 3. Let l be c(-7). Is l greater than or equal to 0?
False
Let m be -8*((-45)/12 + 3). Let s(x) = 7*x**2 + 4*x - 9. Let a(d) = d**2 - 1. Let y(k) = m*a(k) - s(k). Let h be y(-5). Which is smaller: h or -4?
-4
Let m(w) = -7 + 4*w + 2*w + 13*w**2 - 12*w**2. Let i be m(-7). Which is smaller: 1.1 or i?
i
Let s(u) be the second derivative of -u**3/6 + u**2/2 + 8*u. Let r be s(2). Is -1 < r?
False
Let h be 1/(2 + (-9)/6). Suppose -4*w + 24 = g + 2*g, -h*w = 5*g - 26. Is w bigger than 3?
False
Let z be ((-36)/16)/((-3)/(-8