+ 7 = 1. Let o be 1/(-4) + (-29)/(-36). Which is smaller: z or o?
o
Suppose k + 1 = -5*d - 0*d, 0 = k - 3*d - 39. Which is bigger: 2/5 or k?
k
Suppose u - 86 = -84. Are u and 10/7 nonequal?
True
Let i(f) be the second derivative of f**4/12 - f**3/2 + f**2/2 - 3*f. Let a be i(3). Let g be (-2)/(-2) - a/3. Which is greater: -0.3 or g?
g
Let v(c) = c**3 - c**2 + c + 3. Let n be v(3). Let k be n/9 - 2/2. Let u = -3 - -6. Is u less than k?
False
Let c = 0.88 + -1.28. Which is smaller: c or 0.1?
c
Let v be (18/4)/(9/(-12)). Let g = 7 + v. Which is greater: g or -3/7?
g
Let l = 609023/20 - 30438. Let o = 3777/268 + -90/67. Let v = l - o. Which is greater: 1 or v?
1
Suppose -3*o = 2*o - 20. Suppose -16 = -o*z - 0*z. Suppose 5*a - 3 = -3*p, z*a + 2 - 3 = -p. Is -2/13 greater than a?
False
Let z(q) = q - 13. Let f be z(6). Let g(t) be the third derivative of t**4/24 - t**3/6 - 3*t**2. Let y be g(-6). Is f smaller than y?
False
Let x = 43/1344 - -1/64. Do -1 and x have the same value?
False
Let a be 1 + 0 + 9/(-5). Suppose -v + 4*r + 23 = 0, 5*r = 2*v - 23 - 8. Suppose v*q + 11 - 5 = 0. Is q at most a?
True
Let k = -331/6536 + 13/152. Which is smaller: 1 or k?
k
Let y = -283364 - -80758646/285. Let d be 82/(-456) + (-2)/(-8). Let t = d - y. Which is smaller: 0.1 or t?
0.1
Let j be (12162/4)/(9/(-4)). Let d = -1311 - j. Let f = d + -40. Are f and 1 non-equal?
True
Let j(m) = -m**2 + 5*m + 8. Let z = -10 - -16. Let k be j(z). Suppose l = -0*l - k. Are l and -2 unequal?
False
Let m be ((-6)/(-4))/(9/24). Suppose m*q = q - 6. Which is bigger: -1 or q?
-1
Suppose b + 3 + 1 = 0. Is -5 equal to b?
False
Let d(b) = b**2 + 9*b + 13. Let r(t) = 1. Let g(q) = d(q) - 6*r(q). Let h be g(-8). Which is smaller: 5 or h?
h
Let n(u) = u**3 + 9*u**2 - 3 + u**2 + 0*u**3. Let j be n(-10). Let f be 2*(9/2)/j. Is -3 < f?
False
Let p = -8 - -6. Let d(t) = -t - 2. Let w be d(6). Let s = w - -5. Is s bigger than p?
False
Let h be (5 - 7) + (-5286756)/(-70). Let v = 75516 - h. Let l = v + 34/5. Is l >= -1?
True
Suppose -4*w - 17 = 23. Let r be 4/w - (-24)/(-15). Suppose -2*n - 12 = 3*i, -2 = n + 3*n - 5*i. Which is bigger: n or r?
r
Let g = 30 + -30. Is g less than or equal to 0?
True
Let w(p) = -2*p**2 + 2*p - 1. Let g be w(1). Is -3/28 > g?
True
Let q = 134 - 135. Which is greater: q or 12/5?
12/5
Let i = -0.7 + -0.3. Let l be 6/3*(-4)/(-72). Is i less than l?
True
Let i be 0/3 + 0 + 7. Suppose -u - 2*r = -0 + 1, u + i = -4*r. Suppose k - 2*k - 5 = -5*z, 5*z + 25 = -u*k. Do z and 1 have the same value?
False
Suppose y + 2 = 3*y. Let w be (3/27)/(1/y). Suppose q + 2 = -s, -4*q + 3*s + 6 = -q. Which is bigger: w or q?
w
Let c be -35 - (-3)/(1 + -2). Let f = -26 - c. Do f and 12 have different values?
False
Let j be (4 - 0)*(-2 + (-469)/(-238)). Is j > -0.1?
False
Suppose 4*k = -5*k + 4*k. Is k >= 1/10?
False
Let b = -3 - 1. Let f = 3.2 + b. Let t = f - -4.8. Which is smaller: -2/5 or t?
-2/5
Let j(l) = -l**2 - 9*l - 16. Let t be j(-10). Does -26 = t?
True
Let u = -5761/78 + 445/6. Which is smaller: u or 0?
0
Let w be (-1125)/(-24) - 3/(-24). Is 47 smaller than w?
False
Let b(y) be the third derivative of y**6/120 + y**5/20 - 7*y**4/24 - 3*y**3/2 + 3*y**2. Let i be b(-4). Which is bigger: 5 or i?
5
Let u = -1 + -2. Let i = -3.1 - u. Let z be 2/(-4)*8/18. Which is smaller: z or i?
z
Let l = 78 + -52. Suppose 5*o + l = -3*h, -30 = 5*o - h + 8. Is o <= -7?
True
Let n(y) = -4*y - 4. Let u be n(-5). Let g = u - 11. Which is smaller: 6 or g?
g
Let w(p) = -p - 5. Let g be w(-6). Suppose -3 = 4*j + g. Let b be (9/5 - 0) + -2. Which is greater: j or b?
b
Let u = 8 + -7.97. Let j = 0.23 - u. Which is smaller: j or -3/5?
-3/5
Let y(n) = n**2 + n. Let z be y(-1). Which is smaller: z or 1/6?
z
Let i = 4069/94 + -84/47. Let a = i - 2071/50. Does 1 = a?
False
Let f = -50 - -948/19. Which is bigger: 0 or f?
0
Suppose -2*g = -10 - 0. Suppose 2*v - 7 = x, g*x - x - 8 = -4*v. Let m = 1.7 - 1.8. Which is bigger: m or v?
v
Let q = -4 + -8. Let v = q + 20. Let p = v + -11. Which is greater: 0 or p?
0
Suppose 0 = 4*l + 4*z - 76, l = -5*z + 6 - 3. Suppose -3*x + 23 = 2*x - 2*c, -4*x = 3*c - l. Which is smaller: -1/2 or x?
-1/2
Suppose -1049 = -f - 4*f + 2*y, -4*y + 1067 = 5*f. Let z = f + -2323/11. Which is smaller: -1 or z?
-1
Let b be (652/(-92))/((-512)/(-6)). Let d = 1/256 - b. Is d smaller than -3?
False
Let s = 17 + -17. Suppose 0 = -8*l + 3*l. Is l less than s?
False
Suppose -5*r = -4*o + 1 + 8, 0 = -2*o - 4*r - 2. Let l = 2245/234 - 86/9. Let q = -33/182 + l. Is o bigger than q?
True
Let p(q) = -q - 1. Let o be p(-2). Is 1 at most as big as o?
True
Let g = 110 - 109. Is g > 13/10?
False
Let k = -3 + 7. Suppose 0 = -k*o - 4 - 8. Let n = o + 2. Do n and -2 have the same value?
False
Let l = 52 - 48. Is 4 >= l?
True
Suppose 0 = 5*l + i - 15, 3*l + 4*i - 4 = 5. Let w be l/6 - 6/(-20). Let j = 11/20 - w. Which is smaller: j or 1?
j
Suppose 2*b + 5*u + 16 = 0, -5*b - 2*u - u - 21 = 0. Let x be 1 + 0 + b + 5. Let t(n) = n + 8. Let w be t(-6). Is x equal to w?
False
Let c(h) = h**2 + 7*h + 5. Let o be c(-4). Let k(m) = -2*m**3 + 7*m**2 - 7*m + 6. Let a be k(5). Let j be (-4)/18 - a/(-18). Which is smaller: j or o?
o
Let c be ((-2 - -2)/3)/1. Is 1/41 > c?
True
Suppose -10*h + 4 = -9*h. Which is smaller: 3 or h?
3
Let n be (3/2)/((-3)/(-10)). Let s be (18/n)/(9/30). Which is smaller: s or 11?
11
Let a = -0.31 - -0.61. Let p = 1 + -0.7. Let c = a - p. Is 0 not equal to c?
False
Let s = 381 - 384.99. Let x = s - 0.01. Which is bigger: x or -1/2?
-1/2
Let n = 56/155 - 5/31. Let m = -2 - -2. Suppose 0 = -m*c + c + 1. Which is greater: n or c?
n
Let w = -14 + 12.6. Is -1 at least as big as w?
True
Let j(f) = 8*f + 1. Let m(z) = -41*z - 5. Let t(c) = 11*j(c) + 2*m(c). Let d be t(-1). Is d > -5?
False
Let o = 0.2 + -0.1. Let s = 0 - o. Let l = 1 + -1.1. Is s smaller than l?
False
Let m(h) = h**3 - 3*h**2 - 2*h - 3. Let b be m(4). Suppose k - 2*i - 2 = -2*k, -5*i - b = 0. Suppose -3 = -3*z - k. Is 0 smaller than z?
True
Suppose 8 = 2*t + 2*y, -2*t - y = -5*y - 2. Which is greater: 4 or t?
4
Suppose 0 = -0*y - 5*y. Let r = 0 - y. Is r smaller than -4/3?
False
Let z = -12.9 + 14. Let y = -6.9 - -7. Let o = z - y. Is o > 0.2?
True
Suppose 3*g - 7*g + 16 = 0. Suppose -6*o + 9 + 3 = 0. Which is smaller: g or o?
o
Suppose 78 = 8*h - 18. Is h less than or equal to 12?
True
Suppose 4*b + 4*i - 40 = 0, 2 = b + 5*i + 4. Which is bigger: 12 or b?
b
Suppose -2*g = -7*g. Suppose -j - 4 = -5*j, 3*n + 3*j = g. Is 1/5 smaller than n?
False
Suppose 0 = -3*z + 2 + 13. Suppose -z*q + 52 = -43. Suppose q + 6 = 5*l. Is l at least as big as 4?
True
Let i be 0 + 0 + 5 - 1. Let j be (0*i/(-8))/(-1). Let w = -2 + 3. Is w not equal to j?
True
Let d = -0.7 + 0.6. Which is greater: d or 0.4?
0.4
Let f = 12 - 17. Let g = -30 - -25. Are g and f equal?
True
Let a = -0.96 - -0.06. Let y = -0.1 + a. Let n = -9 + 3. Is n at least y?
False
Let o be (6/(-8) - (-75)/20)/3. Let w = -2/93 + -164/1023. Is w smaller than o?
True
Let r = 4.5 - 0.3. Is r != 1?
True
Let w = -13/31 + 515/1302. Which is bigger: w or -1?
w
Let b = -42.12 - -42. Which is smaller: 1 or b?
b
Let q be (-4)/(-6) + 32/(-3). Let d = 10 + q. Let g = 0.1 - 0.2. Which is bigger: g or d?
d
Let c = -18.13 - -18. Is 0.1 at least as big as c?
True
Let f = -3 + 7. Suppose 3*y - 13 = f*p, 5*p + 8 = y - 0*y. Let w be 1 - -18*(-1)/16. Which is greater: p or w?
w
Suppose 4*v - 4*j - 596 = 0, 0 = -5*v + j - 394 + 1147. Which is smaller: -2/7 or v?
-2/7
Let t(j) = -2*j - 6. Let m be t(-3). Is -24/11 at least as big as m?
False
Suppose 0 = 2*l - g + 13, 5*l - 4 + 54 = -g. Let c be 20/(-45) - 2/l. Which is smaller: -3 or c?
-3
Let r = -9.9 + 10. Which is bigger: 7 or r?
7
Let d = -20 - -14. Let a(z) = z**2 - 4 + 4*z + 0*z**2 + z. Let n be a(d). Is 2 less than or equal to n?
True
Suppose 27 - 17 = -5*g. Which is smaller: g or 1?
g
Let l = -19 - -3. Let o = -15.4 - l. Let c = 1 + -2. Is c != o?
True
Suppose 3*x + 7 = -5*w, -w - 2*w - 11 = -5*x. Which is smaller: x or 3/5?
3/5
Let p = 1.5 + -3.1. Let b = 0.2 + p. Which is smaller: 1 or b?
b
Let v = -1.07 - -1. Let b = v - -0.77. Is b less than or equal to 0.2?
False
Let n be (-1)/(-1 + 0 + -1). Let y(q) = q**2 - 10*q - 9. Let j be y(11). Suppose 0 