))/5. Is 6 greater than or equal to c?
True
Let i = 1.714 - 0.114. Let r = 11 - 12.4. Let f = r - i. Is f >= 0.1?
False
Let f be 32/(-80)*10/95. Which is smaller: f or 0?
f
Let r = -228 + 234. Are r and -2/3 nonequal?
True
Let h(q) = q**2 + 5*q - 12. Let r be h(-9). Let k be r/32 + (-7)/4. Which is smaller: k or -1/10?
k
Let z be -30*-1*(-10)/(-25). Let a = 3 + 10. Which is smaller: z or a?
z
Let t = 31353 - 86032633/2744. Which is greater: 1 or t?
1
Let q = 8.3 - -0.7. Let f = -19 + q. Let b = -9.9 - f. Which is smaller: -4 or b?
-4
Let i(s) = -45*s - 474. Let k be i(-17). Is k less than or equal to 290?
False
Let y(k) = k**2 - 25. Let c be y(4). Let m be c*10/(-75) - (-1)/(-5). Is 1/77 <= m?
True
Let n(v) = 4*v**2 + v + 1. Let w be n(-1). Suppose h + x = w*h - 6, 4*x - 12 = 0. Let g be -1*(h + 2/(-1)). Which is bigger: -2/31 or g?
-2/31
Suppose 0 = 3*v - 5*n - 20, -2*v = -0*n - 5*n - 15. Suppose h + 2 = -r, 5*h - 2*h = v*r - 22. Let g be (2 + r)*(-3)/(-39). Which is greater: 1 or g?
1
Let n = 5323/35 + -729/5. Which is bigger: -1 or n?
n
Let c = 15 - 5. Suppose i - 4 = -c. Does i = -6?
True
Let l be ((-2214)/(-135))/((-1)/(-10)). Which is smaller: 166 or l?
l
Let p = 27 + -25. Let u be p/((-9)/((-828)/8)). Suppose -3*z = -7 - u. Is z greater than or equal to 1?
True
Let o = -234 + 233.8. Which is smaller: -0.36 or o?
-0.36
Suppose 5*k - 4*k = -4*u - 9, -6 = 4*k + u. Do 2/815 and k have the same value?
False
Suppose -20 = -3*u - 110. Let s be 9*(-3)/u*-2. Suppose w - 12 = 5*q, 12 = 5*q - 7*q - 2*w. Which is greater: q or s?
s
Let m = 9711/148 + -17/148. Is m < 66?
True
Let h(g) = 2*g**2 + 39*g - 19. Let d be h(-15). Is -154 less than or equal to d?
True
Suppose 1 = 2*j - 4*l + 11, -5*j = -4*l + 19. Let y = 26.55 - 28. Let b = -0.45 - y. Do j and b have different values?
True
Suppose -2*h = -4*m - 42, 2*m + 0 = -8. Suppose -4*t - 9 = v, 25*t - 29*t + 24 = 4*v. Which is greater: v or h?
h
Let v be -6 - 5/(10/(-4)). Let d(a) = 14 - 5*a - 42 + 17. Let o be d(-2). Which is bigger: v or o?
o
Let u = 50 + -362. Which is greater: u or -2/5?
-2/5
Let a(g) = g**2 - 5*g + 3. Let m be a(5). Suppose m = j + 4. Suppose 197*f + 136 + 86 = -172. Which is smaller: f or j?
f
Suppose 3*f + 4 = -5*x, 26*f = -5*x + 30*f + 17. Is 35 at most as big as x?
False
Let k = -468 - -472. Does -0.275 = k?
False
Let x = 19 + 52. Let n = 72 - x. Which is smaller: -0.3 or n?
-0.3
Let w be -32*((-18)/8 + 3). Is w at most as big as -25?
False
Let u be (2/(-3))/(2/12). Let l = 92.6 + -92.8. Do u and l have the same value?
False
Let i be (-43)/43*(-2 - -2). Which is smaller: 2/325 or i?
i
Let x = 130 - 131. Are x and -3/460 equal?
False
Let q = 684 + -706. Which is smaller: 0.06 or q?
q
Let r = 69 - 61. Let u = r + -7. Let z = -153 - -615/4. Which is smaller: z or u?
z
Suppose 0 = -n + 6. Let y = n - 6. Let d be 3/(-11) + 2 + -2. Which is smaller: d or y?
d
Let i = -2509 - -1985. Is i at least as big as -2/3?
False
Suppose -29*z - 1110 = 8*z. Which is smaller: -17 or z?
z
Let d = -1141 - -1159. Is -50 greater than d?
False
Suppose 88*k - 50 = 93*k. Is -7 less than or equal to k?
False
Suppose 0 = -5*v - 19 - 21. Let j = 384 + -392. Is v > j?
False
Let y(z) = 5*z**3 - 2*z**2 - 10*z + 3. Let i be y(-3). Let p = 120 + i. Which is bigger: p or 2/99?
2/99
Suppose w + w = 208. Let m be 6/(-36)*9*-70. Which is bigger: w or m?
m
Let p be 75/125 + (-302)/270. Is p >= 0?
False
Let l = 18 + -28. Suppose 2*w = 3*d + 27, -d + 2*d + 5 = 2*w. Which is smaller: d or l?
d
Let c = -6.146 - -1.146. Is c > 11?
False
Let i(a) = a + 16. Let d be i(-9). Let o = d + -6. Let h be 2/(-12) - (-1 + 1). Is h at most o?
True
Let f = -0.542 + -194.458. Which is greater: f or 0?
0
Suppose j - 14 = -2*a, -2*j = -3*a - 4*j + 22. Suppose -a*g + 9 = -3*g. Suppose 0 = -0*x - g*x - 15, i = 2*x - 5. Is -16 < i?
True
Let q(u) = u - 5. Let m be q(5). Suppose -j + h + 32 = 6*h, 5*j = 2*h + 268. Let y = j - 209/4. Which is greater: m or y?
m
Suppose -8 = 4*r + 4*l, 2*r = -2*l - l - 6. Suppose 0 = 5*q + 5*p - 35, 3*q - 3*p + 3 = -r*q. Which is bigger: 4 or q?
4
Let p = 0.38 - -14.62. Let q = 197.8 + -183. Let m = p - q. Which is smaller: -0.3 or m?
-0.3
Let k = 39 + -19. Suppose y + 3*y = k. Suppose -2 + y = -f. Is f < -4?
False
Let k = 1.97 - 2.17. Are k and -43 equal?
False
Suppose -4*t + 6 = -2*z + 2, 5*z + 2*t = -34. Let i = z + 10. Let a be (0 + 0 - -6) + 0. Is i equal to a?
False
Let i be -2*(3 - 365/10). Which is greater: i or 66?
i
Suppose 155*m = 160*m - 5. Is m > 2/1309?
True
Suppose i + 3*i + x = 0, 20 = 4*i - 4*x. Let j = -34 + 56. Which is smaller: i or j?
i
Suppose 3*x = 3*a + 75, -2*x - 13 + 66 = -3*a. Suppose -12 = -x*z + 26*z. Let y(w) = -w + 7. Let b be y(6). Is z smaller than b?
True
Let s(j) = -6*j**3 - j**2 + j. Let t be s(1). Let h be (2/(-4))/((-15)/t + 1). Is h >= -1/11?
False
Let z be (-46 + 0)*2/14. Suppose 6 = -3*v + 4*m, 4*v - 3*m + 9 = v. Which is greater: v or z?
v
Suppose 4*r - 12 = q, -q + 3 = r - 2*q. Which is smaller: r or 31?
r
Let j be ((-3 - -1)*2)/((-12)/18). Let t be 17/(-51) - j/(-22). Let h(m) = -m + 1. Let z be h(1). Is t at most z?
True
Let c(i) = 4 + 2*i - 6 - i. Let h(u) = u**3 - 6*u**2 + 5*u + 4. Let d be h(5). Let j be c(d). Is 0 at least as big as j?
False
Let v be (3 + -4)/((-19)/(-361)). Suppose 68 = -4*r - 0*m + 3*m, 0 = -2*r - 3*m - 34. Which is greater: r or v?
r
Let g = 80 + -80.39. Let f = -0.11 + g. Let z = -0.4 - f. Is 7 bigger than z?
True
Let i = -452/3 - -149. Let j = i - -7/6. Let t be (-40)/4*(-5)/10. Is t != j?
True
Let q(z) = -2*z**2 - 98*z. Let a be q(-49). Which is greater: a or 5/169?
5/169
Let l be 28/(-490)*-4*(-20)/(-9). Which is bigger: l or 2?
2
Let v = 7/16 - 3/16. Let f = 3 - 3.05. Let x = f - 0.95. Are x and v equal?
False
Let f be (-5 - -11) + 1/(-1). Suppose 24 = f*m - 2*w, w = -4*m - 0 + 14. Which is smaller: 2 or m?
2
Let i be 1/(-8) + 14/(-16). Let m be (-30)/9 + (2 - i). Let l = -4 - -1. Which is greater: l or m?
m
Let u = -0.055 - -0.755. Let f = u + -0.7. Let j(q) = -5*q - 1. Let t be j(1). Is f greater than or equal to t?
True
Let t(n) = -n**2 + 4*n + 3. Let u be t(5). Let s be -3 + 3/(-177)*350/u. Suppose 2*v = -1 - 1. Is s less than or equal to v?
False
Let x = -1516/33 - -46. Suppose 2*i - 1 - 3 = 5*d, 0 = 4*i + 5*d - 8. Let y be (-3)/(-6) + i/(-4). Which is greater: x or y?
x
Let n = -259 - -3369/13. Is n less than 1?
True
Suppose -2*y + 6 = d - y, 3*d = 5*y - 22. Let x be (66/12)/(d/10). Suppose 2*g = 5*s - 61, -5*s + 3*g = -2*g - x. Do s and 13 have the same value?
True
Let w(l) = -l**3 - 5*l**2 + l - 1. Let q be w(0). Is -106/7 equal to q?
False
Suppose 31965 = 50*u + 7815. Is u at most as big as 483?
True
Let s(q) = -q**2 + 7*q + 2. Let j be s(7). Suppose 10 = 4*t - z, -z - 1 = 2*t - 3. Suppose k = t*k. Is j > k?
True
Let w = 33 - 66. Let c = 33.7 + w. Let i = 2.3 + c. Which is smaller: i or -4?
-4
Let t = 0.172 - -0.828. Is -7 < t?
True
Suppose 7 = 3*m - 8. Suppose -2 = 6*l + 10. Let q = l + m. Which is greater: 0 or q?
q
Let i be (-1)/((-13 - -8)*2/10). Let l(q) = q**3 - 7*q**2 + 9*q - 8. Let u be l(6). Let t(c) = -c + 13. Let r be t(u). Which is smaller: r or i?
i
Let f = 95 - 34.7. Let v = 60 - f. Which is greater: 14 or v?
14
Suppose -1 + 6 = 5*n. Let d = 10943/38 + -288. Which is smaller: d or n?
d
Let n(k) = -k**3 - 14*k**2 + 30*k - 28. Let m be n(-16). Let c be ((-7)/(-28))/(1/m). Does 1/4 = c?
False
Let t(s) = -s + 18. Let r be t(12). Let f(u) = u**3 - 7*u**2 + 7*u - 10. Let p be f(r). Which is smaller: p or -3?
p
Let s(n) = n**2 - 15*n - 1. Let z(h) = 132*h + 3. Let p be z(-1). Let m be (-2)/(-3) + p/(-9). Let t be s(m). Is -3 < t?
True
Let x = 4433/7 + -635. Does -1 = x?
False
Let n = 200 - 215. Which is smaller: n or -2?
n
Let d = 15014 + -8579. Suppose -2*b = -7*b - d. Let v be 2/9 + 52/b. Are 0 and v unequal?
True
Let k = -0.522 + -0.478. Do 636 and k have the same value?
False
Let z be (-4)/(-12)*6 + -1. Is z less than or equal to 1/13?
False
Let z = 115 + -114.63. Which is bigger: 0.1 or z?
z
Let a be 4/(-18) - (-28)/126. Suppose -2*u = r, -5*u = -r - a - 7. Is 1 smaller than u?
False
Let z = -374 - -372.13. Let j = 2.78 - 0.98. Let m = z + j. Which is bigger: m or -0.1?
m
Let f(d) = 5*d**2 + 4*d - 4. Let n be f