1)/(-126))/(16/(-9)). Is 1 at least b?
True
Let y = -3 + 2. Let a be -1 - -3 - (1589/(-4))/(-7). Let b = -55 - a. Which is smaller: y or b?
y
Let u be 4/(-318)*(-3 + 12). Which is greater: u or 1?
1
Suppose -c - 3*p + 6 = 0, -c + 4*p = 9 - 1. Let g be (2/(-4) - (-1)/2) + c. Are -1 and g nonequal?
True
Suppose -a = -3*b - 44, 3*b + 34 + 30 = -4*a. Let i be 10/(-12 + (-170)/(-15)). Is b greater than i?
False
Suppose 3*o - 4*w = 35, -4*o = -4*w + w - 56. Suppose 3*q - 5*a = 74, -3*a = -3*q + 37 + 29. Is q smaller than o?
False
Let s = 7 + -3. Suppose s*p - 9 = 3. Are 1 and p equal?
False
Let t = -30664/15 + 2042. Which is smaller: -1 or t?
t
Let f be 40/152*16/440. Which is greater: f or -1?
f
Suppose 7 = l - 5. Let z be (-2)/6 - l/36. Which is bigger: z or -2?
z
Let c(u) = 4*u**2 - 10*u + 8. Let l(t) = -3*t**2 + 10*t - 7. Let s(n) = -4*c(n) - 5*l(n). Let k be s(-10). Let m be 4/k*-1*3. Is -5 at most m?
True
Let r = 56421 - 54453.21. Let h = -1979 + r. Let d = h + 0.21. Which is smaller: d or 0.1?
d
Let a = -197 + 198. Does a = -5/47?
False
Let m = -398 + 1977/5. Let b = 18 + -3. Let l be 5/b + 13/(-3). Is l >= m?
False
Let t = 221 + -219. Is t at least -17/5?
True
Suppose 3*j + 2 = 4*u - 6, 4*u + 5*j - 8 = 0. Suppose 0*h - 103 = 2*h + o, u*h = -4*o - 100. Which is greater: -53 or h?
h
Let d = 5 + -1. Let r = -4.03 + d. Let i = -10734 - -10734.1. Is r < i?
True
Let x = -51 - -99/2. Let q = -13/6 - x. Are -1 and q non-equal?
True
Let y be (1/(-5))/(-5*12/(-2325)). Is y < -1?
True
Let z = 48/17 - 443/187. Which is greater: 1 or z?
1
Suppose 5*i - 4*f - 15 = 0, 4*f = 5*i + 2*f - 15. Suppose -11*k = -i*k. Let v = 2/765 + -2309/5355. Which is bigger: v or k?
k
Let w be 1670/(-42) - ((-888)/(-84) - 11). Is -38 smaller than w?
False
Let t = -202 + 130. Let k = -55 - 18. Which is greater: k or t?
t
Let f = 0.1 - -0.6. Let h = 0.3 + f. Let c be (1/(-1 + 3))/(30/(-20)). Is h less than or equal to c?
False
Let u(b) = -5*b + 19. Let l be u(4). Is 5/67 less than or equal to l?
False
Let h = 12 + -21. Let g = h - -30. Let d = -4844 - -4844. Which is greater: d or g?
g
Let q = 20747/25 + -830. Which is bigger: 1/4 or q?
1/4
Let r(p) = -9*p**2 - p. Let d be r(-1). Let u = -468 + 923/2. Is d at most u?
True
Let m(i) = 24*i + 3. Let l be m(-2). Let h(c) = 2*c**2 - 81*c - 1437. Let b be h(-13). Which is smaller: b or l?
b
Let b = -32159/7 - -245085/56. Let k = -218 - b. Let s(u) = 2*u**2 - 22*u. Let h be s(11). Which is bigger: h or k?
h
Let w = -8.74 - -1.28. Let p = -0.46 - w. Do p and 0.2 have different values?
True
Suppose 3*r + 106 = 4*r. Let a = 110 - r. Is 40/9 smaller than a?
False
Let h be -1 - 10/(-8) - (-27)/(-444). Is h <= 1?
True
Let b = -10439/1841252 + 2/65759. Is 1 greater than b?
True
Let l(p) = -p**3 - 6*p**2 - 8*p + 24. Let k be l(4). Is -169 != k?
True
Suppose 2*k - 10 = 5*k + 5*l, 0 = -k + 5*l - 30. Is k less than or equal to 4/7?
True
Let f(d) = -d**3 - 8*d**2 - 11*d - 177. Let g be f(-11). Is g less than or equal to 307?
True
Let a be -618 - (6 + (-6 - -3)). Let f = a - -1467. Let l be f/834 + (-1)/1. Do l and 1 have the same value?
False
Let y be 2 - ((-1)/7 - -2). Suppose 7*g - 39 = -11. Suppose -c = 3*q, 0*q = -5*q + g*c - 17. Which is smaller: q or y?
q
Let j(u) = u**3 - 3*u**2 - u - 8. Let x be j(-4). Let b = x - -117. Is b less than or equal to -2/73?
False
Let r = 14 - 13.92. Is -0.1 <= r?
True
Let g(r) = -r**3 - 15*r**2 + 71*r - 7. Let u be g(4). Which is smaller: -25 or u?
u
Let w = 16741/148 + 57/148. Is 115 bigger than w?
True
Let h = 67333/60 - 1122. Let f = -5/12 + h. Is 0.08 bigger than f?
True
Let c(n) = -n**2 - 6*n. Let j be c(-5). Let a(y) = y**3 + 18*y**2 + y + 22. Let p be a(-18). Suppose -l + j = p*l. Is -4 less than l?
True
Suppose -3*f + 2 = 2*p - 0, 2*f + 4*p = -12. Let o be 414/(-10) + ((-96)/(-15) - 6). Let r = o + 45. Is r less than f?
False
Let c(w) = -5*w + 1. Let s be c(5). Let q = -224 - -200. Let x = s - q. Which is smaller: 4/9 or x?
x
Let s = 192 - 156. Which is smaller: s or 320/9?
320/9
Let d(o) = -o**3 + 7*o**2 + 5*o - 35. Let b be d(7). Let w be (-52)/(-126) - 2/9. Is b < w?
True
Let y = 13858 - 124712/9. Let n = -20 + 61/3. Which is smaller: n or y?
n
Let x = -142 - -136. Which is greater: x or -44/7?
x
Let m = -2447/6 - -407. Is -0.06 greater than m?
True
Let c = -6850 - -61552/9. Which is smaller: -10 or c?
c
Let s be (-4)/((-4)/4 + 2). Let c be 216/30*(-1)/s. Which is smaller: 1 or c?
1
Let z = -23 - -14. Suppose 3*k = -2*q - 15, 0*k = -q - k - 8. Is z greater than q?
False
Suppose -8*o - 75 = -11*o. Suppose 2*z + 8 = 0, -20 = -3*l - z + 48. Which is smaller: l or o?
l
Let l = 52 - 54. Suppose -3*k + i + 23 = k, -5*k - 4*i = -34. Let m = l + k. Do m and 4 have different values?
False
Suppose 0 = -4*u - 571 - 65. Let i = u - -5881/37. Suppose -y = -5*y. Is i equal to y?
False
Suppose -2*j + 0*j = 8. Let x(v) = -v**2 - 1. Let c(y) = 3*y**2 + 4*y + 7. Let q(i) = j*x(i) - c(i). Let p be q(5). Which is smaller: 1 or p?
1
Let i = -332 - -330. Let l(j) = -j**2 + j - 2. Let p be l(0). Is p greater than i?
False
Let n be 7*-4*10/(-40). Suppose 13 + n = 5*w. Suppose -34 = v - w*y, 2*v + 1 = -3*y - 12. Do -13 and v have different values?
True
Let m = 18 + -14. Let j(y) = 0*y + y - 11 - 4*y + m*y. Let q be j(10). Which is greater: -7/6 or q?
q
Let z = -470 - -469. Is -2/217 > z?
True
Suppose 12 = 5*o - 8. Suppose 4*y - 20 = -d + o*d, -y + 14 = -3*d. Let i be 0 - -5*d/370. Which is smaller: i or -1?
-1
Let n = -3.37 - -3.48. Is n >= 1/4?
False
Let i = -33 - -29.6. Let h = -3.3 - i. Is -1 greater than h?
False
Let u = -3 - -3. Let l(g) = g**3 - 4*g**2 - 6*g + 7. Let i be l(5). Suppose u = f - 3*d + 20, 2*f + i*f + d = -28. Which is smaller: f or -7?
f
Suppose -2*o - 27 = 15. Let h = 30 + o. Which is greater: 7 or h?
h
Let l be (-57)/171 + (101/(-3) - 0). Is -34 less than l?
False
Let v = 976/75 - 92/25. Let i(k) = -k**3 + 14*k**2 - 13*k + 10. Let r be i(13). Is r equal to v?
False
Let r = 0.642 - -28.458. Let f = -34.18 + r. Let w = 0.08 + f. Is w at most 2/11?
True
Let m be 11115/182 + 3/7. Let y = m + -61. Let v = -0.1 + 0.2. Is y < v?
False
Let y(b) = b**3 - 5*b**2 + 8*b + 3. Let o be y(-5). Is -289 less than o?
True
Suppose -w + 3*s - 16 = 1, -7 = -4*w - 3*s. Let l be 1*22/(-2) - w. Is -4 greater than or equal to l?
True
Let q = -5727/4168 + -1/1042. Which is smaller: 4 or q?
q
Suppose 33 = -5*t + 3. Which is bigger: t or -12?
t
Suppose 0 = -2*x + g + 78, -3*x = -0*x + 4*g - 128. Suppose 0 = -2*c - 0*c + x. Suppose 3*r + c = a, -2*a + 5*r + 64 = 24. Which is smaller: a or 19?
19
Suppose -4*w - 3*h = 56, 4*h = -5*w - 33 - 38. Which is smaller: -37/3 or w?
-37/3
Let d be (22/55 + (-26)/(-10))/3. Let f be (-28)/(-75) + (-1 - d)/6. Is f equal to -0.2?
False
Suppose 3*a + 44 = 2*t, -4*t - 5 + 89 = -5*a. Suppose -m + 4 = -12. Let g = t - m. Is g equal to 6?
False
Let b be 6/9 + 125/(-3). Let d = b + 60. Suppose -2*p - 18 = 4*t, d = -t - 4*t + p. Is t less than -16/5?
True
Suppose -l = 2*l - 219. Suppose 0 = -52*c - 244 + 3988. Is c >= l?
False
Let y(k) = k**3. Let q be y(0). Let u(b) = -1 + q - 5 + 5*b. Let n be u(2). Do n and 1/2 have different values?
True
Let i(s) = s**2 + 9*s + 11. Let v be i(-6). Let u(m) = -m**2 - 8*m + 2. Suppose -6*h + h - 5*t - 35 = 0, t = -2*h - 16. Let q be u(h). Is v at most as big as q?
True
Let p be 2/4 - 3550/(-4). Let n = 1266 - p. Let g be 3/n - (-8)/(-36). Which is smaller: 0 or g?
g
Let p = 19 - 33. Let m = 16 + p. Let q = -0.3 - -0.18. Which is smaller: q or m?
q
Let x be -5 + 2 - -2 - (1 - 2). Which is smaller: -1/852 or x?
-1/852
Let n be 136255/31752 - 1*(-4)/7. Let b = 39/8 - n. Does b = 0?
False
Suppose -2*v + 2 + 12 = 0. Suppose -v*l + 3*l = 0. Let g = 10/11 + -972/1045. Is l < g?
False
Let x be (-4)/26 + 1188/117. Suppose -3 = -4*s + 2*h + 3, 5*h + x = 5*s. Is 4/13 equal to s?
False
Suppose 3*b = -5*r + 70, 0 = 2*r - b + 4*b - 28. Let f = r - 26. Let u = -19 - -7. Is u smaller than f?
False
Let q be (-1228)/(-918) + -1 + (-29)/87. Are 0 and q unequal?
True
Suppose -180 = -4*w + 2*w. Suppose 10 = 4*s - w. Is s less than or equal to 51/2?
True
Let v(d) = -d**2 + 12*d - 17. Let k(x) = -x**3 - 4*x**2 + 3*x. Let s be k(-5). Let t be v(s). Is t not equal to 21/11?
True
Let d 