w(15). Is y greater than 39?
True
Let d = 174 - 136. Which is bigger: 3 or d?
d
Suppose -1463 = -22*w - 36*w - 19*w. Let x = -35 - -58. Which is smaller: x or w?
w
Let z = -1861 - -1997. Which is greater: 133 or z?
z
Suppose 0 = 2*f + 2, o + 0 + 4 = 5*f. Let b be 167/(-20) - o/12. Which is greater: -8 or b?
b
Let d(u) be the first derivative of -u**4/4 - 2*u**3 - 3*u**2/2 - 5*u - 43. Let h be d(-5). Which is bigger: 3 or h?
3
Suppose -p = -3*a + 12, 0 = 2*a + 2*p - 4*p - 4. Let n(q) = -5*q + 8*q - 5 + a*q + q**2. Let m be n(-8). Which is smaller: m or -3?
m
Let u(b) = b**3 - 16*b**2 + 15*b. Let n(t) = -t**3 - 2*t**2 - 3*t - 3. Let s be n(-2). Let i be 176/12 + 1/s. Let g be u(i). Which is greater: 1/9 or g?
1/9
Let a be 6/15 + 118/5. Let c = a + -22. Suppose -3*x = -8 + c. Is x >= -0.02?
True
Suppose 0 = -4*t + 2*l - 14, 8 = 6*t - 9*t + l. Let r = 1574/11 - 143. Which is smaller: r or t?
t
Suppose y = -4*p - 16, -3*p + 2 = 5*y - 3. Let c be p/20*2/5. Is -1 at most as big as c?
True
Let v(f) = f + 6. Let j be v(-6). Suppose 4*u = u - j*u. Which is smaller: u or -1/14?
-1/14
Suppose 2996 = 4*i - 0*t + t, -t = i - 752. Which is bigger: i or 747?
i
Let y = 0.248 - 1.248. Is y bigger than -24?
True
Let i = -0.1042 - -0.1662. Let k be 3/7 - (-9)/(-21). Is i at least as big as k?
True
Let a be 3*(-1)/(3/(-8)). Suppose 0 = 2*q - 0*q - a. Let r be 29/q - 7/28. Which is smaller: 6 or r?
6
Let b = 612 + -613. Which is smaller: -1/200 or b?
b
Let m be (-21)/(-2)*(-16)/(-12). Let a = 29 - m. Do a and 16 have different values?
True
Let i(v) = -5*v + 4. Let j be i(0). Suppose 28 + 25 = h. Let k be (-5)/(-10)*j/h. Are k and 2/3 unequal?
True
Suppose -2*a = 5*q - 47, -3*a - 34 = -4*q - a. Suppose 2*v - 5*g - 23 = -0*v, 0 = -3*v - 4*g. Suppose q*p + 155 = v*p. Which is smaller: -30 or p?
p
Let k = -4 - -10. Let c be 12/(-15) - k/15. Let r(h) = -h - 10. Let g be r(-9). Which is smaller: c or g?
c
Let r(o) = 30*o - 11. Let t be r(5). Suppose 4*k - 73 = t. Is 52 less than k?
True
Let d(j) = -j**3 - 6*j**2 - 2*j + 10. Let q be d(-5). Let n be (-68)/q + (-114)/190. Are 14 and n nonequal?
True
Let c(z) be the first derivative of z**2 + 15*z - 1. Let i be c(-7). Let v be 0/(i/1) + 10. Which is greater: v or 11?
11
Let r = -1062 - -5292/5. Suppose -2*y = y - 12. Let d be 3/(-3 + y + -2) - 0. Is d greater than r?
True
Let o be ((-4)/6)/(14/(-1827)). Suppose -3*v + o = -3*h, -3*v - h + 158 = 63. Is v smaller than 30?
False
Let k = -220 + 136. Let r be (-56)/k*48/(-10). Does -3 = r?
False
Let u be (785/(-15) - 0) + 3/9. Which is smaller: -55 or u?
-55
Let n(i) be the third derivative of -9*i**4/8 + i**3/3 + 34*i**2. Let p be n(1). Which is smaller: -23 or p?
p
Suppose 2*v = -0 + 2, 0 = -2*y - 2*v - 6. Let d(i) = -i**3 - 6*i**2 - 2*i - 8. Let n be d(-6). Suppose -5*b - 6 = n. Is y smaller than b?
True
Suppose 0 = 2*t - t - 5. Suppose 5*j = -4*d + 36, -2*j - 2*d + 21 = -7*d. Is j at least t?
True
Let k be (-2)/(-24)*(-24)/15. Let d be (2 - (-1)/(-1)) + 0. Is k greater than d?
False
Let f be -4 + 4 + 0 + 2. Suppose 0 = 12*z - 10*z - f. Let t be -4*2/10 + z. Which is bigger: t or 0?
t
Suppose 3 = 2*m - 5*m. Suppose j + 3 = -1. Let x be ((-12)/j + -3)/m. Which is bigger: 2/5 or x?
2/5
Let v be 3/(9/10) - (-4)/6. Is v at most 9?
True
Let v be 2/6 - 38/6. Let k be (1 - 14/v)*-3. Suppose -4*l - 21 = 19. Are k and l equal?
True
Let v be (-3)/18 - 1 - -2. Suppose -4*w = -3*l + 1 + 3, 12 = 4*l - 4*w. Let b(q) = q**2 - 7*q - 7. Let u be b(l). Are v and u equal?
False
Suppose -2*s + 16 = 4*t, -6*s = -4*s - 8. Suppose 0 = -3*n - a + 3, -3*n + 3*a - 3 = t*a. Is n at least as big as 6/23?
False
Let x = 0.1612 - 0.0262. Which is smaller: -0.1 or x?
-0.1
Let k = 3.3 + -0.3. Let j = 23.77 + -24. Let m = j + 2.23. Is k less than or equal to m?
False
Suppose 0 = 4*s + 4*x - 12, 4*x = -0*s + s + 7. Let r be ((-140)/(-50))/(s/5). Let t be 27/18 - 17/r. Is t >= 1.4?
False
Let z be -30*7*(-33)/11. Which is bigger: 631 or z?
631
Suppose 5*t + 3*i + 1 = -17, 18 = -t + 3*i. Let q be (-14)/4*3/(t/20). Is 2/7 at most q?
True
Let c = 0.28 - 0.38. Let p = -0.4 + 0.5. Let z = 3.1 - p. Which is smaller: c or z?
c
Let g be -1 + 5 + (3 - 303/45). Do 1 and g have the same value?
False
Let a(t) = -4*t - 54. Let s be a(-13). Let z be s + (5/(-25))/(2/(-16)). Which is bigger: -3.8 or z?
z
Suppose 17*o - 22*o - 486 = i, 4*o = -2*i - 960. Is i >= -476?
True
Let v be 46/(5*77/1210). Is v less than or equal to 145?
True
Let w be (-2)/36*(-1 + (-164)/(-40)). Let q = -1/20 + w. Is 2/5 > q?
True
Let y(w) = 5*w + 2 - 6*w - 5*w - 6*w. Let i be y(1). Is -10 > i?
False
Let l = 1744 + -1716. Which is bigger: 7 or l?
l
Let f = 3814 - 369952/97. Is -1 smaller than f?
True
Let c be ((-5487)/(-248))/(1/12)*2. Is 529 < c?
True
Let b = -141 + 142. Which is smaller: 2/2637 or b?
2/2637
Suppose 13 = -23*f - 10. Is 19 greater than or equal to f?
True
Let s be (3/882)/(2/6). Suppose -k - h - 4 = 2*k, -5*h - 3 = -2*k. Do k and s have the same value?
False
Let k = 131 + -144. Is k at most -0.05?
True
Let u be ((-3)/(18/21))/(21/(-84)). Suppose -4*v + 22 = t, 0*t - 6 = -3*t. Suppose -v*w - 2*q = -59, 4*q = -0*q - 12. Which is smaller: w or u?
w
Let w be -3*-17*(3 - 2). Suppose -u - w = -x, x - 34 - 26 = -2*u. Let b be (1/(-3))/((-3)/x). Is b <= 5?
False
Suppose 0 = 2*y - 341 + 241. Is 51 at most as big as y?
False
Let k(o) = -4*o**2 - o - 1. Let l be -1 - (0 + -3 - 0). Let u be k(l). Suppose r + 100 = -5*c, 5*r = 5*c + r + 100. Is u at least c?
True
Suppose 0 = 3*b + 4*s + 8 + 2, 2*s - 6 = 4*b. Which is smaller: -25/13 or b?
b
Suppose 0 = -5*i - 3 - 27. Let j = 13/230 + -551/1610. Which is smaller: j or i?
i
Let q be (-168)/(-72)*2/91. Which is greater: q or -11/4?
q
Let f(r) = 4*r + 36. Let j be f(3). Is j not equal to 45?
True
Let w be -39 + 10/(-2) + 4. Is w bigger than -124/3?
True
Let m = 20.6 + -20.9. Let f = -7.09 + 0.09. Is f at least as big as m?
False
Let h = -255662/153 - -1671. Which is bigger: 0 or h?
h
Let d = 1461.1 + -1461. Is -178 bigger than d?
False
Let v(j) = -j**3 + 25*j**2 + 28*j - 34. Let m be v(26). Suppose -5*y + 55 = 3*n + 2*n, -5*y = -n - 85. Let d = y + 3. Does d = m?
False
Let a = 3/23 + -67/161. Suppose 4*s - 36 = 2*z, 0 = 2*s + 2*z - 32 + 26. Is s >= a?
True
Suppose 1407 = p + 5*f, -2*p + 6*p - 5649 = f. Which is bigger: 1413 or p?
1413
Let k = -269 - -322. Which is smaller: k or 55?
k
Let f(l) = -3*l**2 - l + 5. Let r be f(-4). Let g = 32 + r. Suppose 5*m = 2*i + i - 2, 3*i + 3*m + 30 = 0. Which is smaller: g or i?
g
Let c(g) = g**2 + g - 14. Suppose -3*w + j - 3 = -2*w, 0 = -2*j - 2. Let r be c(w). Which is smaller: r or -13/7?
r
Suppose 2*v = 2*j - 26, -3*j + 0*v + 4*v + 38 = 0. Let f be 1 + 5 + (-5)/(20/(-32)). Are f and j equal?
True
Let n be (-87)/(-9) - (-8)/(-12). Suppose -n - 19 = 4*a. Which is greater: -9 or a?
a
Let a = 327 + -325. Which is bigger: 260 or a?
260
Let v be -1 + -8*3/(-108). Which is greater: -2 or v?
v
Let d be (-17552)/6*2/(-24). Let g = d - 244. Is g at least as big as -0.06?
False
Let z be (-40)/(-24)*(-6)/20. Is 46 at most as big as z?
False
Let m(v) = v**3 - 7*v**2 + 9*v + 4. Let i be m(5). Is i at most as big as 2/185?
True
Let q be 3/(-9) - 33/9. Let z = q - -4. Let w = 473/342 - 23/18. Is w equal to z?
False
Let t be (8962/(-1790) + 5)/((-3)/10). Let u = t + 2307/895. Is u < 3?
True
Let c be (89 - 2)/(2/54). Let g be 1/3 - 702/c. Is g > 0?
True
Let j = -0.051 + 13.051. Let q = 12.9 - j. Is 1/11 at most q?
False
Suppose -122 = 3*l - 41. Let u = 46 - -2. Let q be (-3)/(-4)*u/l. Which is smaller: q or 3?
q
Let c be (1/(-3))/(8/24). Suppose 0 = -7*q + 11*q + 12. Which is bigger: c or q?
c
Let v = 17816/7 + -2550. Is -5 <= v?
True
Let x = -2.7 + 3. Let i = x + -0.2. Let b = -128 + 127. Is b at most as big as i?
True
Let c = -118 + 101. Let x = c - -2. Which is smaller: x or 2/3?
x
Let d be 5/4 - (-19 + 20). Suppose -4*f + 4 = -r, 7*r = 6*r - 2*f + 2. Which is bigger: r or d?
d
Let a = 815/637 - 25/49. Which is greater: a or 2?
2
Suppose -20*l - 12 = -23*l. Suppose 0 = -5*d + 3*h + 1, -l*d + 2*h + h - 1 = 0. Let w be (d/(-6))/(33/(-9)). Which is greater: -1 or w?
w
Let p be (3 - 9/6)/(-4 - 17). Which is smaller: p or 1/78?
p
Let z(l) = l + 3. Let f be z(-3). Suppose -5*t -