5*u, 2*u + 4 = -w + 2*w. Is 1/9 not equal to u?
True
Let i = 0.24 - -0.06. Let p = -0.04 + 0.64. Let v = i - p. Which is greater: 1/4 or v?
1/4
Let r = -34 - -35. Which is smaller: r or -1/2?
-1/2
Suppose c + v + 25 = -3*v, 3*v - 25 = c. Let o = 28 + c. Does o = -2?
False
Let i(v) = v**3 + v**2 - v + 7. Let b be i(0). Suppose 3*s + 11 = 2*n, -4*s - b - 3 = 2*n. Let c(h) = h + 4. Let y be c(-3). Do s and y have the same value?
False
Let h = -7.3 - -7. Let a = 0.9 + 3.1. Let c = a - 3. Which is bigger: h or c?
c
Let d = 2 - 3. Suppose 0 = 5*g - g - 24. Let c be ((-2)/6)/(2/g). Are d and c unequal?
False
Let t be 844*7/(-4)*2. Let u = 8780/3 + t. Let m = u + 27. Which is greater: 0.3 or m?
0.3
Let v(y) = y**2 + 4*y + 4. Let f be v(-3). Suppose 0 = -m - 4*s - 2 + f, -m + 2*s = 1. Let t be -2 + m - (-21)/6. Which is smaller: -3 or t?
-3
Suppose 0 = 3*o + o + 8. Let u(c) = 21*c - 27. Let a(f) = -3*f + 4. Let t(y) = -27*a(y) - 4*u(y). Let z be t(1). Is z <= o?
True
Let d = 2 + -3. Let w(j) be the third derivative of j**4/24 - j**2. Let x be w(2). Is d >= x?
False
Let x be 0 + 2*(-3)/2. Is -20/9 less than or equal to x?
False
Let b = -14 + 8. Let i(z) = -z**2 - 7*z - 2. Let d be i(b). Suppose 0 = -r - d*r + 10. Is 2 > r?
False
Let m be (-6)/(-21) - (-3)/7. Let n be (4/12)/1*(-2 - -2). Which is bigger: m or n?
m
Suppose 9 = -4*p + p, -21 = -2*y + 5*p. Let o = 3 - y. Suppose -4*g - 3 - 1 = o. Is g <= -1?
True
Let y = 2 - -1. Suppose h = -y*h - 16. Suppose 3*k - 2*s + s + 1 = 0, -3*k - 26 = 4*s. Is k greater than h?
True
Let q = 3/14 - -2/7. Which is smaller: -9/2 or q?
-9/2
Let t be (1*21)/3 - -1. Suppose t = -4*w - 4*i, 4*i = 4*w - 31 - 1. Let y = -74 + 74. Does w = y?
False
Let j = 0.01 + 0.59. Let w = -0.4 + j. Let p = w - 0.2. Does p = -0.3?
False
Suppose -9 = 4*y + 7. Suppose 4*h = -5*a - 22, 2*h + 2 = -0*a + 2*a. Let x be (-1 - -2) + (-8 - a). Do y and x have the same value?
False
Let o = -14 + 30. Let b = o - 15. Is b <= 6?
True
Let y be (2 - 0)*-1 - 0. Let h = 0 + y. Are h and -2 equal?
True
Suppose l - 4*l + 2 = -b, -16 = -3*b - 2*l. Suppose 0 = m + 5*n + 13 - 1, -b*n + 2 = -5*m. Let w be 0/((m*2)/2). Is -1 at most as big as w?
True
Let i be (-2 + 3 + -3)/(-2). Is -1/26 smaller than i?
True
Let a = -47 + 47. Which is smaller: 18 or a?
a
Suppose -85 = -c - 4*c. Which is greater: c or 18?
18
Let f = 2 + -3/2. Let t = 10 + -6. Let o be 2/4 + 6/t. Which is bigger: o or f?
o
Let l be (-2 - (-5)/2)*-12. Let i be (2/l)/((-2)/24). Is i > 4?
False
Let r be 1 - 1/23*22. Which is smaller: r or -1?
-1
Let d = -0.03 - 0. Let g = d + 0.43. Let x = 0.7 - g. Which is smaller: x or -3?
-3
Let c be (0 - -1) + (28/30)/(-1). Are -1 and c non-equal?
True
Suppose -2*h + w = -h, -5*h - 3*w + 40 = 0. Suppose -q + h = -3*g, -4*q = -0*g + 5*g - 3. Let r(i) = -i + 3. Let c be r(5). Is g < c?
False
Let j = -6 - -4. Let c be (-3)/j + (-7)/10. Suppose 4*a - 5 = -a. Which is greater: a or c?
a
Suppose 0 = -2*q - 4*w + 20, -2*w + 1 = 4*q - 9. Let v = -44 - -305/7. Which is bigger: q or v?
q
Let g(x) = 7 - x - 3 + 1. Let y be g(5). Suppose -k + 0*k = y. Which is smaller: 1 or k?
k
Let y(s) = -s**3 + 5*s**2 - 3*s - 4. Let g be y(4). Let t = -112/3 + 37. Which is smaller: g or t?
t
Suppose 2*t + 0*a = a + 15, 6 = t - 2*a. Is 9 at most as big as t?
False
Suppose 0*g + 15 = 5*g. Which is smaller: 2 or g?
2
Let a be 5/(5/(-2)) - -3. Let v = -321 + 7385/23. Which is smaller: a or v?
v
Let n(p) = -p**2 - 9*p - 6. Let t be n(-6). Let s be (-4)/(t/(-9)) - -7. Let v be 3 - 5/(s/9). Which is smaller: -2 or v?
-2
Suppose 4 = 2*d - 0. Let r = 4 - d. Suppose -o - r = -3*h - 1, -3*o - 3*h + 21 = 0. Which is greater: 4 or o?
o
Suppose -2*q + m - 3 = 0, 0 = 3*q + 2*m - 14 + 1. Let x be 3/10*48/18. Which is smaller: q or x?
x
Let d be 0/(-2) - (-1 + 4). Let b = -3 + 5. Suppose -14 = 5*u + a, -2*u - 3*u + 3*a + b = 0. Is u smaller than d?
False
Let p = -918/5 + 183. Let n be (2/(-4))/(1/(-10)). Suppose -25 = 5*a, -25 = 2*j - 7*j + n*a. Which is smaller: j or p?
p
Let v be 101/4 - (-6)/(-24). Suppose -5*u = -2*s - 25, v = 3*u + 2*u + 5*s. Do u and 5 have the same value?
True
Let t(l) = 2*l**2 - 3*l. Let i be t(2). Suppose -2*u - 16 = -4*k, 5*k - i*u = 2*u + 17. Is 3 less than or equal to k?
True
Let b(g) = g - 1. Let i be 2/(-2) + -1 + 4. Let o be b(i). Is o at most as big as 0?
False
Suppose 0 = -2*r - 0*r + 400. Let w be (-1)/4 - (-34)/r. Which is smaller: 0 or w?
w
Let h(t) = -t**2 + 3*t - 1. Let j be (4 - 3)/(-1 - -2). Let f be h(j). Let q be (-1 - -3) + 24/(-14). Are f and q nonequal?
True
Let m be (-4)/(-10) - 688/1320. Is 0 greater than or equal to m?
True
Let w be (2/(-4))/(3/(-18)). Let l = w - -7. Suppose -4*c = -3*t - 17, 5*c - 4*c = -4*t - l. Is 5/4 smaller than c?
True
Let d be (2 + 3 + -4)/(-1). Which is bigger: -2/9 or d?
-2/9
Let n be (-1 - -3) + 12/(-6). Suppose 1 = k - 3. Suppose r = -k*v, v + 2*v = -2*r. Are n and v equal?
True
Let u = -6 + 7.3. Let s = u + -1.1. Is s smaller than -4?
False
Let g = -21 - -22.3. Which is smaller: g or -0.1?
-0.1
Let x = -4 - 0. Let r = -6 - x. Let i = r + 2. Is i <= 8?
True
Let g be (3 + 2 + -8)*(0 + -5). Is g smaller than 15?
False
Suppose 0*j + 2*j = -16. Is -9 smaller than j?
True
Suppose -4*c - c = -10. Let f(u) = u + 1. Let m be f(-1). Suppose m - 6 = -3*v. Is c != v?
False
Suppose 0 = -2*v - n - n - 4, 5*v + 3*n = -8. Let q be (-1)/(-3) - (-22)/(-30). Is v equal to q?
False
Suppose q - 45 = -4*p + 6*p, 3*p + 71 = 5*q. Which is smaller: -21 or p?
p
Let m be (-2)/(2/(-3)) + 66. Let b be m/(-270) - 2/(-10). Let h = 5/9 + b. Which is bigger: h or 1?
1
Let j be 2*-6*1/(-14). Which is greater: 0 or j?
j
Let j(k) = k**2 - 8*k + 13. Let s(f) = -3*f**2 + 24*f - 38. Let d(y) = 17*j(y) + 6*s(y). Let w be d(7). Which is smaller: w or 1/5?
w
Let u(c) = -c - 1. Let n(k) = 5. Let o(p) = n(p) + 2*u(p). Let z be o(2). Do -1 and z have different values?
False
Let d = -209/9 + 1457/36. Let v = 17 - d. Let b be -1*0*(-3)/(-6). Is v != b?
True
Let b = -0.3 + 0.4. Which is smaller: -32 or b?
-32
Let x = 2 - 0. Suppose -x*h + 2 = -0*h - 2*i, -2*i = 3*h + 2. Do 1/4 and h have the same value?
False
Let z = -1 + 1. Let m(c) = 8*c - 4*c - c**2 - 1 + 5*c. Let n be m(9). Is z less than or equal to n?
False
Let z = -257/6120 - -1/360. Is z bigger than 1?
False
Suppose 4*f - 3 = 3*f. Let l be (-8)/(4/22 - 288/132). Which is smaller: f or l?
f
Let m = -18 - -17.83. Which is smaller: m or -2?
-2
Let y(i) = -i - 2. Let j be y(0). Let d(n) = -n + 3. Let s be d(5). Is s less than or equal to j?
True
Let h = 1.2 + -1. Let z = -0.5 - -2.5. Which is bigger: h or z?
z
Let n(h) = h + 2. Suppose r + 52 = 4*s - r, s = 3*r + 23. Suppose 5*u - 4*u = -3*d + s, -2*u - 6 = -d. Let m be n(d). Is 6 equal to m?
True
Let h(s) = -s**2 + 10*s. Let i be h(10). Let y(x) = x - 2. Let q be y(4). Is i < q?
True
Let r(d) = d - 3. Let n be r(8). Let z be 0 + (-3)/3 + n. Suppose -p - z + 3 = 0. Is p at least as big as -1?
True
Let t = 7 - 8. Which is greater: t or 3/17?
3/17
Let l be (15/9 + -2)*-6. Suppose 5*w = 2*y - 2 + 6, -5*y + 19 = l*w. Let b = w + -2. Which is smaller: b or -1?
-1
Let d be ((-2)/(-4))/1*0. Suppose -b + 2 = -3. Let x = -2 + b. Which is smaller: x or d?
d
Let q(s) = 12072*s**2 + 5*s - 3. Let b be q(3). Let z = b - 1844060/17. Let g = 186 - z. Is 1 bigger than g?
True
Let d(y) = -y**2 + 6*y - 5. Let m be d(5). Does m = 0.1?
False
Let n be 0 + (-3)/(-6)*6. Let x be n/(-6) - (-1)/3. Which is smaller: x or 0?
x
Let z = 1/31 + 53/279. Is 1 <= z?
False
Let q = -23 + 19. Is q at least -4?
True
Let w = 77 - 116. Is w <= -41?
False
Let z = -39.8 - -40. Is z >= -6?
True
Let t(j) be the third derivative of j**8/20160 + j**7/2520 + j**6/180 - j**5/30 + j**2. Let u(c) be the third derivative of t(c). Let i be u(-3). Does i = 7?
True
Let x = -11.9389 + 0.0189. Let m = 12 + x. Which is greater: 1 or m?
1
Suppose 5*f - 102 = 7*f. Do -51 and f have different values?
False
Let p = -530 - -16432/31. Let f = -70 - -70. Which is greater: f or p?
p
Let m be (99/12)/(9/2). Let r = 126 + -749/6. Let x = m - r. Is x at least 0?
True
Let v = 1.27 + -1.2. Let q = v + 0.33. Which is greater: q or 1/2?
1/2
Let f = -1.8 + 1.8. Which is bigger: 2 or f?
2
Let y be 0*(1 - (2/4 - -1)). Let w(t) = 2*t**2 + 4