5 at most as big as j?
False
Let a = -5.5 - 0.5. Let j = a - -9. Is 2/7 at least j?
False
Suppose 0*z - x = -2*z - 7, -z - 5*x + 24 = 0. Which is greater: z or -6?
z
Let t = -11 - -6. Let j = 2 + t. Let c = 3 - 4. Which is bigger: j or c?
c
Let x = 7.9 - 8. Which is bigger: 3 or x?
3
Let j be 5/15 + (-217)/(-15). Let g = j - 44/3. Is 1 >= g?
True
Let d = -21 + 21. Which is smaller: d or 5?
d
Let r = -283.2 - -283. Let d be 1/2*2/5. Is d less than r?
False
Suppose 2*p = y + 9, -4*y - 21 = -1. Let u(j) = j + 6. Let f be u(-5). Is p bigger than f?
True
Let m be 1*(-15)/27 + 1. Let a be 0*((-5)/10)/(-1). Do a and m have different values?
True
Let b be (-4)/10*1405/57. Let h = b + -104/19. Let y = 15 + h. Is 1 >= y?
True
Suppose 2 = -z - 5*f, -3*f = 4*z - 12 + 3. Suppose 4*h + 2 = -z*k, 4*k = -2*h - h - 5. Which is bigger: k or -4?
k
Let d be 1/(-4) + (-168)/(-416). Which is smaller: -1 or d?
-1
Let c be 1/(6/(-5)*30/12). Which is smaller: -14 or c?
-14
Suppose h = 4*c - 49, -3*c - 2*c - h + 68 = 0. Let s = -10 + 22. Which is greater: c or s?
c
Let p = -38.1 - -38. Is -0.11 equal to p?
False
Let w = -24 - -23.9. Is w at most 10?
True
Let r = -1109003/8 + 138877. Let z = r + -252. Is 0 at least as big as z?
True
Suppose -6*m + 5 = -m. Let f = 23 + -21. Is f greater than or equal to m?
True
Suppose -37 = -2*r + i, 3*i + 18 + 25 = 2*r. Let m = -18 + r. Which is greater: 2/49 or m?
2/49
Let g = -2/69 - -77/276. Is -2/35 < g?
True
Let o = 4432 + -567303/128. Let u = -601/128 + o. Let c = 239/52 + u. Is c smaller than -1?
False
Suppose z = 5*t - 65, z + 21 = 2*t - 5. Let m = t - 9. Let g = m + -5. Which is smaller: g or -2/11?
g
Let u be 1*2*10/4. Suppose 4*n - 10 = -u*v, -v - 19 = v - 3*n. Let y = -5 - v. Which is smaller: -2 or y?
y
Let u = -605 + 1792/3. Which is smaller: u or -9?
-9
Suppose -2*l - 3*l - 5 = 0, 21 = -4*c + 3*l. Let r(q) = -q**2 - 8*q - 9. Let v be r(c). Suppose -i - v*m = 17, 4*m + 23 = -4*i + m. Is -1 bigger than i?
True
Let l be -3 - 46*1/(-4). Which is bigger: l or 10?
10
Let w(d) be the third derivative of 3*d**2 - 1/24*d**4 + 0*d - 1/120*d**6 - d**3 + 0 - 7/60*d**5. Let k be w(-7). Is k < 3?
True
Let c(d) = d**3 - 11*d**2 - 11*d - 13. Let w be c(12). Let h be 3 - 17/4 - -1. Is w greater than h?
False
Suppose -6*x + 2*x = -6*x. Which is bigger: 2/221 or x?
2/221
Let s = 0.15 - 0.15. Let i = s + 0.2. Is i greater than 1/5?
False
Suppose -4*n + 4*y - 20 = -4, 3*y = -3*n - 6. Let d be 9 - (-2 - -1 - n). Is 6 > d?
False
Suppose 2*k - 4 = -f, 0 = -f + 2*f + 2. Suppose 3*d = -2*o - 5, -k*o + d - 10 = 3. Suppose -3*i = c + 3, -3 = c + 5*i - 0. Which is bigger: c or o?
c
Let s be (-8)/(-32) - 7/(-20). Is s <= 1?
True
Suppose 3*f - 3 = 3*x, x + 0*x + 1 = -f. Let n be 7/264 - (x - -1). Let h = n + -5/24. Which is smaller: 0 or h?
h
Let h = -18 + 26. Suppose -h = 4*l - q - 2*q, -4*q = 0. Is l greater than or equal to -1?
False
Let v = 14 - 44. Let n be (-36)/v - (-1)/(-5). Which is greater: n or -1?
n
Let b = 880/7 - 126. Which is greater: b or -3?
b
Suppose 3*b - 4*b + 6 = 0. Let p = b + -4. Let r = -0.5 - -0.3. Is p != r?
True
Let y = 2.9 + -2.68. Let f = y - 0.02. Let t = -0.3 + 0.2. Which is bigger: t or f?
f
Let r be ((-3)/2)/(18/634). Let c = r + 53. Suppose i - p - 3 = 0, -5*i - 5*p + 4 - 19 = 0. Is c equal to i?
False
Let c = -2 - -1.9. Suppose 5*g - i - 4*i = -40, -40 = 5*g - 3*i. Let a = -25/3 - g. Which is bigger: c or a?
c
Let u be 0*-1*3/3. Suppose u = -4*b - 8 - 0. Is -1 smaller than b?
False
Let n(s) = -s**3 + 6*s**2 + 8*s + 9. Let o be n(7). Let f = o + -16. Which is smaller: f or 3/8?
f
Let k = 1.5 + -1.85. Let i = k + 0.05. Let c = -0.7 + i. Is 1 <= c?
False
Let s be (-7)/(42/12)*1/7. Do s and -12 have different values?
True
Suppose y - 4*y + 3 = 0. Let h(q) = -45*q**3 + q**2 + q - 1. Let u be h(y). Let z be 8/u + 26/22. Which is greater: 2/5 or z?
z
Let x = 42 - -37. Suppose 4*c + 5*g - x + 16 = 0, 2*c - 2*g = 54. Let m be c/(-35) + 5/25. Which is smaller: -1 or m?
-1
Let b be (-2)/10 - 36/20. Is -6/5 > b?
True
Let b = 2.37 + -2.3. Which is bigger: b or -5?
b
Let b(h) = -h**3 + 2*h**2 + h - 2. Let y be b(2). Suppose -2*i + y*i - 21 = -5*r, -3*i - 3*r + 21 = 0. Let p be (-1 + 5)/i + -4. Is p at least as big as -1?
False
Suppose -5*g + 11 + 4 = 0. Let h(t) = 2*t**2 - 6*t. Let c be h(g). Are 1/15 and c equal?
False
Let s be ((-15)/6 - -2)*0. Let y be ((-3)/4)/(14/(-8)). Is s >= y?
False
Let l = -5 - -8. Let y be (10 + 1 - l) + -3. Are 6 and y unequal?
True
Let g(w) = 5*w**2 - 10*w - 8. Let r(b) = -11*b**2 + 20*b + 17. Let t(c) = 13*g(c) + 6*r(c). Let d be t(-10). Is d less than -9/5?
True
Let k be ((-20)/15)/(5/6). Let y = k - -11/10. Is -1 < y?
True
Let b be (-27)/104*(-40)/(-30). Which is smaller: b or -1?
-1
Suppose 27 = 5*d + 2. Is d bigger than 6?
False
Let x be 1 - (-105)/54 - 3. Which is bigger: x or 1/4?
1/4
Let x = -18 - -42. Suppose -2 = 3*j - 2*a, j + 0*j + 4*a + x = 0. Let o be j/(-20) - 8/(-10). Is o > 2?
False
Let l = 0.034 + 0.066. Is 7/2 < l?
False
Let j = -0.6 - -0.9. Let c = -0.1 + j. Is c != -1?
True
Let z = -263/8 - -33. Suppose 3*j - 4*k = -0*j + 18, -2*j = k - 1. Suppose 2*q - 2*p - 1 = 1, 3*p = -j*q - 8. Is z smaller than q?
False
Let c be (3 + (-24)/9)*6. Suppose -2*d - 2 = 0, 0*a = c*a + 3*d + 5. Is a greater than -1/7?
False
Let q be -4 - (-3)/(-2) - (0 - 3). Which is smaller: q or 0.4?
q
Let d = 2.01 - 0.01. Let z = d + -8. Let g = z - -5.7. Is g > 0?
False
Suppose 2*d - 3 = -5. Let n = d + 2. Let h = 0 - n. Which is bigger: -2 or h?
h
Let f = 9 + -8. Let k(t) = -t + 1. Let o be k(1). Which is bigger: o or f?
f
Suppose -a - 5*d = 9, -2*a + 18 = -3*a - 2*d. Let h be (a/10)/(3/(-10)). Suppose -h + 3 = 5*z. Are z and 0 nonequal?
True
Let i(u) = -u**3 - 13 + 0*u**3 + 20 + 13*u - 11*u**2. Let z be i(-12). Which is smaller: z or -3?
z
Let q(m) = -8*m + 8. Let h(l) = -8*l + 7. Let w(v) = -4*h(v) + 3*q(v). Let c be w(4). Let i be c/(-45) + 10/25. Is i equal to 0?
False
Let c(x) = x**2 - 10*x - 6. Let g be c(11). Let k be (-4)/3*(g + 1). Is -7 bigger than k?
True
Let b(d) = -d**3 + 7*d**2 + d - 6. Let k be b(7). Which is smaller: k or -2/19?
-2/19
Let j(r) = -r**3 - 6*r**2. Let o be j(-6). Suppose o = -4*f - f. Does f = 1?
False
Let z = 1.4 - 0.3. Which is smaller: 0 or z?
0
Let r = -688/7665 - 2/365. Is r <= -1?
False
Suppose 0 = b - 1 + 5. Let p = 10 + b. Let l be (-2)/(-1)*p/(-4). Do l and -4 have different values?
True
Let w(r) = 5*r - 67. Let x be w(13). Is -2/13 smaller than x?
False
Let q = 2 - -1. Suppose -2*v - q = v. Let d be (-1)/((-1)/(-5)*v). Is 3 >= d?
False
Suppose 11 = -2*z + 1. Let g be (-16)/(-40) - (-7)/z. Which is smaller: 7 or g?
g
Suppose 5*v - 24 = 3*s, -8*s + 3*s = 2*v + 9. Let j be -2*1/2*-1. Which is smaller: v or j?
j
Let f = 2 + -2. Let h = 3 - f. Is h not equal to 4?
True
Let s(g) = -g + 7. Let v be 24*(1/3 - 0). Let z be s(v). Is -2 != z?
True
Let n = 0 - -2. Suppose -4*s - 6 = -n. Is s < 0?
True
Let w = -23 - -12. Which is greater: w or 0?
0
Let s = 1.3 - 1.39. Let c = 0.01 - s. Which is greater: c or -2/5?
c
Let p(l) be the second derivative of l**4/12 + 5*l**3/6 - 7*l**2/2 + 4*l. Let a be p(-6). Which is greater: a or -1/20?
-1/20
Let g = -7 + 6. Let o be (g/(-2))/(2/12). Let f = 299/110 - 29/10. Which is greater: f or o?
o
Suppose -5*f = -s + 7, 3*f - 4*s + 4 + 7 = 0. Let u be (2 - 1)*(-6)/f. Let t be (-21)/(-18) + (-3)/u. Is 1 != t?
True
Let l = 5 + -2. Are 1 and l unequal?
True
Suppose -2*f = o + 2*o + 6, 3*o - 9 = 3*f. Let h = -0.4 + -0.1. Is o at most as big as h?
False
Suppose 15*f = 13*f + 8. Does 2 = f?
False
Let h be 67/2*8/20. Let z = 13 - h. Which is greater: -1/18 or z?
-1/18
Let v(h) = h**3 + 5*h**2 - 7*h - 8. Let x be v(-6). Suppose -5*f - 1 - 19 = 0, 3*f + 12 = 2*z. Suppose 3*n - 4*n - 3 = z. Is n <= x?
True
Suppose -w = -2*w + 32. Suppose -w = -0*g - g. Let l be 4/6 - g/30. Is -0.1 at most l?
False
Suppose 3*l - 21 = -0*l. Which is smaller: 9 or l?
l
Suppose 5*v = -3*z + 10, -4*z - 2*v - 2 = -3*v. Which is bigger: z or -4/3?
z
Suppose -3*w - 3 = -9. Let z be (-3 + w)*1 + 5. Suppose -o = z - 2. Which is greater: o or -3?
o
Let x(u) be the second derivative of 7*u**3/6 - 13*u**2/2 + u. Let z(y) = -6*y + 12. Let q(t) = -5*x(t) - 6*z(t). Let m be q(9). Which 