r 4/87?
w
Let u be 9 + 4/6*-6. Suppose 15 = u*w - 4*q, w + 3*q = -0*q + 3. Is 3/2 at least as big as w?
False
Suppose -66 = -5*p + 3*t, p - 4*p + t = -42. Suppose -p - 1 = -4*f + 4*k, -k = 5*f + 4. Suppose f*u = -2*u - 28. Is u >= -15?
True
Let h = -674 - -1329. Let j be (h/(-75) - -6) + 4/10. Which is bigger: 0 or j?
0
Let o = 807/5 + -162. Let d be 3/(-6)*-22*1. Suppose 0*q - 5*c = 2*q - d, q - 5*c = -17. Which is smaller: o or q?
q
Let b be -1 + 63/12 + 1/(-4). Suppose 12 = -b*c, -5*i + c - 3*c - 31 = 0. Is i less than or equal to -3?
True
Let g = 137.1 - 137. Let b = -0.66 - -0.06. Do b and g have the same value?
False
Let x(l) = -3*l**3 - 2*l**2 - 8. Let q(k) = -k**3 - 1. Let o(j) = 4*q(j) - x(j). Let y be o(0). Is 4 < y?
False
Suppose 4*p + 32 = -80. Let m be (-20)/p*(-2)/(-5). Let y = -541 - -522. Is y less than or equal to m?
True
Let o = -18 - -18. Suppose -7 = s - o*s. Which is smaller: s or -8?
-8
Let p = 308 + -326. Suppose 2*c + 6 - 2 = 0. Is c > p?
True
Suppose 0 = 4*n - 5*n - 25. Let i = 11647 - 11671. Is i >= n?
True
Suppose -3*g = 4*n + 11, 3*g - 18 = 5*n + 16. Let w(c) = c**2 - 9*c - 1. Let z be w(g). Is -18 greater than or equal to z?
True
Let v be 3/((-4)/((-28)/(-49))). Is 5/3 != v?
True
Let t = 83 - 88. Which is smaller: -27/7 or t?
t
Let q = -1.6 + 16.6. Suppose k = 5*a - 3, 4*k + 0*k = -a + 9. Is a <= q?
True
Let c = -6726 - -73914/11. Which is smaller: -6 or c?
c
Let o(l) = -17*l**3 + 4*l**2 - 7*l - 9. Let b be o(4). Is b bigger than -1061?
False
Suppose -16 = -2*b + 28. Let p be b/10 + 4/(-20). Let g = -105 + 528/5. Which is smaller: p or g?
g
Let r be (-3)/15 - 41/(-5). Suppose -r*b = -7*b. Let d be 3 - (b - (-5)/2). Is d bigger than 1?
False
Let i(q) be the first derivative of q**4/4 - 5*q**3/3 - q**2 - 2*q + 4. Let h be i(5). Let w = -44/3 - h. Does w = -2?
False
Let h be (-3 - 38) + 1 + 3*-1. Let q = 28 + h. Which is smaller: -27/2 or q?
q
Let k(n) = n**2 - 12*n + 15. Let r be k(11). Suppose 2*d + v + 31 = 0, -4*d + 3*d = r*v + 26. Let z = 19 + d. Which is smaller: 3 or z?
3
Let m = 101312/13 - 4266739/546. Let c = m + 133/6. Suppose 5*l = -s - 2*s + 15, 2*s = -5*l + 10. Which is smaller: c or l?
l
Let z = 22.162 + -17.9608. Let k = z + -0.0312. Let p = -0.17 + k. Do p and 0 have the same value?
False
Let b be 2*1*(-7 - -10). Let l be (2/4*-5)/(b/(-36)). Which is greater: 17 or l?
17
Let a be (8/(-708))/((-4)/(-12)). Suppose -3*g = -2*t - 11, -4*t + 2*g - 5 - 5 = 0. Which is smaller: t or a?
t
Let h be (4/(-10))/(96/(-120)). Which is bigger: h or 275?
275
Let t(p) be the first derivative of -7 + 1/3*p**3 - 3*p + p**2. Let f be t(-3). Is -2 at most as big as f?
True
Let f = -5 + 9. Suppose 4*h - 4*l + f = 0, 0 = h + h - l - 1. Is 1 greater than or equal to h?
False
Let s(t) = t**3 - 3*t**2 - 4*t. Let v be s(4). Let f = -94/27 + 10/3. Let o = -1/54 + f. Which is smaller: o or v?
o
Suppose -3*m + 4*v = 50, -3*m - 57 = -0*m + 3*v. Let t be 28/10*10/m. Which is bigger: t or -1?
-1
Suppose 0 = 14*v + 902 + 134. Is v not equal to -73?
True
Let y = 15 + -16. Let n be 17 - y/((-3)/6). Let v = n + -31/2. Is -1/6 less than or equal to v?
False
Let i = -39 - -61. Suppose -11*o = -i - 649. Are 60 and o nonequal?
True
Let t = 0.6 - 10.6. Let v = 9.99 + t. Which is bigger: 1/3 or v?
1/3
Let d = 46.89 - 46.8. Let x = 0.2 + -0.4. Which is smaller: d or x?
x
Let m be (-2)/(5 - (4 + 2)). Suppose 3*j - 4*g + 20 = -m*j, 3*j + 5*g = 25. Is j > 3/4?
False
Let j be 14/49 + 5/7. Let p be j - 20/(0 - -4). Let m = -1 - p. Is 4 at most as big as m?
False
Suppose 5*y - 4*n - 44 = 0, 4*y - 7*y - 2*n = -22. Is 7 at least as big as y?
False
Let j = 4 + 1. Let y = 27 + -19. Let d = y - j. Which is bigger: d or -2/9?
d
Let w = 7 - 2. Let n be 2865/105 + (-2)/7. Suppose 11 = -4*v + n. Is w smaller than v?
False
Suppose -g + 27 + 2 = 0. Suppose g = 3*s + 86. Let j = s - -321/17. Do 0 and j have different values?
True
Let k be (12 - 10)*118/4. Let d = -70 + k. Which is smaller: d or -9?
d
Let d(s) = -s**2 + 3. Let y be d(0). Suppose 2*b - 89 = y*x, x - 3*b + 33 + 6 = 0. Is x equal to -27?
True
Let f = 703241/17 - 41355. Let b be -25*(-13)/((-221)/8). Let o = b + f. Does o = -1?
False
Suppose 3*b + 50 = -9*r + 5*r, -5*r = 3*b + 52. Let n be (19/57)/(b/36). Let o(h) = h**3 - 5*h**2 + 5*h - 6. Let s be o(4). Which is bigger: s or n?
n
Let k = -26 - 4. Let a = -29 - k. Let s be (-1)/(1 - 18/4). Which is bigger: a or s?
a
Let h be (-8)/(80/(-110)) + -14. Let g = -590/3 - -195. Which is bigger: h or g?
g
Let t be (-3)/(156/(-151)) - 3/4. Let y = 229/52 - t. Which is greater: y or 3?
3
Let j = -416/9 - -2962/45. Is 21 at least as big as j?
True
Let j(g) = -g**2 + 15*g - 27. Let u(k) = -k**3 - 9*k**2 - 10*k - 4. Let a be u(-8). Let o be j(a). Which is smaller: -1 or o?
-1
Let q = 1765.9 - 1766. Which is smaller: q or -91?
-91
Let r be (74/(-12) - (17 + -23))*-2. Which is bigger: r or 0.17?
r
Let q = 5/234 - 127/468. Let w = 20 - 12. Which is smaller: w or q?
q
Let w(k) = -k**2 - 7*k. Let s be w(-7). Let n(j) = 21 + s*j**2 - 3 + 2*j**2 + 17*j - j**2. Let y be n(-15). Is y less than or equal to -10?
True
Let n(r) = -r**3 - 4*r**2 - 2*r + 3. Let x be n(-3). Suppose x = -18*h + 13*h. Let j be ((-3)/(-2))/(10 - -2). Which is bigger: j or h?
j
Let q = 21.8 - -20.2. Which is bigger: -0.1 or q?
q
Let t(v) = -v**3 - 10*v**2 - 9*v - 1. Let x = -6 - 3. Let a be t(x). Let g = 30 - 23. Does a = g?
False
Suppose 3*w + 0*c - c = 305, c = -2*w + 200. Suppose -4*l = u + 87, 5*l - 3*u + w = -12. Are l and -22 equal?
True
Suppose 1 = 2*a + 5. Let z be (a - -4)*(-3)/(-135). Let n(x) = x**3 - 5*x**2 + 5*x - 3. Let p be n(4). Is z greater than p?
False
Let w = -477 - -483.3. Which is smaller: -1 or w?
-1
Let d = 40 + -35. Let l be (-30)/d*3/(-15). Let t be (-2)/18*-3*3. Is l equal to t?
False
Let k = 0.06 + 1.94. Let n = -1.8 + k. Let w = 102 - 101. Which is greater: n or w?
w
Suppose -u - 5 = -4*i + 14, 5*u = 5. Suppose 0 = 3*v, -b - 5*v = -i*b. Let c be 33/(-21) + b + -1. Which is smaller: c or -3?
-3
Let k be (-647)/81 + 184/23. Are k and 0 non-equal?
True
Let z = 220 + -219. Is -1/211 less than or equal to z?
True
Let b be 2 - (-1 + -1 - -1). Suppose b*t + 6 - 21 = 0. Let a be 1*(-12)/(-8)*2. Is t at least a?
True
Let q = -5 + -2. Let s(z) = z**2 - 35*z - 400. Let k be s(-9). Is k at least q?
True
Let t be (-10)/3*6/48*-27. Let u = t + -11. Let s = -1.95 - -2. Which is greater: s or u?
u
Let o be 12/(-1 + 225/(-72)). Which is smaller: -2 or o?
o
Let h = -2.9873 + -0.0127. Is 52 equal to h?
False
Let z = -38931/44603 + 63/73. Let v = z + 6164/5499. Let m = 4 - 3. Are v and m unequal?
True
Let a = 3/20 - -11/60. Let s be (28/(-6))/(1/(-3)). Suppose 0 = -s*h + 16*h. Which is bigger: a or h?
a
Let j(r) = -r**2 - 19*r + 30. Let m be j(-18). Which is smaller: 45 or m?
45
Let g be -226*15/20 - (-4)/(-8). Is g >= -171?
True
Suppose -4*a + 1130 = a. Let g = 406 - a. Let x be g/(-385) - 4/(-14). Which is greater: 2 or x?
2
Let h be -2*1/(-2) - 19. Let a = 31 + h. Do 14 and a have different values?
True
Let x = -23866885 + 98403168271/4123. Let a = x + -6/217. Let g = 43/76 - a. Are g and 0 nonequal?
True
Let z be ((-21)/(-2030))/(6/10). Let a = -5 + 5. Which is smaller: a or z?
a
Let q be ((-2)/28)/(1/44). Let v(j) = -240*j + 3117. Let i be v(13). Which is bigger: i or q?
i
Let s = -0.4 - 0.6. Let a be (-10)/2 - 1/((-3)/16). Which is smaller: a or s?
s
Let a = -2 + 25. Let k = a + -13. Let x(d) = 3*d - 17. Let r be x(6). Which is smaller: r or k?
r
Let y = 2473 - 1105432/447. Which is smaller: y or 0?
y
Suppose 3*w - j - 6 = 0, 15*w - 4*j - 6 = 12*w. Which is smaller: 42/19 or w?
w
Suppose -2*m = -m - 12. Suppose -4*n - 40 = q - 70, -3*n + 29 = 4*q. Suppose 10*o + m = n*o. Which is greater: o or -6?
o
Let m = 2914/15 + -718/5. Let s = m + -51. Let t be (-3)/2 - (-2)/4. Is s equal to t?
False
Let s be ((-6)/(-4))/(13/(-4)). Is -1 smaller than s?
True
Let u(m) = -6*m**2 - m - 5. Let r(l) = -3*l**2 - 2. Let f(j) = -5*r(j) + 2*u(j). Let h = -3 + 1. Let s be f(h). Is s less than 15?
False
Let o be 2/2*82/(-328). Let m be (6 + -2)/((-2)/191). Let b = -2669/7 - m. Is o at least b?
False
Let r(u) = u**3 + 4*u**2 + 3*u + 1. Let s be r(-3). Let m be (4 - 4)/(s/1). Suppose 0 = j - b - 8 - 0,