 j = 1 + -4. Let n = 11 - 6. Let z be (-7)/1 + n + -2. Which is greater: z or j?
j
Suppose 0*w + 3*w - 12 = 0. Suppose 19 = 2*t + 5*c, -7*t - 2*c = -w*t - 12. Do 0 and t have the same value?
False
Let v = -458/3315 - -4/195. Suppose -2*u = -7*u - 5. Is v at least as big as u?
True
Let s(x) be the first derivative of -x**2/2 + 1. Let u be s(1). Are u and -2 nonequal?
True
Let p be 20/(-3)*(-3)/2. Let l = p - 7. Suppose 3 = 5*c - 4*c - 5*u, 5*u = 2*c - 6. Is l smaller than c?
False
Let t = 0.25 + -0.2. Let h = 9 - 4. Let g(w) = -w**2 + 6*w - 4. Let q be g(h). Is t less than q?
True
Suppose -2 = i + 3, -3*m + 5*i = -28. Is 8/9 > m?
False
Let l be 2 - (-1)/((-1)/5). Suppose -z + 6 = z. Let g be z*(1 + (-14)/6). Is g < l?
True
Let m be 0/(((-4)/2)/1). Let t = m - 1. Suppose 4*o = 5*c - 3, -5*o + 6*c - 3*c - 7 = 0. Which is greater: t or o?
t
Let s = -70.2 - -70. Do 2 and s have the same value?
False
Suppose 0*r = -3*r. Suppose 4*t + 34 - 6 = r. Which is smaller: -6 or t?
t
Let u = -0.1 + 0.1. Let a = -2 - u. Let c = 2 + a. Are 3 and c equal?
False
Let d = -23 + 22.88. Which is greater: -2/3 or d?
d
Let r = 2 - 3. Let w = -2 + 1.3. Let q = w + -1.3. Which is greater: q or r?
r
Suppose 2*l + 9 = -3*x, 4*l + 3*x = -0*x - 9. Does 3/5 = l?
False
Let t be -3*9/(1890/4). Which is smaller: t or -1?
-1
Let x = 23 - 113/5. Let v = -574/13 + 44. Which is smaller: x or v?
v
Let g = -0.9 + -7.1. Let m = 9 + g. Let o = m + -1. Which is greater: 2/7 or o?
2/7
Suppose 2*z = -3*z + 5. Suppose 7*u + 12 = 19. Is u smaller than z?
False
Suppose 0 = 4*w + 2*i - 24, w - 25 = -5*i - 10. Suppose 0*y = w*y. Is -1/7 at most as big as y?
True
Let j be (-10)/12 - (-6)/(-9). Which is smaller: j or 6/13?
j
Let x(n) = -n**3 - 9*n**2 - n - 7. Let w be x(-9). Suppose -v - w*v = 5*b - 25, -v = 3*b - 11. Suppose 4*h - 4 = 12. Which is smaller: b or h?
b
Let j be (-5)/(-2) - 1/(-2). Suppose -5 - 4 = -j*s. Let k(y) = -y**3 + 3*y**2 + 2. Let l be k(s). Is l != 2?
False
Let h = -1 - -5. Suppose 4*d = 2*d + h*o - 10, 3*d = -o + 20. Let g = 6 - d. Which is smaller: g or 0?
0
Let p(w) = -w**2 + 6*w - 1. Let c be p(5). Let s(n) = n**3 - 3*n**2 + 4*n. Let i be s(2). Is c != i?
False
Suppose 0 = 4*f + 4*r + 168, 46 - 4 = -f - 5*r. Which is smaller: f or -41?
f
Let r = 7 - 4. Let y = 3.82 - 4. Let g = y + -0.82. Is r at least as big as g?
True
Let p = -1.01 - -0.93. Is p less than or equal to 1/6?
True
Suppose -2*d = -7*d - 20. Which is greater: -3 or d?
-3
Let l be 1/55 + (-12)/(-66). Let p be ((-3)/(-12))/((-3)/(-12)). Is l > p?
False
Let z be (-1)/(-5) + 204/(-20). Is z < -8?
True
Suppose 4*d = 5*l + 18, 5*d - 3 = -18. Which is smaller: -5 or l?
l
Let n = 0 + -1.2. Let m = n + 0.2. Which is smaller: 1 or m?
m
Suppose 2*t = -3*p + 6, -4*p + 8 = -0*t + 5*t. Suppose -h + 2 = -1. Suppose -h*r - 2*g - 9 = 0, 15 - 6 = -3*g. Is t less than or equal to r?
False
Suppose 0 = -5*l - 5*j - 115, 0 = -3*l - l - 3*j - 87. Let f = l - -12. Let o be (-2)/(-10) - f/(-5). Are 1/6 and o non-equal?
True
Let v = -42 + 61. Is 19 at least as big as v?
True
Let i = 4 - 3. Let a = i + 0. Is a at most as big as 0?
False
Suppose 4*q - 16 = 408. Let r = -217/2 + q. Do r and -2 have the same value?
False
Let r = -8 - -16. Suppose 4*k - r*k = 16. Is -4 < k?
False
Let v = -0.2 - 1.6. Let x = 2 + v. Let l be (2/4)/(24/12). Is l greater than x?
True
Let k = 0.07 + 0.03. Let x = k - 1.1. Is -0.3 equal to x?
False
Suppose -l - 75 = 3*f - 0*f, -5*l - 63 = 2*f. Let j be (0 + f)/4 + 2. Suppose 0*x - 6 = 2*x. Is j less than x?
True
Let u = 39.72 + -36.7. Let j = 3 - u. Let r = j + 0.02. Which is bigger: r or -3?
r
Suppose 17*d - 15*d = 4. Is 2 greater than d?
False
Let f = 32 + -14. Let c = f + -8. Let z = c - 9.9. Are 2 and z equal?
False
Let w = 124 - 124.07. Are -1 and w equal?
False
Let g = -1.33 + 0.33. Which is smaller: g or 0.07?
g
Let u(k) = -2*k + 3. Let a be u(3). Let b = 2 - 6. Let i = b - a. Which is smaller: i or -2/3?
i
Let i = 4.1 + -4.14. Let f = 0.2 + -0.2. Do i and f have the same value?
False
Let x(y) = y - 23. Let t be x(23). Which is smaller: t or -12/19?
-12/19
Suppose -4*t + 4*d + 31 = -d, 2*d + 18 = 3*t. Suppose 3*p = -4*a + 2*p + 5, -4*p = -t. Is a less than 1?
False
Let v = 13 + -8. Let b = -4 + v. Which is smaller: b or 1/4?
1/4
Let i = -27 - -56. Are i and 27 nonequal?
True
Let b = 16 - 16. Is b >= 2?
False
Let b = -0.15 + -0.45. Is 0.1 at most as big as b?
False
Let y = -16 - -12. Are y and -0.1 non-equal?
True
Let b = 16 - 9. Suppose -2*a = -b*a. Suppose 2*o = 4*d + d, o - 3*d = a. Are o and -0.1 nonequal?
True
Let q be (-3 + 1)/((-20)/(-70)). Is -8 smaller than q?
True
Let u = -10 + 11. Which is smaller: 4 or u?
u
Let j(u) = -u**2 + 19*u + 41. Let v be j(19). Which is smaller: 43 or v?
v
Let x = -8 - -9. Let z be (-6)/18 - 4/6. Let y = z - -1. Which is greater: x or y?
x
Let i = 93 - 116. Are i and -24 unequal?
True
Let f be (-45)/(-2)*8/12. Suppose -f*i + 12 = -12*i. Which is bigger: 2 or i?
i
Let l be 4/(-12) - 215/(-15). Is l greater than 18?
False
Let z(y) = -7 + 2*y**3 - 7*y**2 - y - y**3 + 8*y. Let u be z(6). Let g be 1 - ((u - -1) + 1). Which is greater: -1/3 or g?
g
Let j = 1.6 + -9.6. Let k = j - -7. Is -0.6 <= k?
False
Suppose 4*l - 100 = -4*o, -l = -5 + 1. Suppose 0*t - 3*t = -o. Is 7 less than t?
False
Let c = 5 + -3. Suppose -c*u + 5*u = 3. Which is smaller: 4/5 or u?
4/5
Let x = 93 + -93. Which is bigger: 81 or x?
81
Let t = -1/20 + 1/4. Is t less than or equal to 0?
False
Let c = 0.16 + -0.96. Let r = c - -0.9. Is r >= 3/5?
False
Let b = 5 - -3. Let c be b/21 + (-18)/(-63). Are 0 and c equal?
False
Suppose -n = 2*n + 3. Let t be 100/(-88)*(-6)/5 - 1. Which is greater: n or t?
t
Let j = -3 + 5. Let b be 2/j - (0 + -3). Is b at least as big as 4?
True
Let g(y) = -y. Let p be g(-4). Let f be 1 - (0 + p/5). Which is smaller: 1 or f?
f
Let d be (-3 - -1)*(-2)/(-4). Let m = 140/11 + -634/55. Which is smaller: m or d?
d
Let o be (-2)/(-4) - 1/(-2). Let w = 5 - 3. Let d = w + 1. Which is greater: d or o?
d
Let t = 20 + -22. Is -1 greater than t?
True
Let o(c) = c**3 + 8*c**2 - 1. Let p be o(-8). Which is greater: 5/17 or p?
5/17
Let h = -1 + 1. Which is bigger: h or -5?
h
Let k be (-8)/28 + (-2)/(-7). Suppose -5*x + 2*j - 26 = k, x + 3*j - 1 = -x. Let c be x + 5 + (-5)/4. Is c > -1?
True
Let g be 1/((0 - -1)/1). Let b be (g + (-4)/5)*-3. Suppose -6*l - 12 = -8*l + 4*f, 3*l + 14 = -2*f. Do b and l have different values?
True
Let t be 0/((0 + 1)/1). Suppose 7 = 5*x - 2*r, 5*x - 15 = -5*r + 20. Suppose -2*m + x = -5*f, 0 = 3*m - f + 2 - t. Which is smaller: 1/8 or m?
m
Let c = -3 - -2. Suppose 6*j - 4 = 5*j. Let n be j/(-14)*5/10. Is n at least c?
True
Let n = 1.3 + -1. Which is smaller: n or -0.3?
-0.3
Suppose 0*w - 2*w = 0, 4*z - 96 = -5*w. Suppose -2*k + z = 2*k. Let q be 4/12 - 2/k. Is 1 smaller than q?
False
Suppose -3*d + 8*d - 45 = 2*l, 0 = 5*l + 25. Do 9 and d have the same value?
False
Let p = 9 + -4. Suppose x = p*x. Suppose 0 = -v + 20 - 15. Which is bigger: x or v?
v
Suppose 8*z = 3*z. Are -2/3 and z non-equal?
True
Suppose 0 = -j + 3*j - 2. Let v be 3/9*2/j. Are v and 2 non-equal?
True
Suppose -4*d - 13 = 4*i + 19, d = 5*i + 4. Let o be ((-8)/6)/((-4)/(-12)). Which is smaller: d or o?
d
Let w be -45 + 12/9*-3 - 0. Which is bigger: -50 or w?
w
Suppose 0 = 2*a + 2*h + 2, -3*a + 5*a + 4*h = -8. Suppose -5*n + a = -4*n. Let j(k) = -k**2 - 5*k + 1. Let r be j(-5). Which is smaller: n or r?
r
Let p(h) = 3*h + 1. Let y be p(-1). Let j be (-5)/(15/(-12)) + y. Let a be (-2)/3 - 10/(-6). Which is greater: j or a?
j
Suppose -2*t - 10 = -l + 3*t, 3*l + t = 94. Let k be (-10)/l*0/(-2). Which is bigger: k or -1?
k
Let f = -35 - -58. Does f = 0.2?
False
Let s = 18/7 + -40/21. Suppose -4*t - t = b - 4, -4*t + 5*b = -9. Let f be 2 - t - (-6 + 5). Which is smaller: f or s?
s
Let u = 50 - 35. Suppose -4*l - u = r, -28 = 2*r + 5*l - 10. Is -6/13 <= r?
True
Let d(k) = k + 11. Let a be d(-6). Is -1 less than or equal to a?
True
Let b be (0 - 224/(-70))/(2/(-10)). Let c(x) = 2*x - 4. Let h be c(-5). Are h and b unequal?
True
Let g(s) = -s**2 + 6*s - 5. Suppose -3*i = 3*j - 2*i - 15, 4*j + i - 19 = 0. Let w be g(j). Let k be ((-1)/3)/(w/6). Which is smaller: -2 or k?
-2
Suppose 11 = -2*u + 5*u - 4*n, 