q + 4*k, -k = u*q + 1. Is q > 1?
False
Suppose m + 10 = 5*k, 0 = -0*m + m + 4*k - 8. Let b(o) = -2*o**2 + 5*o + 3. Let x be b(4). Let z(f) = f + 10. Let r be z(x). Are r and m nonequal?
True
Let z = -835 - -726. Which is smaller: z or -108?
z
Let y = -6 - -8. Let g be 1*-3*8/6. Let w be (1 + 15/(-6) - -1)*g. Is y greater than w?
False
Let o = 57 + -172. Let x be -2 - (o*1 + -3). Let p be 2/4*(-8)/x. Is 1 not equal to p?
True
Let b be (-21)/(-12) + (-4)/2. Let f = -0.93 + -0.07. Let z = f + 1.06. Which is smaller: b or z?
b
Let q = 23.1 - 23.7. Is q at least as big as -2/17?
False
Let f be (3/15)/((-4)/(-5)). Is f not equal to -0.19?
True
Let y = -5.72 + 10.72. Which is greater: 35 or y?
35
Suppose -8 = 5*x - 3*x, 4*x = 4*l - 448. Suppose -4*i - 60 = -2*i + 4*f, l = -4*i - 4*f. Is i at least as big as -24?
True
Let i = 1.771 - 1.571. Is i equal to 322?
False
Let o be (4/(-10))/(135/(-75)). Is 31 <= o?
False
Let t be (4/30)/(2/10). Let h(b) = b**2 - 6*b - 7. Let j be h(7). Suppose -2*d - z = -j - 1, 0 = -5*d + z + 13. Are t and d equal?
False
Let b = -36 - -60. Let h(m) = m**2 - 9*m. Let t be h(8). Let l be t/(-32)*b/(-5). Which is greater: l or 0?
0
Let o be ((-6)/(-36))/(7/926). Let t = o + -250/7. Which is smaller: t or -15?
-15
Let m be (0/((-2)/(-1)))/2. Let s = -265 + 264.8. Is s < m?
True
Let p = -4 + 11. Let d = -10 + 13. Suppose -4*q - d*n + 36 = 0, -5 = -q + 5*n - 19. Which is smaller: q or p?
q
Let w = -0.06 - -112.06. Let u = 112 - w. Is u at least -2.5?
True
Suppose -5*r = 3*j - 271, -6*r - j + 53 = -5*r. Is 56 bigger than r?
False
Let j be -1*0/1 - -5. Suppose -4 = -2*o - 0*o. Suppose -o*p = -6*p + 2*y - 8, 5*y = -j*p - 10. Which is smaller: p or -3?
-3
Let h be 5 + -7 + 4 - (-3)/((-48)/28). Let a = 0.5 - 0.4. Which is smaller: a or h?
a
Let k be (4/(-14) - 0) + (-90)/(-21). Suppose 2*q + k*w - 10 = 0, w = 4*q - 4 + 11. Which is greater: q or -3/16?
-3/16
Let c = 0.1999 + 0.0001. Is 0.0073 less than c?
True
Let k = 0.3 - 2.3. Let b = 72 - 71.25. Let j = 0.65 - b. Is j > k?
True
Suppose -12*s + 4*s - 440 = 0. Is s less than -58?
False
Let f be 2/5*(-10)/(-14). Suppose -4*s + 3*r + 15 = 0, -9 = -4*s + 4*r - 7*r. Suppose 2*t - s = -1. Which is smaller: f or t?
f
Let v = -7901/22 - -359. Which is greater: -1 or v?
v
Let c be (-21)/273 + 934/(-26). Is c greater than or equal to -35?
False
Let m = 174 + -81. Which is smaller: -1 or m?
-1
Suppose b + b = 36. Let s be ((-15)/b + 1)*(5 - 1). Is 2 smaller than s?
False
Suppose 4*r + 2*r = -6. Let q be 1*(r + 5) - 4. Let m(v) = -v**3 + 3*v**2 - 1. Let k be m(2). Which is smaller: q or k?
q
Suppose 0 = -2*o - 4*y, -y - 8 = -o - 5. Let h be ((-17)/4 + o/(-8))*-4. Which is greater: 19 or h?
19
Suppose -47*j + 40*j - 3101 = 0. Is -442 at least j?
True
Let u = -0.06 + 15.06. Let r = 15.2 - u. Which is smaller: r or 2?
r
Let u = 12751/3 - 4204. Let g = 47 - u. Let x(f) = 2*f - 5. Let q be x(4). Is q at least as big as g?
True
Let m = -576 - -572. Which is greater: m or -1/43?
-1/43
Suppose -4*i - 4*x + 4 = 0, -i - i - 2 = -2*x. Suppose -6 = -i*q - 6*q. Is 1/19 <= q?
True
Let b = -0.3 - -0.3. Let d be (-702)/(-81) - (-2 - 8/(-3)). Which is greater: b or d?
d
Let b = 6743/4 - 1663. Let l = -17 + b. Is l less than 6?
True
Let i = -256 + 255.94. Is i less than or equal to 8/7?
True
Let s = 225/28 - 31/4. Which is greater: s or 67?
67
Let g = -15073 + 15073.6. Let r = 1.1 + 0. Let f = r - 1. Do g and f have different values?
True
Suppose 0 = -3*t - 2*g - 30, 2*t + g + 28 = -3*g. Let z(n) = n + 3. Let w be z(t). Which is smaller: -1 or w?
w
Let j(h) = -h**3 + 9*h**2 + 9*h + 10. Let y be j(10). Let k be -3 + (3 - (1 - y)). Which is bigger: 1/16 or k?
1/16
Let u be (5 + 577)*(-4)/60. Which is smaller: -38 or u?
u
Let f be (-36)/8*(-14)/3. Let s = -7 + f. Let z = 16 - s. Which is smaller: z or 0.04?
0.04
Let z = -296.1 - -296. Is 28/17 at most as big as z?
False
Let x(m) = 11*m + 5. Let t(p) = -10*p - 4. Let f(a) = -7*t(a) - 6*x(a). Let q be f(2). Which is smaller: q or -2/7?
-2/7
Let o(y) = -2*y. Let m be o(-1). Suppose -m*w - 16 = -10. Which is greater: w or -18/5?
w
Let l = 4 + -4. Let z = l - -0.04. Let u = 4.05 - 4.25. Are u and z equal?
False
Let x = -13 + 10. Let n(y) = 2*y + 6. Let m be n(2). Suppose -7*q + m*q = -6. Which is smaller: x or q?
x
Suppose l = 4*n + 2623, 3*n + 3287 = -2*n + 4*l. Let y = n + 1363/2. Which is greater: y or 26?
y
Let k(h) = 2*h**2 - 9*h - 27. Let l be k(11). Which is smaller: l or 117?
l
Suppose 3*i + 27 = -d - 2*i, -3*i = -5*d + 5. Let x be (-4 - -2)*d/1592. Let v = x - 813/6766. Are v and 0 equal?
False
Let x be (1/(-20))/(44/(-55)). Is 0 at least x?
False
Let b = 81943 - 900568/11. Let j = b + -73. Which is smaller: -9 or j?
-9
Let a = 2206 + -130160/59. Does a = 0?
False
Let u(c) = -c**3 - 2*c**2 + 4*c + 2. Let z be -4 + ((-3)/(-1) - -3). Let i be 22/(-6) - z/(-3). Let y be u(i). Do -1/5 and y have the same value?
False
Let p = -104 - -108. Suppose 0 = 17*v - 15*v + p. Which is greater: v or 5?
5
Suppose s = 3*s - 4*k - 140, 3*s - 220 = -4*k. Suppose 15*l = 16*l - 21. Let j be (-24)/(-64) + l/s. Which is smaller: j or 2?
j
Let f be -5 + (3/21 - 12/(-14)). Is f less than -71?
False
Let d = 2 - -12. Let w be ((-7)/d)/(1/6). Let x be 15/3 - (w + 6). Which is smaller: x or 1?
1
Suppose -g = 0, -5*h + g = 4*g. Let c = -25 - -46. Suppose x = -5*v + 7, 3*v + v - c = -3*x. Is h less than or equal to x?
True
Let m = 953/14 + -68. Let o = -5/28 - m. Let v = -2587/7 - -369. Which is smaller: o or v?
v
Let w be ((-3)/((-18)/(-87)))/(259/28). Let y = w - -1894/925. Which is greater: y or 0?
y
Let k = -8 - 0. Let o = k + 7.97. Let x = 28.9 + -29. Does o = x?
False
Let u be 5 + (3 - 1) + -4. Suppose 0 = -2*r - 0*v + u*v - 14, 4 = -2*v. Let h = -7 - r. Which is smaller: -0.2 or h?
-0.2
Suppose f = -4*h - 5, 4*h = 3*f - 0*f + 15. Let c be 143/65*f/(-1). Is 8 at most c?
True
Let q(x) = x**2 - 5*x + 5. Let p be q(2). Let i be (-31)/(1/(-1)*p). Are i and -31 unequal?
False
Let x(s) = 3*s - 16. Let r be x(7). Let t be 5/(-4)*(r - 13). Suppose 0 = -6*g + t*g. Which is smaller: g or 1?
g
Let p be 0 + (0 - 2) - 6498/(-3268). Is -2/7 smaller than p?
True
Suppose 0*g + 55 = 5*f - 3*g, 3*f + 3*g - 33 = 0. Let v = f + -10. Let i be 2 - 9*2/8. Is i != v?
True
Let w = 54 + -84. Let l = 29.9 + w. Which is smaller: -2/15 or l?
-2/15
Let s be ((-153)/(-27))/((-7)/(-903)). Which is greater: s or 732?
732
Let g = 252 + -241. Let k = 3.4 + -3. Which is bigger: g or k?
g
Let r be (-1)/(-2) - ((-351)/(-18) - 9). Is r greater than or equal to -18?
True
Let q(f) = f**3 - 7*f**2 + 10*f - 24. Let h be q(9). Which is bigger: h or 231?
231
Let a(w) = -11*w + 101. Let v be a(-5). Which is greater: 157 or v?
157
Let h = -9.4 + 4.4. Which is smaller: -16 or h?
-16
Suppose -2*q = -29*q - 2079. Is q > -307/4?
False
Suppose 8*m - 3*m + 545 = -2*w, 3*w = -2*m - 218. Is -108 > m?
True
Let a = -1.56 + 1.06. Is a at least 32?
False
Let u = 0.06 - -4.94. Let h = -22.4 - -118.4. Let p = h + -100. Is p greater than u?
False
Suppose -8*y + 0*y + 4*n - 8 = 0, y - 5*n + 10 = 0. Which is greater: -1/1496 or y?
y
Let i = 6 - 34. Let z = i + 28.1. Do z and 0.5 have different values?
True
Let b be (0/(-2) + 0)*1. Let s be (-150)/(-525)*7/4. Which is smaller: b or s?
b
Let v be (-8 + 14)*(-3 + 188/(-8)). Do -159 and v have the same value?
True
Suppose -12*m = -13*m + 5. Let l be ((-20)/(-3))/(m/(-60)). Are -81 and l nonequal?
True
Let n be 5 - ((-20)/(-4) - -8). Which is bigger: -21 or n?
n
Let d = 96466/9 - 10736. Is d > -17?
False
Let q = 9 - 11. Let l be (-6 - 33)*q/6. Which is smaller: l or 14?
l
Let g = -194/11 - -3364/187. Let b = g - 101/238. Is -1 >= b?
False
Suppose -4*z + 25 = 3*v + z, 3*z - 15 = 0. Suppose v = 3*y - 55 - 35. Let a be (y/50)/((-2)/(-20)). Are -0.1 and a unequal?
True
Let n be 422094/30*(-1)/(-14). Let l = 1005 - n. Which is bigger: l or 1/2?
1/2
Let n(q) = -2*q - 6. Let c be n(-5). Suppose 2*r - 11 = -3*w, 2*w - c*r = 6*w - 20. Suppose -w = -z - 5. Which is bigger: -6 or z?
z
Let c = 256 - 7934/31. Let l be (-69)/(-138) - (1 - (-1)/2). Which is greater: l or c?
c
Let g = 0.218 + 0.062. Suppose -3*t + 8 = -2*t + 4*l, -3*t = 4*l - 8. Is g less than t?
False
Let s = 228 + -158. Which is smaller: 0.1 or 