9 equal?
False
Let d = -225362/7 - -31971. Let v = d - -224. Which is bigger: 2/7 or v?
v
Let x = 747 - 969. Is -1551/7 less than or equal to x?
False
Let j be (20/24)/5 - (-6095)/42. Let t = -145 + j. Let b be (21*1)/(-1 - 0). Are t and b equal?
False
Let x(w) = -3*w**3 - 2*w - 1. Let y be x(-1). Suppose 0 = 2*u - y + 20. Let p be 2/u + 5/20. Which is smaller: -1/4 or p?
-1/4
Let p be (11/2)/((-2)/(-4)). Let l = p - 5. Let r be -1 + l + -2 + 4. Which is smaller: 6 or r?
6
Let c be 34/(-459) + (-62)/(-108) - 1. Let x = -192 + 114. Is x less than or equal to c?
True
Let x = 212254/45733 + 82/1653. Let c = -2/83 + x. Is 4 at most as big as c?
True
Suppose 7*x - 3*x + 20 = 0. Let k = -10 + 25. Let d = 10 - k. Is d at least x?
True
Suppose -4*q + 7*q - 45 = 0. Suppose -7*g + q = -2*g. Let p be (-8)/(-24)*2/g. Does p = 0.1?
False
Suppose 0 = 3*j - u - 11, -j = -2*j - 3*u - 13. Suppose -24 = -5*m - j*t, -2*t - 2*t + 8 = 0. Suppose 2*c + 15 = 5*c. Which is greater: c or m?
c
Let a(b) = 21*b - 122. Let q be a(6). Suppose -1 = 2*g + h, -g + 5*h - 3 = -3*g. Is g at most as big as q?
True
Let t = -46 - -72. Suppose 3*z - 9 = k, 3*z + z = 2*k + t. Which is bigger: k or -22?
k
Let k = 25 - 22. Let q = 5 - 1. Is q not equal to k?
True
Let s be (-126)/(-28)*(-4)/6. Let h be s/(-4)*10/(-6). Which is smaller: h or -2?
-2
Suppose -p - 3*s - 26 = 2*s, 0 = -3*s + 15. Let o = p + 69. Suppose -2*h = -5*h - 3*u + 66, 2*u = -4*h + 78. Is h at most o?
True
Let r be (-4 + (-32)/(-12))*(-261)/(-6). Which is smaller: -56 or r?
r
Let a be (-7)/(-14) + (-1)/(110/59). Is a < 1?
True
Suppose 4*o = 5*o - 8. Let b(r) = r**2 - 4*r - 3. Let q be b(5). Let f be (3 - (q + -3)) + 4. Is f equal to o?
True
Let l(r) = 8*r**2 - 2*r - 1. Let v be l(-1). Suppose -v = u + 46. Let o = 163/3 + u. Is 0 at most o?
False
Let z(d) be the third derivative of d**4/3 - 13*d**3/2 + 6*d**2 + 4*d. Let g be z(5). Is g less than or equal to 6/61?
False
Suppose -13*v = 148 - 57. Is v greater than -3?
False
Let s(g) = g**3 + 20*g**2 - 42*g + 43. Let z be s(-22). Which is bigger: -1/6 or z?
-1/6
Let t = 5 + -7. Let h = -564.4 - -572.4. Which is greater: t or h?
h
Let p = 0.2 + -0.2. Suppose 49*f = -81*f - 520. Which is smaller: p or f?
f
Suppose -381*c = -370*c + 517. Which is bigger: c or -42?
-42
Suppose 2*b + 3 = -21. Let p be ((-18)/b)/(6/(-80)). Let l = p + 22. Which is smaller: 3 or l?
l
Let l = -4405/2 - -2156. Is l equal to 4?
False
Suppose -5*t - 175 = 160. Is t less than -66?
True
Suppose 5*s = 14*s + 52*s. Which is smaller: s or -2/183?
-2/183
Suppose -5*m - 220 = -10*m. Let o be (-4)/(-3) + m/(-33). Do -1 and o have different values?
True
Suppose f + 13 = 5*w, -4*f + 5 = 2*w + 13. Suppose w*u + 1 = s - 0*u, 0 = -2*s + 5*u + 1. Let q be (-7)/s - 20/(-15). Is q smaller than 2?
True
Suppose l - 5*l + 27 = -5*d, 0 = 4*d + 5*l + 38. Let x be (-852)/(-15) + (-1)/(-5). Let f = 48 - x. Which is smaller: d or f?
f
Let o = 127 + -124.45. Let q = o + 0.05. Is 0 < q?
True
Let d = -67.961 + 68. Let r = d + -0.139. Let i be 3*((-11)/(-3) + 2). Which is greater: r or i?
i
Let i = -26 + 49. Is -0.3 greater than or equal to i?
False
Let x = 0.054 - 0.06. Let d = x - 11.994. Let w = 11/34 + 3/17. Are d and w non-equal?
True
Let h = -1.3 - -2.2. Let v = -0.9 + h. Let s = -1 - 4. Is v bigger than s?
True
Let m = 0.26 + 0.54. Let r = m + -0.4. Which is greater: r or 6?
6
Let p = -511/5 + 11663/115. Which is greater: -1 or p?
p
Let a = 0.1 - 3.1. Let m = 0.09 - -0.41. Let r = -1.5 + m. Which is bigger: a or r?
r
Let y be (-24 - -29)*(157/4)/(-1). Do y and -195 have different values?
True
Let t be ((-170)/(-119))/((-255)/21 + -2). Which is smaller: 0 or t?
t
Let t be 6 - 42/8 - 101/(-4). Are 21 and t nonequal?
True
Let i be (-228)/1254 + 932/1738. Which is smaller: i or -1?
-1
Let i = -848 - -3399/4. Are 3 and i unequal?
True
Let r = -4.71 + 4.31. Let c = 0.08 - -0.22. Which is bigger: r or c?
c
Suppose -3*w - 15 = 0, -f + 0*w + 26 = -5*w. Let i(s) = 4*s**3 - 2*s**2 - s - 1. Let h be i(2). Let p be ((-1)/2)/(h/36). Which is greater: p or f?
f
Let f(g) = -7*g - 12. Let d be f(-4). Is 1/10 smaller than d?
True
Let w = 2 - -12. Let r = w - 16. Are 0 and r nonequal?
True
Let b = -288 - -196. Which is smaller: b or 2/3?
b
Let d = 433 + -251. Let r = 3093/17 - d. Which is smaller: r or -1?
-1
Let q = 14/29 + -265/609. Which is bigger: q or -1?
q
Suppose 2*y = 4 + 6. Let j(u) = u - 4. Let z be j(y). Let o be z - (-3 + 0 + 19). Is o > -15?
False
Let n(f) = -f**3 + 4*f**2 + 13*f - 3. Let k be n(6). Let a = k - -10. Is a greater than 7?
True
Let z = -196 + 242. Is 47 greater than or equal to z?
True
Let k = 217 + -362. Does k = -144?
False
Let t(n) = 52*n**2 + 15*n + 29. Let c be t(-2). Which is bigger: 206 or c?
c
Suppose 4*p + 479 = -9. Which is smaller: 0.1 or p?
p
Let i = -193 + 192. Are -84 and i nonequal?
True
Let h be (-3232)/1088 + -3*3/(-18). Is h at least -2?
False
Let v(f) = 8*f - 111. Let w be v(26). Are w and 101 nonequal?
True
Let d(q) = -q**3 + 27*q**2 - 27*q - 44. Let v be d(26). Is -70 bigger than v?
False
Let q(o) = o**3 + 16*o**2 + 40*o + 13. Let w be q(-13). Which is greater: w or 6/433?
6/433
Let t = 60.105 + -0.105. Let h = t - 59. Which is smaller: h or -89?
-89
Suppose 5*f + 2525 = 6*v - 2*v, -f = -5*v + 505. Are -505 and f equal?
True
Let f(q) = q**2 + 19*q - 7. Let g be f(-7). Is g less than -91?
False
Let z(n) = -n**3 + 16*n**2 + 35*n + 19. Let p be z(18). Is p less than 16/17?
False
Suppose 5*w = -25, -w + 4*w + 31 = -4*l. Let t be -20 - -6*2/l. Is -23 >= t?
True
Let s = -1/220 + -21/220. Let n = 9.1 - 8.5. Is n at least as big as s?
True
Suppose -3*q - 21 + 99 = 0. Suppose 3*f - 26 = -q. Do f and -3 have the same value?
False
Let h(i) = -85*i + 5. Let n be h(-2). Let r be 2 - (0 + n/95). Is -1 greater than r?
False
Suppose 0 = 8*r + 9*r - 14*r. Which is smaller: r or -34/47?
-34/47
Let r(o) = -19*o + 81. Let b be r(4). Is b < -18?
False
Suppose 0*r + r - 11 = 0. Let s(m) = m**2 - 140*m - 718. Let q be s(-5). Which is smaller: r or q?
q
Let p = 0.5 + 0.5. Let o = -8.15 + -1.9. Let c = o - -0.05. Is p <= c?
False
Let n be 2/8*(10 - 178890/17895). Which is bigger: -1 or n?
n
Let i be ((-1)/(-2))/(18/(-72)*358). Is 1 bigger than i?
True
Let f(u) = -u - 4. Let m be f(-8). Suppose 0 = 2*z + 8 + m. Is z > -17/3?
False
Let x = 741 - 1483/2. Are 98 and x equal?
False
Suppose 4*j + 48 = 8. Let f be (-65)/(-78)*(-2)/j. Which is bigger: 1 or f?
1
Let s(a) = 20*a - 1 - 11 - 8*a + a**2 - 17. Let b be s(-14). Is 4/67 greater than b?
True
Let g = -18 - 20. Let p = -33 - g. Which is smaller: p or 6?
p
Let v be (-3)/15*-2*1. Let y(o) = o**3 - 3*o**2 + 3*o - 3. Let c be y(3). Suppose -4*i = -c*i - 14. Is i less than or equal to v?
True
Let n be (3 + 1 - (2 - 2)) + -8. Suppose -5*t = -25, 2*x - 2*t = x - 17. Let o = n - x. Which is bigger: o or 5?
5
Let c = 102 - 175. Is -70 at most as big as c?
False
Suppose 0 = 3*w + 2*w. Suppose w = -b + 2 + 1. Let h be 2/12 - 2/b. Do h and -1/4 have different values?
True
Let q be ((-2)/253)/(-12*10/(-120)). Which is bigger: 0 or q?
0
Let n(z) = -z**3 + 10*z**2 + 24*z + 9. Let g be n(12). Is g greater than 104/11?
False
Suppose 3*w - 5*d - 1 = 0, -5*d + 0 + 7 = w. Suppose 2*r = r + w. Suppose 0 = -9*p + 7*p + r. Which is smaller: 3/10 or p?
3/10
Let g = 169931/119 + -1428. Are -6 and g equal?
False
Let o(r) = 18*r - 9. Let d be o(-3). Let f be 5/(-45)*-2 - 1120/18. Which is greater: d or f?
f
Let l be 2 + 4 - 6/2. Suppose 7 - l = 4*h. Let o be ((-1)/(-2))/(h/3). Which is greater: -2/5 or o?
o
Suppose -1008*t + 1015*t = 0. Is t not equal to -2/1071?
True
Let j be (10/(-3))/((-4)/144). Suppose -5*z - z = j. Let c(y) = -y**3 + 4*y - 5. Let b be c(3). Is z at least b?
True
Let q = -0.744 - -0.064. Let i = 0.88 + q. Let s(w) = w - 4. Let d be s(3). Is i bigger than d?
True
Let m = -228.57 + 234. Let v = m + -5.5. Which is smaller: -3 or v?
-3
Let n be (11/99)/(2/((-48)/10)). Does 1 = n?
False
Suppose -8*o + 10*o = 0. Suppose -3*s - 7 + 13 = o. Let q be s/5 + (-8)/10. Which is bigger: q or 3/2?
3/2
Suppose -57*v + 51*v + 150 = 0. Suppose -4*w = -4*r + 20, 3*r + w - v = r. Is r at least as big as 10?
True
Let f be (-4)/(-10)*12/(-10 + -2). Which is smaller: f or -453?
-453
Let i be