e k and p unequal?
True
Let m = -30 - -31. Is 491 bigger than m?
True
Suppose 0 = -4*k - k + j + 35, 3*j = 5*k - 25. Suppose x + 2*p - k = 0, -3*x - 2 = -2*p - 18. Which is smaller: 5 or x?
5
Let s be -12*((-261)/27 + 10). Which is smaller: 2 or s?
s
Let n = 56 + -49. Suppose -2*d + n*y - 4*y + 65 = 0, 4*d - 95 = -y. Is d < 3?
False
Suppose 5*v - 2*s = 213, -s + 7 = 11. Do 30 and v have different values?
True
Let h = 25/17 - 309/187. Let g = -16 - -9. Let w = g + 6.7. Is w at most h?
True
Let m(p) = -p + 1. Let t be m(1). Suppose -25*y + 10*y - 930 = t. Do 0.2 and y have different values?
True
Let n(o) = 6*o + 204. Let x be n(-36). Do -10 and x have the same value?
False
Let f(a) be the first derivative of a**3/3 - 4*a**2 + 12*a - 6. Let u be f(6). Let h be 6/(-15)*5/1. Which is greater: h or u?
u
Let f = 68.9424 - -0.0576. Which is bigger: f or -2?
f
Let u(k) = -k. Let g(s) = -5*s + 7. Let f(i) = g(i) - 6*u(i). Suppose -2*m - 27 = -0*x + 3*x, -x = m + 12. Let y be f(m). Is y at most -2?
True
Let c be (-6)/(-75) + (-1151)/(-300). Which is smaller: 3 or c?
3
Suppose -4*x - 52 = 4*s, -5*s - 25 = -0*s. Let b(n) be the third derivative of -n**5/60 - n**4/8 - 5*n**3/6 + 3*n**2. Let y be b(-4). Is x greater than y?
True
Let w = 15503/35 - -253/140. Which is bigger: w or 445?
445
Suppose -27*v = -23*v - 28. Suppose -v = 3*a - 16. Let n = 83/3 - 26. Which is smaller: n or a?
n
Suppose -13*f - 366 = 258. Let b be (f/(-40))/((-3)/15). Which is bigger: b or -28/5?
-28/5
Let b be (5/50)/(63/(-615)). Let h = 10/21 + b. Which is smaller: h or 22?
h
Suppose 2*w = 3*w - 3. Suppose w*k = 6*k. Suppose -h - r = 2, -2*h + 5*r + 10 = -k*r. Is h bigger than 0?
False
Let l be (-8)/28 - (-83)/21. Let k be (-156)/(-2 - 11) + -9. Which is greater: k or l?
l
Suppose -10*p + 1505 = 235. Is p bigger than 128?
False
Let n = -9 + -83. Is -87 at least as big as n?
True
Let w = 1.4 + -2.4. Let l = -1 - w. Is -2/5 at least l?
False
Suppose 23*m - 10 = 21*m. Suppose m*o + 0*o = -40. Is o smaller than 2/5?
True
Let j be 16*1/(-4)*2. Let z = 1951 - 1959. Are j and z nonequal?
False
Let d(f) = -44*f + 31. Let g be d(0). Which is smaller: g or 28?
28
Suppose -f = -5*j + 40, 4*j + 4 = j - 5*f. Let y(d) = -1 + 5 - 6*d - 2*d + d**2 + 6. Let m be y(j). Which is smaller: m or 1?
1
Let x be (-10)/(-3) + (-6)/(-9). Let j = 14 - 12. Is j != x?
True
Suppose -2*p + 2 = 0, 39 = -4*w - 3*p - 98. Is w bigger than -32?
False
Suppose -x - 2*x = 4*w + 1, 0 = -4*x - w + 3. Which is smaller: x or 3?
x
Let p = 118 - 157. Which is smaller: -34 or p?
p
Let x(z) = 5*z + 19. Let b be x(-28). Let t = -117 - b. Is t > 4?
False
Suppose -2*l - 158 = -5*k, 5*l - 70 = -8*k + 5*k. Which is bigger: k or 31?
31
Suppose x + m = 61, -x - 5*m + 61 = -0*x. Suppose 0 = x*s - 66*s - 215. Is s not equal to -45?
True
Suppose 0*z - 2*z - 20 = 0. Which is greater: z or -68/7?
-68/7
Let s = 60.095 - 0.095. Let p = -60.2 + s. Is p greater than or equal to 5/7?
False
Let x be (-300948)/(-9)*(-1)/6. Let t = x - -5567. Let h = t + 53/9. Does -2/5 = h?
False
Let q = 27/13 - 607/286. Is q less than -4?
False
Suppose o + 3 - 4 = 0. Suppose 0 = 3*f + 3*i + 87, -5*f + 5*i = 4*i + 127. Let q be (-21)/(-455) - 4/f. Is o greater than or equal to q?
True
Let m be (-3)/10*(-15024)/9. Let z = 499 - m. Which is greater: -3 or z?
z
Let y(w) = 2*w**2 - 6*w. Let v be y(3). Suppose 0*r + 5*r = v. Is 2/5 <= r?
False
Let r = -77 - -77. Let x = -74294 + 1039377/14. Let c = x - -105/2. Is c bigger than r?
False
Let q(c) = c**3 - 5*c**2 + 7*c - 4. Let r be q(3). Is r less than -1/113?
True
Let t = -415 + 415. Let y be (1/78)/((-4)/(-8)). Which is greater: t or y?
y
Suppose -5*h = -4*a - 2434, -6*h - 4*a + 1486 = -3*h. Is 492 < h?
False
Let r = -0.1 - -0.2. Let w = 0.07 + -3.23. Let f = -0.16 - w. Which is bigger: r or f?
f
Suppose 0*f = -f + 5. Suppose -f*v + 139 = -281. Let y be (-4)/3*14/v. Which is smaller: 0 or y?
y
Let c = 195 - 202. Which is bigger: c or -57/8?
c
Let y = 0.4 + 75.6. Let g = 76.19 - y. Which is smaller: -2/3 or g?
-2/3
Let f = -15 + 13. Let w be f - ((-20)/2)/2. Suppose -4*g = -7*g + w. Which is greater: g or -1/8?
g
Let l be -1*((-1394)/(-2) + (-23 - -24)). Is -699 smaller than l?
True
Let a = 2 + -6. Let n = a - 0. Let f = 3/953 - 20028/4765. Is n bigger than f?
True
Suppose -7 = -l - 18. Let q be 1*l*(-4 + 1). Is q at least 33?
True
Let p be 0 + 4 + -1 + -1. Let x(b) = -b**3 - 4*b**2 + 2*b - 12. Let f be x(-5). Which is bigger: f or p?
f
Suppose 289 = 8*o - 159. Suppose -2*b + 3*r = -25, -4*b + 5*r + o = r. Let a(i) = 5*i**2 + 2*i + 1. Let m be a(-2). Is b < m?
False
Suppose 3*t = 2*t + 3. Suppose -5*l - 3*q + 0*q = 20, -4*q = t*l + 12. Let j be (-1)/(l/(-8)) - -15. Is j > 14?
False
Suppose 0 = -t + 4*t. Let a be (t + -2)/((-8)/(-4)). Let o = 947/385 + -28/11. Which is smaller: a or o?
a
Let y = 247/6 + -11285/282. Which is smaller: y or 1?
1
Let k(w) = -4*w + 4. Let l be k(6). Let z be (-45)/l - (-1)/(-4). Let r be 0 + -1 + -2 + z. Which is smaller: -2/35 or r?
r
Let h be (45/5)/((-2)/(-2)). Suppose 72 = -5*x + h*x. Let l be (1 - 3) + x/27. Which is bigger: l or -1?
-1
Let n(u) = u**2 - 6*u - 7. Let j be n(7). Suppose 2*d - 3*z + 0*z + 27 = j, 4*z - 38 = 3*d. Which is smaller: -3 or d?
d
Suppose 3 + 13 = -4*f. Let o = f - -4. Suppose -5*r - 5 + 0 = o. Which is bigger: 0 or r?
0
Let t = -6629/75763 + 41/317. Which is greater: -1 or t?
t
Let q = 1.416 + 1.684. Do q and 1.4 have the same value?
False
Let o = 94.449 - 94.5. Is o less than or equal to -1.2?
False
Suppose 68*o + 78*o = 0. Which is bigger: o or 2/4483?
2/4483
Let t = -28/107 - -1622/3745. Which is greater: 0 or t?
t
Let s be 2 - 13/((-442)/19080). Let r = s - 563. Let m = -2 - -3. Which is greater: m or r?
m
Let u = 5 - -3. Let c = u - 8. Which is bigger: -1/4 or c?
c
Let a = -63 + 130. Is a at most 1/3?
False
Let m = -61.0077 - -0.0077. Is m at most as big as -2/5?
True
Let u(s) = -s**3 - 5*s**2 + 11*s - 11. Let r be u(-7). Is r at least as big as 4?
True
Suppose -2*s = -4*r + 3*r - 221, -r = -4*s + 441. Which is greater: s or 103?
s
Let k(s) = -s**3 + 8*s**2 + 12*s - 13. Let u be k(9). Let d be (5 - -12) + 6 + -9. Is d less than or equal to u?
True
Let p = 2.4 - -9.6. Let l = -7 + p. Let q = 1.38 + -1.28. Is q less than or equal to l?
True
Let k be (-5)/(-2)*4/(-3). Let p(u) = 2*u**2 + 12*u - 147. Let b be p(-12). Is k > b?
False
Let c = 13 + -5. Let i = -5.08 + 0.08. Are c and i equal?
False
Let t be (15/6 - 1)*6/(-51). Are t and -11.1 equal?
False
Suppose -4*x - 37 = -5*z, 3*x - x - 13 = -z. Which is bigger: 17/2 or z?
z
Suppose 3*z = z - 2*q + 72, 0 = 4*z - 3*q - 165. Let w = 28 - z. Is w not equal to 1?
True
Let x(b) = b**2 - 9*b + 2. Let z be x(9). Let a be (-1 - (z + -2))*1. Let m be 210/(-550) - (-2)/11. Which is greater: m or a?
m
Let y = 29 + -20. Let f(a) = -2*a**2 - a + 6. Let h be f(0). Let s be -3 - (-20)/h - 0. Which is bigger: s or y?
y
Let a be 0/(3*(-2)/3). Suppose -10 = -10*m - a. Is m at least 1/16?
True
Suppose -98 = -14*o - 35*o. Let q(r) = r**2 - 7*r + 7. Let z be q(6). Which is bigger: z or o?
o
Suppose 5*a = -2*r + 48, 21 = 2*a - 4*r + 3*r. Let j = a - 3. Suppose 5 = 3*t - 2*z, -3*z = 5*t - 6*z - j. Which is smaller: t or -1/4?
t
Let i be 6 + (-174)/(-32)*-2. Is i at most as big as -6?
False
Let b = -22 + 24. Suppose -b*a = -5*a - m + 29, -3*m = -a + 13. Suppose -2*x = h - 4 - 2, 3*x + 2*h - a = 0. Which is smaller: 3 or x?
x
Let o(u) = u - 3. Let r be o(3). Suppose 0 = -80*z + 90*z - 210. Let d be r + -7 - (18 - z). Are d and -6 unequal?
True
Let m be 4/(-3)*(-1 + -2). Suppose w + m*w = 0. Let z = -9 - -6. Is z >= w?
False
Suppose 4*o + 11 = 5*a, 0*o + 8 = -2*o + 2*a. Let q be o/(-1)*(-1 - -3). Suppose -k + 2*g = -0*k - q, 4*k - 32 = -2*g. Is 9 greater than or equal to k?
False
Let p(u) = -19 + 21 - u - 18. Let n be p(-17). Is n equal to 5/7?
False
Let n be 5 - (-2 + 0 + 4). Let h be (3/n)/(-1) + 4. Let y = 0.4 + 0. Does y = h?
False
Suppose -3*o + 3 + 2 = 2*x, 3*o + 4*x - 1 = 0. Suppose -139 + 115 = -4*j. Let v(t) = -t**3 + 5*t**2 + 8*t - 7. Let f be v(j). Which is bigger: o or f?
f
Let i be 12/((-26)/(-10) + -3). Let q be (-2 + (-12)/(-8))*i. Suppose 2*o - 3*b = -q, 3*o - 2*o - 4*b = -20. Which is greater: 1/9 or o?
1/9
Let v = -