-0.173. Which is bigger: z or 26?
26
Suppose 0 = 11*n - 2*n + 4*n. Which is smaller: n or 8/51?
n
Let u = -8.3 - -1.3. Let q = -9 - u. Is q less than 21?
True
Let q be 465/25 - 4/(-10). Suppose -7*c + 2 = -q. Suppose 4 = -3*m + 22. Is c at most m?
True
Let f = 230 - 318. Which is bigger: -89 or f?
f
Let t = -18 - -46. Let v = t + -28. Which is smaller: v or 5?
v
Let w be (92 + 0)*(5 - 9)/(-16). Which is smaller: w or 122/5?
w
Let v = 25.16 - 0.16. Let a = v + -18. Let j = -15 - -13. Are a and j equal?
False
Let h be (2 - (2 - -1))/((-13)/(-13)). Which is smaller: h or -35?
-35
Let o(b) = -b**2 + 9*b - 2. Let r be o(7). Let q be (-61)/(-12) + (-1)/(16/r). Which is greater: -1 or q?
q
Suppose 10*p + 35 = 15*p. Suppose v = p*v + 6. Is -5/13 less than v?
False
Let b = -14.9 - -14.1. Is -2 >= b?
False
Let s = -0.0418 - 358.9582. Which is smaller: s or -1?
s
Suppose -2*w - 7*n + 349 = -4*n, -4*n - 648 = -4*w. Is 167 >= w?
True
Let w(x) = 2*x**2 - 15*x. Let d(a) = -a**2 + a - 1. Let v(q) = 5*d(q) + w(q). Let l be v(-3). Is -2 at most l?
True
Let f(h) = h**2 - 10*h + 20. Let l be f(8). Suppose -4*g + 25 = -3*d, l*g + 17 = -4*d + d. Let i = -11 + 4. Are i and d equal?
True
Suppose 3*b + 7 = 6*b + 4*j, 2*b = 2*j. Let o be (-74)/(-148)*(8/(-22))/2. Which is smaller: b or o?
o
Let q(y) = -y + 9. Let f be q(12). Let d(o) = 2*o + 13. Let n be d(f). Is n at least as big as 9?
False
Suppose 0 = 2*f + 3 + 3. Let j = 0 + f. Let i = -392 - -391. Is i greater than or equal to j?
True
Let g = 141 - 138.64. Let t = -0.36 + g. Which is smaller: t or 1/13?
1/13
Let c = -59 + 64. Suppose c*t - 49 = l - 12, -3*t = -15. Which is bigger: l or -9?
-9
Suppose -4*t + 4*n + 712 = 0, -6*n - 341 = -2*t - n. Let b = t + -128. Suppose -b = -6*w + w. Are 11 and w unequal?
False
Let r(q) = 2*q + 5 + 7*q - 15*q + 2*q. Let g be r(-2). Let s(z) = z**3 - 4*z**2 - z - 6. Let c be s(5). Is c <= g?
False
Let x = 2130 - 1255. Let k be 2/(-14) - (-195)/x. Let a(p) = p**3 - 4*p**2 + p - 4. Let l be a(4). Which is bigger: k or l?
k
Let d = -3.2 + 3.8. Let v = d + 0.4. Let k be (3/4)/(18/(-4)). Which is bigger: v or k?
v
Let p(l) = -l - 9. Let c be 4/(-12) - 68/12. Let t be p(c). Which is greater: -7/3 or t?
-7/3
Let g = 1.4 - -0.6. Let h = 9.15 + -9. Let r = -3.85 - h. Which is smaller: r or g?
r
Suppose 0 = 3*b - 8*b + 5. Let w be (-10)/25 + 6/(-45)*-3. Let o be (-4)/((w + -3)/(6/4)). Is o at least b?
True
Let i = 1061 - 1060.941. Is 1 < i?
False
Let l be (-5 - -1) + (12704/580 - 18). Is l equal to 1?
False
Suppose -6*f - 1363 = -35*f. Is 326/7 greater than or equal to f?
False
Suppose 0 = -3*u - 4*h - 9, -5*u + 2 + 18 = -5*h. Do 31/36 and u have the same value?
False
Let i = -0.01 - -5.01. Let d = -0.7 - 2.3. Let y = i + d. Is 12 != y?
True
Let s be 181 + -20 + 2*-2. Is s <= 157?
True
Let b = -7 + -7. Let o be ((-12)/b + -1)*-4. Let a = 3 - 3. Is o greater than a?
True
Let m = -11 + 11.01. Let g = -0.81 + m. Let j = g + 2.8. Is 4 smaller than j?
False
Suppose 12 + 14 = -2*f. Is f >= -176/13?
True
Let c(a) = a**3 + 8*a**2 - 12*a - 10. Let q be c(-9). Suppose -q*o = -21*o. Which is smaller: -4/7 or o?
-4/7
Let b = -72 + 118. Let z = 7/10 + -31/30. Which is bigger: z or b?
b
Let t = 24/17 + -256/85. Let b be ((3 + 1/1)/2)/2. Which is greater: t or b?
b
Let h(j) = j**2 - 5*j + 11. Let q be h(4). Let n = 2 - -3. Let p = 0 + n. Is p <= q?
True
Let b be 0*(55/15 - 4). Is b at most as big as 7/57?
True
Let o be (9/9)/(2/(-14)). Let b be (-200)/51 - ((-196)/o)/(-7). Is -1 greater than or equal to b?
False
Let m = -8 - -13. Suppose -m*d - 28 = -9*d. Is 7 at most as big as d?
True
Let v(g) = -g**3 + 9*g**2 + 14*g - 2. Let z be v(10). Suppose -6*l + z = -4*l. Which is smaller: 1/2 or l?
1/2
Let s be 0/(2/4*4). Let z be 10/(-80) - (-99)/664. Is s equal to z?
False
Let y be ((-1)/(-3))/((-2)/24). Let d(p) = -p**3 - 8*p**2 + p + 4. Let o be d(-8). Is y less than o?
False
Let q(w) be the third derivative of -w**5/60 + w**4/2 - 7*w**3/2 - 45*w**2. Let o be q(10). Is o greater than -7?
True
Let y be -3 + 2*(-6)/(-4). Suppose 4*b - 3*p + y*p = 2, -b = p - 4. Suppose -2*k + b = -0*k. Is k at most -1?
False
Let p = -172 - 32. Which is bigger: -205 or p?
p
Let g = 1936 + -1962. Which is greater: -2/7 or g?
-2/7
Let l be (-126)/4*(-32)/(-24). Let w = l + 41. Which is bigger: w or 2/25?
2/25
Let l = -19 + 49. Let d be (l/45)/((-8)/30). Are -2 and d nonequal?
True
Suppose -z - 2*z + 4*u = -58, 4*z - 4*u - 84 = 0. Which is smaller: z or 28?
z
Let u = 650 + -724. Is u greater than or equal to -6/11?
False
Suppose 0 = 3*o - 2*o + 11. Let z(v) = -v - 12. Let t be z(-19). Let y = -20 + t. Does y = o?
False
Let o be 2*3*((-14)/4)/(-7). Suppose 4*x + o*l + 18 = 0, -4*l + 2 = -3*x + 4*x. Is x != -6?
False
Suppose -8*a + 13*a = 5. Suppose -2*c + 17 = a. Is 8 <= c?
True
Suppose 2*y + 7 = 3*y. Suppose -2*r - 8 = -0. Let q be ((-4)/y)/r*-2. Which is bigger: -3 or q?
q
Let h = 259 + -133. Suppose 5*j - 3*v - 191 = 0, 3*j - 2*v + h = 6*j. Is j at most as big as 41?
True
Let p = 27.002 - 0.002. Let h = p - 26. Which is smaller: 0 or h?
0
Let d be 6/21 - 8391/98. Let p = -90/49 - d. Let a = 248/3 - p. Are 0 and a unequal?
True
Let y = 1.8 + -1.7. Suppose -64 = -21*w + 17*w. Which is smaller: w or y?
y
Let f be (151114/3)/(16/72). Let g = -3177051/14 + f. Let t = 261 + g. Is -1 less than t?
True
Let j be (-4)/3*(-3*12)/6. Let a be (j + -11)/(-3*1). Is -77 equal to a?
False
Let c = 5765 - 3753014/651. Which is bigger: 1 or c?
1
Suppose 112 = -6*v + 4*v. Let f = -55 - v. Which is greater: f or 1/6?
f
Suppose -2*j - 85 = -5*g, -5*g - 3*j + 0*j + 85 = 0. Suppose 5*r + 3*h - g = 28, -3*r = -h - 13. Which is smaller: r or 7?
r
Let n be (-6)/(-9)*(-3 - -15). Let f be 18/45 - 18/(-5). Suppose -4*d = f*w - 48, -2*d + 2 = -4*w + 26. Are n and w equal?
True
Let s be (2/1338)/((-148)/222). Is 0 less than s?
False
Let o = -12 + 17. Suppose o*i - f = 20, -3*i + 4*i - 28 = 5*f. Suppose 5*w - i*w + 5*v = -24, -8 = -2*w + 3*v. Are -2/13 and w unequal?
True
Suppose k - 4192 = -4175. Suppose 2*s - 6*s + 72 = 0. Are k and s equal?
False
Let a = -62556/5819 + -84/529. Let m = -186806/18711 - 116/1701. Let v = a - m. Is v <= 0?
True
Let c = -218 + 178. Does -40 = c?
True
Let j be (-2 - -1) + (-472)/(-516). Let v = -1583/1419 - j. Let n = v - -15/11. Which is smaller: -5 or n?
-5
Suppose -3*r + 3 + 3 = 0. Let q = -10/9 + 193/117. Is q greater than r?
False
Suppose 0 = -3*p - 9, -5*o - 18 = -8*o - p. Let d(h) = -h + h**2 + o*h - 1 - 3*h. Let u be d(-3). Which is smaller: u or -2?
-2
Suppose 0 = 3*v - 29 - 142. Let y = v + -58. Is 1/4 not equal to y?
True
Let g = 18/929 + 368759/2787. Which is smaller: g or 131?
131
Let w = -70 + 44. Is w < -26?
False
Let b = -1262 + 1263. Does b = -2/367?
False
Let p = -7 + 9. Let j = 1 + p. Let o = 3.7 - j. Which is bigger: o or 0?
o
Let w = 16.4 + -33.4. Let t = -0.8 + 15.8. Let o = w + t. Which is smaller: o or -13?
-13
Let f = 0.106 - -0.954. Let w = -0.03 + -0.03. Let l = w + f. Which is greater: l or -2?
l
Let o = 36 + -17. Let z = -256.9 + 237. Let u = z + o. Is 0 <= u?
False
Let p(m) = m**2 + 93*m + 1807. Let c be p(-65). Suppose x + 11 = -0*x. Is x bigger than c?
True
Let s = -252.5 - -252.3. Let b = 1 - 10. Is b > s?
False
Let s be -1*3/(-9)*-3. Let d be (s/3)/((-44)/(-6)). Let u = -82 - -83. Is d > u?
False
Let c be (-1)/(3/(-111)*1). Suppose -n = 2*n + 4*x + c, 0 = n - 3*x + 8. Suppose 4*a = 6*a + 22. Is n < a?
False
Suppose -167 = -19*w + 23. Let y = 6 + 4. Are y and w nonequal?
False
Let w(f) = f**3 - 48*f**2 + 71*f + 22. Let v be w(46). Is v greater than -945?
True
Let k = 0.1 - -0.9. Suppose 7 + 71 = -5*x + 2*r, -5*x - 76 = -4*r. Let l be x/(-7) + (-74)/259. Which is bigger: l or k?
l
Let f be (-42)/12*(-7)/(-2). Is f equal to -12?
False
Let q(d) = 46*d - 240. Let s be q(5). Which is smaller: -8 or s?
s
Let h = -110 - -109. Are -1/224 and h unequal?
True
Let a = 0.26 + -0.37. Let v = a - -0.01. Which is bigger: v or 2.5?
2.5
Suppose -2*b + 162 = -4*s, -3*b = -3*s - 247 + 7. Suppose -b = -8*m + 249. Which is greater: 79/2 or m?
m
Let o(h) = 3*h + 6. Let f be o(-7). Let w = -16 - f. Let x be 0/(w - 1) - 2. Is 4/3 bigger than x?
True
Let t(a) = 2*a**2 + 26*a + 2. Let f be t(-13). Suppose -f*o + 5*b + 6 