er: w or b?
b
Let s(c) = -6*c + 4*c - 2*c. Let z be s(-2). Let g be (-6)/70 - z/(-28). Which is greater: -1 or g?
g
Suppose -79*d + 38 = -77*d. Let m = d - 10. Does m = 9?
True
Let a = -1076 + 1046. Which is bigger: a or 8?
8
Let b = 63 - 30. Suppose 4*q = b + 3. Suppose 24*s - 60 = 18*s. Is s at least q?
True
Suppose -3*i - 30 = -9. Let k = -29.3 + 29.3. Which is smaller: k or i?
i
Let u = 751.013 - 751. Is u at least -1?
True
Suppose 0 = -52*j + 36*j - 4736. Which is bigger: j or -295?
-295
Let i(m) = 4*m + 16. Let s be i(-6). Let r be (9/6)/(s/(-16)). Suppose 0 = 3*p - u + 8, -r*p - 2 - 3 = -4*u. Do p and 0.4 have the same value?
False
Let l be 3*(12/(-9) - 0). Let b be ((1 - 2) + 4)*l. Let m = b + 16. Which is greater: m or -0.1?
m
Let n(m) = -m**2 + 7*m + 6. Let p be n(6). Let s(r) = -r**2 + 12*r + 4. Let u be s(p). Let k = -5 - -10. Which is smaller: u or k?
u
Suppose j - 2 = 27. Let h = j - 29. Are 1/30 and h non-equal?
True
Let v(g) = -3*g**2 + 8*g - 2. Let c be v(-3). Let q = 96 + c. Which is greater: 44 or q?
44
Let j be (44/66)/((-10)/3). Which is smaller: j or 30?
j
Suppose 0 = 4*c - 16, -h = c + c + 113. Is -123 smaller than h?
True
Let c(q) be the second derivative of 1/3*q**3 + 4*q**2 + 0 - 5*q. Let d be c(-4). Are -1 and d equal?
False
Suppose 0 = 4*w - 369*j + 366*j - 3407, -w = -4*j - 868. Which is bigger: w or 847?
w
Let h = 47.3 + -44. Let n = h - 3.4. Let r = -0.6 + 3.6. Is r greater than n?
True
Let r = -16 + 11. Let p = -24.49 - -0.49. Let z = 22 + p. Which is greater: r or z?
z
Suppose 3*t - 273 = 3*h, -18*t + 13*t + 179 = -2*h. Which is smaller: -91 or h?
h
Let r = 293 + 276. Do -1 and r have the same value?
False
Let k = 4.46 + -2.46. Is 0.06 greater than or equal to k?
False
Let y = 7013753695/1718 + -4082511. Let h = y - 378889/355626. Let s = 5/69 + h. Is -2 smaller than s?
True
Suppose 0 = 3*w + 54 - 12. Let n be (-4)/(-12)*72/w. Suppose 0*g + 5 = -2*v + g, -4*g = 2*v + 10. Which is bigger: n or v?
n
Let q = 46 + -45. Which is greater: -2/619 or q?
q
Let u(q) = 28*q - 3. Let n be u(1). Are n and 24 equal?
False
Suppose 0 = -q - 4*q + 10. Suppose 5*i + 2 = q*x - 9, -4*x + 2*i + 14 = 0. Let o be (-238)/21 + 1/x. Which is bigger: -12 or o?
o
Let h be -6*(529/(-2) - -2). Is 1575 less than h?
False
Let i be (-156)/26*(-4)/(24/9). Is 58/7 at least i?
False
Let f be 2 + (2/(-12) - 1). Let a = 182.1 - 182. Which is smaller: f or a?
a
Suppose 2*n - 4 = 2*s, -2*s + 8*n - 7*n = 0. Are 4/7 and s unequal?
True
Suppose -2*g - 1 = -3. Let h = 563/11100 + 1/300. Is g at most h?
False
Let y = 0.7 - 1. Let u = 3.7 - y. Let x = u - 0. Is x not equal to -2?
True
Let s = 242 + -271.8. Let w = -30 - s. Which is greater: w or -0.7?
w
Let i(m) = m**2 - 16*m - 28. Let s be i(14). Is s smaller than -57?
False
Let p(l) = -10 + 22*l + l**2 - 7 + 9*l + l**2. Let d be p(-16). Suppose 4 + 4 = -3*i + 2*s, -i - 3 = -s. Is i smaller than d?
True
Let c = -5 - -9. Let i(f) = -3*f**2 - 3*f - 7. Let r be i(-3). Let q = -20 - r. Are q and c non-equal?
True
Let h be (-1 + -2)*(1 + -2). Let c(j) = j**2 - 7*j + 6. Let u be c(8). Let z be 18/u + (-6)/6. Is h less than or equal to z?
False
Let d(k) = 5*k + 5. Let n be d(5). Let a be ((-1)/4)/(84/(-16) + 5). Let o be a/(-15) - (-6)/n. Which is bigger: 0 or o?
o
Suppose -4*i - i = 3*b + 797, 0 = -5*i + b - 781. Are i and -159 equal?
False
Suppose 3*u = 2*m - 22, -11 = 2*m - 5*u - 25. Which is smaller: 38 or m?
m
Let u(f) = 2*f - 2. Let x be u(-2). Let m be 6 - 0 - x/(-9)*3. Which is bigger: 3 or m?
m
Suppose 0 = -c - 4*h, 5*c = c - 3*h - 65. Suppose 3*u = 5*u + 4*t - 18, -2*u + 12 = t. Suppose 2*m = -s - 37, 4*m = -m - u*s - 85. Is m < c?
False
Let p(u) = -u**3 + u**2 + 5. Let c be p(0). Suppose 9 = -a + 5*b + 32, -c*a - 25 = 3*b. Let i be 4*a/(-14) + -1. Which is smaller: i or 0?
i
Let p be (4 + -5 + 291)/(-2). Does p = -142?
False
Let f = 75310/31 + -2429. Which is bigger: 1 or f?
1
Let t = -3796 - -163209/43. Is 0 greater than or equal to t?
True
Suppose -2*n + 25 = -z - 2*z, -2*n = 2*z. Let h be (-36)/(-9)*n/(-2). Let s be (-1)/((-20)/22 - -1). Which is greater: s or h?
h
Let g(l) = 2*l**3 - 6*l**2 + 2*l + 9. Let u be g(3). Is u equal to 26?
False
Let j be 624/(-30) + (-12)/(-15). Which is bigger: j or 1/12?
1/12
Suppose 3*w + 20 = -4*r, 3*r + 31 + 5 = 3*w. Let b be -12 - r - 2*2. Which is smaller: -0.1 or b?
b
Let m = -215/504 - 1/56. Are 1.2 and m non-equal?
True
Suppose 12*p = 10*p + 2. Let f(o) = 2*o - 2. Let j be f(p). Suppose s = -0*s + 2. Which is greater: s or j?
s
Let c be (-34)/(-9) + 2/9. Let n be (-80)/(-36) - (-2)/(-9). Does c = n?
False
Suppose 0 = -13*b - 11 + 24. Which is bigger: b or -1/870?
b
Let n be 188/2*(-6)/12. Which is bigger: -49 or n?
n
Suppose -20 = -2*x - 2*n, 3*x + 3 - 28 = 2*n. Suppose -x = -2*k + 1. Suppose -b + z - 1 = 0, k*z = z + 8. Is -2/71 at most as big as b?
True
Suppose -2*k - 3*k = 0. Suppose k*o - 30 = 3*o. Let f(s) = -s**3 - 10*s**2 - s - 10. Let j be f(o). Which is smaller: 1/17 or j?
j
Let w = -1.17 + 0.17. Which is bigger: w or -147?
w
Suppose 4*o + 959 = 5*l, -o + 5*l - 236 = 3*l. Is -247 < o?
True
Let z = -239 + 294. Which is smaller: z or 53?
53
Let h = -0.7 - -1. Let r = -5402 + 5398.991. Let f = -0.009 - r. Which is smaller: f or h?
h
Let n be (-9 - 9558/(-1197)) + 1/(-7). Which is smaller: n or 0?
n
Suppose -2*y - 4*f = -8, -2*f = -0*f - 8. Let p be 2 + -1 + 5 + y. Are 0 and p equal?
False
Let n = 186.28 - 185.9. Let h be (-4)/(-6)*(-3)/6. Which is bigger: n or h?
n
Suppose 3*n - 144 = -3*n. Let k be n/(-32) - 6/(-8). Is -4 less than k?
True
Let h(c) be the second derivative of c**5/60 - 7*c**4/24 - c**3/6 + 2*c. Let t(u) be the second derivative of h(u). Let n be t(6). Which is greater: 11/3 or n?
n
Suppose 422 = -5*f - 73. Let d be f/105 - (-4 + 3). Is d at most as big as -1?
False
Let i be ((-1)/(-20))/(5/8). Let h be -5 - (86/(-21) - 16/(-168)). Are h and i equal?
False
Suppose 3*h - 263 = 4*t, 3*t = 2*h - 7 - 168. Let b = 140 - h. Which is bigger: b or 0.1?
b
Let b = -841.9 - -842. Which is bigger: b or -0.69?
b
Suppose -15*f + 29*f = -140. Is f at least as big as 0.7?
False
Let o(d) = -10 - 3 + d + 5 - 1 + d**2. Let k be o(-5). Is k at least as big as 13?
False
Let b be (16/(-20))/((-10)/(-25)). Suppose 2*r - 6*r = 0. Which is smaller: b or r?
b
Let a = 11 - 7. Suppose 0*u = 4*u + 2*t + 2, -3*u + a*t = -15. Let y be 3/((-12)/8) - u. Which is smaller: y or -2?
y
Suppose -10*q = 2*w - 8*q, 2*w = 5*q + 14. Which is greater: w or 104?
104
Suppose -7*b + 3*q = -2*b - 55, 5*b - 60 = 2*q. Suppose b = -a + 4*p, -66 = 2*a + 2*p + 2. Let c be -3 - (-3 - 3/a). Which is smaller: c or 2?
c
Let c = 28 + -19. Suppose 0 = y - 4 + c. Is y > -3?
False
Let q be (-2)/(-10) - 72/(-15). Let z be ((-1)/(-3))/(q/60). Suppose -2*u = 2*u + z. Which is smaller: u or 1/3?
u
Suppose 6*n - 50 = d + 3*n, -3*n + 9 = 0. Let p = d + 83/2. Is -0.07 at least as big as p?
False
Suppose 82 = -5*n + 7. Let g be 6/45 + 92/n. Let s be -1 + -2 + g/2. Is s > -14/3?
False
Suppose -y = -v + 1, 5*v - 5 = 5*y - y. Let k(w) = -8*w - 43. Let r be k(-6). Which is greater: r or y?
r
Let s = -1743/4 + 436. Are s and 381 unequal?
True
Let x = 336041/16 - 21011. Is -7 != x?
True
Let l be (2 - 4) + (-3)/(-2). Suppose -2*w + 1 = -3*w, 0 = -3*q - 4*w - 46. Let o = q - -14. Is l at most o?
True
Suppose -36*f + 96 = -44*f. Let c be (-1 + 35)/(4 + -7). Is f != c?
True
Suppose -s - 2 = -12. Let z(q) = 2*q**3 - 13*q**2 - 6*q + 3. Let w be 4/(-10) - ((-7)/5 - 6). Let k be z(w). Is k < s?
False
Let n = 0.67 - -35.33. Let b = n - 38. Which is bigger: -1 or b?
-1
Let u = 4 + -1. Suppose c + 4*f - 25 = -7, -5*c + 5*f = 35. Let l be -5*(5/(75/(-35)) - c). Which is bigger: u or l?
u
Let a be (194/58 - 3)*(-12)/8. Let q = 1615/319 + a. Is q != 5?
True
Let k = 0.41 + 1.39. Is k greater than 1/7?
True
Let i be ((-40)/3395)/4*(-8)/8. Which is greater: 1 or i?
1
Let s = 1459 + -548. Suppose 7*x - 85 + s = 0. Which is smaller: x or -119?
-119
Let r be (4 - (-2 + 2)) + -1. Suppose 0 = -a + 4*u - 16, -r*a - 16 + 0 = -4*u. Which is smaller: -2/51 or a?
-2/51
Let r = -26 - 1. Let l = 90.2 + -114.2. Let n = r - l. Is n less than 1?
True
Let n be (-496)/372*(-15)/4. Let h(w) = w**3 + 3*w**2 + w + 2. Let v be h(-2). Is n gre