141 + 12. Is a at least as big as c?
True
Suppose 2*h - 66 = -l, -3*l = h - 2*h + 33. Suppose -30 = -h*y + 36*y. Let d(i) = -i**3 - 6*i**2 - 3*i + 2. Let s be d(-5). Is s >= y?
True
Let h(b) = 22*b - 35. Let f be h(2). Let c be 30/(3 - f) + 33. Is -2 greater than c?
False
Suppose 2*n - 19 = 5*w - 5, 0 = -w + 5*n + 11. Let j be 2 + -6 + (4 - (-6 - w)). Is 2 at most as big as j?
True
Let s be (-48)/(-40)*10/6. Suppose -w + 5*p = -4*w + 251, s*w - 176 = p. Are 87 and w nonequal?
False
Let l = -113 + 115. Let o be (l/18)/(-1)*(-68)/102. Let q(b) = -b**3 - 6*b**2 - 6*b - 4. Let v be q(-5). Which is smaller: o or v?
o
Suppose -2*n - 10 = -0. Let f be (3 + -4)/((4 + n)/(-1)). Let r = -1/238 - 2371/2142. Is r bigger than f?
False
Suppose -29 = -2*q + 115. Suppose 27*s + q = 36*s. Is s less than or equal to 15?
True
Suppose -162695 = -26*m + 6539. Is m less than or equal to 6510?
True
Let m be (-980 + 160/16)/((-6)/(-33)). Is -5336 greater than or equal to m?
False
Suppose -2*t = 38 - 20. Let j be (-1 - 255/(-261))/((-4)/t). Let k(y) = -y**2 + 13*y. Let s be k(13). Which is smaller: j or s?
j
Let z = -2290.85999 - 0.14001. Which is smaller: z or 3?
z
Let i = 291/2 + -153. Suppose -4*a = -5*z + 134, -2*z + 38 = -z + 2*a. Suppose 0 = -4*k - 2*t - z, 4*k + 3*t + 19 = -8. Which is smaller: i or k?
k
Suppose -3*v + 3317 = n, 2*v - 1287 - 919 = 2*n. Which is smaller: 1107 or v?
v
Let p = 0.03696 + 0.56304. Which is greater: -13/2 or p?
p
Suppose -27*d = 42336 - 209501 - 94438. Is 9689 less than d?
False
Let g = 4023 + -4064. Which is greater: -35 or g?
-35
Let j = 1.15 - 1.34. Let z = 26 - 25.64. Let r = -0.36 + z. Is j less than or equal to r?
True
Let g be 579/164 - (-13)/52. Which is smaller: 3 or g?
3
Let r = -4.83285 + -0.56715. Let v = -5 - -4.8. Is v <= r?
False
Let y(f) = -5*f**3 + 3*f**2 - 4*f + 2. Let t be y(1). Let a be 35/(-12) + (-5)/t. Which is smaller: -3 or a?
-3
Let m = -19517 - -19521. Which is smaller: -0.056 or m?
-0.056
Let i be (-17)/(-102) - (-4)/(-51). Is -2/5 != i?
True
Let h = -792 - -459. Let a = h - -336. Is 39/10 at most as big as a?
False
Let u be (636/35)/6 + (-8)/(-2). Which is smaller: 8 or u?
u
Let g be ((-9)/(-45 - -9))/(1/4). Let a be 2/7 - 5/(-7) - g. Is 129 at least a?
True
Suppose 3*n + 70 = 9*n - 56. Does n = 10?
False
Let z(r) = -r**2 - 47. Let i be z(-7). Let k = i + 95. Is k not equal to 1/85?
True
Let l(c) = -c**2 + 11*c - 3. Let s(f) = 2*f + 7*f + 0 - 3*f + 14. Let b be s(0). Let q be l(b). Which is bigger: -46 or q?
q
Let j = -1512 + 1221. Which is smaller: -1 or j?
j
Suppose 3*d - 4*o - 61 = -121, 5*o + 17 = -2*d. Let k be 46/(-6)*(3 - 6). Suppose y + 49 = -3*m - 0*m, -k = m - 3*y. Which is greater: d or m?
d
Suppose -7*l + 4 = -4*v - 3*l, 4 = -3*v + 2*l. Let r be ((-27)/v)/(30/(-160)). Which is smaller: -71 or r?
r
Let c = -397 + 411. Suppose 3*p - 15 = -5*s + 7, -5*s + 5*p = 10. Let m be s*c/12*(-10)/(-35). Are -10 and m nonequal?
True
Suppose 3 = 4*x - 1. Suppose -4*o - 24 = 4*y - 88, y + 4*o - 4 = 0. Let v be 32/(-140) + (-4)/y. Which is smaller: x or v?
v
Let d(o) = 21*o. Suppose -4 = 3*b - 16. Let z be d(b). Suppose -4*f = -3*y + z, -y + 44 + 48 = -4*f. Do -24 and f have the same value?
True
Let s = 0.0056 + 170.9944. Is -0.8 > s?
False
Let a(v) = 5*v**2 - 143*v + 2678. Let n be a(22). Is n not equal to 1947?
True
Let x = -1127405/19 - -59363. Is x greater than 26?
False
Let q(g) = 11*g + 7*g + 37 - 20*g + 21*g**2 - g**3. Let z be q(21). Let j be (z/(-15))/(3/9). Which is smaller: 4/13 or j?
4/13
Let f = -38129069/1543 - -24711. Which is greater: 2 or f?
2
Let d = -6921 + 8214. Which is greater: 1288 or d?
d
Let l be (6191262/(-374))/(-7) - 2/(-17). Are l and 2366 unequal?
True
Let r = -20218 + 20198. Is r equal to 1/106?
False
Suppose 2*b - 3515 = 5*g - 13723, 3*g + 13*b - 6139 = 0. Is 2043 < g?
False
Suppose 3*b - 5727 = -3*s, -6*b + 14*b - 32 = 0. Is s not equal to 1905?
False
Suppose b + 224 = -17*j + 21*j, -30 = -j - 3*b. Is 50 > j?
False
Let z be 0 + 0 - (3 + -2). Let g be (2 - -1)/(6/176). Let d = -443/5 + g. Are d and z non-equal?
True
Let j = 0.2 + 0. Let u = j - 0.15. Let n be -25 + (0 - 1106/(-42)). Which is bigger: n or u?
n
Let u be (-6)/(-12)*(1 + 17) - -53. Is 820/13 greater than u?
True
Suppose -5*a = -3 - 22. Let w be (-2)/a*-5 + (52 - 4). Let p(c) = 2*c**3 - 2*c**2 + 3*c + 6. Let s be p(3). Is s != w?
True
Suppose -4*w - 6 = -2*w. Suppose -2*v + 8 = -4*v, -4*v + 86 = 3*u. Suppose -5*x = -4*l - x - 8, 3*x = -5*l - u. Is w equal to l?
False
Let x = -2659267/6259115 - -252/593. Which is bigger: x or 1?
1
Let s be 50/2 - (-5 + (-25)/(-5)). Let o = s + -27. Let i be ((-3)/(-6))/((-14)/32) - o. Which is greater: i or 0?
i
Let a(g) = 5*g**2 - 19*g**2 - 14 - 3*g - g**3 + 4*g**2 + 7*g**2. Let w be a(-3). Let s be (-3 - 23/w)*2/60. Is 0 bigger than s?
False
Let f be (-18)/(-135)*(14 - (-1380)/(-105)). Suppose 50 = 3*k - 4. Let q be 14/(-36) - (-3)/k. Is q at least as big as f?
False
Let d(g) be the second derivative of 2*g + 1/6*g**3 + 0 + 17/2*g**2. Let b be d(0). Is 19 at least as big as b?
True
Let n(b) = -b**3 - 6*b**2 - 5*b - 4. Let u be n(-5). Let w be 1/u + (0 - 470/(-24)). Is 20 at least as big as w?
True
Let h be (-14)/(-4)*(-135)/(-210)*-4. Let u be 1 - (h - -4) - 5 - -1. Which is greater: u or 6/11?
u
Suppose -4*u + u = 18. Suppose 2066 = -401*j + 1621 - 2362. Do u and j have the same value?
False
Suppose -a = 0, k - 4*a + 2*a = -0*k - 1. Which is greater: k or -8548?
k
Let l be (-26)/(-4)*(-13)/((-39)/594). Let i be (l/(-255) + 5)/((-3)/45). Is -0.2 smaller than i?
True
Let t(l) = -9*l**2 - 8*l + 24. Let q be t(5). Let c = q - -245. Which is bigger: -1/4 or c?
c
Let i = 18212 + -17296. Is i at least -1.2?
True
Suppose 0 = -24*b - 36*b - 76440. Is b greater than -1275?
True
Let v = 565 + -72. Let j = 1029/2 - v. Does j = 22?
False
Let o = -238 - -335. Let i = o + -74. Which is bigger: i or -0.3?
i
Let r be 2/(-5) + (-106)/10. Let t(k) = k + 2. Let c be t(4). Let s be (20/6)/((c + 2)/(-24)). Which is smaller: r or s?
r
Suppose 8*s + 3*p = 3*s - 32, 2*p + 12 = -2*s. Let o be 8/(-14)*1/s. Is 1 at least o?
True
Let b = 5.05 + -3. Let u = -2.16 + b. Which is bigger: -1 or u?
u
Suppose -38*b = 3*b - 8856. Let x be (b/81)/(1*2/(-303)). Is x greater than or equal to -404?
True
Let l = -1171 - -1194.2. Let d = -23.35 + 0.35. Let f = d + l. Is f greater than or equal to 0.07?
True
Let r = -10594 + 9252. Is -1341 < r?
False
Let u = -10114 + 18472. Which is smaller: 8357 or u?
8357
Let d = 925 + -925. Is -4/1871 at least as big as d?
False
Let m = -147.108 + 143.6. Let r = m + 2.42. Let h = r + 0.088. Is h not equal to 34?
True
Let u(h) = -4*h**3 - h**2 + h + 1. Let s be u(1). Let g be ((90/(-27))/10)/((-1)/s). Let m be g/(((-55)/(-610))/11). Which is smaller: -121 or m?
m
Let y be 665/(-10)*(8 - 344/14). Is 1102 smaller than y?
False
Suppose 1250 = -4*s - d, 4*d = -5*s + 3*d - 1562. Let m be (3 - s/(-54)) + (7 - 4). Which is smaller: 74 or m?
m
Suppose -5*a = 24 - 344. Let w be 294/44 - -4*(-8)/a. Is 5 != w?
True
Let y = -131 + 148. Suppose 16 = -3*q + 2*w - 17, 3*w = 2*q + y. Which is greater: -18 or q?
q
Let d(v) = -14*v**2 - 60*v + 16. Let w(k) = 5*k**2 + 19*k - 5. Let c(t) = -6*d(t) - 17*w(t). Let q be c(32). Is 149 > q?
False
Let v = 2699 - 2923. Which is bigger: v or -219?
-219
Let f be ((-40)/(-32))/((-2)/56). Let k be f/14*(-504)/30. Is 40 greater than or equal to k?
False
Let w be (47/(-12) + 4)/((-54)/(-216)). Which is bigger: w or 111/167?
111/167
Let u(i) = 67*i**3 - 2*i**2 + 9*i + 15. Let w be u(-2). Let b = w + 546. Do b and -19/11 have the same value?
False
Let f be 9 + (-2 - -2)/(-3). Let v be 1/f*3*-3. Let g = -32 + 28. Is v less than or equal to g?
False
Let c = 1.64 - -50.36. Let w = -3 + 49. Let x = c - w. Is 2/15 <= x?
True
Let f be 3/(-21)*-2 - (-46940)/(-140). Let b = 1010/3 + f. Let p be -2 + 0 - 0/2. Which is greater: b or p?
b
Let g be 102/17*(3 + 20/(-8)). Let k(c) = -c**2 - 4. Let q be k(0). Let a be q - -57 - (-1 + g). Is a bigger than 51?
False
Suppose -1461 = -2*u + 4*u - 5*n, 3*n + 1437 = -2*u. Which is bigger: u or -3?
-3
Let g = -701 - -703. Which is greater: g or 4/295?
g
Let h(j) = -j**2 - 20*j + 23. Let l be (63/(-12))/(6/24). Let c be h(l). Let a be (2/(-1