the same value?
False
Let n(l) = l**3 - 8*l**2 - 66*l - 4. Let p be n(-5). Suppose 15 = -5*u, 2*i - 10 - 361 = 5*u. Let k = i - 886/5. Is k smaller than p?
True
Let d = -14 - -39. Let y = d + -16. Which is greater: -0.1 or y?
y
Let l = 43 - 29. Suppose 54 = 2*k + 2*k + 2*d, -4*k + 59 = -3*d. Is l >= k?
True
Let x be ((-4)/2 - -44)*8/(-6). Let y = 55 + x. Is -3 greater than y?
False
Let v be 36/15 + 21/35. Suppose v*c = -9 - 21. Let b be 1 - 5/c*-3. Is b at least as big as -0.1?
False
Let u = -8 - -8.04. Let d = u - 4.04. Which is smaller: d or 2?
d
Suppose 0 = 6*j - 3*j. Suppose j = -21*q + 17*q. Which is greater: q or -10?
q
Let p = 16 + -4. Suppose -3*t + 26 = 2*k - t, 0 = 2*t - 6. Which is bigger: k or p?
p
Let r = 0 + 7. Let h be (-4)/(-14) - 3/r. Let m = -1592 + 1591. Which is smaller: h or m?
m
Suppose -r - 2*p = 8, 5*r + 3*p = p - 16. Let y = -22 - -37. Suppose -11*z = -6*z + y. Are r and z unequal?
True
Let m be 265 - (-3 + -4 + 1 + 2). Is 269 bigger than m?
False
Let v = -0.019 + -26.481. Let y = 0.5 - v. Let o = y + -29. Which is bigger: 9 or o?
9
Let v = 0.205 - -0.995. Which is bigger: v or 5?
5
Let n = 107 + -107. Let o be -1 + (3/3 - 0). Let i be -1 - ((-18)/15 + o). Which is smaller: n or i?
n
Suppose 363 = -7*b - 547. Which is smaller: b or 1?
b
Let r(o) = -65*o + 135. Let k be r(-7). Which is smaller: k or 591?
k
Suppose -t = 2*t + 3. Let q = -8290 - -2379224/287. Let y = -211/287 - q. Which is bigger: t or y?
y
Let p = -14 + 13. Let w = 0.7 + p. Let y = w + 0.3. Which is smaller: -2 or y?
-2
Let n = 16.5 + -0.5. Let y = -7 + 24. Let h = y - n. Are 4 and h equal?
False
Let n(o) = o**3 - 13*o**2 + 7*o - 14. Let q be n(10). Which is bigger: 1 or q?
1
Let k = -116 - -116.1. Which is bigger: k or -22/5?
k
Let u = 0.119 + -18.319. Let w = 18 + u. Is w not equal to -1?
True
Let a = 867 + -1285. Are -419 and a equal?
False
Let t(z) = z**3 + 4*z**2 + z + 2. Let q be t(-5). Let k = 10 + q. Let c be k/(-9) + 2/(-2). Which is greater: c or 1/14?
c
Suppose p + 7 = -g, 4*g + p = -0*p - 22. Which is greater: -86 or g?
g
Let c = 13053 + -2258179/173. Is c smaller than 1?
True
Let f = 0.67 - 7.67. Which is smaller: f or 7?
f
Let u(z) be the third derivative of -z**5/60 - 5*z**4/8 - 15*z**3/2 + 6*z**2. Let d be u(-4). Is d greater than or equal to -5/3?
True
Let t be (619/(-4) - -4)/((-6)/(-16)). Let j be (17 - 14)*(-4)/t. Let u be ((2 - 2)*1)/1. Do u and j have the same value?
False
Let z(m) be the second derivative of m**3/6 + m**2 - 9*m. Let s be z(0). Is 20/9 > s?
True
Let w = -41 + 13. Let a = -31 - w. Does a = -1/2?
False
Let l be ((-8)/30*-6)/((-16)/(-40)). Suppose 3*j + 1 = 4*v, -v = l*j - 3*j - 2. Which is smaller: v or -2?
-2
Let q = -26 + 25. Let k be (16 - 18)*(142/4 + q). Do k and -68 have the same value?
False
Let d be (-17)/(306/(-1320))*15/(-2). Is -549 less than d?
False
Let k = 43.973 - -0.027. Let h = k + -44. Is h greater than or equal to 0.65?
False
Suppose 3*k - 204 = 3*r, 0*r = k + 2*r - 77. Is 70 not equal to k?
True
Let g be 4 - (-4 - (2 + -9)). Let b(j) = -j**2 - 2*j + 3. Let x be b(g). Let y = 355 + -2489/7. Which is bigger: x or y?
x
Let i be 2760/207*(-10)/12. Which is smaller: i or 0.2?
i
Suppose 0 = -5*j - m - 215, -7 - 154 = 4*j + 3*m. Is j less than -44?
False
Let z be ((-6)/9)/(-1)*12/(-2). Which is bigger: z or 14?
14
Let z be (-50)/(-100)*(-1 - 1/1). Is 2/391 not equal to z?
True
Suppose -12*f - 23 = -35. Let b = 69 - 2004/29. Do b and f have the same value?
False
Suppose 0*b = 5*u - 3*b - 34, -5*b = 2*u + 5. Let y(k) = u*k + 0*k - k**2 - 5*k - 1. Let g be y(0). Is -1/3 less than g?
False
Let z = 22/19 - -74/133. Let q = -0.1804 + -0.0196. Which is smaller: q or z?
q
Suppose 0 = -28*r - 4081 - 371. Is r bigger than -159?
False
Let o = -391 - -390. Is 5/201 < o?
False
Let w = 8.6507 + -0.9287. Let i = -0.078 - w. Let l = 8 + i. Is l bigger than 1/5?
False
Let y be (-920)/50 - (-4)/10. Let l = -15 - y. Suppose l*w - 17 = -2*q, 0 = -q + 2*q + w - 9. Are q and 10 nonequal?
False
Let a be (-8)/(-28) - 79/56. Let o = a - -165/104. Which is smaller: o or 1?
o
Suppose -3 = -u - 9. Let g(a) be the first derivative of a**4/4 - 4*a**3 + 4*a**2 + 26*a + 1. Let t be g(11). Is u < t?
False
Let j = 389 + -735. Let i = 1052/3 + j. Which is smaller: -0.1 or i?
-0.1
Let y(m) = -18*m**3 - m + 1. Suppose 4*s = 13 - 9. Let t be y(s). Let x be ((-2)/3)/(t/27). Is 3/14 at least as big as x?
False
Let u = -60 + 120. Let i be (-4)/6 + 64/u. Let g = 20/57 - -544/399. Which is bigger: g or i?
g
Let d = -28 + 27. Is d >= -1/54?
False
Suppose -2*o + 4*d = -174, -d = -2*o - 0*o + 171. Suppose -5*j - 115 - o = -4*q, -5*q = 2*j + 47. Let n be 1 - (j/20)/(-3). Which is bigger: n or -1?
n
Suppose q - u + 19 = 0, -3 = -q - 2*u - 19. Let m = q - -18. Let r = -329/5 + 66. Is m equal to r?
False
Suppose -3*w - 9 = 4*v, 3*v + 19 = 4*w - 2*v. Let o = 3 + 1. Suppose 0 = -y - 4*z + w, 4*y - 4 = -3*z + o*z. Is y bigger than 4?
False
Suppose 5 = -f, -f = -3*k - 0*f + 11. Suppose j - k*o = 61, 0 = 3*j + 2*o - 203 - 20. Which is smaller: j or 72?
j
Let t = 647995/9 - 71875. Which is greater: t or 124?
t
Let v = 66.036 + 3.844. Let a = 70 - v. Which is bigger: -0.2 or a?
a
Let q = -601 + 600. Is q equal to 14.5?
False
Suppose 0 = -27*s + 22*s - 20. Let d be 2 - (52/(-32) - s). Is d less than or equal to -1?
False
Suppose -9 = -5*i - f + 3, -5*i - 5*f = -20. Let l be 11/2*3*i. Is 33 less than l?
False
Suppose 9165 = -7*r - 85097. Let w be r/(-44) + -1 + -2. Let i = w - 303. Which is bigger: i or 1?
1
Let x be -10 - 86 - 3/1. Is x not equal to -98?
True
Let v = -11 - -10.98. Let b = -0.08 - v. Let s = b - -0.05. Which is smaller: -1/3 or s?
-1/3
Let c = 1937 + -1911. Is 25 equal to c?
False
Suppose -561*f + 1056 = -555*f. Is f at least 174?
True
Let j = 0.081 - -0.119. Let n = -10.07 + 0.07. Let i = n - -10.7. Does i = j?
False
Let l = 18 - 22. Let m be (10 - 7) + (1 - l). Let o = 9 - m. Which is smaller: 0.11 or o?
0.11
Suppose 4*i = -537 - 15. Suppose -10*x - 3*x - 19*x - 4416 = 0. Is i at least x?
True
Suppose 4*c = 3*n - 129, 0 = 2*n + 5*c - 0*c - 86. Let p = 14 - n. Is p at least as big as -30?
True
Let w be 1/(-7)*-9 - 1. Let b = 140.8 - 137.8. Which is smaller: w or b?
w
Suppose 2*v - 3*i - 7 = -0, 5 = -2*v - i. Which is bigger: v or -1/24?
-1/24
Let g = -41/8 + 39/8. Let w = 4 - 3.6. Let l = -0.3 + w. Are l and g unequal?
True
Let f = -19.343 - 1.367. Let c = f + -0.29. Let b = c + 22. Is 4 >= b?
True
Let b = -926 - -964. Which is smaller: 155/4 or b?
b
Let k be 3 - ((-2)/(-3))/(110/10945). Is k >= -0.1?
False
Suppose -28 = d + 357*n - 353*n, -3*d + 4*n = -28. Let b(r) = -r**3 + 3*r**2 + 2*r - 4. Let a be b(3). Is d greater than or equal to a?
False
Let n(k) = 2*k**2 - k - 2. Let z be n(2). Suppose 2*c - 4*q + 2 = -9*q, 0 = 4*c - z*q + 60. Is -11 not equal to c?
False
Suppose -2*j + 84 = -8*j. Let k = j - -13. Let d be k/(-3)*6 + -10. Do 1/2 and d have different values?
True
Let b(j) = 2*j**3 + j**2 - j - 1. Let o = -18 - -19. Let k be b(o). Let z be -1 + 3 + (-4)/k. Which is smaller: -1 or z?
z
Let q be 7 + 2/(10/(-15)). Suppose -4*f + 200 = q*d, -3*d + d = 3*f - 104. Suppose 3*m + d = 5*m + 5*u, 5*m - 94 = -2*u. Is 19 at most as big as m?
False
Let n(a) = -12*a + 23. Let f be n(2). Is -83 at least as big as f?
False
Let c = 494 + -493.94. Suppose -5*y + 16 = -3*n, n = -5*y + 1 - 33. Let f be 3/n - (-2)/(-56). Which is smaller: f or c?
f
Let f(i) = 2*i**2 + 12*i - 3. Let z(j) = j**3 - 8*j**2 - j + 2. Suppose w + 8 = 2*w. Let g be z(w). Let x be f(g). Which is smaller: -9/4 or x?
x
Let y(a) = 28*a + 44. Let p be y(-3). Is p not equal to -39?
True
Let m be (64338/(-318))/(3/9). Let i = 607 + m. Which is bigger: i or -1?
i
Let p(q) = q**3 + 4*q**2 + 3*q. Let s be p(-2). Let u be 4/s + -3 - 0. Which is greater: 26 or u?
26
Let b = -104 + 4. Let r = b + 1299/13. Which is smaller: r or -1?
-1
Let k = -4950 - -4958. Suppose -5*g - 3*a = -60, 3*a - 33 = -0*g - 2*g. Which is smaller: k or g?
k
Let q = -9109/7 + 1159. Which is smaller: q or -143?
-143
Let o(t) = -3*t - 29. Let v be o(-12). Suppose -5*a + v*r = 2*r + 10, -5*a + 2*r = 4. Which is bigger: a or 3/17?
3/17
Suppose -71*h = -29*h + 2688. Suppose -244 = 4*z - v + 5*v, 241 = -4*z - 5*v. Is z le