-15). Is h at most as big as 7?
True
Suppose -4*g = r + 74, 2*r - 44 = 2*g - r. Let y = 461 + -479. Which is greater: y or g?
y
Suppose 0 = -4*m - a - 3, a + 0*a = -2*m - 3. Suppose -18*t + 22*t + 4 = m. Is -3/17 > t?
True
Suppose 0*y - y - 15 = -3*q, q - 4*y - 5 = 0. Let i be (-2)/q + 132/(-120). Let v be (4/32)/(3/(-4)). Are i and v nonequal?
True
Suppose -8*k + 7*k = 0. Let i = 2 + 1. Let m be ((-6)/(-28))/(i/(-12)). Are k and m non-equal?
True
Let n = 859/2 + -55839/130. Let k(t) = -41*t - 41. Let q be k(-1). Is n smaller than q?
True
Let p be 3/((-369)/6)*27298/(-4). Let v = p - 333. Is -1 != v?
True
Let u = 31 + -8. Let c = 41 - 42. Which is greater: c or u?
u
Suppose 2*a = -2 - 0, -2*n = -5*a + 53. Does -29 = n?
True
Let o = 80 + -76. Suppose -2*i = 2*m - m - 19, 0 = -3*i + o*m + 34. Is 52/5 smaller than i?
False
Suppose 7*h = -1445 + 2656. Which is greater: 175 or h?
175
Let w = -43/48 + -1475/336. Which is smaller: -6 or w?
-6
Let d be -2*(-4)/(-8) + -1 - -19. Let c = 15 - d. Is -14/5 <= c?
True
Let s = 0.536 + -1.536. Which is bigger: 853 or s?
853
Let j = -4178491/23085 + -184/4617. Let p = -1570/9 - j. Is 8 less than p?
False
Let l = 431/4 - 107. Which is greater: 98 or l?
98
Let k = 282.7 - 269. Let l = -40.7 + k. Is 0.2 less than l?
False
Let n be -20*3*(-1)/6. Let j be 5/n*(-6)/26. Which is smaller: j or 1?
j
Let q = 26 + -21. Suppose -d = 3*d - q*a + 78, 8 = 4*a. Is -18 >= d?
False
Suppose -t = -753 + 757. Is -1 greater than t?
True
Let c = 144 - 137.9. Let y = c - -0.9. Which is smaller: -2/3 or y?
-2/3
Let p = 0.0439 + 0.0361. Is p > 1/68?
True
Let t(k) = -2*k**2 + 41*k - 164. Let x be t(15). Which is smaller: x or -16/149?
-16/149
Let o = -65 - -69. Let k(n) = -n**3 - n**2 + n + 1. Let s be k(-2). Let i be (-2 + s + -3)*o. Are -8 and i equal?
True
Suppose 8*m - 3*m = z - 6, -z - 6 = m. Let q(g) = -g**2 - 5*g + 1. Let x be q(-4). Suppose -2*d - o = 6, -5 = 5*o + x. Which is greater: z or d?
d
Let f(g) = -g**3 + g**2 - g - 1. Let x be f(-1). Suppose x*r + 10 + 22 = 0. Let p = r - -15. Is 0.8 > p?
True
Let r be 1112*(-15)/70 + 6/21. Which is greater: -239 or r?
r
Let u be 4*7/(-88690)*-7. Is u greater than or equal to 0?
True
Let o(f) = f**3 - 7*f**2 + 7*f. Let u be o(6). Suppose 5*h - 3*r + 17 = 0, -h - 3*r - u = 1. Let q be (9/(-48))/((-9)/h). Which is greater: -1 or q?
q
Let u be ((-6)/15)/(12/95). Let f = -4/37 - -308/111. Let d = f + u. Which is bigger: -2 or d?
d
Let a(f) = -f**2 - 4*f + 5. Let r be a(-4). Which is bigger: 0.04 or r?
r
Let q = -4.46 - 9.54. Which is smaller: -0.1 or q?
q
Let z = -1986 - -2088. Which is bigger: z or 103?
103
Let m = 63.87 - 25.8. Let h = -38 + m. Which is smaller: 2 or h?
h
Let g = -0.168 - 578.832. Which is smaller: 2 or g?
g
Let m = 29 - 26. Suppose -a + m = -10. Is a greater than or equal to 13?
True
Let f = 6 - 17. Let q = f - -14. Suppose 0 = 3*v - q. Do v and 2/7 have different values?
True
Let a = -1 + 1. Let n(o) = o**3 - 26*o**2 - 60*o + 124. Let q be n(28). Let w be (a + 39/q)*4. Are 12 and w unequal?
True
Let c(v) = -4*v - 154. Let r be c(-38). Which is smaller: r or -8/3?
-8/3
Suppose 0 = -2*p + 4*m - 8, p + 0*p - 4*m + 6 = 0. Let q be 1/(-2 + p/(-2)). Let l be (-1)/(-2) - (-90)/(-20). Are l and q unequal?
True
Let g(j) = j + 4. Let l be g(-3). Let o = 81024 + -809459/10. Let d = 78 - o. Which is smaller: l or d?
d
Suppose 2*v = a - 0*a + 155, 5*v - 2*a - 388 = 0. Suppose 0 = 3*r + u - 78, 0*r - v = -3*r - 3*u. Let n = -23 + r. Is n < 4?
True
Let d(h) = -h**3 - 8*h**2 - 2*h. Let z(y) = y**3 - 18*y**2 + 18*y - 25. Let v be z(17). Let l be d(v). Which is smaller: 1 or l?
1
Let x = -1316.205 - -1316. Which is greater: -1/4 or x?
x
Let g = 1/1268 - -597/46916. Which is bigger: -1 or g?
g
Let j be (85/(-42))/1 - -2. Suppose 5*g = 3*s - 10, -4*g + 2 = 4*s - 5*g. Is j bigger than s?
False
Let u(c) = -c**2 + 9. Let a be u(-4). Let l be (-11 - a) + (-68 - 0). Let o be l/(-20) + 0 - 3. Which is smaller: 2 or o?
o
Suppose 9*i + 7 = 16*i. Is i <= -2/43?
False
Let b = 25 - 23. Let l be ((-4 - -3) + b)*1. Is l > 1?
False
Let y = -0.76 + 2.57. Let s = y + 0.19. Is 1 less than or equal to s?
True
Suppose 0 = 3*k + 6 - 18. Let j = -6882/13 - -530. Let q = 49/26 + j. Which is bigger: k or q?
k
Let f be 46/33*(-6)/4. Which is smaller: -2 or f?
f
Let b = -54.1 + 54.2. Is -20 > b?
False
Let x(q) = -q**3 + q**2 - q + 1. Let v be x(1). Let c be 1/6*-493 + 13/(-26). Let w = 82 + c. Which is smaller: v or w?
w
Let k be ((-31)/310)/((-2)/(-4) + -3). Which is smaller: -0.1 or k?
-0.1
Let y(m) = -4*m**2 - 7*m. Suppose -5*k - 26 = i, -5*i - 13 = -5*k - 33. Let p be y(k). Is p > -1?
False
Let i = 468 - 477. Which is smaller: i or -12?
-12
Let a(g) = -5*g**2 - 12*g - 20. Let l be a(-6). Let f = 11 + l. Let p = 1169/10 + f. Is p greater than 1?
False
Let j = 4/41 - -21/205. Let f = 23.7579 + -0.0579. Let a = 24 - f. Is a at least as big as j?
True
Let v be (-1)/(-2)*22 - (-3 - -6). Let q be v/10 - ((-636)/30 + -3). Which is bigger: 26 or q?
26
Let g(n) = -7*n. Let b be g(-4). Let j = b - 25. Let h = -12 - -12. Are j and h non-equal?
True
Suppose -4*f - f - 138 = -k, 5*k - 74 = 3*f. Suppose 10*r = 5*r - 140. Is f > r?
False
Let n be (1 + -4)*(-6)/9. Suppose -16 = n*v - 6*v. Suppose -v*j + j = 0. Which is smaller: j or -10/9?
-10/9
Let m = 0.442 - 3.332. Let t = 22 + -22.11. Let q = m + t. Is -1/3 < q?
False
Let g(k) = 4*k**2 + 13*k + 56. Let z be g(-12). Do 476 and z have the same value?
True
Suppose -12 = 4*x - 6*x + 4*v, 4*v = 8. Suppose -d + 5 + x = 0. Is 13 >= d?
False
Suppose -3 - 1 = -l. Suppose j - l = -x, 0 = x - 4*x - 2*j + 16. Let w = x - 4. Is w greater than 5?
False
Let l(f) = 18*f - 107. Let p be l(20). Which is greater: 255 or p?
255
Let j = 61/63 + -10/9. Are 0 and j equal?
False
Let c be 5302/3245 - (-4)/(-2). Let k = -2/59 + c. Is -1 less than or equal to k?
True
Let s(r) = -r**2 + 8*r - 9. Let j be s(7). Let l = -87 - -124. Let x = 33 - l. Is x > j?
False
Suppose 2*g - 5 = -3*g, 3*k - g - 14 = 0. Suppose -4*w - m + 4 = 0, -4*w - k*m - 22 = -5*w. Suppose -2*d = 4*l + 32, -l + 4*l = -w*d - 26. Is l > -8?
True
Let j(u) = 9*u + 37. Let a be j(-4). Let n be 2/(a/((-61)/57) + 1). Which is smaller: 30 or n?
30
Suppose 0 = 3*y - y. Let u be -3 - 15/(-6) - 31/(-2). Suppose -3*g = -y*g - u. Is g < 4?
False
Let n(s) = -s**3 - 6*s**2 + 4*s - 4. Let v be n(-6). Let j = -27 - v. Which is smaller: j or 9/10?
9/10
Let b be -2 + 4 - (45/(-24) - -3). Is b bigger than -2?
True
Let s be (2 - 2)*3/9. Suppose -3*f - 1 + 4 = s. Let d be 0/2*(-5)/10. Which is greater: d or f?
f
Let v be (40/(-50))/(4/10). Let q = v + -7. Is q equal to -2?
False
Let r(z) = z**3 - 15*z**2 - 46*z + 483. Let a be r(16). Let n = -1190/209 - -80/11. Are a and n unequal?
True
Let h(s) = s**3 + 3*s**2 + 3*s + 1. Let r be h(-2). Which is smaller: 10/31 or r?
r
Let w = 0.0706 - 0.0947. Is 2 smaller than w?
False
Suppose -11 = -2*j - 3. Let h be (-1 - 23)*3/j. Is h at most as big as -17?
True
Let a = -2207 + 216285/98. Do -1 and a have different values?
True
Let j be 6376/4*3/6. Let t be (-100248)/(-126) - 1/3. Let s = t - j. Which is greater: -1 or s?
-1
Let x(q) = -q + 28. Let h be 6/1*4/(24/27). Let u be x(h). Are 5/27 and u nonequal?
True
Let b = -1.15 - -65.15. Let u = 64 - b. Which is smaller: -5 or u?
-5
Let z(w) = w**3 - 4*w**2 - 7*w + 2. Let x be z(5). Let k(m) = -2*m**2 - 16*m + 10. Let l be k(x). Let v = 22 - 12. Is v at most l?
True
Let c be ((-19320)/9654 - 2) + 4. Which is smaller: c or -1?
-1
Let q = 0.42 - 2.12. Let t = -0.649 + -0.051. Let m = q - t. Which is smaller: m or -2?
-2
Suppose -8 = -4*x + 2*y + 2*y, 2*y = 4. Suppose 0 = -z - w + 2, z + z = -4*w + 8. Suppose 5*b - 2*v = 23, 4*b + z*b = -2*v + 22. Which is smaller: x or b?
x
Let k = -5 + 7. Suppose 17 = -2*r + 4*r - 3*f, 0 = -k*r - f + 5. Suppose -4*i - 11 = h + 21, i + r*h + 23 = 0. Does i = -8?
False
Let h(t) = t**3 + 3*t**2 + 4*t + 3. Let y be h(-2). Let f be 3029/1001 + (-1 - 2). Is y < f?
True
Let q be 0 - ((-46)/(-4) + -1). Let g be -12*((-13)/21 + 4/14). Let d be 30/g*(-2)/(-6)*-4. Which is greater: d or q?
d
Suppose -2*n = 2*i + 40, 3*n - 2*n - 3*i + 8 = 0. Let j = -783 - -768. Which is greater: n or j?
j
Let z(o) = -3*o - 37. Let a be z(-14). Let n be (a