)). Let z be 12 + t - 1*4. Let r be ((16/(-330))/(-8))/((-10)/(-25)). Is r at most as big as z?
False
Let x = -122 + 46. Suppose -d - 4*w - 106 = -86, 6 = -d - 5*w. Is x equal to d?
True
Suppose 5*b = -i + 2*b + 11, -4*i = 4*b - 28. Suppose i*z - 39 = -3*r + r, 5*z - 3*r = 54. Suppose -3 = -z*n + 6. Is n greater than or equal to 1?
True
Suppose 5*a = -l + 5, 55 = 2*l - 6*a + a. Let i = -73/8 + l. Is 1/2 bigger than i?
False
Let i(f) = -5*f**3 - 5*f**2 - 158*f - 308. Let u be i(-2). Let v be 126/40 + (-2)/5. Let x = v - 13/4. Is x less than or equal to u?
True
Let x be (-414)/(-184) - 3724/(-16). Is 471/2 at least as big as x?
True
Let d be 62/10 + 1*4/(-20). Suppose -4*c + d*c - 18 = 0. Which is greater: 12 or c?
12
Let s = -0.13 + 2.93. Let c = 23021.8 + -23022. Are s and c equal?
False
Let u = 41.66 - -84.34. Is 1 at most as big as u?
True
Let m = -9.99 + -0.01. Let s(w) = -2636*w + 39524. Let v be s(15). Which is smaller: v or m?
v
Suppose -5*f = -3*h + 9, 3*f + 9 = 3*h - f. Let r = -6041 - -6042. Which is bigger: h or r?
h
Suppose -461 = 2*d + 5*l, -4*d + 3*l - 897 = 8*l. Are -218 and d equal?
True
Let z be 4/(-7) - (559890/385)/(-3). Let g = z + -484. Let m(d) = -d**3 + 3*d**2 + d + 1. Let s be m(3). Is g != s?
True
Let s = -72116.107 - -72192. Let t = 76 - s. Which is greater: -1/3 or t?
t
Let w = -37128 + 101842103/2743. Which is smaller: w or -2/7?
-2/7
Suppose 175 = 2*g + 5*n + 52, 0 = -3*g - 5*n + 177. Is 28 smaller than g?
True
Suppose 18 = 2*o - t, -4*o = 4*t - t - 16. Suppose -o*k + 90 = -8*k. Let m be (8/k)/(18/(-5)). Is 1 less than or equal to m?
False
Let n = -133 + 128. Let v be n/(-3) - (100/15 + -6). Let p be (v/2)/(190/1292). Which is bigger: p or 3?
p
Let h be (-774473)/47337 + 16 - (-1)/3. Is 1 < h?
False
Let i be 337 + -1 + (-40)/8. Let s = i + -328. Which is bigger: 42/17 or s?
s
Let l = 251.396 - 252. Let s = -41 - -40.904. Let m = s + l. Which is smaller: 3 or m?
m
Suppose 4*r + u + 17 = 0, -5*u + 5 = -2*r - 2*u. Let q be (r/208*3)/(4/576). Which is smaller: -7 or q?
q
Suppose 0*h - h + 4*d + 25 = 0, -5*h - d + 20 = 0. Suppose -h*v = -v. Suppose 33*k - 42*k + 1530 = 76*k. Which is bigger: v or k?
k
Let f(b) = -b**2 + 2*b + 14. Let z be f(-8). Let r = z + 55. Let s be (3 + r)*(-2)/(-6). Which is smaller: s or -4?
-4
Suppose -7*b - 421 = -2052. Let p = -225 + b. Which is smaller: 57/7 or p?
p
Let v = -69083/88 - -5137/8. Which is bigger: v or 1/2?
1/2
Let l(o) = -10*o**2 + 2*o + 1. Let g be l(-1). Let f be 18*((-4 - (-88)/12) + -4). Let b = f - g. Are -1 and b nonequal?
False
Let c = -6158 + 6215. Are 98 and c non-equal?
True
Suppose 15*u = 17*u - 4. Suppose 3*q = -u*j - j - 81, 2*q = -3*j - 57. Let b be (-10 - -7) + 0 - (q - -1). Which is greater: b or 21?
21
Let b(n) = -n**3 - 26*n**2 + 20*n - 85. Suppose -2*k - 102 = 4*u, -8*u + k = -6*u + 57. Let z be b(u). Which is smaller: z or 103?
103
Suppose 3*s = 8*s - 165. Let r = 33 - s. Let q = -7.9524 + -0.0476. Which is smaller: q or r?
q
Suppose 2 + 1 = 3*a. Let g = -85073/594 - -1574/11. Are g and a non-equal?
True
Let c be 16*(-5)/50*235. Let q = -1877/5 - c. Is q at most -4/9?
False
Let o be (-5)/(10/(-8)) - (6 - 30981/15492). Is o less than or equal to 0?
True
Suppose -4*y - 72 = 4*o, 0 = -0*y + 4*y + 12. Let f(p) = p**2 - 4*p + 6. Let d be f(6). Let k = o + d. Are 2 and k non-equal?
True
Let m(q) = q**3 - 23*q**2 - 24*q - 12. Let h(a) = a**3 + 5*a**2 - 26*a + 8. Let i be h(-8). Let z be m(i). Let n = 1 + z. Are n and -13 equal?
False
Let s be 3 + 6/((-12)/2). Suppose 0 = -2*k + 2*n - 86, s*k + 2*n + 31 = -35. Which is smaller: k or -37?
k
Suppose 0*v + 5*v = -2*y - 37, -17 = 3*y + 2*v. Let z be 0 + 19 + (-1 - 0). Let w be y/z + (-12)/(-24). Is 0.4 greater than w?
False
Let x = 41/3 + -14. Let y = -9848 + 9845.27. Which is greater: y or x?
x
Let p = -1.675 + 164.675. Is -0.06 >= p?
False
Suppose -7*x - 64 = x - 10*x. Is x at most as big as 346/11?
False
Let b = -25217 + 14222383/564. Does b = 0?
False
Suppose 217018 = -134*o - 101175 + 69623. Is -1856 less than o?
True
Suppose -2279 = 7*n + 668 - 147. Which is greater: -399 or n?
-399
Let g = -139 + 137.71. Let z = -2.2 - -2.21. Let y = z - g. Which is greater: -1 or y?
y
Suppose 151*g = -3410 - 2026. Let b(j) = j - 5. Let f be b(5). Suppose f = -4*t - 3*r - 134, -4*r = -7 - 1. Which is smaller: g or t?
g
Let h = -39 + 40. Let a(p) = -h - 2*p - 3 + 0. Let d be a(2). Which is smaller: d or -9?
-9
Let m = 40124 - 40161.8. Is -1 smaller than m?
False
Let s = -40 - -42. Suppose -8*w + s*w = 30. Let h be w/(-15)*3/15. Is 0 greater than h?
False
Let s(q) = -2*q - 2. Let v be s(2). Let a be v/18 - (-4)/3. Let t be (-84)/120*32/(-14). Which is greater: a or t?
t
Suppose -23*q + 5248 = -16*q + 25*q. Which is smaller: 137 or q?
137
Let a = 20665/26 - 3046177/1534. Let t = a + 1191. Is t bigger than 0?
True
Let n be 534/445*20/6. Let j(o) = o**3 + 16*o**2 + 28*o + 2. Let z be j(-14). Suppose -z*x - 3*c = -10, -3*x - 3*c = -6*x + 30. Is x > n?
True
Let o = 1987 - 1913. Is 111 >= o?
True
Let b be ((-102)/9 - 2/3)*1. Let y be 6/(-8)*(b - (-645)/54). Let g(l) = -l + 6. Let a be g(6). Is y smaller than a?
False
Suppose -2*v - 5 = 3. Let t be (-2)/70*v/(-2). Let j = -322969 + 322968. Are t and j non-equal?
True
Let b(q) = -6*q**3 + 983*q**2 + 166*q - 314. Let j be b(164). Which is bigger: j or 57?
57
Let t = 7488 - 7487. Let d = 5 + -8. Let n be t/4*193 + d/12. Is n less than or equal to 47?
False
Suppose t - 6*t + 5 = 0, 0 = 5*p + 2*t + 8. Let c be ((-19)/(-6))/(2/4*p). Let d = -179/48 - c. Does d = -2?
False
Let b = 3599 + -3181. Do -3 and b have the same value?
False
Let z(r) = -r**2 + 3*r + 3. Let v be z(4). Let o be 1/2*(v + 1). Let b(y) = -y**3 + 6*y**2 + 321*y + 89. Let s be b(-15). Is o less than or equal to s?
False
Let o = 28623.5984 + -28624. Which is smaller: -1/4 or o?
o
Suppose -27*p - 25 + 15 + 64 = 0. Is 45/14 less than p?
False
Let d(c) = 3*c - 42. Let v be d(6). Let z be ((-4)/(-54))/(((-520)/v)/(-13)). Which is smaller: -1 or z?
-1
Let l be 8/492*(10 + 245). Is l < 4?
False
Let r = -150 - -149.846. Let q = -0.254 - -0.3. Let v = q - r. Are -2 and v nonequal?
True
Let i = 2 + -6. Let l be (315/42)/(50/(-5)). Is i at least l?
False
Let m = 40 - 100. Let d be 20/m + (-21)/(-225). Is d smaller than -1?
False
Let o be -56*(-41)/((-3157)/4). Let q be (3 - 6)/(1 + 0). Is q > o?
False
Suppose -386 = -3*v + 4*k, 4*k = -6*v + 3*v + 346. Let o be -123*8/(-16)*2. Do o and v have different values?
True
Suppose -2 = 2*r + 12*i - 8*i, 3*r = -4*i + 5. Let z be r/7 + (-2 - 6). Is 15 not equal to z?
True
Let x = 25 + -24. Suppose x + 2 = y. Suppose 0 = l - 5*z - 15, 4*z + z = y*l - 25. Is l at least as big as 5?
True
Suppose 3*t + 88 = 88. Suppose t = 5*o - i + 439, -7*i = -5*o - 2*i - 435. Is o <= -87?
True
Let d = 398.0885 + -0.0885. Let r = d - 410. Is r >= 1/18?
False
Let a = 5503 + -5503.537. Which is smaller: -1/4 or a?
a
Suppose 1864 = 6*j + 18*j + 209*j. Let k = 11643/130 - 1072/13. Which is bigger: k or j?
j
Let m = 0.2 - 1.2. Let j be (-2)/(-3)*(-6 - 75/(-10)). Let a be 2 + j + (-187)/55. Which is smaller: m or a?
m
Let v be 4*(-4)/(-72) - 128/(-4932). Let p = v - -11818/959. Do p and 13 have the same value?
False
Let v = -6878 + 12968. Is v >= 6089?
True
Let r be ((-27)/(-9045))/((-8)/(-15)). Suppose -16*c = 28 - 44. Is c less than or equal to r?
False
Let k = -94 + 133. Suppose -k - 36 = 15*w. Let x be ((-34)/w)/((-4)/(-40)). Which is smaller: x or 67?
67
Let n = -41.4 + 55.4. Let q = 0.13 + 13.87. Let w = q - n. Is w at most as big as -0.19?
False
Let y = -37 - -476. Let t = 304 - y. Let h = t + 263/2. Is -5 < h?
True
Let i be ((-4)/(-189))/(((-539)/462)/7). Let u = 1 - 2. Is i != u?
True
Let c(r) = r**3 - 13*r**2 - r + 12. Let f be c(13). Let o be 4/(-8) + 1/(8/68). Let t be (o/130)/((-66)/(-11)). Which is bigger: t or f?
t
Let c be 7/((-462)/178320) - (-2)/(-11). Let s = 183733/68 + c. Suppose 4*d = -p + 12, -1 = -4*p + 2*d - 7. Is s at least p?
False
Let l be (12/8)/((-5)/(-360)). Suppose l = -2*m - a, -m - 3*m = -a + 204. Let n = 50 + m. Is -1 smaller than n?
False
Let f(z) = -z**3 - 14*z**2 - 39*z + 44. Let q be f(13). Which is smaller: -5030 or q?
-5030
Let i(r) = -r**3 - 16*r**2 + 7. Let k be i(-16). Let t(l