 4*w + w. Let u = 4073/7 - 583. Is w less than or equal to u?
False
Let f be 6/(-8) - 30/24. Let t be ((-1)/3)/(f/42). Let r be t + (-16)/(-4) + -3. Is 8 <= r?
True
Let f be 4800/(-35) + 12/(-14). Is -142 less than f?
True
Let r be (-2)/(-20) + 1*198/420. Is -32 bigger than r?
False
Let u be (0 - 7)*(41 - 43). Let n be 1/2*114/4. Is u < n?
True
Let g = 12 + -14.3. Let n = 5.2 + g. Let p = n - 2.7. Which is smaller: p or 1?
p
Suppose -3*j + f = -10, 3*f + 4 + 8 = 0. Which is smaller: j or 11/14?
11/14
Let j = 9921/4 + -2485. Let x be 2/3*2*-3. Let b(m) = 2*m + 2. Let d be b(x). Is j < d?
False
Let k be (-3 - -3) + -11 - 1. Let t be (-3 + 0)/((-4)/k). Is t greater than or equal to -0.1?
False
Suppose 6*p - p + 45 = 0. Let v = -5 - p. Suppose -4*m = -f, -v*m + 3*m - 5*f = 21. Which is greater: -2/13 or m?
-2/13
Let o = 0.17 + -1.27. Let w = -9.1 - -8.1. Let t = o - w. Is -2/3 >= t?
False
Suppose -s + 76 = -0*s. Let x = -115 + s. Is -40 at most x?
True
Let d(u) = u**2 + 7*u + 9. Let c be d(-6). Let l(y) = -3 + c + 1 + y. Let z be l(6). Is z at least 7?
True
Let c = 48680535 + -5452258561/112. Let g = 345 + c. Which is smaller: g or -1?
-1
Let g = 98 - 92. Suppose 4*m - 2*z = 6, 2*z + 0 = -4*m - g. Let r(a) = a**2 - 5*a - 7. Let f be r(6). Is f greater than m?
False
Let r(h) = h**3 + 7*h**2 + 9*h - 3. Let y be r(-5). Suppose a - 6*a + 5 = 0. Which is smaller: y or a?
a
Let x be ((-54)/21)/(6/(-28)). Let v be ((-9)/27)/((-2)/x). Let f be (v/(-3))/(4/(-6)). Is f at most as big as 1?
True
Let j be 1/(-5) + (-426)/(-30). Let u = j - 13. Let k(t) = -t**2 + 2*t - 1. Let h be k(u). Is h less than 2/29?
True
Suppose 0 = 4*t + 16 - 28. Suppose -3*j = -t*i, 0*i - 2*i + j = 2. Suppose 0 = -4*u + m + 6, 5*u - 3*m - 1 = -5*m. Is u greater than i?
True
Let o(g) = -10*g**2 - 7*g - 9. Let r be o(-2). Which is smaller: r or -145/4?
-145/4
Let c(p) = p**3 + 5*p**2 + p + 6. Let b be c(-5). Let x = -10.419 + 10.5. Let u = x - -0.619. Is u bigger than b?
False
Let c = 2517 - 2541. Suppose -5*w - 129 = -4*s, 11 = -3*w - 3*s - 61. Is w at most as big as c?
True
Let x be (292 - 0/(-1))*1. Let g = x - 6134/21. Do -10 and g have the same value?
False
Let r(f) = f**2 + 7*f + 2. Let j be r(-8). Let g = 13 - j. Suppose b = -g*b - 28. Is b less than or equal to -7?
True
Let d = 10 + -5. Suppose 3*z - d = -4*a, a = -3*z - 2*a + 6. Suppose 2 = 2*k - q, q - z*q - 10 = 2*k. Is -1/4 at least k?
True
Let i = -1060 - -1062. Which is bigger: 52/45 or i?
i
Let l = 1 + -6. Let c be 8/(-100)*(l + 0)/(-1). Is c <= -0.13?
True
Let f be (-2)/4 - (-9)/18 - -3. Let j be (-393)/(-15) + f/(-15) + -3. Does 22 = j?
False
Let n = 2 - -1. Let p(i) = i + 3. Let w be p(n). Suppose -10*x - 16 = -w*x. Which is smaller: -5 or x?
-5
Let s = -628 + 680. Is -3/4 less than or equal to s?
True
Let r be 4/38 + (-2073)/19. Are -99 and r nonequal?
True
Let c be (-7)/(-3)*(-4)/14. Let k = -8.78 + 7.78. Is c < k?
False
Let t = 9 - -40. Let h be 7/(t/(-734)) + -3. Let c = 108 + h. Which is smaller: 1 or c?
c
Suppose -5*p + 15 - 10 = 0. Let m = -9 - -7. Let q be (p - m)/((-42)/(-4)). Is 2 less than q?
False
Let t(f) = -27*f**3 - 4*f**2 - 4*f. Let m be t(-2). Let k be m/(-220) + (-8)/(-20). Which is smaller: k or 0?
k
Let k(d) = -d**3 - 18*d**2 - d - 20. Let o be k(-18). Let v be (4/o)/(-13 + 9). Which is greater: v or 1?
1
Let r = -29168/5 - -5707. Suppose -5*m - 8 = -643. Let j = m + r. Which is smaller: j or 4?
j
Let x(o) = -o**3 - 3*o**2 - o + 1. Let b be x(-2). Let g be (3 - (b + -1)) + 0. Let i be (-6)/10 + (-8)/(-40)*28. Is i bigger than g?
False
Let k(s) = 2*s - 89. Let l be k(0). Let d = l + 85. Is 9 at least d?
True
Let c(s) = -s**3 + 6*s**2 + 12*s - 17. Let b be c(7). Let y = b - 9. Suppose -y + 15 = -3*w. Which is bigger: w or -3/5?
-3/5
Let j = -6.365 + 3.331. Let x = 0.034 + j. Is -6/5 equal to x?
False
Suppose -2*f + 7 = -r - 7*f, 3*r - 5 = -2*f. Let v be (12/(-16))/r + (-38)/8. Is v <= -3?
True
Let y = 53 + -53.37. Let o = 0.252 + 0.018. Let n = y + o. Is 1/2 > n?
True
Let q = 27 - 17. Let z be (q - 3)*(-3)/15. Let p = 1 - 1. Which is greater: z or p?
p
Let i(d) = -d**2 + 5*d. Let j(o) = -o**2 + 5*o + 2. Let n(g) = 3*i(g) - 4*j(g). Let l(v) = v**2 - 3. Let b be l(3). Let c be n(b). Is c smaller than -2?
False
Suppose 1736 - 1526 = 35*m. Let g(o) = -o**3 + 8. Let w be g(0). Is m less than w?
True
Let w = 1.13 - 1.13. Is w greater than or equal to 398?
False
Let p = -162953/57 - -2859. Which is greater: p or 1?
1
Let t = 0.557 + -0.73. Let j = t + 16.273. Let d = j + -16. Which is bigger: 0.8 or d?
0.8
Let z(v) = -v**3 - 5*v**2 + 2. Let k be z(-5). Let a(p) = 37*p + 19. Let t be a(2). Suppose 0 = 2*o + 89 - t. Is k not equal to o?
False
Let c be (1005/(-20))/((-26)/(-32) - 1). Let g = c - 151. Which is smaller: 116 or g?
116
Let a be (-6)/5*30/9. Let g = 0 - a. Suppose g*k + 8 = -24. Does k = -7?
False
Let v be (5/15)/((-1)/15). Let w be (-2 + 3)/(-4 - v). Let s = -4 - -7. Is w equal to s?
False
Let i be (3/2)/((-3)/(-288)). Let a be (i/45)/((-2)/(-5)). Suppose a = 2*o - 12. Are o and 12 equal?
False
Suppose 2*k - 6 + 0 = 0. Suppose k*y + 3*o = -0*y, o = -4*y - 9. Is -4 <= y?
True
Let q = -278 + 274.77. Let k = 2.23 + q. Let j = 0.06 - 0.86. Does k = j?
False
Suppose -4*x = -6*x - 3*k - 110, -k = 5*x + 301. Let s = x + 76. Which is smaller: 19 or s?
s
Let l be -4 + ((-837)/(-6))/((-15)/20). Is -190 at most l?
True
Let s be 4 - ((-92)/20)/(-1). Let n(p) = -p + 3. Let r be n(3). Suppose -2*k - k = r. Are k and s equal?
False
Let r = -37247553 - -185530060873/4981. Let x = r + 2/293. Let q be ((-1)/1 - -1)/(-2). Is q less than or equal to x?
False
Let q = 329 - 356.2. Let x = 26 + q. Let u = x - -0.2. Which is smaller: -17 or u?
-17
Suppose 4*k + 157 = -155. Is k > -79?
True
Suppose -108 = -5*l + 3*n, 2*l - 54 = -5*n - 17. Suppose -2*m - 3*m + 25 = 5*v, 5*v - l = -m. Which is bigger: v or 60/17?
v
Suppose 0 = c + 2*n - 3, 0 = -3*c + 5*n + 35 + 29. Suppose 5 - c = -t. Suppose 4*u - t*u + 16 = 0. Is u greater than 1/2?
True
Let w = -2/25 - 19/75. Let o(q) = q**3 + 11*q**2 - 32*q - 86. Let n be o(-13). Which is smaller: n or w?
n
Let c = 44975/4 + -11298. Let k = c + 54. Are k and 12 non-equal?
True
Let p = -778 - -778. Let x = 72.8 + -12.8. Which is greater: p or x?
x
Let l be 5*(-10)/25 + 2. Which is greater: 4/461 or l?
4/461
Let p be (476/(-24))/(12/(-9) - -3). Let c = -23/2 - p. Is c at least as big as 2?
False
Suppose 6*j + 673 = 2155. Let u = j - 2715/11. Is 1/5 > u?
True
Let p = -46.087 + 0.087. Let m = p - -46.2. Let f be -7*1*(4 + -3). Which is smaller: m or f?
f
Let z be (-150)/4 - (-12)/8. Let f = z - -35. Is -2/19 greater than or equal to f?
True
Let y = -84 - -48. Let w = y - -34. Is -0.14 less than w?
False
Let w be (-390)/(-63) - (4 + 2). Are w and -2 equal?
False
Suppose 5*n + 3*v - 5 = 0, 0*n - n - 16 = 4*v. Suppose n*h = -0*h. Let g be 10*14/(-280)*(-6)/13. Which is bigger: g or h?
g
Suppose 0 = 4*l + 2*f - 30, 4 = -l - 4*f + 15. Suppose -25 - l = -4*w. Let t = 0.7 - 0.8. Which is smaller: w or t?
t
Let a be 424/(-6)*645/430. Let n be (318/(-9))/(2/6). Is a smaller than n?
False
Let b = -28 - -17. Let s(g) = g**3 + 5*g**2 + 3*g. Let p be s(-4). Let i be 11*(4/(-1))/p. Are b and i equal?
True
Suppose -4*o = -2 - 22. Suppose -3*l + o = -l. Suppose h + 2 = n, -6*h + l*n - 12 = -h. Which is bigger: -4 or h?
h
Let y = -180 - -1622/9. Let a be 5 + -1 + (-272)/68. Is y at least a?
True
Let y be -4 + 0 - (-235)/47. Are y and 6/83 unequal?
True
Let t(j) = j**2 + 9*j - 21. Let u be t(-11). Let i = 28/11 + -442/165. Is u at most as big as i?
False
Let l = -9.7 + -4.4. Let h = l + 14. Which is greater: 3.2 or h?
3.2
Let t be (4196/(-40) + 4)*2 - -2. Let v = t - -199. Which is smaller: v or -2?
-2
Let r = 41.44 + 0.56. Let l = r + -38. Is l less than 3?
False
Suppose 4*y + 86 = 102. Suppose q + y = -b, -3*q - b + 12 = 20. Which is smaller: -20/17 or q?
q
Let o = 0.74 - 2.49. Which is greater: o or -1?
-1
Suppose -4*r + 48 = 2*z, z = 2*r + 26 + 10. Let x be ((-6)/z)/(4/(-190)). Let f = x - 175/18. Which is smaller: f or 1/3?
f
Let c be (-16)/12*12 - -2. Suppose -5*v = -v - 44. Let h = v - 25. Do c and h have the same value?
True
Let j be (-159 + 159)*1/(-2). Which is bigger: j or -4/151?
j
Let s(p) 