
True
Suppose 0 = 2*z - 43 + 23. Let i be ((-176)/z)/(-2) + -3. Which is smaller: 6 or i?
i
Let p(k) be the third derivative of -k**6/120 + k**5/30 - k**4/8 + k**3/2 + 9*k**2. Let x be p(1). Which is smaller: 1/47 or x?
1/47
Let a be (-25)/(-445)*(-3)/5. Is -1 at most as big as a?
True
Let y be (-10)/(-3) + (-1)/6*2. Suppose -2*m + 4*w = -3*m + 14, -y*w + 12 = 0. Is -1 less than m?
False
Let d = 12.3 + -12.277. Which is bigger: d or 0?
d
Let t(w) = 3*w - 17. Let u be t(7). Suppose -u*q = -3*q - 8. Which is bigger: 0.1 or q?
q
Suppose 5*z = -3*z + 6*z. Suppose -2*o + z = -0. Which is greater: o or 3/22?
3/22
Suppose -7 = 5*c + 4*v, -69*v - 7 = 2*c - 66*v. Which is smaller: c or 3/167?
3/167
Let v(i) = -3*i + 19. Let f be v(-19). Let j = f + -52. Is j greater than 24?
False
Let z = 21 + -38. Let i = -9 - z. Suppose 0 = 7*r - 85 + i. Is r at most 11?
True
Suppose 6*b - t = 2*b + 47, 0 = 2*b - 3*t - 21. Let o(g) = 36*g - 167. Let h be o(5). Does h = b?
False
Let p be ((-24)/(-3))/(6/(-105)). Let a = p - -131. Is -9 at least a?
True
Let n = 2.02 - 0.02. Let z = n + -2. Let p = 28.3 + -7.3. Is p bigger than z?
True
Let v(p) = -p**3 + 13*p**2 - 11*p - 7. Let c be v(12). Let s(m) = m**2 - 6*m - 6. Let f be s(c). Let j be (1/(-4))/(f/44). Which is smaller: j or 4/13?
4/13
Let f be (-6)/4*1904/(-84). Is 36 greater than f?
True
Let b = -42.1 - -46.1. Are -0.043 and b unequal?
True
Let b = -0.3 - -0.1. Let c = 25.99 - -0.01. Let m = c - 25. Which is bigger: m or b?
m
Let w be 6/(-39) + 2/13. Suppose -5*l = 2*s + 5, 2*s + 3*l = 1 - w. Suppose 3*b + s*h = -56, -3*h = -5*h - 2. Does -16 = b?
False
Let n be 24/(8 - 16) - -2. Suppose 5*s - 10 = -2*q - q, -3*q = -4*s + 8. Do s and n have different values?
True
Suppose -2*h + 15*g - 13*g = -104, h + 5*g = 46. Let m = 87 - 36. Does m = h?
True
Let x(c) = 3*c + 64. Let k be x(-6). Suppose -v = 4*q + k - 21, -q = -4*v + 19. Let w(l) = l**2 + 6*l - 7. Let y be w(-6). Is y at most q?
True
Let r be 9/(-12) + (-3)/(-4). Suppose 2 = -2*j, 0*f - 77 = -4*f - 3*j. Let g = f - 18. Which is bigger: r or g?
g
Let i be (-10)/2 - (-4)/10*2975/210. Let u be 99/12 + 2/(-8). Suppose 5*q = 5*n + 60, 4*n = -2*q + 4 + u. Is q >= i?
True
Suppose 0*m - 3192 = -5*m + 2*k, m - 633 = -5*k. Suppose m = 13*y - 51. Which is bigger: y or 54?
54
Let z(d) = d**3 - 2*d**2 + 2*d - 1. Let h be z(1). Suppose 4*l + h*l - 8 = 0. Suppose -n - 4 = l*g, -4*g = -5*n - 6*g - 12. Which is greater: n or -6/5?
-6/5
Let q = -446 - -314. Is -133 <= q?
True
Let i(v) = 4*v. Let s(d) = -4*d. Let t(p) = -2*i(p) - 3*s(p). Let g be t(4). Are 14 and g non-equal?
True
Let a(b) = -b**3 - 13*b**2 - 47*b - 63. Let d be a(-8). Let q = 136 - 954/7. Which is bigger: d or q?
q
Let q = 5.1 + -5.1. Let v = q + 2. Is 6/13 <= v?
True
Let d(n) = 79*n - 3 + 89*n + 83*n - 249*n. Let x(r) = r**2 + 4*r - 2. Let b be x(-5). Let h be d(b). Is h > 2?
True
Let k(s) be the second derivative of s**5/20 + s**4/3 - 13*s**3/6 - 9*s**2/2 - 4*s. Let o be k(-6). Which is smaller: -5/3 or o?
o
Let p be (203 - 197) + 1 + -7. Is -59 less than p?
True
Suppose -10 = 3*t + 86. Let l(m) = -m + 28. Let q be l(60). Is t < q?
False
Let g = -2 - -6. Suppose a - 3 = g*a. Are a and 3/13 non-equal?
True
Let u = 188 + -60.6. Let n = u + -133. Which is bigger: 0 or n?
0
Let i = 1602 + -1620. Let d = 26 + -93. Let t = 48 + d. Is t greater than or equal to i?
False
Let f = -105 - -188. Let o = f - 1911/23. Let n = -11599 + 11598. Do n and o have the same value?
False
Let y(n) = n**2 + 6*n + 3. Let m = 2 + -16. Let j be (-8)/m - (-39)/(-7). Let v be y(j). Are -2 and v unequal?
False
Suppose 0*i + i + 3 = -2*b, -2*i + 3*b + 22 = 0. Suppose 0 = -i*j - 18 - 2. Is -2 <= j?
False
Let v be (-1)/(-28)*7*(-8)/(-2). Which is smaller: -9/149 or v?
-9/149
Let u be ((-7)/21 - 10)*-3*4. Which is smaller: 749/6 or u?
u
Suppose -b = -5*f - 20, 4*b - f - 4 = 19. Suppose -3 = 6*t - b*t. Let u be ((-7)/21)/((-2)/(-16)). Is t less than or equal to u?
True
Let w be (0 - 1) + (-104 - 5). Let k = w + 177. Suppose -5*c - k = -17. Do c and -9 have different values?
True
Let d = 632 + -627. Which is smaller: d or 8.7?
d
Suppose m = 3*w - 2*w - 1, -3 = -3*w - 5*m. Let p be (12/20)/(w/5). Is p less than 1?
False
Let d = 17 + -17. Suppose d = -2*s + 4*a - 4, 2*a - 1 = 3*s + 1. Which is greater: s or -2/131?
s
Let p be (-2770)/5524 + 7/14. Let k = p - -20723/5524. Is k bigger than 3?
True
Suppose 8*w - 5722 + 706 = 0. Does w = 628?
False
Let b(v) be the third derivative of -v**5/6 + v**4/24 - v**3/3 + 15*v**2. Let j be b(1). Let g be -6 - (1 - (-3 - -1)). Which is bigger: j or g?
g
Suppose 4*q = 5*k - 8, -5*k - q = -0*q - 23. Suppose 2*f + 4 = 3*f - 4*a, -4*a = 4*f + k. Which is bigger: -1 or f?
f
Let i(b) = -b - 64. Let z be i(-12). Is -56 greater than z?
False
Let h be (-6 + 4)*2/(-22). Let l = -539/3 - -179. Which is smaller: h or l?
l
Suppose 7*u - 32 = -u. Suppose -z = u*z. Is z at most as big as -3/29?
False
Suppose 0 = -7*i + 3*i + 2*u - 10, i + 20 = 4*u. Is -2.48 at least i?
False
Suppose 4*g = 2*g - g. Is -1/1754 >= g?
False
Let n = -4/5 + 13/10. Let g be (-2)/(-7) + 220/210. Which is smaller: g or n?
n
Let u = 0.158 - -2.342. Is u at least 0?
True
Suppose 5*x = -2*k - 773634, -3*x + 4*k - 618896 = x. Let p = x + 61890327/400. Let m = -3/25 - p. Are m and -1 non-equal?
True
Let s = 134.2 + -133.2. Does s = 3/100?
False
Let b(h) = -6*h + 3. Let d be b(2). Let o = -3 + d. Suppose 5*g - 2*m = -65, -2*m = -2*g - 0*g - 32. Which is bigger: g or o?
g
Let b = -13 + 5. Let f = -8 - b. Is f >= 0.3?
False
Let u = -32.672 + -0.328. Are u and 0 nonequal?
True
Let p be ((0 - 1)*0)/1. Suppose -3*h + 11 = -1. Let o be 28/(-18) + h/18. Which is smaller: p or o?
o
Let z = 27/343922 - 2985157452/6018635. Let c = 496 + z. Which is smaller: c or -1?
-1
Let f be -56 - (-1956)/36 - (418/(-60) - -2). Let o = 4 - 1. Is f bigger than o?
True
Let x(d) = 16*d - 47. Let a be x(3). Is a equal to -2/2347?
False
Let m(r) = r**2 + 6*r + 8. Let q be m(-6). Suppose q*v = -0*v + 16. Are v and 5 non-equal?
True
Let j(o) be the first derivative of -o**4/4 - 2*o**3 + 7*o**2/2 + o - 17. Let g be j(-7). Which is greater: g or -2/77?
g
Let f = -20 - -17. Let h = -3.26 + 11.26. Which is smaller: f or h?
f
Let y = 6 - 4. Suppose -w = -2*i + 4*w - y, -6 = -4*i + 5*w. Let n be (i/(-66))/(2/(-9)). Which is bigger: n or -1?
n
Suppose 3*r = 3*q + 42, -2 = r + q - 8. Suppose 5*w - 3*z - 43 = 0, 26 - r = 4*z. Is w less than or equal to 11?
True
Suppose -3*o + 8 + 13 = -4*i, -5*o + 12 = i. Let h(d) = d - 11. Let y be ((-16)/(-20))/(2/20). Let t be h(y). Is i > t?
False
Let l = -19 - 18. Is -0.1 <= l?
False
Let f = 0.02 + 0.28. Let s = -118 + 116.79. Let p = s + 0.91. Is p equal to f?
False
Let q = -2096 + 2095.9. Is q at most 147.1?
True
Let s = -0.08 + 0.08. Let i = -1.18 + -0.42. Is i at least as big as s?
False
Let z = 642 - 641.9. Which is smaller: 2 or z?
z
Suppose 0 = -9*t + 12*t - 42. Suppose -4*y - 10 = 2*l - 0*l, -l - 5*y - t = 0. Let q = -1/296 + 319/6808. Which is smaller: q or l?
q
Suppose 0*h = 2*h. Let y(g) be the first derivative of -3*g**2/2 + 23*g - 5. Let p be y(8). Which is greater: p or h?
h
Let w = 341.232 - 341. Is w bigger than 1?
False
Let m be (0 + 3/(-21))/((-6)/42). Are m and 86/35 nonequal?
True
Suppose 2*j + 20 = 4*b + j, 4*b - 8 = 4*j. Let n be -4 - (-3)/(b/(-26)). Let t = -10 - n. Is t not equal to -2?
True
Let b = 198 + -298. Is -100 > b?
False
Let g = 43.8 + -30.7. Let x = g - 13.2. Which is greater: x or 0.007?
0.007
Suppose -4*c - 4*u - 6920 = 0, 8674 = -19*c + 14*c + u. Is -1734 at most c?
True
Let w(d) = 2*d**3 - 11*d**2 - 11*d - 12. Let l(m) = -m**3 + m**2 - 1. Let o(s) = 3*l(s) + w(s). Let n be o(-6). Are n and -21 nonequal?
False
Let k = -13681/9 - -1515. Which is bigger: -0.07 or k?
-0.07
Let i = -13 + 11. Let k be (1 + (-2 - 1))/i. Are 3 and k nonequal?
True
Let p = 7 - 9.4. Let k = p + 2.45. Let o = 1 + -1. Is o smaller than k?
True
Let h = 5 - 2. Suppose 2*j + 295 = -h*j. Which is bigger: j or -60?
j
Let q = -2253717/203 + 11102. Which is greater: q or 0?
0
Let r be (-2)/5 + (-42174)/(-106110). Which is smaller: 1 or r?
r
Let u be (4 + 129/(-39))*(-64)/12. Let h = 1462/403 + u. Which is smaller: -1 or h?
-1
Suppose 3*b - 319 = 5*d + 35