 40 = -u*y. Suppose -10*h + 10 = -y*h. Which is bigger: h or 17/4?
h
Let x be (9/5 - 1)/(10/(-600)). Is x >= -50?
True
Suppose -22*h = -24*h + 2. Let x(z) = -z**2 + 12*z - 1. Let m be x(12). Is m greater than h?
False
Suppose -12 = -3*l - 3*p, -5*l - 2*p + 26 = -3*p. Suppose -f - 3*f + 36 = 0. Let b be (-6)/4*(-6)/f. Is b at most l?
True
Suppose -150 = -3*o + 4*t, 0 = -3*o - 2*t + 113 + 37. Suppose -181*p + 173*p + 408 = 0. Which is smaller: p or o?
o
Suppose 4*v - 318 = -2*h, -2*h + 6*h = -5*v + 405. Let n = -75 + v. Are n and 4/7 non-equal?
True
Suppose 5 = 2*d + d - 5*n, -d - 1 = n. Suppose 16*i - 13*i + 36 = d. Does i = -11?
False
Let p = 706.18 + -702. Which is greater: 1 or p?
p
Let i(a) = a + 6. Suppose 0*m - 3*m = 12. Let p be i(m). Suppose -11*n = -10*n + p. Which is smaller: -1 or n?
n
Let p(g) = g**2 + 79*g - 923. Let m be p(11). Is m at least as big as 68?
False
Suppose -m - 2*m - 2*s + 7 = 0, 3*s - 17 = 2*m. Let q be (-16564)/38 + (-16)/16. Let g = 437 + q. Is m at least as big as g?
False
Let l(j) = -j**2 + 21*j + 113. Let x be l(27). Is x not equal to -15?
True
Let q be (3 + (-4)/4)*(-4)/32. Is 0.3 > q?
True
Let s(t) = 7 - 22*t - 11 + 17*t - 31*t. Let i be s(-1). Is i greater than or equal to 31?
True
Let u be -4 + 5 - (-6)/51*-10. Which is smaller: 4 or u?
u
Let n be (-20)/(3 - 187/44). Which is bigger: 139/9 or n?
n
Let j(f) = 7*f**3 + 1. Let i be j(-1). Suppose b - 7 + 3 = 0. Suppose -2*s - b = -0*s. Are s and i non-equal?
True
Let o be (-150)/375 - 5/(2150/(-132)). Is -1 <= o?
True
Let m = -0.06 - 0.04. Let u = m + 0.1. Let i = -0.06 + 0.16. Is i >= u?
True
Let d = 27928 - 95262409/3411. Let h = d + -20429/126207. Let q = h - -116/259. Which is smaller: q or 1?
q
Suppose -4*l = -3*x + 623, 4*x + 2*l - 191 = 3*x. Do x and 1 have different values?
True
Let p(m) = 2*m**3 - 2*m**2 - 6*m + 3. Let b be p(3). Let h = 16 - b. Are -6 and h nonequal?
True
Let v be ((-12)/(-15))/(8/100). Suppose -2*f + v = 0, 5*c - 235 = 2*f - 20. Suppose -15*i + 20*i - c = 0. Do 9 and i have the same value?
True
Let q(o) = -10*o + 69. Let g be q(6). Is g <= 0.13?
False
Suppose 3*b = 2*z + 3*z - 19, 3*z = -b + 3. Which is smaller: b or 20?
b
Let q = 3.05 - 0.05. Let k = 2.9 - q. Suppose -16*h + 18*h + 12 = 0. Are k and h equal?
False
Let a = 33 - 32.93. Let r = -0.036 + -2.864. Let i = r - -3. Is a at most i?
True
Let z = 2.2 + -6. Let w = z + 4. Let d(l) = 8*l**3 - l. Let n be d(1). Is n greater than or equal to w?
True
Let d be ((-7)/28)/(1 + (-42)/40). Let m be d/(-10)*2*-1. Let k = 3335/11 + -303. Is k at least as big as m?
False
Let g be (9/6)/((-27)/(-69)). Let t = g - 10/3. Which is smaller: 15 or t?
t
Suppose -k + 0*k - 8 = 4*n, -4*k = n + 32. Let z(c) = -c**2 - 19*c - 5. Let l be z(-19). Is l not equal to k?
True
Let u = -7.15 + 0.15. Let y = 3.41 + -3.4. Which is bigger: u or y?
y
Let p(t) = -2*t**2 + 7. Let c be p(-4). Let f = -25 - c. Which is smaller: f or -3/35?
-3/35
Let x = -56 - -337/6. Do 1 and x have the same value?
False
Suppose 6*v + 2*n + 2 = 2*v, 2*n = -10. Let c be (64/10 - 6) + v/(-5). Which is smaller: c or -7/17?
-7/17
Let n be (-5)/(20/8) - -82. Let q = n + -74. Is 6 at most as big as q?
True
Suppose -4*v = -284 - 36. Let w be (13/((-156)/v))/(2 - 0). Is -2 >= w?
True
Let g(o) = -2*o - 15. Let a(w) = w - 1. Let r(q) = 3*a(q) - g(q). Let u be r(-5). Is u smaller than -10?
True
Let d(y) = 2*y**3 - 54*y**2. Let u be d(27). Which is bigger: u or 1/14?
1/14
Suppose 4*m - 7 = 5*p, -6 = 2*p - 2*m - 2. Which is bigger: p or 0?
p
Let n = 4/649 + 157/79827. Suppose -2*g + 2 = -2*t, -3*t + 2*g = -0*t + 2. Which is bigger: n or t?
n
Suppose 2*m = -3*m. Suppose -2*a + 4*a = m. Let r(j) = -j**3 - j**2 - j - 1. Let k be r(0). Is k not equal to a?
True
Let p = -3/350 + -691/1050. Let x = -0.4 - -0.3. Is x at most p?
False
Suppose -4*w = 2*n + 34, 5*n - 13*w + 11*w = -49. Which is smaller: -12 or n?
-12
Suppose -5*i - 3*k + 15 = -5, 0 = -5*i - 5*k + 20. Suppose -i*y + 7 = -5. Let x be -1 - (2 - y - 2). Which is smaller: x or 3?
x
Let h be (4/(-10))/((-105)/425). Is 2 != h?
True
Let l(n) = -5*n**2 + n + 32. Let m be l(4). Is 3 smaller than m?
False
Suppose 27 = 6*t - 33. Suppose 22*l - t = 24*l. Do -11/2 and l have different values?
True
Suppose -3*h - h - 5*c - 13 = 0, 27 = 4*h - 3*c. Let q be (h - 2)*(-3)/11. Suppose -2*z = f + 1, 0*z = -z. Which is bigger: q or f?
q
Let b = 1.21 - 1.01. Is -0.81 >= b?
False
Suppose -5 + 0 = -5*g. Let w = 256.9 + -295.9. Which is bigger: w or g?
g
Let u = -2 - -2. Let k be (-12)/(-4) + (-6)/(-6). Let z be (2 - 1/(k/6))/(-6). Which is smaller: u or z?
z
Let h = -807 + 655. Which is smaller: -0.1 or h?
h
Let b(i) = i**3 + 4*i**2 + 3*i - 4. Let q be b(-4). Let r be 1*554*(-8)/q. Let s = r + -9419/34. Is 1 bigger than s?
True
Let u be 1267/(-98)*10 - 12/(-42). Is -129 >= u?
True
Let i be (-24)/6 + (-1)/(3/(-318)). Suppose 7*b = 3*b + 28. Let m be b/(-17)*i/(-119). Is m > 0?
True
Let v be ((-4)/8)/(6/(-36)). Let n be -10*(v + (-20)/8). Which is greater: n or -2?
-2
Let c be 2/(5/(50/(-4))). Let l be ((-10)/(-3))/c - -1. Let b = -2/539 + -4841/2695. Which is smaller: b or l?
b
Let f = 55 + -60. Which is bigger: -0.4 or f?
-0.4
Let n be 264/140 + (-4)/14. Is -6 <= n?
True
Let m be 5/15 - (-16)/6. Let a = 154 - 152. Is a <= m?
True
Let k be 11/4 - 9/(-36). Suppose -a + k*a = 46. Let d = 10 - a. Is 0 greater than d?
True
Let q(k) = 2*k**3 + 42*k**2 - 45*k - 22. Let v be q(-22). Which is smaller: v or -1/220?
-1/220
Let s be (-2704)/56 + 4/14. Do s and -50 have different values?
True
Suppose 0 = -0*k - 2*k - 590. Let i be (3/k)/(154/110). Let u = i - 661/22715. Which is smaller: u or 1?
u
Let n = -4/309 - -1520/21939. Which is greater: n or -1?
n
Suppose -4*o - f + 3 = 0, 5*o = -0*o - 2*f. Suppose 5*i - i = o*z - 128, 0 = -5*z - 3*i + 359. Let w be (-15)/35 - (-58)/z. Which is smaller: -0.09 or w?
-0.09
Let f be (-60)/24*((-9)/(-15) + -1). Which is greater: 4/7 or f?
f
Let h = 816 - 368. Is h less than 0.2?
False
Let q(w) = -2*w + 1. Suppose 0 = g - 5*d - 27, g - 3*d + 5*d + 8 = 0. Let b be q(g). Suppose 19*l = 14*l + 5*j, 0 = -l - 2*j - 6. Is l < b?
False
Let i(a) = a - 5. Let s be i(9). Suppose -s*x + 0*x - 4 = 0. Let d(j) = -j + 11. Let p be d(12). Is p at least x?
True
Let j(a) = 2*a**2 + 7*a + 11. Let l(v) = -v**2 - 4*v - 6. Let z(y) = 3*j(y) + 7*l(y). Let h be z(-6). Is h >= -0.3?
False
Suppose -5*x = -6*x. Let o = x - 3. Let c be o - (65/(-21) + 0). Are c and 0 nonequal?
True
Suppose -1 = 4*b + 15. Which is smaller: -31 or b?
-31
Let v = 0.0272 - 0.0406. Which is smaller: v or 0.1?
v
Suppose 4*y - y = -3*r - 15, 0 = -5*y - 4*r - 29. Let g be 34/(-3) + 6/y. Let i be (-6)/(-21) + g/21. Do i and 0.2 have the same value?
False
Suppose -2*p = -7*p + 165. Let s be ((-4)/6)/((-22)/p). Do -5/11 and s have the same value?
False
Suppose 3*b + 4*u + 40 = 0, -5*b - 2*u = 31 + 59. Let c = -11 - b. Suppose -5*d = 3*v - 13, -d + c = -v + 4*d. Are -2/51 and v nonequal?
True
Suppose q - 2*q = 2. Let x be -2 - ((-120)/(-27))/q. Suppose 3*f - 2 = z, 5*f + 4 = -2*z + 11. Which is bigger: x or f?
f
Let b be (-18)/81 + 250/315. Which is smaller: -0.3 or b?
-0.3
Suppose -2*m - 3*r + 4*r = -93, -99 = -2*m - r. Which is bigger: m or 46?
m
Let a = -40 + 42. Let q(g) be the second derivative of g**4/12 - g**3/3 + g**2/2 - g. Let w be q(3). Which is smaller: a or w?
a
Let p(w) = -w + 7. Suppose 7*q = 2*q. Let t be p(q). Suppose 4*y = 31 + 1. Is t equal to y?
False
Let f = 30 + -24. Suppose 2*n - 23 = -p, -f*n = -3*n + p - 34. Which is smaller: 10 or n?
10
Suppose 14*m - 558 = 20*m. Is -93 smaller than m?
False
Suppose 215 = 4*s - 5*g, 276 = -s + 6*s + g. Which is smaller: 62 or s?
s
Let o be -6*(-4)/8 - -6. Suppose -2 - 7 = -o*h. Is -10 less than or equal to h?
True
Suppose 25*g + 197 = -3*i + 26*g, 3*g = -2*i - 146. Is -62 <= i?
False
Suppose -1 = 2*l + o, -2*l - 14 = -5*o + 5. Which is smaller: l or -0.444?
l
Let w = -596 + 590.1. Is 0.1 not equal to w?
True
Let m = -14 - -23. Let q(l) = -2*l + 8. Let s be q(m). Let j be 2*-2*(-28)/(-16). Is j less than s?
False
Let l = -29 - -26.6. Let b = l + -26.6. Is b < -2/3?
True
Let i be 69/(-33)*1 + 1. Let z be 3 + 1 + (-36)/6. Is i < z?
False
Let b = 40 - 40. Suppose 10 = 5*a - b*a + 3*j,