 f > w?
False
Suppose 3*h - 5*h + r = 0, 0 = -5*h - 2*r. Suppose -2*n = -4, 6 = -o - 5*n - 5. Let j = h - o. Do j and 21 have different values?
False
Let s = 241/85 - -30/17. Which is smaller: s or 4?
4
Let l be (-3 - -1) + 2/(-2). Suppose 5*n = -99 + 1719. Let f be n/(-160) - (-3)/(-8). Which is bigger: f or l?
f
Let l be (-3)/(-2)*3*2. Let r be 27/l - 1*3. Suppose 8*u = 6*u. Do u and r have the same value?
True
Suppose -4*r + 4*d - 2 = -9*r, -3*r + 2*d + 10 = 0. Let y(q) = 12 - q**r + q**3 - 2 - 15*q**2 - q + 3. Let p be y(16). Which is smaller: p or 1?
p
Let s = -104987/5705 - -3/1141. Let m = s + 634/35. Is m <= 2?
True
Suppose -b - 40 = -5*n + 2*b, -15 = -5*n - 2*b. Let x be 15/(((-25)/(-5))/n). Is 15 >= x?
True
Let d be (-1)/(-3)*3*0/(-5). Suppose d = -5*t - 3*b + 2*b + 133, -3*t = 4*b - 73. Which is smaller: t or 25?
25
Suppose 6 = 9*x - 21. Let r be 16/(-8)*((-3)/(-5))/x. Is -1.5 not equal to r?
True
Let p = 0 + 1. Let x be (-61680)/(-225) - (5 - 1). Let v = -270 + x. Are v and p unequal?
True
Let k be (-108)/(-58)*(-12)/24. Is k at least as big as -1?
True
Let r be (-191)/390 + (-6)/(-12). Let g = -4276/1365 - r. Are -2 and g equal?
False
Let t(u) = -4*u + 5. Let d be t(10). Is -6 at most as big as d?
False
Let q = -185/2364 + -1/197. Which is bigger: -37 or q?
q
Let s be (-897)/(-26) - 1/(-2). Let w = s + -39. Which is smaller: -18/5 or w?
w
Suppose -w + 2*u + 8 - 3 = 0, -w + u = -5. Let r = -16 - -16. Suppose r = 5*v - 16 - 14. Is v at least as big as w?
True
Let r(d) = 12*d - 1. Let j be r(-1). Let y be 28 - (2 + -1*3). Suppose 2*m = 3*g + y + 17, -m - 7 = g. Are j and g non-equal?
True
Let r = -60 - -55. Let p = r + 4.7. Which is greater: p or 0?
0
Let l be ((-13)/12)/((6 - 8)/(-76)). Which is smaller: -42 or l?
-42
Let g be ((-8)/6)/((-18)/189). Suppose -5*m - 20 = 2*f, -6*m + 2*m - 2*f - g = 0. Which is smaller: m or -22/3?
-22/3
Let w(l) be the second derivative of -2*l**3/3 + 4*l**2 + 20*l. Let y be w(13). Is -43 less than or equal to y?
False
Let y(l) = 3 + l + 8 + 13*l. Let m be y(4). Which is smaller: m or 66?
66
Suppose 64 = 73*r - 65*r. Which is bigger: r or 4?
r
Suppose -246*n + 1468 = -250*n. Which is smaller: n or -369?
-369
Let w(n) = 10*n + 30. Let p be w(-19). Which is bigger: -3 or p?
-3
Let l(s) be the first derivative of -s**4/4 + 7*s**3/3 - 5*s**2/2 - 3*s + 8. Let w be l(6). Suppose 0 = -2*p + w*p - 4. Does p = 3?
False
Let o be (-19100)/(-350) - 3/(-7). Is o at most as big as 61?
True
Suppose -3*m + 2*m - 2 = 0. Let a be m/5 + (-180)/50. Let z = a + 0. Which is smaller: z or -0.1?
z
Let v = 0.061 - 3.161. Let g = v - -3.2. Which is smaller: -4/5 or g?
-4/5
Let h be 132/176*(-56)/(-114). Let g be 1/(-4)*4/3. Which is bigger: g or h?
h
Let z = 0.383 - 0.283. Are z and 5/29 non-equal?
True
Let q(v) be the second derivative of -v**4/12 + 2*v**3/3 - 9*v**2/2 + 4*v. Let f be q(4). Is -9 at most f?
True
Let w be (2 + 4/(-8))*-138. Let m be (-3)/(-2) - w/(-90). Which is bigger: m or 0?
0
Let x be (0/((-12)/4))/(-1). Suppose x = 6*c - 0*c + 6. Which is bigger: 2/7 or c?
2/7
Let q = -3330 + 3300. Is -1/13 >= q?
True
Let f(h) = -h**2 + 7*h - 11. Let k be f(5). Let g = k + 1. Let b = 688 + -24078/35. Which is smaller: b or g?
g
Let x = 22 - 1. Suppose -x*f = -17*f + 4. Which is smaller: 1/21 or f?
f
Let p = -23 - -18. Let d = 6 + p. Is d greater than or equal to -2/3?
True
Let c = 511 - 323. Which is smaller: c or 187?
187
Let t(x) = -5*x - 13. Let u(p) = p - 2. Let m be u(-2). Let w be t(m). Is 9 > w?
True
Let b = 0.36 - 0.1. Is b at most as big as -6?
False
Let i = 0.0167 + 37.7833. Which is smaller: -0.1 or i?
-0.1
Let n be 22/(-11) - 1/(-1)*-4. Which is greater: n or -38?
n
Let q = -6 - -11. Let n be 20 - q - (0 + 0). Is n less than or equal to 14?
False
Let j = -781 - -769. Is j < -13?
False
Let r(o) = o**3 - 6*o**2. Let k be r(6). Suppose a + 4 = b + 2*a, k = b - a. Is 2 less than b?
False
Let h = -1677 - -5032/3. Is 18 at most h?
False
Suppose -37*d - 6 = -34*d. Let v be 2 - (38/9 + d). Do -1 and v have the same value?
False
Let x = -11 + 5. Let u(m) = -m**2 - 6*m - 3. Let q be u(-6). Let p be 6*q/x - 2. Is -1/4 at least p?
False
Let f = 66/95 + -270/323. Let q = f - -1/5. Which is smaller: q or 0?
0
Suppose -3*g + 32 - 5 = 0. Let n be g + -4 - (0 + 1). Suppose n*r + 2 = -2*v, 2*v + 2 = -0. Which is bigger: 1 or r?
1
Let c(l) = -l**3 + 15*l**2 - 14*l + 12. Let d be 10 - (17/(-5) - 3/5). Let k be c(d). Is k less than or equal to 14?
True
Let u(a) = 17*a**3 + a**2 + 4*a + 2. Let o be u(-1). Let y(w) = -3 - 4 + 3 - 2*w + 0. Let p be y(7). Is o greater than or equal to p?
True
Let y(r) = r**3 + r**2. Let q(f) = -2*f**2 - f. Let g(s) = q(s) + 2*y(s). Let u be g(-1). Which is greater: u or 0.2?
0.2
Let q = -389 + 403. Is 0 > q?
False
Suppose -3*y - 5*s = -0*s + 332, -2*y = 2*s + 228. Which is bigger: -116 or y?
-116
Let t = -986 + 24658/25. Is t at most -1?
False
Let h = 10.969 + 0.031. Let c = -12 + h. Let s = -0.02 + 2.02. Is c < s?
True
Let b = 22 - 31. Let n = -216 + 208. Let u = b - n. Which is smaller: 5 or u?
u
Suppose 0 = -x - 3*b + 81, 4*b + 324 = 4*x + b. Which is bigger: x or -1/2?
x
Suppose -4*t - 4 = -6*t. Let d(v) = -1 - 2 - v**t + 1 - 3*v + 0. Let h be d(-2). Which is greater: h or 7/6?
7/6
Let r be ((-1)/(-5))/((-24)/(-4)) - 0. Which is smaller: 2 or r?
r
Let z be (2 + 6181/(-3101))/(3/2). Which is smaller: 0 or z?
0
Let y = 444 + -3113/7. Suppose 60 = -0*w + 4*w. Let v = 13 - w. Which is bigger: y or v?
y
Let a = 801 + -794. Which is smaller: 74 or a?
a
Let q(g) = -g**3 - 12*g**2 - 3*g + 11. Let u be q(-11). Let i = -81 - u. Which is smaller: i or -15/4?
i
Suppose 37 + 26 = 9*r. Suppose 4*y = -3*s - 2, -3*y - r*s + 6*s + 1 = 0. Which is smaller: y or -8/3?
-8/3
Suppose -3*m + 52 = -2*n, 3*m - n - 36 = m. Suppose 0 = -z - z - m. Which is smaller: z or -11?
-11
Let j be 1 + 2*6/4. Let q = j + -3. Let c be ((-8)/(-4))/(-42)*-111 - 5. Which is greater: c or q?
q
Let h = 1088/7 - 4992/35. Which is smaller: 13 or h?
h
Let l be 1/(3101/518 - 6). Is l bigger than -6?
False
Suppose 44*b + 604 = 46*b. Which is greater: b or 301?
b
Let m(j) be the first derivative of j**3/3 - 6*j**2 + 12*j - 1. Let o be m(11). Which is bigger: 2/11 or o?
o
Let f be (-81)/(-6)*12/9. Let g be f/12*1/6. Is 1 greater than g?
True
Let l(p) = -p - 6. Let c be l(-13). Let r be (-1)/7 - 2/c. Which is greater: r or 1?
1
Let p be 2/2 + 11 + 378. Let s be (-2)/10 + p/75. Which is greater: s or 1?
s
Suppose 36*z = 3*z + 1155. Is 27 greater than or equal to z?
False
Let h = -7.49 - -7. Let z = h - -1.49. Which is smaller: z or 1/26?
1/26
Let l(t) = t**3 + 9*t**2 + 15*t + 6. Let q be l(-7). Let w be 24/4 + 4 - q. Suppose 4*o = -4*u + 20, 2*o = -3*u + 6*o + 50. Is w < u?
False
Suppose -4*t = -42 - 18. Suppose t*x - 48 = -18. Which is smaller: 4 or x?
x
Let k(d) = -8*d - 8. Let h(i) = i + 1. Let m(f) = -20*h(f) - 2*k(f). Let a be m(-6). Is 19 smaller than a?
True
Let f(u) = -u**2 - 6*u + 71. Let s be f(-12). Is 1/12 equal to s?
False
Let t = -20.83 + 11.53. Is -3/4 <= t?
False
Suppose -6*y + 5*t + 9 = -10*y, -3*y + 4*t = -1. Which is smaller: -3/34 or y?
y
Let d(n) = 4*n + 1. Let i be d(2). Let m = 13 + -6. Let x = m - i. Is x bigger than -2?
False
Let c = -0.267 - -0.267. Is c > 3/4?
False
Suppose -5*y - 10 = -5*c, c = -y + 3*y + 2. Let l be (-1733)/(-2 + 39/(-6)). Let s = -204 + l. Is s >= y?
False
Let i be (1 - 47*2) + 26/13. Let z = i + 90. Is 72 at least as big as z?
True
Let c be (-158)/12*72/672. Let k = c - -9/8. Is k at least as big as 0.2?
False
Let h = 23 - 33. Let b be (2/35)/((-2)/h). Let f be (12/77 - 0)/(12/42). Does b = f?
False
Suppose 3*y - 15 = 3*s, -9*y = -8*y - 3*s - 7. Is y at most as big as 38?
True
Let i = 122/382455 + -669258323/1080052920. Let n = -2/353 + i. Which is greater: n or -2?
n
Let z = 36 + -31. Suppose -9 + 34 = -z*c. Which is bigger: c or -2?
-2
Let p = 0.346 + 0.754. Which is smaller: 6 or p?
p
Let b = 2 + 0.6. Let w = -12.6 + b. Suppose 8*c - 13*c - 25 = -3*a, -4*a + 5*c + 25 = 0. Are w and a unequal?
True
Let t = -29 - -33. Which is bigger: t or -33?
t
Let g be 2/(2/(-1))*(2 - 3). Which is smaller: 3/85 or g?
3/85
Suppose -24 = 9*b - 3*b. Let o = -297.1 + 297. Which is greater: o or b?
o
Let p = 345 - 1