*p. Do s and p have the same value?
False
Let z be ((-9)/6)/((-3)/6). Let u be -5 - -2 - -8 - z. Suppose 0 = 3*m - j + 32, m - u*m - 4 = 3*j. Is m equal to -11?
False
Let b be (12/(-16))/((-9)/96). Which is smaller: b or 6?
6
Let o be (-161)/(-28) - (-6)/(-8). Let y = 234/35 + -2/105. Let m = -37/6 + y. Is m greater than o?
False
Let g be 2094/(-60) - (-5)/(-50) - 1. Which is bigger: g or -109/3?
g
Let o = -1 + -1. Let x = o - -1. Let f be 5/(-9)*(-1)/(-5). Is x not equal to f?
True
Suppose 8*i - 7*i = -12. Which is smaller: i or -14?
-14
Let u(z) = -8*z**3 - z**2 - 3*z - 3. Let o be u(-3). Suppose 5*c = y + 14, -4*y + 62 = -c + o. Which is smaller: -38 or y?
y
Suppose 0 = -2*w - 3*u + 11, -w - w - 5*u + 17 = 0. Let c be 2*(1 - (w - 42/33)). Does 4 = c?
False
Suppose -f + 5*x = 144, 5*f - 55*x = -50*x - 620. Are f and -119 unequal?
False
Let o(t) = t**3 - t**2 + 1. Let w be 2*-1*(-1)/2. Let f(v) = 4*v**3 + v**2 - 4*v + 7. Let a(c) = w*f(c) - 3*o(c). Let i be a(-5). Is -1 less than i?
False
Let o be (19/(-3))/(326325/64998 + -5). Let l = o + 1542/5. Which is smaller: 0 or l?
0
Let m be ((-19)/(399/(-14)))/(4/(-870)). Is m != -145?
False
Let f = -5/133 + 15/38. Which is smaller: 1 or f?
f
Let w = -15/8 + 803/488. Which is bigger: w or 0?
0
Suppose -x + 4*o = 2*x + 17, 5*x - o = 0. Let d be 6/(-4) + 3 + (-63)/39. Which is smaller: d or x?
d
Let z = 1 - 0. Let a be 0/(0 + z/(-1)). Let o = 181/1325 - 3/53. Is a at least o?
False
Suppose 0*n + 16 = -a - 5*n, 3*n - 6 = 2*a. Let o(i) = i**2 + 9*i + 18. Let f be o(a). Is f at least -3/4?
True
Let d = -426 - -409. Let i = -34 - -18. Is i >= d?
True
Suppose 6787 + 9143 = 27*q. Are 589 and q nonequal?
True
Let d = 5.8 + 5.3. Let n = d - 12. Let o be -2*(-2 - (-9)/6). Which is smaller: o or n?
n
Suppose 0 = 4*n + 4*u + 124, n - 31 = 2*n + 5*u. Which is smaller: n or -32?
-32
Suppose -x - k + 4 = 0, 2*x + 2*k + 3*k = 14. Suppose t - 27 = -x*t. Let z be 480/(-18) + 6/t. Which is smaller: -25 or z?
z
Suppose 1683 = -9*p - 8*p. Are p and -99 unequal?
False
Let b(a) = a**3 - a**2 - 3*a - 3. Let z be b(-2). Suppose 5*f = 0, 3*f + 9 = t - 4. Let n = t + z. Which is smaller: 3 or n?
3
Let w = -0.2 - 0.3. Let d be ((-12)/(-30))/(2/(-10)). Let a be (6/9)/(d/(-3)). Which is smaller: w or a?
w
Let n(t) = -t**3 - 7*t**2 + 2. Let v be n(-7). Let p = -31 + 33. Let x be (p + -2)/(v*-1). Which is bigger: x or -3/4?
x
Let t be (-8)/(-28)*7/2. Are -1/66 and t unequal?
True
Suppose -14*r + 17*r = -48. Let z be ((-1)/(-4))/((-14)/r + 0). Which is bigger: z or -3/7?
z
Let v = -6.06 - -6. Let c = v - 13.24. Let x = 13 + c. Is x less than or equal to -1?
False
Let k = -161 - -191. Do k and 2 have different values?
True
Let w(u) = 1182*u + 7091. Let j be w(-6). Let b = 2 - 15/7. Is j at least b?
False
Let j(n) = -8*n**2 + 15*n - 44. Let r(o) = -9*o**2 + 16*o - 46. Let m(h) = -4*j(h) + 3*r(h). Let z be m(4). Which is smaller: 69 or z?
69
Let p be 11/15 - (-5 + 7)/6. Which is smaller: p or -191?
-191
Let b(j) = 20 + 10*j - j**2 - 10*j. Let d be b(0). Let a be 1/2 - (-156)/8. Are a and d unequal?
False
Let v = -1.3 + 0.3. Let q = -0.5 - v. Let x = -0.6 + q. Is 0.5 not equal to x?
True
Let u = 5.05 - 5.25. Which is smaller: u or -17?
-17
Let h be 1/(-4) + 10/40. Suppose h = -2*o - 2. Which is smaller: o or 1/6?
o
Let j = -0.15 + -0.85. Is 10/21 <= j?
False
Let w be 257/(-2)*(-40)/20. Which is smaller: w or 259?
w
Let s = -151 + 150.6. Is s <= -62?
False
Suppose 82*c - 6222 = -20*c. Is c smaller than 61?
False
Suppose -9*w + 12*w - 2*x = 347, x = 5*w - 590. Does 239/2 = w?
False
Suppose -8*f + 1876 = 612. Suppose 3*y + 59 - f = 0. Is 33 at most as big as y?
True
Suppose 2*t - 25 = -3*t. Suppose -75 = 3*u - 3*p, -47 = u - t*p - 6. Is -19 bigger than u?
True
Suppose 2*a - 8 = -3*i + 2*i, 3*i + 5*a = 20. Do i and 6/13 have different values?
True
Let r(f) = f + 14. Let l be r(-4). Let m be ((-14)/875)/((-2)/l). Which is smaller: 2 or m?
m
Suppose -2*q + r = -3*r + 18, -5*q - r - 1 = 0. Is -294 not equal to q?
True
Suppose -f + 241 = -5*a, -5*f - 339 = -2*a - 1475. Is 226 >= f?
True
Let x be -1*(-4)/(-22) - 93/33. Let k be (26/(-14))/(1 - x - 3). Are -2 and k nonequal?
True
Suppose -2*c = 81 - 107. Let f be (3 + -2)/((-2)/(-6)). Is c >= f?
True
Let g be 25 + -25 - (-1 + (-2 - -2)). Is g less than or equal to -2/7?
False
Let g(v) = -v**3 + 6*v**2 + 4*v - 19. Let p be g(6). Suppose t - 77 = -p*w, -6*w + 52 = -2*w - 4*t. Are w and 13 non-equal?
True
Suppose 0 = 2*o + 2 + 24. Let n = -10 - o. Let k be -1 + 1 + n + -2. Is 4/11 less than or equal to k?
True
Let d = 0 + -6. Let y be 5/(-5)*(31 - 2). Let u = 22 + y. Which is smaller: d or u?
u
Let f be 4 - (-2 - (5 - 3)). Suppose -f = -6*x + 2*x. Let r(l) = -4*l - 1. Let s be r(x). Which is smaller: -19/2 or s?
-19/2
Let s = -164 + 502/3. Suppose -26 = -4*y - 10. Suppose -y*q - 20 = 0, -w + 12 = 2*q - 4*q. Which is bigger: s or w?
s
Let z be (-12)/(-9)*306/112. Let w be 12/(-21)*5/20. Let c = z + w. Which is greater: 3 or c?
c
Let s = 57 - 90. Let u = s - -44. Do 1 and u have different values?
True
Let h = -3 + 1.8. Let u = -0.89 - -0.79. Which is smaller: h or u?
h
Let o be -2 + ((-39)/(-12) - 1). Let t(u) = -u**2 - 14*u + 13. Let b be t(-15). Let y be (b/4)/((-2)/4). Which is bigger: y or o?
y
Let u = 0 - -3. Suppose 0 = t + k - 2, -31 = -5*t + 5*k - u*k. Suppose 5*r = -5*f + t, -2*r + 5*r = f - 13. Which is smaller: r or -6?
-6
Let h be (-48)/7*((-3675)/(-10))/15. Is -168 smaller than h?
False
Let f = 10 - -7. Let s = -670 + 1375/2. Is f bigger than s?
False
Let d(z) = -z - 1. Let k(f) = -7*f - 11. Let y(a) = -4*d(a) + k(a). Let q be y(-5). Suppose 2*x - 5*i + 16 = 6*x, 4*x - i = -q. Which is smaller: x or -9/5?
-9/5
Suppose s - 175 = -4*s. Suppose 6*q + s = q. Let t be (1 + (-3)/(-6))*(-56)/12. Is q bigger than t?
False
Let q be ((-16)/(-4) + -5)*-7. Let l = -7 + q. Is l less than 1?
True
Suppose -12*v = -17*v + 55. Suppose v*k - 13*k - 10 = 0. Is k at least -17/3?
True
Let b = -50 + 199/4. Let z = -0.13 + -0.04. Let h = -0.57 - z. Is h < b?
True
Let k = 113 + -119.3. Let l = k - -1.3. Let v be (2 + (-5)/3)*0. Which is greater: v or l?
v
Let o = -2.63 - -2.13. Is -3.5 greater than o?
False
Suppose 7*s = 2*s + 2*j + 110, -5*s - 5*j + 75 = 0. Let o be 2*(-4)/s*(1 + 249). Is o > -100?
False
Let s = 201 - 196. Is s >= 7.4?
False
Let z(t) = -t**2 + 15*t - 14. Let o be z(14). Which is smaller: o or 2/503?
o
Let n(j) = -15*j**2 - 26*j + 42. Let r be n(-6). Is -338 >= r?
True
Suppose 0 = -n + m + 54, -3*n + 156 = -5*m + 8*m. Let w = -585/11 + n. Let b = -8 - -7. Is b at most w?
True
Let j = -450 - -181. Which is bigger: -270 or j?
j
Let g = -434 - -448. Which is bigger: -1 or g?
g
Suppose 4*y = 6*y - 2. Suppose 15 = -5*p, -4*u - 2*p - 19 = 3*p. Which is smaller: u or y?
u
Let l = -88.9 + 86. Are 5 and l equal?
False
Let y = -738/5 + 148. Is -42 >= y?
False
Let g(v) = v**3 + 8*v**2 + 2*v - 2. Let n be g(-8). Let t(x) = x**3 + 19*x**2 + 19*x + 17. Let y be t(n). Are y and -1/29 unequal?
True
Suppose -9*z + z = 32. Suppose 5*u - 11 = 2*f, -3*u = -3*f - 3 - 0. Suppose u = -4*r - 13. Is z at most r?
True
Let y = -23 - -18. Let a be y/(-1) + (5 - 2)/(-1). Let b = 53 + -209/4. Is b greater than a?
False
Let g(c) = c**3 + 13*c**2 - 12*c + 28. Let x be g(-14). Is 1/2094 at most x?
False
Let r = 0.05 + 2.95. Let b = 38.77 + -39. Let f = b - -0.33. Which is greater: f or r?
r
Suppose -5*q + 27 = 3*j - 7*j, -4*j - q = 33. Is -8 smaller than j?
False
Let t be 2 + -21*2/(-3). Suppose 0*m = 2*m + t. Suppose 8*a + 22 = 5*a + x, 2*a = 5*x - 6. Is a greater than m?
False
Let f = 6089 + -30649/5. Do -40 and f have different values?
True
Let p(u) = u**2 - 3*u + 2. Let t be p(2). Let l = -344 - -347. Which is greater: l or t?
l
Let b = 2.97 - -0.03. Let t be 5/(-2) - 4/(-8). Which is smaller: t or b?
t
Let z = -1.2 + 45.2. Let w = 46 - z. Do 1 and w have different values?
True
Let q(m) = m**2 + 2*m + 9. Let t be q(0). Let p(w) = 2*w - w + 0 + 16. Let a be p(-7). Is a at most t?
True
Let o be (-72)/4*70/(-42). Which is bigger: 15 or o?
o
Let x = -75 - -70. Let a be (x/(-9))/((-145)/(-174)). Is a equal to 0.26?
False
Let s be 0*(28/(-147) + (-1)/7). Is s bigger than 2/527?
False
Let u = -13.3 - -1.3. Let v = -21.2 + 25.