ppose -4*y = -w - 27, 3*y + y - 4*w = 36. Let d be -12*(2 - 9/y). Let z = -16 - -11. Do d and z have different values?
True
Let t be 1/(25/(-2)) + 7352/25. Is 294 < t?
False
Let x = 46 + -25. Let s = 32 - x. Let m = 1 + -2. Is s >= m?
True
Let t = 963 + -909. Is 23 equal to t?
False
Let b = 4.8 - 5. Let s be 0/(7/(14/(-4))). Is s at most as big as b?
False
Let i = -213 - -183.9. Let q = 29 + i. Are 9 and q equal?
False
Let f be (-15 - -8)/(1/(-3)). Suppose -4*z - f = -3*d - 4, -3*d - 3*z + 3 = 0. Let n be ((-1)/d)/(17/51). Are n and -3 nonequal?
True
Suppose t = -2*t + 360. Suppose t = 5*f - 520. Let w = f + -388/3. Which is smaller: -1/3 or w?
w
Let o = 0.0738 - 73.0738. Is o at most as big as -3?
True
Let r = -33 - -33. Let h be (-12)/(-66) + (-4)/(-99). Which is smaller: h or r?
r
Suppose -3*o + 2*j - 6 - 35 = 0, -5*j = 4*o + 24. Let y(m) = 12*m**2 + 11*m + 4*m**3 + 7 - 3*m**3 - 2. Let i be y(o). Which is greater: 2 or i?
i
Suppose 0 = 14*j + 246 + 1434. Let t = -105 - j. Is 17 greater than t?
True
Let b be (24/(-15)*6/(-21))/14. Do 0 and b have the same value?
False
Let z = 141.56 - 142. Is 2/3 not equal to z?
True
Suppose 0 = 5*c - c + 48. Let o be (-3)/c - 129/(-12). Suppose -9*i = -o*i. Which is smaller: 3/19 or i?
i
Let z = -12.65 + 12.55. Is 103.3 at most z?
False
Let o(q) = q**3 + 35*q**2 + 17*q + 70. Let z be o(-34). Is 648 > z?
False
Let z(d) = -3*d - 7. Let v be z(-5). Let r = -47 + 50. Suppose v = -r*m - 1. Is -0.2 less than or equal to m?
False
Let v(u) = u**3 - 5*u**2 + 4*u + 2. Let t be v(4). Let f be -3 - (2/t - 6). Let w be ((-18)/(-15))/(f/(-5)). Which is smaller: w or -7/2?
-7/2
Let n(m) = m**2 + 25*m + 55. Let h be n(-22). Let d = h - -16. Let p be 2/7 + 26/7. Which is smaller: d or p?
p
Suppose 0 = 2*d - 4*d + 10. Let b be 0 + 2 + d/3. Which is bigger: b or 4?
4
Let f be -2 + (-1)/(5/(-8)). Let b = 50 + -84. Let g = b + 34.7. Is g at least f?
True
Let c be (-87)/(-4) - 4/(-16). Let b = c + -68/3. Which is smaller: b or 6/5?
b
Let r = -1061/5 - -11246/53. Is -1 != r?
True
Let c = 10.224 - 0.124. Let v = 2 - -8. Let l = c - v. Which is greater: l or -0.5?
l
Let w = 590 + -585. Are w and -26 unequal?
True
Let m(a) = 2*a**3 - 2*a**2 - 2*a. Let i be m(2). Suppose 3*b - b - q = 0, 0 = i*b - 3*q. Which is smaller: -1/5 or b?
-1/5
Let m be 278/8 - (-16)/64. Suppose 5*j - m = -h, -2*h + 106 = 3*h + 2*j. Let r be -2 + (-8)/h + 2. Is r greater than 17?
False
Let m be 12/(-9) - (-2)/6. Which is bigger: -20/17 or m?
m
Let t = 4885/4 + -4883/4. Let p = 161/4 - 12071/300. Is p >= t?
False
Let l be (-2)/3 + (-224)/(-408). Let q = 13/34 - l. Let f(u) = -u - 4. Let d be f(-6). Which is greater: q or d?
d
Let w = -98/17 - -46712/8109. Do 1 and w have the same value?
False
Let y = -12 + 33. Suppose -3*l = 3*b + y, -b = -5*l - 15 - 8. Let w be ((-1)/b + 0)*0. Does w = -1/4?
False
Let g be 1 + -1 - (1 + (-18)/24). Let l = -1 + 2. Is l >= g?
True
Let d be 1/((-136730)/(-15191) + -9). Which is smaller: d or 1379?
1379
Let x = 0.49 + -9.49. Let n = -24 - x. Which is bigger: 0.1 or n?
0.1
Let b = 3 + -30. Let j be (b/(-2 + 5))/((-3)/2). Let x(l) = 7*l**2. Let d be x(-1). Are j and d equal?
False
Let w = 17 + -55. Let b = 37.9 + w. Which is smaller: b or -2/39?
b
Let m = 2.82 + -2.4. Let d = -0.58 - m. Which is greater: d or 3/7?
3/7
Let j be 4 + (2 - -263*(4 + -3)). Which is smaller: j or 267?
267
Suppose 0 = -3*q + 2*l + 8, 7*q - 2*q + 3*l = 26. Let j be 13/(-3) + 3 + q. Is j equal to 4?
False
Let t = -49.52 + 47. Let u = t + -0.08. Is u less than 1?
True
Let p(v) = -v**2 - v + 2. Let x(u) = -u**2 + 8*u - 9. Let z be x(6). Let b be p(z). Is b >= -9?
False
Let l be (-225126)/(-107) - (0 + (2 - 4)). Let y = 2106 - l. Is y < 0?
False
Let b(n) = -n**2 + 9*n - 12. Suppose 5*z - 40 = -7*x + 2*x, 5*z + 4*x - 37 = 0. Let m be b(z). Are 10 and m non-equal?
True
Let z = 12 - 3. Which is smaller: 13 or z?
z
Let t = 25024/191 - 131. Which is smaller: 1 or t?
t
Suppose 0 = -6*t + 8*t + 2*r + 488, 0 = -2*t + 3*r - 503. Is t equal to -245?
False
Let o = -362 + 219. Let u be (-16)/(-16) + 5400/38. Let w = u + o. Which is greater: 0.1 or w?
w
Let l = 0 - 0. Suppose -3*o = -5*k - 42, 3*o + 4*k = 7*k + 42. Suppose -v + 5 - o = l. Is -10 at least as big as v?
False
Suppose 3*v = -6 + 3. Let n be (v/1 - 0)*-6. Suppose -57 = 20861*r - 20880*r. Are r and n nonequal?
True
Let j = -2 + 4. Suppose -5*p = -j*p - 6. Suppose 0 = -5*v - 0*v + 35. Is p > v?
False
Let n = -12.18 + 12.18. Suppose -4*i + 53 = 5*m, 0 = 3*i - 5*m - 46 + 15. Is i at most as big as n?
False
Suppose 2*s - 4*z + 10 = 0, -3*z = s - z + 21. Let v = s - -7. Let x be v/15 - 64/(-185). Which is greater: x or -1?
x
Let g be (1/43)/(0 + 1). Let h(j) = j**2 + 13*j - 14. Let c be h(-14). Is g not equal to c?
True
Suppose -9*q + 4*b + 111 = -12*q, 4*b = 0. Which is smaller: -42 or q?
-42
Let z(j) = -j**3 - 7*j**2 - 2*j - 3. Let h(r) = r**2 + 3. Let q be h(-4). Let u = 12 - q. Let k be z(u). Are k and 9 non-equal?
True
Let g(o) = -3*o**2 + 25*o - 68. Let z be g(5). Is -17 greater than or equal to z?
True
Let s = -1441163/1088843 + 4/6763. Let h = -9/23 + s. Which is smaller: -1 or h?
h
Let f(o) = 2*o - o**2 + 10*o - 2*o**2 - 18 + 4*o**2. Let d be f(-13). Let c(z) = -z - 5. Let g be c(d). Is g > 3?
False
Let x(a) = -5*a - 4. Let h be x(-9). Suppose 8*y = 7*y + h. Suppose y = 3*u - 4. Which is greater: u or 16?
16
Let b = -21 + 4. Let x = -17 - b. Let h = 1 + x. Which is smaller: -1/6 or h?
-1/6
Let g be ((-2)/6)/(125/(-270)). Let f(u) = 17*u - 442. Let i be f(26). Is g > i?
True
Let u = 40.11 + 4.89. Which is smaller: 0 or u?
0
Suppose -3*s + 2 = -2*w - 13, -20 = -3*w - 4*s. Let i be (w + -1)/(3/(-9)). Let o(z) = z**2 + 7*z + 10. Let l be o(-3). Which is bigger: l or i?
i
Suppose -648*a + 3 = -651*a. Is -1/6 <= a?
False
Let x = 0.15 - -3.85. Let z = 22 + -17. Let o = z - 7. Is o greater than x?
False
Suppose -9*g - 14*g = -17*g. Are g and -1/180 unequal?
True
Let h = 573 + -576. Suppose 2*q - 4*b = -42, 54 = -3*q - 2*b - b. Which is smaller: h or q?
q
Let z = -1369.9 + 1358. Is 6 greater than z?
True
Let k(n) = 4*n - 23. Let d be k(6). Which is smaller: 2/3 or d?
2/3
Let s be 4/(-14)*12/(-8). Is s less than or equal to -74?
False
Suppose 0*u = 4*u + 16. Let r be 8 + (u - -2) + 2. Suppose 6*o - g + 16 = 3*o, -r = -3*o - 5*g. Is o smaller than -6?
False
Let w(b) = 15*b**3 + b**2 + 2*b - 2. Let l be w(1). Let t be 39/2*l/12. Let x be (5/t)/(3/(-6)). Is x smaller than 1?
True
Let w(h) = -h**2 - 5*h - 29. Let r be w(-5). Which is greater: r or -1?
-1
Let q = 1167 - 1162.6. Is q <= -10?
False
Let v = -125/12 - -27/4. Let g = -29/6 - v. Let s(y) = 3*y**3 + 1. Let a be s(-1). Are a and g unequal?
True
Let l be (13/7)/(57/6 + -8). Is 1 at most as big as l?
True
Let f = -155/112 + 29/16. Let p(m) = -m - 6. Let z be p(-6). Is z less than f?
True
Suppose 6 = 2*t + 2*r, -3*r = -4*t - t + 39. Let p(z) = -z**2 + 4*z + 1. Let x be p(t). Let i = x + 18. Which is greater: i or 8?
8
Let k be (4*5/10)/(-3*25). Let g be ((-6)/9)/(0 - 4/6). Which is bigger: g or k?
g
Let p = -1193 + 1709. Let q = 9806/19 - p. Which is bigger: 1 or q?
1
Suppose -22*f + 29*f + 21 = 0. Is f not equal to -31?
True
Let t be 1948/(-1900) - 8/100. Is -1 not equal to t?
True
Let z(w) be the second derivative of -w**4/6 - 2*w**3/3 - w**2 - 2*w. Let s be z(-6). Let m be 1/5 + 15/s. Is m at least -0.2?
True
Suppose -53 = -b - 2*a + 3*a, 3*b - 189 = -3*a. Is 59 equal to b?
False
Let w = -279771/11 - -25455. Let f = w + -4011/187. Which is smaller: f or 1?
f
Suppose 52 = -7*q + 10. Is -64/11 less than or equal to q?
False
Suppose -4*l - j = 280, 5*l + 81 = 4*l - 3*j. Which is smaller: l or -3/7?
l
Let v = 52.8 + -53. Let i(r) = -r**2 + 13*r + 61. Let j be i(15). Is v equal to j?
False
Let h(m) = -8*m**3 + 3*m**2 - 4*m + 5. Let j be h(2). Is j at least -56?
True
Let a be (-4 - -4)/(1 + 1). Let q be -1 - (-21)/5*175/770. Which is bigger: q or a?
a
Let q = 36343/88 + -413. Which is bigger: q or 0?
0
Let o = 0.148 + -0.048. Is 352 at most as big as o?
False
Let h = 20.59 + -22.59. Let t(k) = -k. Let i = 0 - 0. Let v be t(i). Which is greater: h or v?
v
Let m be 2/(-2) - (4 - (-7428)/(-1524)). Does m = -1?
False
Let w = 4 + -9. Let x(a) = 10 + 2*a**2 - 4 + 6*a**3 