 be p/(175/10) + (-2)/7. Which is greater: z or 9/19?
9/19
Let x(s) = s**2 + 4*s + 3. Let l be x(-2). Let w be l*(-2 + -5)*1. Are w and 4 non-equal?
True
Let k = 373 + -434. Is k bigger than 2?
False
Let l = -0.185 - -0.205. Which is bigger: l or -1/10?
l
Suppose -4*g + 2 = -2*g - 2*v, -3*v + 5 = -g. Let q = -50.9 - -50. Is g <= q?
False
Suppose -3*n = 2*n. Suppose -m = 4*m + 5. Let y be m/3 + (-3)/(-2). Is n less than y?
True
Let i be 3/(0 + 15/190). Let n = i + -38. Let d be 0 + 1 + 37/(-36). Which is smaller: n or d?
d
Let y be 2/(591/195 - 3). Let p be 4/(-14) + y/350. Is 0.1 at most p?
False
Suppose -94*r - 44 = 614. Let f(p) = 2*p**2 + 3*p + 1. Let h(u) = -3*u**2 - 5*u - 2. Let n(j) = 5*f(j) + 3*h(j). Let o be n(0). Which is smaller: r or o?
r
Let d = 4740/11 - 430. Let u be -1 + (1 - 2) + 2. Which is smaller: u or d?
u
Suppose 31*a = 6*a + 25. Which is greater: a or -1/255?
a
Let r be ((-2)/(-4) - 1)*-50. Let s = -42 + r. Let u = 12 + s. Is u at most -6?
False
Let p = -17.644 + -0.356. Which is bigger: 1/12 or p?
1/12
Suppose -z = 2*z + 168. Which is greater: -55 or z?
-55
Let w = -320 - -320. Which is greater: w or -0.9?
w
Let w = -68 - -64. Let f be (-3)/w - (-4617)/(-76). Which is greater: f or -58?
-58
Suppose 0 = -3*t + t + 4. Let n(p) = 2*p + t*p - 3*p + 5. Let x be n(-6). Is 1/21 at least x?
True
Let n(r) = -10*r - 32. Let u be n(12). Let f = 214 + u. Is 1 > f?
False
Suppose 0 = -4*c - 12 + 16. Let z be (3 + 36/3)*-1. Is z != c?
True
Let w be (24/(-20))/(6/(-40)). Suppose 4 = -7*g + w*g. Which is smaller: g or 2?
2
Let z be -3*12/(-9) + 18796/(-370). Which is bigger: 0 or z?
0
Let y be 510/72 + -6 - (-10)/(-15). Is y greater than 1?
False
Let z = 31 + -16. Let q be (z/222)/(3/(-6)). Which is smaller: q or -1?
-1
Let w = -38.1 + -8.9. Let x = 187 - 118. Let a = w + x. Is a smaller than -1/2?
False
Let u be (0 + 5)*495/16225. Is u > -1?
True
Suppose -5*s = -10 - 0. Suppose -4*x = 4*v - 32, 0 = -s*v + v + 2. Let i be x/(-15)*5/29. Is 0 smaller than i?
False
Let z(q) = 2*q**3 - 67*q**2 + 26*q - 62. Let d be z(33). Is -292 less than d?
False
Suppose 2*i + 3 = -5. Let n = -36 - -31. Let h be (-1)/((-5)/75*n). Which is bigger: h or i?
h
Let n(p) = p**3 - 4*p**2 - 3*p + 7. Let g be n(5). Suppose -44*j = -56*j + 192. Which is smaller: g or j?
j
Suppose 4*a + 3 = a. Let u be a + (-2 - (-6 + -2)). Let x be (-2)/(-6) - u/(-3). Which is bigger: x or 1?
x
Suppose 25*v = 28*v - 84. Let p = 83/3 - v. Which is greater: 0 or p?
0
Suppose g - 5*g = 84. Let v = g + 31. Is 10 > v?
False
Let j be (14 + -1167)/(0 - 4). Let h = -290 + j. Which is smaller: h or -3?
-3
Let r be (-7)/((294/(-7))/6). Is r equal to 33/25?
False
Let x = 326747/47985 + -52/1371. Let t = x + -46/7. Suppose 0*m = 2*m - 2. Is t equal to m?
False
Let g be (2 + -244)*1/6. Suppose -109*w = -98*w - 429. Let d = w + g. Which is bigger: d or 1?
1
Let o = -45 - -46. Let i be (o*4/68)/(-2). Are 1 and i unequal?
True
Let c(z) = z**3 + 9*z**2 + z + 13. Let l be c(-9). Suppose -5*i + l*i - 1 = 0. Which is smaller: -29 or i?
-29
Let h = -2 - -8. Let n be 8/32 - h/(-8). Suppose 0 = d - 0*d + n. Do d and 0 have the same value?
False
Let m(g) = 9*g - 170. Let d be m(35). Which is bigger: d or 144?
d
Let g = -54.08 + -0.92. Let z = g + 56. Is -4 at most z?
True
Let j = -69.4 - -68. Let t = -6.6 + j. Let v be 6 - 5 - (-3)/(-4). Which is greater: v or t?
v
Let f be (-95)/10 - (-2)/4. Let i = -7 - f. Let r be (-2 + i)/(-2 - 0). Which is smaller: 1 or r?
r
Suppose 5*b = -2 + 12. Suppose -27 = -b*i + 47. Is i >= 38?
False
Let p = -62 + 48. Is p <= 14?
True
Suppose 0 = -4*s - 4*o, -27*s + 3 = -30*s - 4*o. Which is smaller: -35 or s?
-35
Suppose 0 = -5*h - 5*l - 350, 0 = -h - 9*l + 11*l - 55. Let t be 2 + (-2 - (-240)/h). Is -3 != t?
True
Let s be 4 + ((-9)/(-6))/(4/(-8)). Let z = 6 + -8. Let c be (-9)/39*2/z. Are s and c nonequal?
True
Let u = 3 - 1. Let p(o) = -o**2 - o - 1. Let s(v) = v**3 + 19*v**2 - 9*v + 17. Let g(d) = -5*p(d) - s(d). Let f be g(-15). Which is smaller: u or f?
u
Suppose 18*t - 1696 = 17672. Are t and 1076 equal?
True
Let m = 3173/9 + -353. Are 0 and m non-equal?
True
Let x(j) = -j**2 - 7*j - 4. Let l be x(-7). Suppose 0 = 6*a - 89*a - 747. Which is smaller: l or a?
a
Let b = 19.77 + -20. Let h = 0.11 + b. Let x = -5.12 - h. Is 0.2 greater than x?
True
Suppose -6 + 3 = r + 4*u, 9 = -3*r - 4*u. Let j be (r*2/(-3))/(-7 - -3). Which is bigger: j or -5?
j
Let c = -4.06 + 3.76. Let p = 83/3 - 27. Is p at least c?
True
Let s = 140/11 + -137/11. Let g(h) = -h**2 - 17*h - 33. Let z be g(-16). Let w = -17 - z. Which is greater: s or w?
s
Let i be (-87)/(-1062)*-60877 + -1. Let b = i + 4988. Let n = 4/59 - b. Which is bigger: n or 0?
n
Let g = -910 - -918. Is 41/5 greater than or equal to g?
True
Suppose 4*k - 306 = -k + 2*w, -3*w = 2*k - 111. Let b be 1 + -2 + k/57. Is b less than or equal to -1?
False
Let w be (-8)/140*-7*5. Which is greater: w or 5/2?
5/2
Suppose 603 - 2839 = 13*t. Which is bigger: -169 or t?
-169
Let h = -261 - -471. Let d = -212.62 + h. Let c = 0.38 - d. Which is smaller: 2/11 or c?
2/11
Let s be (-42)/10 - 7/(-35). Let o be (0/s)/(3 - 2). Which is smaller: o or -2/3?
-2/3
Suppose 4*o + 2 = -2. Let v be 77/539*(-21)/141. Which is greater: v or o?
v
Let v = 119 + 104. Let t = -237.24 + v. Let c = t + 14. Which is smaller: c or -0.1?
c
Let a = -62 + 63. Which is bigger: -2/283 or a?
a
Let k be 42/56*(301 - (-1)/(-1)). Which is bigger: k or 228?
228
Let j = -653 + 660.1. Is j smaller than 0.9?
False
Let j = 281 + -280. Does -155 = j?
False
Let p be 1 + ((-8)/96)/((-4)/(-54)). Let m = 19/24 + p. Which is smaller: 2 or m?
m
Let o be ((-3)/(-9))/(6/36). Suppose o*v = 5*f + 92, 0*v - 55 = 3*f - v. Which is greater: f or -1/4?
-1/4
Let y = 87/4 - 22. Which is greater: y or -106?
y
Let y = -4.488 + 4.5. Let m = y + 0.988. Let i = 131/6 + -22. Which is smaller: i or m?
i
Let o = -3 + 2. Let f be (15/6)/(-5) - 15/(-6). Let i be (4/(-36)*3)/(f/6). Is o <= i?
True
Suppose -q - 1 + 6 = 0. Suppose -3*y + 2 = -5*r + 5, 0 = q*r + 4*y + 4. Which is bigger: r or 1/26?
1/26
Let q be (-250)/25*(6/(-13) - -1). Which is smaller: q or -1?
q
Let j = 73 + -83. Let x = 64/3 + -22. Is j > x?
False
Let b = 10 - -10. Suppose 5*a + 10 = 2*v, -v = -a - 5*v + b. Which is smaller: 1/32 or a?
a
Let v(a) = a**2 + 6*a. Suppose 3*y - 7 + 22 = 0. Let w be 6/y*5/1. Let u be v(w). Is -8 greater than u?
False
Let c = -24 + 30. Let m(a) = -a**3 + 5*a**2 + 7*a - 6. Let b be m(c). Let q be b/(-1 - -2) - 1. Which is smaller: q or 1?
q
Let s be 4/(-12)*2*-66. Suppose 4*o + s = -2*j, -o + 2*j - 18 = -j. Are -10 and o equal?
False
Suppose -2*s - v + 3 = 2*v, -2*v = -3*s - 2. Suppose s = 5*j - 4*w + 3, 0 = 4*j - 3*w + w. Is -2/31 < j?
True
Let g(m) = 3*m**2 - 3*m - 4. Let i be g(-1). Suppose 6*w = i*w. Which is smaller: w or -1/13?
-1/13
Let i(u) = -u**2 + 24*u + 25. Let d be i(25). Is -13/23 greater than or equal to d?
False
Let w be (-6)/(-68)*(-25)/75. Is w < 1?
True
Let o(g) = -g**2 - 5*g - 135. Let w be o(-19). Is -402 bigger than w?
False
Let i = -90 + 453/5. Let f be 2 + 3/(1 + 2). Suppose -f*c - c = 0. Which is smaller: i or c?
c
Let h = 172 - 1593/10. Is h >= 13?
False
Suppose 15*s - 7 - 8 = 0. Which is smaller: s or 5/4?
s
Let h = 425 + -424.97. Which is bigger: -0.05 or h?
h
Let p = 285 - 688. Let q = 10073/25 + p. Are q and 1 unequal?
True
Let o = -32 - 3. Let k = -41 - o. Which is bigger: k or -0.1?
-0.1
Let m = -94.7 + 94.8. Let g = 0.03 - 0.63. Which is smaller: g or m?
g
Suppose 4*s = -3*w + 7, -3*s + w - 2*w = -4. Let i = s + -1. Let o be 450/700 - (-1)/(-2). Is o greater than i?
True
Let g = -5287975997542/5015 - -1054431899. Let x be 5/(-1003)*(-27)/45. Let v = x - g. Is v at least 4?
True
Suppose -14*y + 15*y = 0. Let q be ((-432)/100)/(-2) - (y - -2). Suppose 3*u + 3*r = 2*u - 11, u - 2*r = 9. Is q equal to u?
False
Let a(j) = -j**3 - 10*j**2 + 8*j - 27. Let f be a(-11). Suppose 32 = -f*p + 10*p. Which is smaller: p or 7?
7
Let s(f) = -36*f**3 - f**2. Let o be s(1). Let y be -6*(2/(-8) + o/12). Is y at least 21?
False
Let f = -0.811 - 0.009. Let m = f - 0.18. Is 1.3 bigger than m?
True
Let p = 9.58 - 9.7. Which is smaller: 2 or p?
p
Let a(v) = -v**3 - 5*v**2 - 7*v. Let j be a(-3). Let r be j/