)/15*1/l. Is 0 >= g?
False
Let l be (652/(-56) + 11)*8/(-18). Which is smaller: l or 164/7?
l
Let z be ((-250)/12 - -1)/(60/(-90)). Is 30 at most as big as z?
False
Let m = 46010/159 - 868/3. Let c(a) = -2*a + 27. Let k be c(13). Which is smaller: k or m?
m
Let z be 8 + -5 - (-2 - -4). Let p be 18/(-30)*(-20)/18. Let i = 5/6 + p. Which is smaller: z or i?
z
Let q be 5/((4 - 20)/4 - 19). Which is bigger: -1 or q?
q
Let c = 4595 + -4534.27. Let p = c - 61. Let q = p - -0.33. Which is smaller: q or 1/3?
q
Let v be (-6)/((45/6)/(-5)). Suppose z = -v*j - z + 16, -5*z + 10 = 0. Is 3 != j?
False
Let a be 4/((-20)/(-45))*(1 - 2). Let k = -83/9 - a. Which is smaller: 0 or k?
k
Let x = -13.26 + 13. Let d = 0.46 + x. Is -15 less than or equal to d?
True
Suppose -4*f = 59 + 13. Let v be (-4)/f - 13/18. Which is greater: 0 or v?
0
Let w = -354 - -385. Is 162/5 at most w?
False
Let i = -64536/5 + 12982. Is 74 at most i?
True
Let b be 0 + 41/43 + -1. Let c be 9*(-2)/(-27)*(-9)/(-2). Suppose -c*i - 6 = -6. Is b less than i?
True
Let f = 24 - 25. Let u be f/8*8/(-28). Which is smaller: 0 or u?
0
Suppose -5*q + 5*a + 50 = 0, 4*q + 3*a = 3*q - 2. Let u = -27 - -29. Let j be (-847)/(-126) - u/9. Which is bigger: q or j?
q
Let h be 4/(16/6)*(-2850)/15. Which is bigger: h or -0.1?
-0.1
Suppose -3*k - j + 4 = 0, 5*j - 20 = -6*k + 8*k. Is k at least as big as -9/11?
True
Let k = 328.57 - 330. Let v = k + 0.43. Is -4 equal to v?
False
Let t = 888 - 834. Which is greater: t or 53?
t
Let w be (2 - 22/4)*(10 + -12). Suppose w*c + 12 = 3*c. Which is greater: c or -19/6?
c
Let y be 111 - (4 + 2/((-4)/2)). Which is smaller: y or 106?
106
Let p be (2 - (-21)/(-9))/((-36)/3564). Is p > 33?
False
Let k(b) = 3*b**2 + b - 1. Let a be k(2). Suppose 2*u - 3*j - 4 = -0*j, 5*u = -4*j - a. Which is smaller: u or -6/11?
u
Let c be (2/4*6)/((-26)/(-32)). Is 3 <= c?
True
Let m be 0/(-7) - (-20)/(-2). Let b(v) = v - 1. Let y be b(-8). Is m at most y?
True
Let f be ((-2)/146)/(12/(-16)). Is -1 >= f?
False
Let n = 9/2 - 35/8. Let i = 17/72 - n. Let x(p) = p**3 + 8*p**2 + 8*p + 8. Let d be x(-7). Is i less than d?
True
Let j be (-2)/(257/(-6) - (-17)/34). Is j less than 0?
False
Suppose 4*v - m + 1 = 40, -4*m = 5*v - 54. Let r(o) = 7*o**2 - o. Let s be r(-1). Which is smaller: v or s?
s
Let t = 6 - 6. Let j = 77 - 537/7. Which is bigger: j or t?
j
Let i(k) = -4*k**2 + 2*k - 1. Let f be i(1). Let v be f/(-4) + 833/(-28). Is v at least -28?
False
Let s(m) = m + 41. Let o be s(-40). Which is smaller: o or 3?
o
Suppose -3*k + 7*k + 3*l + 7 = 0, k + 3*l = -13. Let r be (k/13)/(0 + 2). Let o = 1 + -1. Which is smaller: r or o?
o
Let o = 3253/11407 - 38/187. Is o smaller than 1?
True
Let b = 5632 - 77689/14. Let u = 143 - 60. Let i = u - b. Which is smaller: 1 or i?
i
Let j be (-3 + 0)*8256/(-576). Suppose 2*i - 7*i + c = -215, 3*c = 2*i - 86. Is j >= i?
True
Let b(l) = -l**2 + 9*l + 19. Suppose k = 6 + 3. Let f be b(k). Are f and 20 non-equal?
True
Let i = -14 + 16. Let v = -107 + 1389/13. Are v and i non-equal?
True
Let s be 374825/(-1155) + (-16)/14. Is -325 at most as big as s?
False
Suppose 9*l = 4*l. Suppose 7*j - 8*j - 6 = l. Let a be (0 + 1)/(3/j). Is a <= -4?
False
Let u = -12.07 - -12.27. Which is bigger: 3/2 or u?
3/2
Let f = 2208 + -2215. Suppose 0*o - o = -3*p + 1, -o + 5*p = 1. Let z = -8 + o. Is z >= f?
False
Suppose -3*b + 12 = -b. Let q be (3 + -4)/1*(9 - 21). Which is smaller: b or q?
b
Let n be 1173/(-1241) - (2 + -3). Is 1 equal to n?
False
Let g(q) = -q**3 - 25*q**2 - 12*q - 51. Let x be g(-25). Is x at most as big as 249?
True
Let c be (-17)/(-3)*(-6)/2. Let j = 5 + c. Suppose -52 = 12*t - 8*t. Is j less than or equal to t?
False
Let f be (-770)/3*(-76)/228. Which is smaller: f or 87?
f
Let y(z) = 239*z**2 - z - 1. Let v be y(-1). Suppose v + 13 = 2*q. Let n be 28/q - (-1)/9. Which is smaller: n or 0.5?
n
Let j = -407 + 407.2. Let d = -0.2 + 0.1. Let y = d - -0.2. Which is bigger: y or j?
j
Let i = 188/33 - 48/11. Let n = 0.26 - 0.06. Which is smaller: n or i?
n
Let o be 2/((18/5)/9). Is o bigger than 25/7?
True
Suppose -2*k - 31*z + 33*z + 24 = 0, 4*z = k. Is k >= 14?
True
Suppose -7*t + 7 = -0*t. Let h be (-124)/(-24) + -5 + t/(-2). Is -47 less than h?
True
Suppose -14*c - 21 = -7. Which is smaller: 1/338 or c?
c
Let q = -5 - -5. Suppose -3*f - f = q. Suppose 2*v = -v - 5*z + 17, -z - 1 = 5*v. Is v at most as big as f?
True
Let h = -49/48 - 541/144. Which is smaller: -4 or h?
h
Let n = -4885/2 + 2442. Is n > 0.004?
False
Let b(r) = r**2 - 51*r - 3. Let h be b(3). Which is bigger: h or 0.1?
0.1
Let d = 939 + -939. Let o = 345 + -4487/13. Which is greater: d or o?
d
Let f = 0.05 + -2.05. Let m = -0.282 - -0.32. Let k = m - 0.038. Do k and f have the same value?
False
Let r = 701 + -93. Let k = r + -2419/4. Is 2/3 >= k?
False
Let z be -1*(-1)/29*-1. Suppose 0 = 3*n - n - 6, 2*n + 62 = -4*t. Let h = t - -17. Which is smaller: z or h?
z
Suppose 0 = 7*n - 29 - 104. Is n != 68?
True
Let h be (27/(-3))/((-4)/14). Let p = h + -31. Let j be 3 + (-4 - (-5 + 2)). Which is smaller: j or p?
p
Suppose 3*s - 16 = y - 2, -5*y - 25 = 0. Let j(o) = 3*o**2 + 2*o + 1. Let b be j(-1). Suppose b = s*z - 4*z. Are 3/5 and z equal?
False
Suppose -4*x + 3*s + 112 = 7*s, -2*x + s + 59 = 0. Which is greater: x or 28?
x
Suppose 0 = -2*c + 3*r + 116, 4*c - r = 2*c + 112. Let g be (-242)/c*(-2 - -17). Is g equal to 2/7?
False
Let m = -459 + 223. Is -235 > m?
True
Suppose -650 = 21*j - 1784. Is j <= 105/2?
False
Let r = -340 - -340.28. Is -3/4 > r?
False
Let u = 41 - 36. Suppose -5*q + 2*j + 6 = 0, u*j - 6 = 4*q - 2*q. Is q equal to 9/7?
False
Let x = -12 + 5. Let q(u) = u**3 + 7*u**2 + u + 11. Let y be q(x). Suppose -y*z - 5 = -9. Which is smaller: z or 3/4?
3/4
Let u be (232/24)/(7/(-3)). Let z = u + 181/42. Let c(n) = -5*n - 61. Let i be c(-12). Which is smaller: z or i?
i
Let y = -175 - -186.03. Let u = -0.03 + y. Let z = u - 9. Which is smaller: 0.02 or z?
0.02
Let r be -2 - ((-2 - -30) + -1). Let h = -15 - r. Let z = -16 + h. Is -6 bigger than z?
False
Let v = -705.1 + 735. Let k = v - 30. Which is smaller: k or -1.1?
-1.1
Let r(c) = -c**2 - 6*c + 4. Let d be r(-6). Suppose d*q - 21 = 5*q. Let s be (-6)/(-21) + (-1)/q. Which is greater: s or 0?
s
Let p be (-2)/(-6)*(6 + -3). Let o be (2 - p) + (0 - -2). Let a be 8/(-126)*o*-3. Is 0 greater than a?
False
Suppose 29 = -3*p - 19. Let d = 13 + p. Which is greater: -5 or d?
d
Suppose 4*z = i + 2, 0 = 4*z + i - 3 - 3. Let r = -5 + 11. Let p be 1/(r/4 - 1). Is p <= z?
False
Let x = -0.035 + 0.08. Let q = x + -0.245. Is 1 greater than or equal to q?
True
Let g = 5.05 - 0.05. Let o = 23 - 55. Let q = o + 32.1. Which is greater: g or q?
g
Suppose 4*t + 3134 = -2*l, -l + 3159 = -4*t + 2*l. Which is bigger: -0.1 or t?
-0.1
Let w(h) = 7*h**2 + 2*h + 1. Let x be w(-1). Suppose 5*v - 2*y = 28, -3*v + 5*y = -4*v - 16. Is x less than v?
False
Let i be 0 + 0 + -10 - -2. Suppose -3*q = -2*q - 35. Suppose -3*v - 2*v - q = 0. Is v less than or equal to i?
False
Suppose 7*d = -10*d + 17. Is 33/68 at least as big as d?
False
Let z(q) be the second derivative of -q**4/12 - 2*q**3/3 + q**2/2 + 3*q. Let j be z(-4). Let y be 4/j + (3 - 5). Which is smaller: 1 or y?
1
Let n = -5 + 5.1. Let i = 36 + -35.63. Let q = 9.63 + i. Which is bigger: n or q?
q
Let n = -426 + 426.3. Is n smaller than 161?
True
Let a(c) = c**3 + 2*c**2 - 3*c + 4. Let t be a(-3). Let j be -1 + (505888/121940)/t. Let x = -3/469 + j. Is 1 greater than x?
True
Let p be ((-23)/14)/(285/(-38) + 6). Which is smaller: 2 or p?
p
Suppose 3*f + 10 = 28. Let i be (8/(-3))/(f/(-1431)). Let l = -18442/29 + i. Which is bigger: 1 or l?
1
Let u(f) = -2*f**2 - 3*f + 7. Let o be u(3). Let s be (0 + 12/o)/((-2)/(-2)). Let x = -0.3 - -0.2. Do x and s have different values?
True
Suppose -4*m = -6*m - 2*l + 26, 3*m - l = 35. Which is greater: m or 15?
15
Let j = 564 - 559. Is -35 less than j?
True
Let z(m) = m**3 + 8*m**2 - 8*m - 6. Let i be z(-9). Suppose 21*v - 10 = 16*v. Suppose -v*x = -8*x - 96. Is i smaller than x?
False
Let h be ((-9828)/(-138))/9 + -8. Suppose -2*i + 2*j = 4*j - 6, i - 4*j + 2 = 0. Suppose i*m = -m. Is h < m?
True
Suppose 3790 = 3*k + 5*u, -k - k + 5*u = -2485. Let y = -16323/13 + k. Is -2 at most y?