Let i = n + -305. Is -16 greater than or equal to i?
False
Let z be 22*21*50/(-75) - 1. Let p be (-6)/(2754/z) - 10/15. Which is greater: 1 or p?
1
Let d(j) = -15 + 0*j + 12 + 3 + 48 - 3*j. Let m be d(11). Are m and 24 unequal?
True
Let n = -109/235 + 2/5. Suppose 4*b + 6*m = m + 3, 2*m = -5*b + 8. Suppose -s = b*s. Which is greater: n or s?
s
Suppose 0 = -5*q + 11*f - 113499, 5*q = 143*f - 139*f - 113471. Is q bigger than -22690?
False
Suppose 21 + 123 = 8*f. Suppose -14*r - 120 = -19*r. Suppose -4*m = 4*w + r, -3*w - m = m + f. Which is greater: w or -4?
-4
Suppose -23*k + 49608 = 30*k. Is k at least 933?
True
Suppose -6*d = -3*d. Suppose d = -6*x + 2 + 112. Let y = -17 + x. Is -5/2 less than or equal to y?
True
Let u(x) = -3*x - 9. Let k be u(7). Suppose -v - 18 = 2*g + 2*g, -4*v = -5*g + 135. Is k less than v?
False
Let a = 7767 - 10119. Is -2353 < a?
True
Suppose 5*x = 3*i - 41, -2*x = 2*i - 4*x - 26. Suppose 0 = -t - 5*h + 18, -12*t + i = -7*t - h. Suppose -10*n + 7*n = t. Is n <= -7/8?
True
Let l = 4659 - 4658.8. Which is smaller: l or -34?
-34
Let r be (-3)/(-24)*(-34)/1. Let t = r + 4. Let p = 0.1 - -1.5. Are p and t equal?
False
Let h = 120 - 111.4. Let p = h + -1.1. Let f = 4.5 - p. Which is bigger: f or -5/3?
-5/3
Let d be (1 + (-5)/((-140)/6))/(2/7). Is -0.04 less than d?
True
Let t = 501 + -459. Let d = 31 - t. Is -1.6 smaller than d?
False
Let x(s) = -10*s**2 + s + 8. Let u be x(0). Let n be u + 16410/(-2120) + (-1)/4. Is -1 >= n?
False
Let u = 540 + -190. Let f be u/210*(1 - 0). Is f at least 3?
False
Let u(i) be the second derivative of -11*i**3/6 - 241*i**2/2 + 4*i + 17. Let j be u(-22). Is 2/719 at least as big as j?
False
Let y = -232 - -89. Let i = 70 + y. Which is greater: 1 or i?
1
Let x be ((-7)/18 - (-1)/2)*42/(-21). Which is greater: x or 0.3512?
0.3512
Let l be (-334)/10 + (-94)/(-235). Let p be 12/(-3) - (-25 + l). Which is smaller: -2 or p?
-2
Let v = -101 - -37. Let r = 44 + v. Suppose 3*w - 11 = -8. Is r greater than w?
False
Let m(a) = a**3 + 22*a**2 + 72*a + 58. Let i be m(-7). Which is greater: 305 or i?
305
Suppose -6*c = -c - 10. Let z be 9/(-18)*(1 + -9 + 2). Suppose z*h - 7*h = -52. Which is smaller: h or c?
c
Let z = 22263/5 - 94528703/21230. Is 0 >= z?
True
Let t = -32 + 23. Suppose -5*b + 6625 = -5*p, 0*b = -p - 4*b - 1350. Let o = -17288/13 - p. Do o and t have the same value?
False
Suppose 3*h - 40 = -6*u + 8*u, h + 5*u - 36 = 0. Let s be 624/(-351)*(-6)/h. Is -0.44 less than s?
True
Let d be ((-274)/(-1644) + (-1)/6)/(-1 - -2). Which is bigger: -7/1976 or d?
d
Let n(z) = -5*z**3 + z**2 + 2*z + 1. Let q be n(-1). Suppose -q*g = 4*j - 105, 2*j - 27 = -5*g + 4*g. Suppose -g*k = -26*k + 648. Is 72 at most as big as k?
True
Let p = -124/285 - -2/57. Suppose 4*v - 28 - 50 = -5*z, -5*z - v = -72. Let m be 24/192 - z/(-16). Is p bigger than m?
False
Suppose -2*q - 5*i + 323 = -0*q, -3*i - 3 = 0. Suppose 11*z = 408 + q. Is z > 52?
False
Let j = -34 - -38. Suppose 13 = -q + 4*u - 7*u, 0 = u + j. Is q not equal to -3/154?
True
Let b(f) = -f**2 + 9*f - 12. Let r be b(7). Suppose -2*h + 4*l + 20 = 0, -6*h = -r*h + l - 76. Let u be (h/(-45))/((-6)/35). Is u smaller than -2?
False
Let w = -440.27 - -3.27. Let n = w - -454. Are n and 16 nonequal?
True
Let z(j) = -j**2 + 20*j + 48. Let x be z(-4). Which is bigger: -559/12 or x?
-559/12
Let u be (0 + 1036 + 1)*(12 - 11). Suppose -543 = -20*h + u. Which is greater: 80 or h?
80
Let q = -1.384 - -2.584. Which is greater: 46 or q?
46
Let h(s) = 65*s + 613. Let q be h(-9). Let z(t) = 4*t**2 + 4*t - 21. Let a be z(3). Is a at least as big as q?
False
Let g be -51*(-7 - -6)*7/3. Let x = 126 - g. Which is bigger: x or -6?
x
Let d = -9439 - -6992. Are d and -2447 nonequal?
False
Let s = 773/2 - 388. Let d = 20 + -45. Let g = 21 + d. Which is smaller: s or g?
g
Let v = 9 - 11. Let h = 1 + v. Let m = -798 - -35908/45. Is m equal to h?
False
Let k = 15648 + -15943. Which is smaller: -1479/5 or k?
-1479/5
Let j be 1*(22/(-77))/(2/(-7)). Is j > -1/246?
True
Let t = -39.97 + 36.3. Let s = 1373 - 1372.33. Let y = s + t. Which is smaller: 0.3 or y?
y
Suppose -2*a + 48 = 2*y - 108, 210 = 3*a - 3*y. Suppose 6872 = -41*b + 2731. Let k = b + a. Is -27 at most as big as k?
True
Let i(g) = -8*g - 13. Suppose 2*v - 8 = 5*v - 2*w, -5*v - 18 = -w. Let x be i(v). Let o be (-2622)/(-92)*(-2)/(-3). Is x at most o?
True
Suppose 3*p - 3 = -i, 15 = 2*i + 3*i + 3*p. Let d be 3 + 2 + (0 - i). Let g be -1 + (-11 - 384/(-36) - (-32)/6). Which is smaller: g or d?
d
Let a be (22/(-308))/(4/(-14)). Let j(u) = u**2 + u - 1. Let i(z) = z**3 - 10*z**2 - 13*z + 18. Let s(h) = -i(h) - 3*j(h). Let q be s(8). Are a and q unequal?
True
Let h = 6101 + -1525. Let a = 59518/13 - h. Suppose 7*m = 12 + 9. Do a and m have the same value?
False
Let k be (-20)/(-56)*7 + (-18)/12. Is -165 equal to k?
False
Let p be 1 + 2 + 1 + 207. Let q = p - 421/2. Is q <= 30?
True
Suppose 161*v = -320*v + 481. Which is greater: v or 23/929?
v
Let u(k) = 3*k - 13. Let t(z) = 4*z - z**2 - 18*z - 10 + 4*z + 0*z**2. Let p be t(-3). Let w be u(p). Are w and 20 nonequal?
False
Let a be (2/6)/(18/324). Suppose a*x + 18 = x + 4*c, -3*x = -2*c + 10. Is x != 7/6?
True
Let q = 6341 - 8966. Do -2626 and q have the same value?
False
Let d be (-1 - 27)*(-316)/1106. Are 83 and d unequal?
True
Let t(z) = -6*z**3 + 2*z**2 + 3*z + 4. Let f = 8 - -2. Suppose -f = 5*d - 0*d. Let h be t(d). Which is smaller: h or 53?
53
Let i(f) = 14*f**2 - 7*f - 34. Let g be i(16). Suppose 0 = 20*r + g + 602. Is -202 > r?
False
Let c be (67 - 66)/(14011/2 + -1). Is c equal to 0?
False
Let j = 24.489 + 0.211. Let w = j - 25. Let v = -9.1 - -10. Which is bigger: w or v?
v
Let x be (-122933)/(-1614)*(-2)/(42/(-38) - -1). Which is greater: 1447 or x?
x
Let c be ((-192)/3216)/(2/(-7)). Let z be 2/(24/(-16) - (-2)/(-4)). Which is greater: z or c?
c
Let p be -2*(-1382)/5640 + (-31)/62. Is 1 greater than p?
True
Let k = -16 + 46. Suppose 5*i - 3*i - 3*d - 38 = 0, 2*i - 62 = -3*d. Is i >= k?
False
Let a = 1566 + -1622. Which is smaller: a or -46?
a
Suppose 2*a + 19271 = 5*l - 6499, 2*a = 6*l - 25770. Does a = 0.1?
False
Let i(o) = -2*o**3 - 8*o**2 - 2*o - 2. Let j be i(-6). Let k = j - 155. Do k and -2 have the same value?
False
Let l = -5.6085 + 0.0085. Let c = l - 29.4. Which is greater: 1 or c?
1
Let v = 15 - 18. Let z(n) = n**2 + 4*n + 1. Let j be z(v). Let h be (-135)/6 + j/(-4). Which is smaller: h or -1/4?
h
Let s = 63 - 43. Let t be (-63)/(-7 - 2) - -10. Is s bigger than t?
True
Suppose -353*g = -135*g - 573 - 517. Suppose 0*v + 3*v = 39. Which is smaller: v or g?
g
Suppose -5*c + 2*m = -3*m + 40, 5*m - 5 = 0. Let i be (c - -13 - 9)*31. Let w = 99 + -192. Is w greater than or equal to i?
True
Let f = 77.5 - 38. Let s = -303 - -267. Let w = f + s. Which is greater: 0 or w?
w
Let m = -242/3 + 81. Let x(w) = -w**2 - 3*w - 38. Let n be x(-5). Is m less than n?
False
Let h be 158148/52325 - 2/13. Let s = -36/25 + h. Which is smaller: 1 or s?
1
Suppose p - 1225 = 6*p. Suppose -2*v - 1 = 5*i, -v = -4*v - i - 8. Let y be ((12/p)/v)/((-4)/10). Is 1 less than or equal to y?
False
Let w = 6.07 - -0.43. Let x = -43.5 + w. Let m = -43 - x. Is 2/7 equal to m?
False
Let t = -91 + 86.3. Let f = -4.35 - t. Let w = 0.21 - f. Are w and 1 unequal?
True
Let x = -1.2 - -0.7. Suppose 0 = -17*a + 51*a - 170. Let d be (22/a + -2)*(-115)/253. Which is smaller: d or x?
d
Let q = 875 - 875.0541. Let i = 0.0541 + q. Which is greater: i or -13?
i
Suppose -3*i + 4*w + 1526 - 20 = 0, -2*w + 502 = i. Which is greater: i or 503?
503
Let n = -50 + -6. Let y = 20 + n. Let l = y + 36. Is -12/13 not equal to l?
True
Suppose -13*h + 1 = -5*z - 15*h, 2*h + 10 = 4*z. Let o = -3627683 + 10088586302/2781. Let f = 2/309 + o. Is f at least z?
False
Let d be 6027/1953 + (4 - 1) + -6. Do -5 and d have the same value?
False
Let o = 216 + 140. Let i = o + -356. Which is bigger: 15/19 or i?
15/19
Let c(z) = z**2 + 8*z - 45. Let f be c(-12). Suppose -7*y = 3*v - f*y - 367, y = -v + 124. Which is greater: v or 130?
130
Suppose n - 16 = -4*o, -o + 2*o + 2*n = 4. Let r be (-6)/(-45) + (1 - (-102)/(-90)). Suppose r = o*i - 25 + 1. Which is greater: 5 or i?
i
Suppose -3 = 6*b - 8*b - 3*g, -5*g = b - 5. Let k be (4/8)/((-225