) + 2). Which is bigger: -24 or l?
l
Let r(h) = h. Let j be r(-2). Which is smaller: j or -6/7?
j
Let h = 3 + -1. Suppose -t + h*t = 5*i - 2, t = -3*i + 6. Suppose 5 + 3 = 4*a. Is i > a?
False
Let c = -3 - -6. Let p(y) = -y**3 + 3*y**2 - 2. Let a be p(2). Let f be 2/c*3/a. Is -1 less than f?
True
Let d be (2*1/(-7))/((-16)/(-120)). Is d >= -3?
True
Let l(b) = b**2 - 9*b - 8. Let j be l(10). Suppose j*f + 5 = 3*f. Which is smaller: f or 4?
4
Suppose 3*h - 7*u - 16 = -3*u, 0 = -3*h + 5*u + 17. Suppose s = 2 - h. Let n be 33/27 + s/9. Is n greater than or equal to 1/8?
True
Suppose -5*m - 55 = -10*m. Let s = 15 - m. Which is smaller: 2 or s?
2
Let f be (-1)/2*-1*2. Let y be 2762/(-6)*12/(-28). Let s = -197 + y. Is s at most f?
True
Let z be (16761/33)/(-2 + 935). Let g = z + 1/933. Which is greater: g or 2?
2
Suppose 7 + 3 = 2*m. Suppose 3*p = 5*o - 7 - 1, 2*p = 4*o - 8. Is m at most as big as p?
False
Let g = 4.11 - 0.11. Let l = 3 - g. Which is greater: l or 2?
2
Let m(o) = o - 5. Let l be m(6). Let j(r) = -r. Let b be j(2). Let d = b + 4. Is d at most as big as l?
False
Let o = 2/17 - -387/34. Let l = o + -12. Which is greater: -1/3 or l?
-1/3
Let y = 160 - 4322/27. Which is bigger: -1 or y?
y
Let x be 4/(-18) + 728/36. Let y be (-1)/4 + (-75)/x. Let o be y*(-1 - 2)/(-3). Is o < -5?
False
Let h be (-8 + 0)*6/(-4). Let l be 4/h*(-6)/8. Which is smaller: 1 or l?
l
Let w = 0.1 + -0.3. Let q = w - -0.26. Let m = q - -0.04. Is 1 <= m?
False
Suppose 3*d - n = 2*n + 54, -4*n = d - 38. Suppose 0*v - v = 4, 2*x = 5*v + d. Do -3/5 and x have the same value?
False
Let u = 8 - 10. Let m be 5 + u + (8 - 9). Which is smaller: m or 12/7?
12/7
Let h = 2 + 0. Suppose 3 = c + h. Let a be 1/(36/30) + (-1)/3. Which is smaller: c or a?
a
Let s be (10/(-4))/((-2)/(-4)). Let j(x) = 11*x - 21. Let y(n) = -5*n + 10. Let i(l) = 6*j(l) + 13*y(l). Let z be i(s). Are -1 and z unequal?
False
Let a = 5 - 1. Let u be (6/12)/(6/a). Are 0.1 and u equal?
False
Let u = 39 - 35. Let v be (2 - 0)*(-2)/(-2). Let g be -6*2/(-8)*v. Is g greater than u?
False
Suppose 3*d + 24 = 2*t, 4*t + 4*d = 6*d + 32. Let a be 2*(-4)/16*0. Let q(o) = -o**2 - o + 7. Let g be q(a). Which is smaller: g or t?
t
Let b(t) = -8*t - 6 - 4 + 2*t. Let c(z) = -7*z - 11. Let r(u) = -5*b(u) + 4*c(u). Let j be r(-4). Is 1 greater than or equal to j?
True
Let k = -2 - 4. Let c be 12/(-5) + (-3)/5. Let t = c - k. Is t greater than 2?
True
Let g be ((-16)/24)/(8/(-18)). Which is bigger: g or 2?
2
Let s(b) = -3*b**3 + 24*b**2 - 38*b + 41. Let q(l) = l**3 - 8*l**2 + 13*l - 14. Let w(y) = 11*q(y) + 4*s(y). Let i be w(7). Is i less than -1?
True
Let h(d) be the first derivative of -1/4*d**4 + 2 - 4/3*d**3 - 6*d - d**2. Let v be h(-4). Which is smaller: v or 3?
v
Let p(r) = 6 + 0*r**2 + 0*r**2 + r**2 - 4*r + 11*r. Let h be p(-6). Let m be 3/4*4/6. Is m bigger than h?
True
Let n = 1.04 - 1. Let x = -0.02 + n. Let b = 1.02 - x. Is 0 at most b?
True
Let r = 6 + -4. Let q = 1.9 - r. Let s = q + 0. Which is greater: s or 1?
1
Let q = -24 + 3. Let l be (-14)/q*1*3. Suppose 0*y - 5*y = -15, 2*p - l = -2*y. Which is greater: -1 or p?
-1
Let a be (-23)/(-3) + (-4)/6. Suppose 0 = 4*y - a*y + 9. Is y not equal to 3?
False
Let h = 1013 - 53683/53. Which is smaller: h or -1?
-1
Let r = 394054698/298459 + -1564/6091. Let f = 1320 - r. Is -1 at most as big as f?
True
Let g = 39 + -157/4. Let h be (-156)/(-27) - (-2)/9. Let n(m) = -m**3 + 5*m**2 + 7*m - 3. Let o be n(h). Is o > g?
True
Suppose -4*k = -k - 9. Suppose -k*m - 8 = v, -7 = 2*v + 4*m + 3. Let n be v/(-11)*(0 + 1). Is 0 <= n?
False
Let d = -20 - -19. Which is smaller: 1/32 or d?
d
Suppose -2*r - 53 = -3*r. Is r < 2/5?
False
Let r(s) = -s**3 + 7*s**2 + 7*s + 11. Let j be r(8). Let t be 0/(-3) - j/(-1). Suppose -2*b = t*b + 10. Is b smaller than -1?
True
Let i(k) = k**2 + 7*k + 6. Let f be i(-6). Suppose 4*h - 10 = 5*l, f = -l - 4*l - h - 10. Does -2 = l?
True
Suppose -4*w - w + 35 = 0. Which is bigger: w or 15/2?
15/2
Let x = -202/99 - -20/11. Are 0 and x non-equal?
True
Let i = 1/5 + 2/15. Let b = -4 + 4. Suppose -5*g = -b*g + 5. Which is bigger: i or g?
i
Let q(p) = -p + 2. Let c be (2 - -1)/((-21)/14). Let l be q(c). Is 4 < l?
False
Let c = -18 + 28. Suppose 23 = h + 4*n + 8, c = 2*h + 3*n. Let s be (2 + h)*(-4)/(-8). Do s and 1 have the same value?
False
Let u = -9.97 - -10. Let t = -1.97 - u. Is t less than -2?
False
Suppose 4*a = 2*a + 6. Suppose -3 = a*u + 3. Let q be u/3 - (-88)/60. Which is bigger: 0 or q?
q
Suppose k + 4 + 0 = 0. Let o(s) = 5*s + 8 - 1 + 5*s**2 - 3 + s**3. Let v be o(k). Which is smaller: 3/7 or v?
v
Let i = 170.13 + -171. Let a = i - -0.07. Let d = a - 0.2. Is -2/7 > d?
True
Let a be (-42)/(4/8*-15). Is a less than 1?
False
Let s = -1/8 + 5/8. Which is greater: 13 or s?
13
Let n(s) = -2*s**2 - 14*s - 5. Let z(a) = -a**2 - 7*a - 3. Let o = -5 + 18. Let k(j) = o*z(j) - 6*n(j). Let q be k(-6). Is q greater than 0.2?
False
Let f be 298/994 + (-1 - 35/(-49)). Is 0 greater than or equal to f?
False
Suppose -1 = -4*z + 3*j - 9, -j + 4 = 0. Let q be 3*(8/(-6) + z). Let i be 2/(-2*q/(-2)). Which is smaller: -1 or i?
i
Let k be -1 + 4 + (-1 - -2). Suppose -k*i = -0*i + 32. Let o be 25/i + (-2 - -5). Which is bigger: 1 or o?
1
Let i = -1.47 + -58.53. Let c = i - -58.93. Let r = 0.07 + c. Which is greater: r or -0.08?
-0.08
Let x = -2 - 1. Let y = -0.16 + 0.06. Let t = -0.1 - y. Which is smaller: x or t?
x
Let k(u) = u**3 + u**2 + u + 1. Let c be k(-1). Which is greater: c or 4/47?
4/47
Let t = 145.06 + -145. Which is smaller: -4 or t?
-4
Let u be -3 - (1 + -1) - -4. Let m = -4198/15 - -280. Are u and m equal?
False
Let h = 29/4 + -195/28. Suppose 7*q - 5*q = 0. Is h less than or equal to q?
False
Let h be (4 + -2)*(-33)/6. Let s = h + 13. Suppose -8 = -3*x + 4. Which is greater: x or s?
x
Let c be 1/(-2) - 60/8. Let k = -10 - c. Which is greater: k or -1/2?
-1/2
Let v be ((-4)/10)/(2/10). Let f = -14 - v. Let j be (-1)/4*f/(-15). Is j at most as big as 0?
True
Suppose 0 = 2*k - 7*k + d + 97, -65 = -3*k + 4*d. Suppose g + 7*j - 9 = 3*j, 3*j - k = g. Is g not equal to -7?
False
Suppose 4*n - 3 - 1 = 0. Which is smaller: n or -2/47?
-2/47
Let s be 1/12*((-325)/(-15) + 5). Which is bigger: -4 or s?
s
Suppose b - 5*d = -14, -d - 2 = 5*b - 6*b. Let s = -3 + b. Suppose -4*f - 1 = 3*y, -f + 0*y + 8 = -2*y. Which is bigger: f or s?
s
Let k = 0 + -6. Let b be 20/30*k/(-14). Which is greater: b or 0.03?
b
Let m = -8865/31 + 286. Is m != 1?
True
Let h be 11/(-90) + 4/10. Let t = h - 35/18. Is -1 less than t?
False
Suppose -16 = -4*q + 3*q. Which is bigger: -0.1 or q?
q
Suppose 0*h + 5*h + 70 = 0. Let y be (-4)/h*(-14)/(-18). Which is bigger: y or -1?
y
Suppose 3*q - 7*w + 3*w = 20, 4*w = 5*q - 20. Let m = q + -2. Let f = 43 - 173/4. Is m greater than or equal to f?
False
Suppose -z + y = 1, 5*z + 0*z = -2*y + 16. Let r be (2 + -1)*30/25. Which is smaller: r or z?
r
Let h(w) = 14*w + 41. Let o be h(-3). Is 2/133 at least as big as o?
True
Let m(p) = 5*p**2 - 3*p + 13. Let l(x) = 4*x**2 - 2*x + 13. Let u(h) = 4*l(h) - 3*m(h). Let c be u(0). Are 13 and c nonequal?
False
Let l = -170 + 169.9. Which is smaller: 1 or l?
l
Let n = 53.12 + -53. Which is smaller: 1 or n?
n
Let r = 0 - 3. Suppose v - 6 = 4*v - 3*u, 4*u = 8. Let z = v - r. Which is smaller: z or 2?
2
Suppose 5*k - 52 = -3*d, 3*d + 2*k - 3*k - 40 = 0. Suppose -5*h + 11 = -d. Suppose -g + h*g + 2 = -2*r, r + 6 = 3*g. Is g at most -2/21?
False
Let h = -35.92 - -34. Let f = -3.99 - h. Let j = -0.07 - f. Do -2 and j have different values?
True
Let g be 4/18 - 41/(-18). Suppose -3*h - 16 = -s - 3*s, 0 = 4*h. Is g < s?
True
Let u be 3/7*(-1)/(-6)*4. Let y(r) = -r**2 - 4*r - 2. Let g be y(-3). Which is greater: g or u?
g
Let c(l) = 15*l + 21. Let d be c(-5). Is -55 at most as big as d?
True
Let k = 202.6 + -203. Are -17 and k non-equal?
True
Let x be (3/2)/(3/2). Suppose -x - 3 = -4*z. Which is smaller: z or 1/12?
1/12
Let p be (-1868)/(-33) - (-4)/8. Let h = p + -172/3. Let y = -9/154 + h. Which is smaller: y or -1?
-1
Suppose 5*o = 3*a - 19, 4*a + 3 + 5 = 0. Is o less than -5?
False
Let f(k) = k**2 + 10*k - 11. Let s be f(-11). Let u = 3 - 5. Let m be (-1)/u - 34/20. Do s and m have different values?
True
Suppose -32