
True
Let v(a) = -a**3 - 14*a**2 - 8*a - 13. Let u(y) = -y. Let w(i) = -6*u(i) - v(i). Let b be w(-13). Which is smaller: -3 or b?
-3
Suppose -5*o - 2*k + 23 = 0, -9 - 4 = -3*o - 2*k. Suppose s = o*i - 15, -3*s - 1 = 14. Let j = i - 3. Is j >= 0?
False
Let h = 0.43 - 0.53. Is 3/26 > h?
True
Let j = -2351/6 + 390. Let l = j + 19/10. Let d be (6/5 - 1)*5. Which is greater: l or d?
d
Let u = -1 - 1. Let r = u + -1. Let i = r + 2.7. Do 0.1 and i have the same value?
False
Let b(c) = 3*c - 3. Let u be b(2). Let r be (1/u)/((-11)/(-6)). Is r bigger than 0?
True
Let v(d) = -d**2 + d + 3. Let x be v(0). Let k be (-1)/4 + x/12. Is -3/7 <= k?
True
Let k be 12/(-18)*1/(-1). Do k and -2/11 have the same value?
False
Suppose z + 0 = 3. Suppose -3*s - 5 = h, -13 = 5*s + 7*h - z*h. Is s equal to -0.06?
False
Let p be 33/(-36) - 2/(-3). Suppose 2*r - r + 1 = 2*x, -3*x = -4*r + 1. Which is bigger: p or r?
r
Let t(k) = 2*k**2 + 2*k + 2. Let l be t(-2). Suppose -a = -l + 3. Which is smaller: 1 or a?
1
Let l(v) = -v**2 - 5*v - 2. Let h be l(-5). Let r(w) = w + 1. Let j be r(h). Let z be j/(-2)*(1 - 1). Which is smaller: z or -1?
-1
Let l(k) = k**3 + k**2 + k - 10. Let b be l(0). Let r be ((-28)/(-175))/((-4)/b). Is r greater than 5?
False
Let a = 1.24 - 1.34. Is 9.4 less than a?
False
Let x be (-32)/(-12)*(-3)/(-2). Let g be (-1 - x/(-5))*3. Which is bigger: g or 4?
4
Let o be ((-1)/(-4))/(-4 + (-102)/(-24)). Let g = 1.1 + -2. Is o at most g?
False
Let g be 1/((-16)/1586) + -1. Let d = g - -100. Which is smaller: d or 1?
d
Suppose -4*x = -3*x. Let n(u) = -u**3 - u**2 - u + 6. Let v be n(x). Let h be (v/(-6))/((-2)/(-14)). Is h smaller than -7?
False
Let q(k) = k - 3. Let s be q(3). Let i be s/(5/((-5)/(-2))). Is 1/6 greater than i?
True
Let p be 0 + 3/1 + -3. Is 2/19 at most as big as p?
False
Let g = -1 + 0. Let b be -1*(1/(-1) - g). Suppose -t = -1 - b. Which is smaller: -1/9 or t?
-1/9
Suppose 5*h = -0*h - 15. Let p = -4 - h. Let f = -2 - p. Which is bigger: f or -2?
f
Let g be (4/2)/(-3 - -2). Which is greater: g or -7/3?
g
Let s = -3 + 3. Let k = s + -1. Let p be (k/3)/(1/(-3)). Is p at most 1/4?
False
Let x(v) = -v**3 - 8*v**2 - 7*v + 4. Let n be x(-7). Suppose 4*z = -5*r + 6, -n*z + 0 = 4. Which is smaller: r or 2/3?
2/3
Suppose 4 = -0*u + 2*u, -4*y + u - 14 = 0. Let d = y + 6. Let g(v) = -v + 1. Let b be g(-3). Is d < b?
True
Let a = 1 - -6. Is 8 not equal to a?
True
Let i = 2.7 + -2.78. Is i equal to -1?
False
Suppose k + 32 = 4*l, -6*l = -2*l + k - 32. Which is smaller: l or 5?
5
Let x = -1 + 0. Let n(u) = -u**2 - 5*u - 3. Let i be n(-3). Let h be x - (i/2)/3. Are h and -2 equal?
False
Suppose -7*x + 105 = -4*x. Let j = x - 19. Which is smaller: j or 0?
0
Let i be (-18)/20 - 2/(-4). Suppose -4*w = -4, -w - 2 = -0*b - b. Let o = 4 - b. Are i and o unequal?
True
Let c = 51 - 48. Which is greater: 5 or c?
5
Let i = -52/25 + 1029/50. Let j = i - 18. Let o = -1 + 3. Which is greater: j or o?
o
Let c(v) = -3*v + 6. Let r(l) = -1. Let q(o) = c(o) - r(o). Let w be q(4). Is -6 >= w?
False
Let a = -3 - -23. Is -0.1 greater than a?
False
Let s(g) = -2*g - 11. Let b be s(-6). Is b smaller than 6/5?
True
Suppose -5*l + 4 = -2*x, 5*l - 2*l = -3*x - 6. Suppose -m + 4*m + 3 = l. Is 1 less than m?
False
Let u(y) = -y**3 + 5*y**2 - 6*y - 6. Let l be u(5). Let m be ((-4)/l*3)/1. Is 0 at least m?
False
Let p = 0 + 1. Let r = 13 - 11. Which is greater: r or p?
r
Let c = -37/100 + 3/25. Let f = 3.37 + -3.51. Which is smaller: f or c?
c
Suppose 4*j + 2*a - 6 = 0, 0*a - 5*a + 15 = -j. Let s be 9/(-6)*2 - -6. Let f be 1*-1*(-2 + s). Which is smaller: j or f?
f
Let g(k) = k**2 + 8*k - 4. Let u be g(-8). Which is smaller: u or -6?
-6
Suppose -k - 2*m - 8 + 2 = 0, -2*k + m + 3 = 0. Let h be 6/126*(-2 - 1). Which is bigger: k or h?
k
Suppose 0 = 2*v - 6*v + 40. Suppose -g - v = 4*g. Is g less than 0.3?
True
Let n = -66/13 + 2416/481. Which is greater: 0 or n?
0
Let s(d) = d**2 + 6*d + 13. Let w be s(-5). Which is bigger: w or 9?
9
Let v be (-5)/25*-5*2. Suppose -4*o = 5*f + 32, 0 = -4*f + 5*o - 24 - 18. Which is greater: v or f?
v
Let d(j) = j**3 + 5*j**2 - 6*j + 2. Let x be 6/1*(-4)/4. Let s be d(x). Suppose -s*y = 7*q - 2*q - 10, 25 = 5*y. Which is smaller: q or -2/11?
-2/11
Suppose -19 = 3*y - 2*y + 5*d, 0 = -4*y + 5*d + 49. Suppose 10*m = y*m. Which is greater: m or -4/5?
m
Let x = 18 + -26. Let v = -1.9 - -2. Is v <= x?
False
Let z = 632/175 + -25/7. Let g(m) = m**2 + m + 1. Let x be g(0). Is z at least as big as x?
False
Let s(y) = -y - 7. Let c be s(-8). Suppose -4*u - c = 3. Is u smaller than -2?
False
Let p(j) = j**3 + 3*j**2 + 2*j - 2. Let a be p(-3). Which is smaller: -10 or a?
-10
Let a be (-45)/55 + 26/(-22) + 1. Which is greater: -5 or a?
a
Suppose 4*k + 4 = -16. Let b(n) = n**2 + 7*n + 7. Let r be b(k). Let s be 2/8 - r/4. Which is smaller: 0 or s?
0
Let n = -18 + 21. Suppose 3*d = -n*y + 3, -y + 5*y = -2*d + 4. Is 1 at least y?
True
Let w = -5673/2047 + 64/23. Which is greater: w or 0?
w
Let o be (-2)/(-96)*4*(-9 + 6). Let r = 0.1 + 0.1. Does r = o?
False
Let i(z) = 4*z - 9. Let c be i(3). Which is smaller: 0.5 or c?
0.5
Let k(m) = m**2 - 9*m + 6. Let a be k(8). Let d be 3 + 7/2*a. Which is greater: d or 1/4?
1/4
Suppose 0 = a - 8 - 2. Are a and 12 unequal?
True
Let n be -2 + -3 + 7 + -4. Let r be (-1 - -1)/(n + -1). Suppose -2*a - a = r. Is 2/17 < a?
False
Let i = 102 + -71. Which is smaller: 30 or i?
30
Let c(j) = -j**3 - 8*j**2 - 7*j - 1. Let r be c(-7). Let g be (-2)/6 - r*1. Suppose 2*x - 4*f - 2 = 0, -2*x - 3*f = -1 - 1. Which is smaller: g or x?
g
Let t = 0 + 12. Are 12 and t non-equal?
False
Let s = 6 - 0. Let k be (-4)/(-3) - s/18. Let j = -1 - -1. Is k greater than or equal to j?
True
Let a be 14/2 - (-4 + 3). Suppose a = -4*t - 8. Let y be t/6*9/6. Is -2 less than or equal to y?
True
Let t = -42.04 - -42. Is t <= -0.1?
False
Suppose -3*w - 5*y = 12, -5 = -2*w - 3*y - 13. Is w at most 0.2?
True
Let m be 4/(-10) + (-1011)/(-15) + -3. Do m and 64 have the same value?
True
Let j = 39 + -21. Suppose -j = q - 3*q + f, -3*q + 28 = -2*f. Which is smaller: q or 9?
q
Suppose -5*j + 2*j - 9 = 0. Let v be 1/(-1)*15/(-3). Suppose -3*m = -y + v*y, 5*y = 2*m + 23. Is m <= j?
True
Let n(q) = -q**2 - 9*q - 7. Let m be n(-8). Let g = 11 - -39. Let f be (24/g)/(-3)*-5. Which is smaller: f or m?
f
Let w = -7 + 5. Suppose 0 = 2*o + 6, 3*p - 5*o - 17 = 2*p. Suppose 0 = 3*u - 2*f - 4, u - p*u - 4*f = 8. Which is bigger: u or w?
u
Let u(x) = -x**2 + 5*x - 1. Let j be u(4). Suppose j*a = -9 + 3. Is -1/2 greater than or equal to a?
True
Suppose -o = q - 17, -3*o - 6 = -5*o + 5*q. Which is greater: 12 or o?
o
Let q be (0 - -1)/((-3)/3). Let c be (-2 - (-2 - -2))/q. Let g be 3*4*4/16. Which is bigger: g or c?
g
Let n be (-18)/(-48)*(-20)/(-6). Are 0 and n non-equal?
True
Suppose 17 - 2 = 5*u. Suppose 0 = x + 2*x - u. Are 3/5 and x nonequal?
True
Let x = 2 - -6. Let o be ((-3)/2)/(2/x). Suppose -4*s + 9 - 33 = 0. Is o < s?
False
Let f = 11 + -4. Suppose -3*d = -f*d - 20. Which is greater: -6 or d?
d
Let m = -111 + 110. Is m at most as big as 6?
True
Let n = -37 - -142. Are n and 105 non-equal?
False
Let h(r) = 8 + 3 + r - 2. Let w be h(-10). Is 0 greater than or equal to w?
True
Let o(d) = 6*d - 6. Let k be o(1). Let i = -713/7 + 102. Which is smaller: k or i?
k
Let t be ((-3)/4)/(-3)*28/1. Suppose -9 = -2*b - j, -3*b - 4*j = -j - 15. Is b less than t?
True
Let c be -6*(-3)/((-45)/(-110)). Which is smaller: c or 45?
c
Suppose 3*v - 1 + 4 = 0. Let a be 3 + v - (-1)/1. Suppose 1 = -a*t - 2. Which is greater: t or -2?
t
Let z = 333.1 + -333. Let p = 4 - 14. Do z and p have the same value?
False
Let u(c) = -c**2 - 9*c + 12. Let o be u(-10). Which is smaller: o or 1?
1
Let g(x) = x - 6. Let c be g(5). Let l be (54/44 - 1)*(-20)/(-25). Which is smaller: c or l?
c
Let b = 29.9 - 19.8. Let n = -0.1 + b. Let a = 9.7 - n. Which is smaller: a or 0?
a
Suppose 19 = -3*v - 4*b, -4*v + 12 = -7*b + 3*b. Suppose 2*o - 8 = -2*u, 0 = 5*o - 2*u - 7 - 6. Let r be (1/(-6))/(o/2). Which is smaller: v or r?
v
Let q = -0.08 - -12.08. Let o = -11.9 + q. Is o smaller than 12?
True
Let m(w) = w**2 + 5*w - 3. Let u be m(-5). Let b = -5 - u. Let z be 3/b*(-8)/(-12). Which is smaller: -2 or z?
-2
Let m = -1 +