same value?
False
Let y be 1695/(5 + -10)*-1. Which is smaller: y or 340?
y
Suppose z - 3 = 4*w, -3*w - z = -0*w - 10. Is 4/1601 greater than w?
False
Let x(z) = -z**2 + 14*z - 11. Let n be x(14). Let j(p) = 5*p + 181. Let t(q) = q + 36. Let c(i) = n*t(i) + 2*j(i). Let k be c(-26). Is k equal to -55/6?
False
Let f = 0.17 + -0.74. Let w = f + 0.77. Is w at least as big as -20?
True
Suppose -3*s = -3*i + 30, 0*s - 5*i = -2*s - 32. Let b be (-126)/27 - (-4)/s. Let t = b + 4. Is 1 <= t?
False
Suppose -2316 = -4*x - u, 0 = -2*x - u + 682 + 474. Suppose 5*j - 725 = -2*t, -2*j + 6*j - 5*t - x = 0. Is 144 not equal to j?
True
Let y = 66.002 - 66. Let k = y - 0.023. Let n = 0.049 - k. Is 3/2 at least n?
True
Let m = -155389/4 + 38843. Is m greater than 15?
False
Let q = 10436 + -52184/5. Is q bigger than -3/347?
False
Let y be (-11)/11 - 35/(-51). Suppose -15 = -34*g + 7*g + 12. Is g greater than y?
True
Let c(y) = 57*y + 115. Suppose 3*p = 5*p + 4. Let t be c(p). Do -3/613 and t have the same value?
False
Let m(p) = p**3 - 62*p**2 + 4*p - 225. Let a be m(62). Let l(y) = -10 - 2*y - 2*y + 5*y - 16. Let d be l(a). Which is smaller: d or -2?
d
Let i(p) = 4*p**2 - 2*p + 22. Let x be 2/(-9) + 1020/(-270). Let h be i(x). Is 94 >= h?
True
Let c be (-11*(-120)/132 - 18)/(1 + 10). Let j = -8 + 8.08. Which is smaller: c or j?
c
Let g(v) = 2*v**2 + 3*v - 54. Let y be g(0). Suppose 4*j - 5*s + 22 = 3*j, -4 = 2*j - 2*s. Let p be (-232)/(-234) + 4*j/y. Is 0 less than p?
True
Let w(z) = -3*z - 33. Let t be w(-11). Suppose -256 = -h + 3*i + 80, 332 = h - 2*i. Let n = h - 3571/11. Which is bigger: n or t?
t
Let m = 21 + -17. Let b be (2/6)/(m/(-12)). Let a = -36 + 52. Which is smaller: b or a?
b
Let k be ((-188)/(-28) - 5)/(6/21). Let z(f) = 3*f**2 + 2*f - 1. Let o be z(1). Which is greater: k or o?
k
Let m = -0.0974 + -13.9026. Is -21 less than m?
True
Suppose -2*g = 5*f, 2*g + 3*f + 31 = 7*g. Let i be (-20)/(-36)*14*g/(-25). Is i at least as big as 0.2?
False
Let z be (-279)/(-12)*96/(-54)*-6. Is z > 246?
True
Let j(m) = 5*m**2 - 7*m + 7. Let c be j(1). Suppose -5*o = -c*w - 725, -5*w + 87 = 2*o - 203. Is o < 145?
False
Suppose 36 + 44 = 4*a. Suppose -5*j = -r + 98 - a, -5*j - 90 = -5*r. Let s = 28 + j. Is 12 greater than or equal to s?
False
Let p(u) = -87*u + 863. Let t be p(10). Is t equal to -118/17?
False
Suppose 0 = s + 3*l - 38, 5*s - 23*l = -21*l + 71. Let f(g) be the first derivative of g**4/4 - 10*g**3/3 + 11*g**2/2 - g + 2. Let a be f(9). Is a <= s?
True
Let g be (6/(-14) + 660/1736)/(-6). Let p = -261/1612 + g. Which is smaller: p or -3/8?
-3/8
Let h = 156 - 710. Let g = 720 + h. Which is smaller: g or 168?
g
Let z = -0.168 + -2.242. Let b = z + 2.75. Is -0.1 equal to b?
False
Suppose 0*x + 4*x = 964. Let i = -5783/24 + x. Let n be 2 - ((-3)/6*-4)/1. Is i greater than or equal to n?
True
Let b = 128.59 - 125.19. Which is greater: 76 or b?
76
Suppose 3 = v, 3*g - v - 22 + 103 = 0. Let n(i) = -4*i + 1. Let d be n(-1). Suppose 4*w - d*t = -124, 15 = w - 5*t + 61. Is g > w?
False
Let y be 64/(-48)*(-7)/(-6). Let n = 25/18 + y. Which is smaller: n or 0.33?
n
Let k = 12 - 11. Let n be 1/(185/210*3). Which is smaller: n or k?
n
Let h = 4358 - 4669. Which is greater: 13 or h?
13
Suppose 73644 = 289*a - 122587. Which is bigger: a or 2036/3?
a
Let a = -0.04996 - -83.04996. Which is smaller: a or -2/5?
-2/5
Let b = 241 + -239. Suppose -5*d - 108 = -4*x, -4*x - b*d + 140 = d. Is 32 greater than x?
False
Let b be (-3)/(-6) - 58/4. Let n = 196.079 - 196. Let a = n + -1.079. Which is smaller: b or a?
b
Suppose 0 = 4*p + 2*l - 6*l + 192, 0 = 4*p - 5*l + 195. Let s = p - -96. Let w = 53 - s. Which is greater: w or -2/9?
w
Suppose -46*c - 324 = -34*c. Let a = c + 28. Are a and -6/55 unequal?
True
Let d(z) = z**3 + 3*z**2 - 4*z - 3. Let c be d(4). Suppose -32*t = -33*t + 4*r + 76, t - 121 = -5*r. Does t = c?
False
Let h = -73 + 398. Suppose -7*d + 402 = h. Suppose 18 = 4*w - 2*q - 16, -2*w + 4*q + 20 = 0. Is d at least as big as w?
True
Let f = 125 - 5. Let g = 207 - f. Let n = 88 - g. Is n != -18?
True
Suppose 178*g - 66 = 85*g + 87*g. Let n be (-80)/(-6) + (-2)/(-3). Is g at least n?
False
Let m be 6*(0 - (-6 + 0)). Let p(a) = -3*a**3 - 22*a**2 - 90*a - 548. Let c be p(-7). Which is greater: c or m?
m
Let s be (10/(-25))/(3 - (-93)/(-30)). Suppose 20 = -5*v - 5*z, -s*z + 2 = 3*v - 2*v. Let b be v/18*2*-4. Is 1 smaller than b?
True
Suppose 8*o = -24*o - 159340 - 60628. Is 0 less than or equal to o?
False
Suppose -1619096 = -10*f + 2*f. Let c = 2628531/13 - f. Let k = 192 + c. Are k and 1 equal?
False
Let x = 1321/6 - 465/2. Let p = -134/7 + 132/7. Is p < x?
False
Let c = -8 + 16. Let b(y) = -23*y**2 + 40*y - 45. Let k(r) = 10*r**2 - 19*r + 23. Let t(d) = 3*b(d) + 7*k(d). Let n be t(c). Is n <= -3?
True
Let h(r) = 6*r**2 + 45*r + 24. Let k be h(-11). Suppose -47*i = -44*i + k. Is -84 at most i?
False
Let x be -4 + 49/7 - (-7 + 2). Which is smaller: x or 550/69?
550/69
Let y(c) = -c**3 - 7*c**2 + 10*c + 15. Let v be y(-8). Let f be 27/(-25) + 6*(-4)/(-24). Which is smaller: f or v?
v
Let s be 5/(270/(-4)) - (-1476181)/(-12258). Which is greater: 2/5 or s?
2/5
Suppose -44*b + 41*b + 15 = 0. Suppose b*z - z = u + 13, 3*z - 4*u = 13. Is 27/11 smaller than z?
True
Let f = 1986 + -4800164/2417. Is 0 smaller than f?
False
Suppose 0 = -5*o - 10, -1 - 7 = j + o. Let i be 10/j*(-60)/(-375). Let b = 48.2 + -45.2. Does b = i?
False
Let s(i) = -5*i - 49. Let f be s(18). Let r = 3 - f. Is r at least 143?
False
Suppose -2*a + 3*b + 301 = 6*b, -4*a + 611 = 3*b. Let l be (-3)/(-8) - a*4/160. Suppose -5*n - 13 = 2. Which is smaller: n or l?
l
Let x(y) = y**3 + 19*y**2 - 21*y - 17. Let b be x(-20). Suppose b*n = -4*j - 1343 + 363, -258 = j + 4*n. Which is bigger: j or -243?
j
Let l = -41 - -41. Suppose 5*p - 25 = 0, 4*f + 2*p - 42 - 20 = l. Suppose 294 - 775 = f*r. Is r at least -38?
True
Suppose 0 = 4*a - 22 + 2. Let f(p) = -37*p - 35. Let i be f(a). Let b be 5*(-2)/i*-3. Which is smaller: 1 or b?
b
Let g be 14832/30 - (-6)/(-15). Let v = 494 - g. Which is smaller: v or -2/379?
-2/379
Suppose 5*t = -5*s - 5, 0*s - s - 4*t = 16. Let b be 217/(-963) + -7*s/(-126). Which is smaller: b or 1?
b
Let h be 302 + ((-18)/12)/((-33)/220). Which is smaller: h or 2806/9?
2806/9
Suppose 3*d + 184165023547 = 4*a, -2*a + 141300855958 = -2*d + 18524173596. Let t = d - -909284109902523/14812. Let w = t + 4/3703. Is w > 27?
False
Suppose 4*j + 2*w - 66 = 0, 86*j - 83*j - 46 = 2*w. Let o = 94 + -75. Which is smaller: j or o?
j
Let y be -15*(-16)/40 - 5313/854. Which is smaller: y or 0?
y
Suppose 7*t = 4*t - 123. Let h = 209 + -249. Let k = h - t. Is k greater than -0.13?
True
Let v = -1058/3 + 329. Let p = 185 + -208. Which is smaller: v or p?
v
Let o = -4.92 + 183.92. Let u = 178.996 - o. Which is bigger: 0.2 or u?
0.2
Let c be ((-28)/28)/(3*((-10)/(-2))/(-2055)). Which is bigger: c or 106?
c
Let o = -76 - -79. Let p be -4 + (o - 99) + -4. Is p > 2?
False
Let p(x) = -2*x**3 + 74*x**2 + 157*x - 41. Let m be p(39). Is m <= -25?
False
Let m = -332 + 335. Let r be -5 + (-1392)/(-162) - m. Which is smaller: r or 2?
r
Let j(c) = -3*c - 15. Let n be j(-4). Let b be (210/45)/(1 - (-5)/n). Let i = 7 + b. Which is smaller: -4/5 or i?
-4/5
Let r = 41 - 16. Let m be (180/33)/((-4)/(-22)). Let h be (-316)/(-12) - 10/m. Which is smaller: h or r?
r
Suppose 3335 - 12140 = -229*z + 33331. Suppose 2*q + 0*q - x = 372, -3*q = -5*x - 565. Do q and z have the same value?
False
Suppose 0 = -88*z - 94*z - 45737 - 26153. Is z equal to -391?
False
Let a be -3 + 1 + 245/124. Let o be (-85)/((-1615)/114) + -5. Which is smaller: a or o?
a
Suppose -15*h = -21*h + 5*h. Let l be (-3)/((-9)/15) + 0. Suppose h = -l*g + 2*g - 24. Is -33/5 equal to g?
False
Let l(p) = -24*p - 1125. Let c be l(-48). Is 245/9 at most c?
False
Let i = 4015 - 3378. Which is smaller: 4455/7 or i?
4455/7
Let m = 17327 + -17322. Suppose 5*k = -y - 4 - 8, 2*y - 15 = 3*k. Which is greater: m or y?
m
Let n(y) = 244*y**3 + y**2 - 3*y + 3. Let c be n(1). Let w = 231 - c. Which is smaller: -38/3 or w?
w
Let g(v) = -7*v**2 + 4*v + 1. Let c be g(4). Suppose 2817*m - 2785*m + 3072 = 0. Which is smaller: c or m?
m
Let o be -2 - 2/(4 + -5). Suppose 2*v = 4*d, d - 3*v - 2*v