30 + ((-2)/(-5) - 0). Let p = q - 39. Which is bigger: p or -18?
-18
Let c = -53 + 55. Let x be (0 - (-188)/4)*(c - 0). Are x and 93 non-equal?
True
Suppose 3*w - 3*q = w - 73, 0 = w + 2*q + 26. Let z = -12.216 + 12.516. Is z >= w?
True
Let m(p) = 2*p**2 - 2*p. Let l be m(5). Suppose 4*x + l = 124. Suppose 4*c - 3*c = 20. Which is greater: c or x?
x
Suppose 1112*q + 4178 = -4718. Let b = -25 - -2. Is q <= b?
False
Let r be (-6076)/(-3276) - 36/(-162). Let g(q) = -q**3 + 5*q**2 + 7*q - 3. Let w be g(6). Which is bigger: w or r?
w
Let c = -216 + 216. Suppose -10*d + 283 - 123 = c. Which is smaller: 142/9 or d?
142/9
Let z(n) = n**2 - 11*n - 8. Let x be z(13). Suppose -20 = 8*c - x*c. Which is smaller: 13 or c?
c
Suppose -3*q - 61 + 4 = 0. Suppose 7*n - 2*n - 2*o - 31 = 0, o = n - 5. Let v be (112/(-4))/n - 17/1. Is q >= v?
True
Let c(t) = -2*t**3 - t**2 - t + 245. Let n be c(0). Let k be n/(-175) + 4/10. Let d = -467/12 + 39. Is k greater than or equal to d?
False
Let m(l) = -7*l**2 + 10*l - 16. Let y be m(-4). Let f = y + 184. Which is bigger: f or 22?
22
Let o = 31773904/477 - 66612. Which is bigger: 1 or o?
1
Let t = 344 + -238. Let z = -106.1 + t. Is -5/49 at most z?
True
Let d be -2 - (497/(-28) + 2). Let c = 14 - d. Which is smaller: -20 or c?
-20
Let g = 9599 + -9632. Let k be 4/2 + -32 - 1. Is k bigger than g?
True
Let g = -109 - -117. Suppose 0*x + 496 = -g*x. Which is greater: x or -59?
-59
Suppose -3*t - 2*b + 14268 = 5682, 0 = -4*t - 5*b + 11441. Let l = -426734/149 + t. Is l equal to -1?
False
Let v = -216150767 - -306934054697/1420. Let i = 97/4 + v. Let f be -1*1/(-1) - 1. Which is smaller: i or f?
i
Let v(i) = -2*i**3 - 66*i**2 + 2*i + 119. Let m be v(-33). Which is greater: m or 240?
240
Suppose -5*k - 37 - 23 = 0. Let b(t) = -2*t**2 + 30*t - 46. Let j be b(13). Suppose -5*y = 5*l + 10, j = 5*l - 8*l + 3*y. Is k < l?
True
Let m be (-7 - (-185)/20)*(-40)/(-6). Let f be (-1 - 15)/(m/(-10) + 1). Is f less than or equal to 27?
False
Let s = 28 - 15. Let b = s + -19. Let k be 105 - 106 - (2/9 + 10/(-18)). Is b < k?
True
Let x = -30.4 - -15.1. Let k = 15.8 + x. Is 9 at most as big as k?
False
Let d be 224/(-35) + 7 + (-123)/5. Let o be -6*8/d - (-16)/(-10). Is o <= -3/4?
False
Let n = 57 + -54. Let q be n + (-32)/18 + 2/(-9). Let s = -208/5 + 1253/30. Is q at most s?
False
Suppose 2*b + 8 = 0, 4*p + b - 691 + 39 = 0. Let t be (-1072)/(-14) + -2 - p/287. Is 74 bigger than t?
False
Suppose -5*n - 5*b = -820, -310 = 60*n - 62*n + b. Which is smaller: 159 or n?
n
Let u be (16/(-24))/(1/132 + 0). Let a = -184 - u. Let p = -105 - a. Is p at most as big as -8?
True
Let h = 629 + -628. Suppose -2*m + 4*j = -31 + 27, 0 = -5*m - j - h. Which is smaller: m or -19/20?
-19/20
Suppose -20*j + 14650 = -37*j - 8*j. Is -587 < j?
True
Let f = -3717 + 3718. Suppose 4*b + 7 = 27. Let g be (-94)/(-60) - 2/b. Is g bigger than f?
True
Suppose -4*v + 52 = -3*v. Suppose -2*k = -2*q + 94, 0 = 2*k - 4. Do q and v have different values?
True
Let t = 399 + -399. Let y = 7796/13 - 599. Let f = y - 103/130. Is f smaller than t?
True
Suppose -160*u - 1336 = -143*u + 347. Is u at least as big as -53?
False
Let w(t) = t**2 - 22*t - 3. Let c be w(17). Let l = 0 + -1. Which is smaller: l or c?
c
Let g(b) = -15*b**2 - b + 1. Let p be g(1). Let o = 313 - 252. Suppose -o*n = -51*n + 150. Is n at least p?
True
Let q = 33 - 13. Suppose q*o - 10*o - 80 = 0. Is o smaller than 3?
False
Suppose z = d + 5, 1 = d + 3*z - 2. Let y(p) = -p**3 - 21*p**2 + 27*p - 19. Let f be y(-22). Let j be (-4)/18 + f/27. Which is bigger: j or d?
d
Let p(c) = 3*c**2 + 41*c + 167. Let m be p(-6). Is 151/5 equal to m?
False
Let z(b) = b**2 - 5*b + 3. Let n be z(5). Suppose -j + 3*j - 5*v = 32, 10 = n*j + 2*v. Suppose 2*r = -4*d, 0 = 2*r + d - 3*d - j. Which is greater: 6/5 or r?
r
Suppose 0 = 35*n - 7*n + 560. Let h be -30*((-132)/n + -5). Suppose -240 = -2*o + 7*o. Is o less than h?
False
Suppose -4*q + 4*w + 32 = 0, -2*q + 27 = 2*q + w. Let n be (-1 - 1356/(-195)) + 4/(-26). Are n and q unequal?
True
Let f = -10 + 10. Suppose f = -3*y + 18 - 0. Suppose 11 = 5*o + y. Is o at most 2/7?
False
Let k = -0.194 + 700.194. Let p = k - 699.87. Which is smaller: p or -1?
-1
Let u = 166 - 162. Suppose 381 = u*a - 335. Are a and 179 equal?
True
Suppose 2 = c - 2*d, -28 = -13*c + 8*c + 4*d. Which is smaller: c or -180?
-180
Let x = 55777 + -223115/4. Let u(a) = a**2 + a. Let q be u(0). Let y = q - 2. Which is greater: y or x?
x
Let r be 3*2/(5 - -1). Let h = 1123 - 188. Let w = 3739/4 - h. Is w equal to r?
False
Let j = -6 + 8. Let k = -215.29 - -215.3. Is j smaller than k?
False
Let o be (-3)/(-4)*47/(-3). Let l = -246.8 - 20.4. Let m = 267 + l. Which is smaller: o or m?
o
Suppose -25*t + 29*t + 136 = 0. Let c = 3 - t. Let b = c - 36. Are b and 1/13 non-equal?
True
Let x(w) = 2*w**2 - 14*w + 8. Let s(m) = -m**2 + 2*m + 1. Let o(z) = -3*s(z) - x(z). Suppose -5*l = 20 + 10. Let k be o(l). Are k and -23 non-equal?
False
Let b = 2 + -2. Let w = 179570 + -4848392/27. Which is bigger: w or b?
b
Suppose 15 - 53 = 2*x. Let g(w) = -2*w + 14. Let t be g(x). Suppose 0 = 7*j + 32 + t. Is -13 greater than or equal to j?
False
Let v be ((-5)/10)/(9/(-2)). Let p = 158.5 - 186. Let y = p - -27.8. Is y <= v?
False
Let w(c) = -4*c**2 + 4*c + 7. Let p be w(-1). Let z be ((-3)/(-7))/((-3)/2). Is z less than p?
False
Let r(t) = -18*t - 18. Let s be r(-2). Suppose -s*f = -f + 1037. Is f at most as big as -62?
False
Let p = -7223 - -7209. Which is greater: -5 or p?
-5
Let d = 5280 - 5291. Is d < -29?
False
Let k = -0.0531 - -3.0531. Which is smaller: -18.6 or k?
-18.6
Suppose -t = -0*t - 1. Suppose -3*u + 0*x + 15 = 3*x, 0 = -4*x + 8. Let o be ((-12)/u)/((-19)/(-3) + -7). Is t greater than or equal to o?
False
Suppose 4*o + 64 - 292 = 0. Let y = o - 55. Suppose y*p - 4 = -4. Is -1 at least as big as p?
False
Let y be 296/154 - (-4)/(-14). Let i(v) = v**2 - 4*v + 4. Let d be i(4). Suppose 0*t = 4*t - d. Which is greater: y or t?
y
Let f = -0.19193 - -0.09193. Which is smaller: -4608 or f?
-4608
Suppose 4*l - 4 = -4*o, 15*l - 20*l = 2*o + 1. Is -2/13 < o?
True
Let i = 174 + -244. Let b be ((-363)/(-605))/((-4)/460). Which is bigger: b or i?
b
Let f = -13340 - -9233. Which is bigger: -1 or f?
-1
Suppose -20 = -5*g - 5*g. Suppose -g*p = 2*p - 4. Let w be (p/4)/(-1 + 254/248). Is 11 smaller than w?
False
Let u = 423.22 - 423.32. Let g = -3955/4 - -1002. Does u = g?
False
Let p(y) = 22*y - 15. Let x be p(4). Let i = x + -90. Which is greater: i or -19?
i
Suppose 0 = 5*n - 13*x + 18*x + 115, -119 = 5*n + x. Let y(b) = -2*b**2 - 46*b + 31. Let a be y(n). Which is smaller: -82/5 or a?
a
Let c = 0.2265 - 0.2475. Which is greater: 0.14 or c?
0.14
Let k be (-4)/(-12)*15 + 7. Let w be (-42)/k*(-56)/49. Do 9 and w have the same value?
False
Let k = 44 + -47. Let g be (-13)/k*(-3 - -12). Suppose 96 = 2*y + 18. Is y greater than g?
False
Let u(z) = -z - 112. Let r be u(26). Let g = -141 - r. Is g at most as big as -21/11?
True
Suppose -3*l + 3*j = j + 9, -8 = 5*l - j. Let m be (7 + (-38352)/5480)/((-3)/5). Is m greater than or equal to l?
True
Let x(z) = -12*z**3 - 17*z**2 - 45*z - 29. Let b(c) = 5*c**3 + 9*c**2 + 23*c + 15. Let f(s) = -5*b(s) - 2*x(s). Let v be f(-8). Is -7 bigger than v?
True
Suppose 0 = -282*f + 274*f + 16. Let c be -19 - (f + -1)*(-5 + 7). Which is greater: -18 or c?
-18
Let o be (-6)/(-14) + (2/(-56))/((-135)/(-2250)). Is o <= -247?
False
Let h(t) = 98*t - 1. Let w(a) = -9*a. Let v(r) = 4*h(r) + 44*w(r). Let o be v(-1). Is o greater than -8/11?
True
Let d(n) = -19*n - 4*n**2 + 0*n + 5*n**3 + n - 8*n**3. Let w be d(-3). Is 99 bigger than w?
False
Suppose -38*o + 4851 = 21*o - 4294. Suppose -3*c = -227 - 235. Is c < o?
True
Let d be (-88)/5 - (-4)/(-10). Let o = 9 + d. Suppose 21 = 66*s - 73*s. Which is smaller: s or o?
o
Let a = 42 + -42.2. Is 38.63 less than or equal to a?
False
Suppose -28 = -4*j - 4*v, 5*j - 3*v = 4*j - 1. Let w be (-2)/j + 576/1390. Are w and 1 equal?
False
Suppose -107*x = -112*x - 4*f - 23, 3*x = -2*f - 11. Which is smaller: -3/6470 or x?
-3/6470
Let g(q) = -q**3 + q - 76. Let f be g(0). Let c be (-1)/(-10)*f/(-361). Suppose -15*l = -20*l. Which is smaller: l or c?
l
Let i be (2/3387)/(218/(-18) + 12