/109 + -140/1417. Which is bigger: u or c?
c
Let n be 18/(-14) - (-16)/56. Is 1/33 at most n?
False
Let k(o) = -o - 2. Let w be k(-1). Let i be 4/(-6) + (-1437)/(-3276). Let f = i - 3/52. Which is smaller: f or w?
w
Let i = -880505549/1345 + 654651. Let j = i + 244206/1345. Let y = j - 181. Is y <= 2?
True
Let d = 97 - 96.19. Let f = d + -0.8. Let u = 1.01 - f. Which is greater: u or 1/3?
u
Suppose -10 = -3*z + 2*z. Suppose a - 3*a = -3*w - z, 2*a = -2*w + 10. Are w and 0 equal?
True
Let g be (-66)/(-30) - (-1 + 2). Suppose -5*x = -3*c - 6, -39 + 9 = -5*x - 5*c. Let r be (-2 - (-6)/x)/(-1). Does g = r?
False
Suppose 3*u + 40 = -4*z, z + 0*z + 5*u = -27. Let q be z/(-20) + 6/(-15). Let g = q - 1/5. Is 0 at least as big as g?
True
Let f(n) = -2*n - 1. Let i be f(-1). Which is bigger: 2/9 or i?
i
Suppose 0 = -0*b - 5*b. Do b and -2/105 have different values?
True
Let f be 6 + -1 - (2 + 1). Let s(o) = o**3 - 7*o**2 - 7*o + 4. Let y be s(8). Suppose f*q - 3*g + 9 = 0, -5*q + 7*g - y = 3*g. Is q greater than 4?
False
Suppose 2*j - 45 = 3. Which is smaller: j or 23?
23
Let h = -0.52 - 0.48. Is -5.4 greater than or equal to h?
False
Let x = -6 - -8. Suppose b = 4*v - 7, v - 14 + 7 = x*b. Is b smaller than 0.1?
True
Let z(q) = -3*q - 10. Let g be z(-4). Let r(h) = -h**2 + 10*h - 8. Let v be r(9). Let s be v/(-3) + 1/1. Which is greater: g or s?
g
Let u be -1*(2 - (-40)/(-22)). Let o(y) = y**3 + 5*y**2 - 7*y. Let c be o(-6). Let v = -11/2 + c. Which is smaller: v or u?
u
Let o = 10/171 + 1586/171. Let x = 187/21 - o. Which is bigger: x or 1?
1
Let a be 4/(1116/607) - 2. Let v = 2/31 - a. Let c(p) = p**2 + 3*p + 1. Let s be c(-3). Are s and v equal?
False
Let q be (7/14)/((-1)/(-14)). Let m = q - 5. Let c = 432/5 - 86. Is c greater than or equal to m?
False
Let s be 7/(210/(-12)) + (-22)/(-5). Is s less than or equal to 4?
True
Let k(r) = -r**3 + 4*r**2 + 6*r + 1. Suppose 3*h = -5*x + 17 + 23, 0 = 5*h + 2*x - 35. Let q be k(h). Is q less than or equal to 4?
False
Let w = 0.1 - 3.1. Which is bigger: -2 or w?
-2
Let m(j) = -j**2 + 3*j + 6. Let h be m(5). Is h less than or equal to -13/4?
True
Let f(u) = 4*u - 9. Let l(m) = -m. Let q(r) = -f(r) - 5*l(r). Let s be q(-7). Is 1/2 <= s?
True
Suppose d = -12 - 2. Is -14 <= d?
True
Suppose 2*h - 2*m = -4, 0*m - m = 0. Is h < 5?
True
Let f be (-70)/(-20)*12/7. Let b be ((-10)/(-3))/((-8)/(-12)). Let k = b + 0. Which is smaller: k or f?
k
Suppose -5*v - 35 = -5*y, -y - 1 = -0*y + v. Suppose y*c - 4 = -2*k + 6, -2*k + 6 = c. Suppose p + 2 + c = 0. Which is greater: p or -3?
-3
Let u = -8 + 13. Which is smaller: u or 3?
3
Let p = 123 + -139. Is p less than or equal to -16?
True
Suppose -2*l - 3 = 5*v, -6*l + l + v + 6 = 0. Is 5 less than or equal to l?
False
Let t be (-4)/(-10) + 2/(-5). Is t < 0?
False
Let r = -48 + 48.4. Is r not equal to -2/3?
True
Let n = -9 + 9. Let p be (-36)/(-35) + 3/(-7). Which is greater: n or p?
p
Let r = 5.07 + -0.07. Let z = r - 4. Let f be 1/(-3)*6/4. Which is smaller: z or f?
f
Let m = 0.593 + -0.163. Is 0 greater than m?
False
Suppose -2*p - 3*p + 30 = 0. Let s be 3/(p*(-3)/(-12)). Suppose 0 = 2*v - v + s. Is -2 at least v?
True
Let l = 1411/22 - 129/2. Is l greater than 0.1?
False
Let m = 3 - 2. Is m >= 1/37?
True
Let h(i) = i**2 - 14*i + 15. Let u be h(13). Suppose -2*o - 8 = -m, -o - 3*m - 20 = 4*o. Do u and o have different values?
True
Let i = -52 - -16. Let h be 29/12 + i/48. Which is smaller: h or 2?
h
Let x be 22/6 + 0 - (-3)/(-1). Let h be ((-8)/(-6))/(2/6). Suppose 0*o + 8 = -h*o. Is o < x?
True
Suppose 2*h = 4 + 6. Suppose 0 = h*s - 5 - 5. Suppose -4*c + 4 = -0. Which is greater: s or c?
s
Let p be ((-2)/25)/(21/(-15) - 0). Let o = -1 + 1. Is p at most as big as o?
False
Let l = 21 - 24. Let c be l/9 - 5/21. Let j = -0.2 - -0.1. Which is smaller: c or j?
c
Let s = 0 + -4. Let w = s - 0. Let h = w + 4.1. Which is greater: -1 or h?
h
Suppose 0*s + i = -s - 3, -4*s + 6 = -2*i. Is s > 0?
False
Suppose 0*d - 2*c = -d + 5, 4*c = -3*d - 15. Let p = d + 4. Which is smaller: p or 5?
p
Let b = 3 + -2. Suppose -2*r = 3*a - 1, -8 = -0*r + 2*r. Suppose -2*s + 5 = a. Does b = s?
True
Let h = -5 - -20. Let g = 12 - h. Which is greater: g or -1/3?
-1/3
Let h = -2/3 - -5/12. Is -2/17 <= h?
False
Let j = 3 + 126. Let c = 1162/9 - j. Is c > -1?
True
Suppose 7 - 1 = -3*v. Suppose -5*b + 0*j - 3*j + 1 = 0, -2*j = b - 3. Is v less than b?
True
Let n = -369 + 210. Let x be ((-1)/(-9))/(-1)*1429. Let o = x - n. Which is bigger: o or 0?
o
Let j(h) = h**2. Let i be j(1). Is i < 5/7?
False
Let m(a) = a**2 - 5*a + 6. Let k be m(2). Is k less than or equal to 6/29?
True
Let k be (38/741)/((-16)/18). Which is greater: k or 1?
1
Let q = -15 - 135. Let r = -35914/7 - -36962/7. Let m = r + q. Which is smaller: m or -0.1?
m
Let u = 0.05 - -0.45. Let j = -0.5 + 0. Let a = u - j. Which is smaller: a or -6?
-6
Let h(v) = -v**3 - 3*v**2 + 1. Let c be h(-3). Which is greater: c or 3/17?
c
Let w(q) = -5*q**2 - 8 + 5*q**2 - 8*q - q**2. Let b be w(-7). Which is smaller: b or -2?
-2
Let d be (-4)/(8/(-5))*(-8)/(-10). Which is smaller: d or 1/2?
1/2
Let y = -16/9 + 10/9. Let v be (3 - 1)*(0 - -8). Suppose u - 5 = a, -4*a + 4*u - v = -2*a. Are a and y nonequal?
True
Let z = -3.7 + 5. Are 0 and z equal?
False
Suppose -5*n + 21 = -8*n. Let u = -18 + 11. Is n <= u?
True
Let o be 2/(-9) + 404/36. Suppose -5*w - 5*l = -2*l - o, 5*w - 3*l = -1. Which is bigger: -2/5 or w?
w
Let f be 2/4 - 85/(-10). Suppose 4*l - 24 = 4*w, w + 0 = 2. Which is smaller: l or f?
l
Let q = 0.6 - 0.6. Which is bigger: -2 or q?
q
Let a be (-3)/121*2/3. Let x = a - -373/605. Does x = 2?
False
Let w = -1 - -2. Let t be (-225)/12 + (-2 - w). Let j = 22 + t. Which is greater: j or 0?
j
Let f(z) = -z**3 - 3*z**2 + 2*z - 2. Let h be ((-8)/(-2))/(-1 - 0). Let k be f(h). Suppose -x - 3*i = x - 12, -x = 5*i - k. Is 5 >= x?
False
Let t(i) = -i**2 + 13*i + 25. Let v be t(14). Which is greater: v or 12?
12
Suppose -9 = 3*x - 6*x - 2*v, x + 3*v = 3. Let f be 1/((x/(-17))/(-3)). Let l = -49/3 + f. Does 2 = l?
False
Let l be 6 + 0 + -2 + 1. Suppose 0 = 4*t - l - 19. Is t less than 5?
False
Suppose -32 = 7*f + 52. Is f smaller than -14?
False
Suppose 2*y + y - 3 = 0. Which is bigger: y or 10/7?
10/7
Let m be (6 - 2) + (10/5 - 5). Is m at least 2/25?
True
Let f(q) = q**3 - 4*q**2 + 2*q + 1. Let x be f(2). Let y = x - -4. Let k be (4/2)/2 - 2. Which is smaller: y or k?
k
Let s be (-248)/(-134)*3/30. Let c = s + 1/67. Let x = 11.6 - 11.4. Are c and x non-equal?
False
Let i = -77/2 + 37. Let x = 50 + -52. Which is smaller: x or i?
x
Let r = -118340/79 - -1498. Which is bigger: r or 0?
r
Let s be 0 - (-1 - 3 - -2). Let p(b) = -b + 1. Let z be p(s). Is 1/3 <= z?
False
Suppose 7*j + 2*c = 2*j + 112, 2*j - 49 = -5*c. Which is smaller: 23 or j?
j
Suppose -6*d = -2*d - 28. Let p be (3/9)/(d/(-6)). Is p greater than -1?
True
Let b be (10/7)/(27/(-63)). Do b and -2 have different values?
True
Let n(x) = -x**3 - 7*x + 3*x + 8 + 5*x - 7*x**2. Let a be n(-7). Are a and 1/2 unequal?
True
Let i(l) = l**3 - 4*l**2 - 4*l - 11. Let r be i(5). Do -6 and r have the same value?
True
Let s(m) = -m**3 + 8*m**2 - 7*m - 9. Let d be s(7). Is -8 != d?
True
Let a = -9 + 8. Is a at least as big as -7?
True
Suppose 5*m - 3*s = -25, m - 1 = -s + 2. Is -1 greater than or equal to m?
True
Let n = 11/57 - 10/19. Which is greater: n or 32?
32
Suppose -4 = v - 12. Let b = -4 + v. Suppose b = -0*t + t. Which is bigger: 3 or t?
t
Let y(l) = 3*l**3 + 2*l + 1. Let o be y(-2). Let h = o + 55/2. Is 1 greater than or equal to h?
True
Suppose 4 + 0 = r, a + r = -55. Which is greater: a or -58?
-58
Let g be ((-3)/(-14))/(-8*8/112). Which is smaller: g or 3/5?
g
Suppose -5*l = -g - 87, -2*g - 43 = -3*l + 12. Let r be (-2)/(2/(-1)) + l. Let c be (-4)/(-18) + 14/r. Are -1 and c unequal?
True
Suppose -5*n - 2*q + 20 = 3*q, 3*q - 6 = 3*n. Let h(v) = v**2 - 3*v - 5. Let w be h(5). Let f be (n/5)/((-2)/w). Is f >= 0?
False
Let d be (-7)/2*(-16)/28. Let x be (14/35)/(d/(-130)). Let b = x - -180/7. Is b bigger than 0?
False
Let k be -4 + 142/26 + -1. Which is smaller: 1 or k?
k
Let r = -59 + 58. Do r and 2/9 have the same value?
False
Let f = 0 - 2. Let q be (-3)/(-1) + (f - -4). Let l be (q/(-15))/(2/3). Is l bi