er: k or -1?
-1
Let h be ((-6)/132)/((-2)/(-4)). Is h less than or equal to 1?
True
Let x(h) = -h**3 + 8*h**2 - h + 9. Let p be x(8). Suppose k = 4*l + 2 + 1, -1 = -2*k + 3*l. Let m be -1 - ((-11)/7 - k). Which is greater: p or m?
p
Suppose -2*d = 5*d - 0*d. Is 5/22 smaller than d?
False
Let z be (-6)/(-4)*6/(-9). Let g(w) = 1 + 5*w + 3*w - w. Let p be g(z). Which is bigger: p or 1?
1
Let k be (18/(-8))/(-6 - 76/(-12)). Which is smaller: -8 or k?
-8
Let m be 3/((1 - -2) + -4). Is -8/5 at most m?
False
Let y be -5 + 6 - (-38)/(-30). Is y < -1?
False
Let b = -73/6 + 44/3. Which is smaller: 2 or b?
2
Let h = 5 - 6. Let c = h + -1. Let m = 2 - 0. Is c bigger than m?
False
Let j = 0.18 - 0.08. Does j = -20/7?
False
Let n = 1.1 - 1.2. Suppose 0 = -3*o - 0*o + 3. Let t be (3/2)/(6*o). Is t < n?
False
Let l be (-207)/208 - 1*-1. Let j be 1275/(-416)*10/135. Let k = l + j. Is 1 greater than or equal to k?
True
Let k = -9 - -5. Suppose -2*w - 11 = -3. Let v be (-47)/9 + w/(-18). Is v < k?
True
Let g be (((-1)/(-7))/((-10)/(-10)))/1. Which is greater: 1 or g?
1
Suppose -2*r - 8 = -4*q, 3*q - q = -2*r + 4. Let c = -32 - -38. Let p be (36/(-135))/(2/c). Is p at most as big as r?
True
Let l = -13.7 + 14. Let p = -0.2 + l. Let m be 1/12*(-1 - 0). Is p less than m?
False
Let i = -1 - -3. Let s be -1*(-1 + 3)/i. Let f be s + -2 - 9/(-4). Which is smaller: 0 or f?
f
Let a be ((-20)/(-25))/(6/225). Is 30 bigger than a?
False
Let c = -3 + 2.7. Let o = -11.5 - -13.8. Let h = o + c. Does h = 0?
False
Let f be (-2)/(-6)*0/(-1)*1. Is 5/6 less than f?
False
Let x be (4 - 2) + 1 + -1. Suppose -n = n - 32. Let r be (-6)/15 + n/15. Which is smaller: x or r?
r
Suppose -34 + 9 = -5*x. Suppose t = 4*u - 3*t + 4, 4*t - x = 5*u. Which is smaller: -2/25 or u?
u
Let z be -3*1 - ((-270)/(-296) - 4). Let n = -308 - -11390/37. Let i = n - z. Is -1 at most i?
True
Let t be (1 - (-292)/(-429)) + (-1)/3. Which is greater: t or -1?
t
Let t = -600 - -143999/240. Do t and -1 have the same value?
False
Let t = -2.935 - -0.035. Let i = -0.1 + t. Is -3 at most i?
True
Suppose 3*n = -409 + 1. Let k be 3*1 - n/(-40). Do 1 and k have the same value?
False
Suppose 4*b + 16 = 2*m, -2*m + 20 = 3*m. Let w = 1 - b. Is w greater than -2/11?
True
Suppose -w + 4*w - 222 = 0. Let f be 2/(-9) + w/(-72). Is 0 at most f?
False
Let b = -175 - -138. Which is greater: b or 3?
3
Let h(c) = -c**3 - 5*c**2 - 3*c + 4. Let t be 6/(-4)*6/3. Let g be h(t). Let k = 33 + -39. Which is bigger: g or k?
g
Suppose 0 = 2*n + n - 15. Suppose a = n*f - 3, f + a - 3 = 2*a. Which is greater: f or 1?
1
Let o = -223 + 435/2. Is -7 >= o?
False
Suppose 0 = 2*r - 0*r + 2*j, 4*j = 3*r + 7. Suppose 0*x - 2*x = 224. Let b = 1230/11 + x. Which is smaller: r or b?
r
Let d = 3525/417902 + 1/1874. Is -1 <= d?
True
Let t(g) = 3*g**2 - 7*g + 19. Let u be t(4). Which is smaller: 37 or u?
37
Suppose -5*t + 4*t - 6 = 0. Let b be 24/8 - t/(-2). Is 0 greater than b?
False
Suppose -5*s = -g - 119, 2*s - 3*g + 27 = 3*s. Suppose 3*u = -3*h - 24, 4*h + 2*u + 35 = u. Let i be (-4)/6 - s/h. Does -1 = i?
False
Let c = -0.4 - -1. Let q = c + -1. Let a = q - -0.9. Which is bigger: a or 1?
1
Let a = 2 - 5. Let l = a + 4. Let k(b) = b - 9. Let d be k(8). Is d less than l?
True
Let d(k) = 2*k**2 - 10*k - 9. Let v be d(6). Is 4 > v?
True
Suppose 0 = -4*f + 5*q, 0 = 3*f - 5*f + q. Let t be -2 + 0 + (-10 - -12). Is t at most f?
True
Let n = 0.3 + 0.3. Let q = n + 0.4. Which is greater: 5 or q?
5
Suppose -3*f - 3*t + 13 = f, 4*f - 21 = 5*t. Let x be -3*(f/(-12) + -2). Is 4 at least as big as x?
False
Let u be 35/(-10)*(-2)/7. Let w = 368/35 + -54/5. Is w less than or equal to u?
True
Let n(j) = j**3 - 7*j**2. Let z be n(7). Let u(s) = s**3 + 5*s**2 + 2*s + 6. Let g be u(-5). Let m be (g/35)/(6/(-15)). Which is smaller: m or z?
z
Suppose 0 = 4*v + 11 - 3. Let s be 2/((1 + 1)/v). Let d(q) = q**3 - 10*q**2 + 10*q - 11. Let t be d(9). Is t smaller than s?
False
Suppose 4*p + 13 = -2*k + 3, 0 = k + 5. Suppose -3*n = -y - 6*n - 17, 0 = -2*y + 2*n + 6. Let j be y + ((-10)/(-14) - -1). Is j smaller than p?
True
Let f = 3 + -1. Let l = f + 1. Let z = l - 4. Is 2/7 at least as big as z?
True
Let t = 2.1 - 14.1. Do t and -1 have the same value?
False
Suppose 0*j - 4*j = -b - 8, 0 = 2*b - 4*j + 4. Let a be 4/35*(-10)/b. Is 0 smaller than a?
False
Suppose -2*r + 27 = -q, 2*q = -3*r - 31 - 23. Let i be -3*(q/15 + 2). Which is bigger: 1 or i?
1
Suppose 0 = 2*d + 2*d + 20. Let o(s) = s + 9. Let h be o(d). Let v(z) = 5*z. Let i be v(1). Is h equal to i?
False
Let b = -16/11 - 7/33. Let t = 2 - 3. Is t at least as big as b?
True
Let z(t) = 2*t**2 + 4*t + 2. Let o be z(4). Let m be o/(-20) + 3/2. Let v = 1/39 + 4/13. Which is smaller: m or v?
m
Let j = 2 + 0. Suppose 1 = -3*y - j. Let h be ((-6)/(-9))/(2/(-3)). Is y smaller than h?
False
Let f be -3 + 15/7 + 2. Is 1 greater than f?
False
Let m = 14.68 - 22.6. Let q = -0.08 + m. Let s = -8 - q. Which is bigger: -0.5 or s?
s
Let a(k) = k**3 - 4*k**2 - 3. Let x be a(4). Let p = x + 2. Let f = 145/3 - 48. Does p = f?
False
Let c(l) = 7 - 6*l**2 + 7*l**2 + 0 + 9*l. Let p be c(-8). Which is bigger: p or -3?
p
Let r = 86 + -689/8. Let s = -0.1 + 0.2. Does r = s?
False
Let g = 436691/1670 - 700/167. Let o = g + -257. Is -1 equal to o?
False
Let v = 0.04 + 6.96. Let c = v - 10. Do -2 and c have the same value?
False
Let h be 2/8*(13 + -14). Suppose 2*a + 2*a - 12 = 0. Suppose 12 = -i + a*z, 3*z - 19 = -7. Are h and i equal?
False
Let x be (14/(-5))/((-22)/55). Suppose -3*j - 18 = u - 4*u, u - 5*j = 6. Which is bigger: x or u?
x
Suppose -210 = b - 15*b. Which is bigger: 6 or b?
b
Suppose 5*q = 11*q + 318. Is q > -55?
True
Let v be (1/3)/((-3)/(-18)). Is 20/9 >= v?
True
Let r = 8 + -8.1. Let z = -0.9 + r. Let w = 4 - z. Is -1/4 less than or equal to w?
True
Let j(x) be the second derivative of -x**3/6 - 3*x**2/2 + 3*x. Let w be j(0). Is -5/3 greater than or equal to w?
True
Suppose 2*g = -3*g + 3*l, l = 5*g. Let j = -91828 + 2385483/26. Let d = -157/2 - j. Which is smaller: d or g?
g
Let x = 44 - 48. Let q = -1 - 0. Is x smaller than q?
True
Suppose 0 = l + 1 - 4. Suppose -2*h - 3 = -l*h. Suppose -2*d - 4*n + 1 + h = 0, -5*d - 18 = -4*n. Which is smaller: d or 0?
d
Suppose -3*u - 2*n + 16 = -3*n, -13 = -3*u - 2*n. Suppose -4*m + 5*v = 24 - 5, 16 = -m + u*v. Does m = -2?
False
Suppose -5*i + 28 = -3*w, 3*w + 14 = -0*i - 2*i. Let q be (-56)/(-105) + (-4)/w. Is 1 less than q?
True
Let j = -23 + 14. Let s = -15 - j. Which is bigger: s or 0?
0
Let g be -21*((-2)/3 - -1). Which is smaller: -8 or g?
-8
Let z(k) = -k**3 - k**2 + 1. Let t be z(-1). Let a be -2 + 7/5 + t. Are 0 and a equal?
False
Let l = 10 - 5. Suppose -l*z = -0*z - 10. Let r be z/(-6) + 4/(-6). Is 0 at most r?
False
Let r(d) = -d**3 - d**2 + 2*d - 1. Let t = -1 - -2. Let j be r(t). Let a = 14.9 - 15. Are j and a non-equal?
True
Suppose -9 = -4*d - 25. Is 0 >= d?
True
Let v = 131/254 + -2/127. Do 0.04 and v have the same value?
False
Let t = -1.3 - -1.1. Are 0.01 and t nonequal?
True
Let f = 2 - 0. Let x = f - 2. Let i = -23/3 + 8. Which is smaller: i or x?
x
Let l be ((45/(-10))/1)/(6*1). Which is bigger: l or -2/11?
-2/11
Let b be (-13)/(-11) + -1 + (-1520)/8844. Is -1 != b?
True
Suppose 3*n + 6 = -4*p, 3*p + 2 = -p - n. Suppose 5*t + 4*a - 40 = 0, -5*t + 3*a + 1 = -4. Suppose t*c + 0*c + 12 = p. Which is smaller: c or -1?
c
Let f = -11.93 - -12. Let d = -1.83 - -1.6. Let w = f - d. Which is smaller: w or 1?
w
Suppose -3*c + 7*c = -2*m - 6, 2*m + 4 = -2*c. Is c less than -1/25?
True
Suppose -2*v = -3*r + 9, 2*v + r + 3 = -2*r. Let i be v/3 + 0/2. Are -2/7 and i non-equal?
True
Let l be 36/27*6/4. Suppose 0*f + l = f. Which is smaller: 13/5 or f?
f
Let a = -301 + 299.49. Let z = a - -1.6. Is 1 less than or equal to z?
False
Let x = 58/13 - 548/117. Suppose 4 = -2*f - 8. Let z be (15/f - -2)*-2. Do z and x have the same value?
False
Let y = 15.4 - 3.4. Which is smaller: y or -1/4?
-1/4
Suppose -7 = -3*m - 1. Suppose 2*k = 7 - 3. Suppose -m*u - 3*u = -5*d - 35, -3*u + 16 = -k*d. Does -4 = d?
False
Let n = 0 + 2. Suppose n*l + 18 = 6*k - k, -l - 15 = -4*k. Suppose -k*o - 5 + 15 = 3*r, -5 = -3*r + o. Are 8/7 and r unequal?
True
Let n be 172/(-36) - -3 - -2. Is 0 at most as big a