- 58. Let z(p) = 2*p + 1. Let v be z(7). Does v = r?
True
Let o(d) = -d - 3. Let u(q) = 3*q + 10. Let x(t) = 7*o(t) + 2*u(t). Let f be x(-5). Suppose -f*c = -2*c. Which is smaller: c or -1/17?
-1/17
Suppose 3*u + u - g - 18 = 0, 0 = -3*u - 5*g + 2. Suppose u*p = -0*p + 64. Let v be (-6)/p - 2/(-4). Which is bigger: -1 or v?
v
Let d = -9 + 10. Let w be (d + -5)*(0/2 + 1). Suppose 3*g - 3*j = -30, 10 + 5 = -2*g + j. Is w at most g?
False
Suppose -14*a + 323 - 57 = 0. Which is smaller: 16 or a?
16
Let b = -2749 + 2790. Which is smaller: b or 0.17?
0.17
Suppose 3*b - 5*b - 17 = -5*w, -3*w = b - 8. Suppose -w*a = 105 - 30. Are a and 2/3 unequal?
True
Let k = 2 - -1. Let g = 9 - 7. Suppose g*z - 1 - 1 = 0. Which is bigger: z or k?
k
Let i(j) be the second derivative of -j**4/12 - 2*j**3/3 + 3*j**2/2 + j. Let f be i(-5). Do f and -3 have the same value?
False
Let l = -589/83103 + 9243687515/8144094. Let r = l - 1135. Is -1 > r?
False
Let o(j) = j + 3. Let q be o(6). Let h be (q/2)/((-120)/224). Which is smaller: -8 or h?
h
Let t be (-6)/14 + 0 + (-32606)/(-49). Is t less than or equal to 1331/2?
True
Let h = 10.58 + 9.42. Which is bigger: h or 0.06?
h
Let v = -126.2 + 138. Let u = -10.6 + v. Are u and -0.2 equal?
False
Let w = -24 - -26. Let d be (-28)/378*(-3)/w. Is d bigger than 0?
True
Let h(y) = 5*y + y**2 + 5*y - 17*y + 3*y. Let w be h(4). Let x be 4/6 - (-7)/(-15). Which is smaller: x or w?
w
Let f = -0.629 - -30.929. Let x = f - 31. Is x smaller than 0?
True
Let x = 6309951/19816 - 129/2477. Let p = 318 - x. Suppose -2*d + 5*y - 22 = 0, -5*y + 6 = -4*d - 18. Which is smaller: p or d?
d
Let s = 0.433 + -0.518. Which is bigger: 2 or s?
2
Let c be 13 - (3 + -3 - 1). Let f = -15 + c. Let m = -1 + f. Do -2 and m have different values?
False
Let i be (-6 + -2)*(-10)/16*-2. Let f(b) = b + 10. Let k be f(i). Which is smaller: k or 1/123?
k
Let b = 11.33 - -1.67. Are b and 0 nonequal?
True
Let j = 38 + -41. Which is greater: -54/13 or j?
j
Suppose k = 4*k + 15, -p + 4*k = -25. Suppose 5*f = 5, 21 = -x + 3*x + p*f. Is x greater than or equal to 4?
True
Suppose 179 - 183 = -4*s. Let n = -674 + 11454/17. Is s bigger than n?
True
Let u = -3.37 - -3.2. Let s = u - -0.31. Let r = -1.14 + s. Which is bigger: 2/3 or r?
2/3
Suppose 190*q = 193*q - 1125. Is 374 at least q?
False
Let r = 39.6 + -39.5. Which is bigger: 4/289 or r?
r
Let w = 56 + -61. Let y(g) = g**2 + 3*g - 11. Let r be y(w). Which is greater: r or -2/3?
-2/3
Let n = -155.29 - 1.71. Let s = 156 + n. Let t = -3288/19 + 173. Is s at least t?
False
Suppose -3*v = 12, 0 = 3*u - v + 2 - 3. Let j be 0 - ((-9)/(-3) + u). Let l = -136 - -140. Which is smaller: j or l?
j
Suppose t = 0, 3*j - 5*t - 30 = j. Let a be ((-4)/j)/((-72)/(-20) + 0). Which is smaller: 1 or a?
a
Let q = 16 + -4. Let s = 11 - q. Let z be 4/(-2) - 3/s. Is z >= 2/9?
True
Let d = -8187 - -73777/9. Which is greater: 10 or d?
d
Let x be 0 + -1 + (-2)/(-1). Let y = x - 0. Let n = -40 - -39. Which is bigger: n or y?
y
Suppose 4*m = -2*j, -m - 4*j = -0*m. Let k = -2878/13 - -223. Let t = k + -163/117. Is t >= m?
True
Let c be (-8)/(-4) + 366/(-36). Does c = -8?
False
Let b = 68 + -39. Let d = 1007 + -977. Which is smaller: d or b?
b
Let a be (-10)/4*6/(-20). Are a and 0 equal?
False
Let r = -18 - -25. Let t = -8.7 - -15.6. Let u = r - t. Is 0.03 < u?
True
Let d = -5 + 5.4. Let g = -10.208 - -0.208. Is d less than or equal to g?
False
Let u be (-2)/4 + (-121)/(-8). Let d = -353/28 - 787/168. Let i = u + d. Is i < -2?
True
Let m = 195 - 196. Which is smaller: m or -1/186?
m
Let h = 8 - 23. Let t = h - -16. Let m be ((-15)/330)/(2/4). Is t at least m?
True
Let v be (-27)/(-234)*(-2)/(-3). Let i = v + 19/91. Which is smaller: i or 0?
0
Let b(w) = 54*w + 25. Let r be b(-3). Which is smaller: -136 or r?
r
Suppose 4*n - 2*s + 31 + 17 = 0, -3*n - 54 = 3*s. Which is smaller: n or -16?
-16
Let o = -22.1 - -24. Let n = -2.49 - -1.49. Is n not equal to o?
True
Let h = -9907/5 - -108227/55. Which is bigger: h or -14?
h
Suppose 3*l = -o + l + 5, -5*o - l = -25. Let z be (-7)/1 - 0/1. Let t(b) = -2*b - 11. Let k be t(z). Is k greater than o?
False
Let v be (-8)/2 + 135/15. Let h be v + 1 + -2 + -12. Which is greater: -4 or h?
-4
Suppose -5*p + 4896 = -m - m, 3*m - 6 = 0. Suppose -6*i + p + 580 = 0. Let v be i/(-36) - 2/(-9). Is -8 less than v?
True
Suppose 37 = 11*h - 29. Let k be (-12)/28 + h/(-182). Is -0.1 < k?
False
Let l = -956 - -4. Is l at least -953?
True
Let a be (-2 + -13)*-1*1*5. Let l = 77 - a. Which is greater: l or 18?
18
Let r be (6/(-21))/(-1) + 33/7. Suppose -r*o + 3 = -6*o. Is 2 less than o?
False
Let n(c) = -c**3 + 23*c**2 - 19*c - 38. Let a be n(22). Suppose 4*w = 2*t + a, 0 = 4*t - 0*t - w + 21. Is 2 greater than or equal to t?
True
Suppose 0 = s - 4*x + 497, -4*s + 3*s - x - 502 = 0. Is -501 at least as big as s?
True
Suppose 4*c - 2304 = -4*z, -4*z + 10 = -2. Are 1 and c non-equal?
True
Let b = 49.0541 - 0.0541. Is -4 less than b?
True
Let o = 27 + -99. Let i = o - -71. Which is smaller: i or 60?
i
Let p = 1.1 + -5.1. Let s = p - -4. Let r = s - 0.2. Which is bigger: 2 or r?
2
Suppose -3*o = 3*t - 21, 5*o + 4 = -t + 3. Suppose z - t = -5*y, 23 = 4*y - y + 5*z. Is y less than or equal to 5/7?
False
Suppose -j + 1 = z + 6, -z - 11*j - 55 = 0. Which is smaller: 2/61 or z?
z
Let t(g) be the third derivative of -g**6/24 + g**5/60 - 5*g**4/24 + g**3 + 3*g**2. Let m be t(4). Let d be (4 - m/(-81))/(-1). Which is smaller: 1 or d?
d
Let i be 7/((-147)/(-6)) - (-99)/21. Suppose 2*j + i*c - 36 = 0, -3*c - 68 = -2*j - 16. Let l = -8 - -30. Is j <= l?
False
Suppose 9*t = -3*t + 32*t. Which is smaller: 10/857 or t?
t
Let a = -915 - -1210. Is 295 not equal to a?
False
Let n(b) = -2*b + 5. Let s be n(-10). Let l = s - 21. Let a = 2 - l. Does a = -3/4?
False
Let j = -2953/130 + 268/13. Which is greater: -3 or j?
j
Suppose 0 = 3*m - 6*m + 24. Suppose k = -k + m. Let u be (-21)/18*k/(-7). Which is smaller: 0 or u?
0
Suppose -4*m + 680 = -2*n, 5*n + 6*m = 4*n - 332. Is n >= -338?
True
Let v(q) = 4*q + 7. Let l be v(-6). Let y be 1 + (l/6 - -2). Let x = 81.1 + -80.9. Is x less than y?
False
Let h be (-3)/(-15) + 131/(-5). Let l be -2 + h/(-12) - 1. Which is greater: 0 or l?
0
Let u be (-1 - -4)*64/(-24). Let k be u/(-28) + (-47)/91. Which is bigger: -1 or k?
k
Let k(s) = -s**3 + 13*s**2 + 35*s - 74. Let j be k(15). Are j and -2/2457 non-equal?
True
Let n(l) = -43*l + 304. Let u be n(7). Which is bigger: u or 9?
9
Let y be 1775/5 - -1 - 0. Let h = y + -735/2. Is -13 at least as big as h?
False
Let o = 996.7 + -997. Is o less than 1.86?
True
Let j(l) = -l**3 + 14*l**2 - 2*l + 32. Let r be j(14). Which is smaller: r or 38/11?
38/11
Let q be (-1)/(-2) + (-345)/570. Let z(c) = c**3 + 5*c**2 + c + 5. Let b be z(-5). Suppose -w = -b*w - 1. Is q greater than w?
False
Let s = 1.1 - 0.3. Let k(b) be the first derivative of -2*b**2 + 15*b + 9. Let a be k(4). Which is smaller: a or s?
a
Let l be (-1 + 21/6)*(-6)/3. Let i be (60/(-6))/l + -3. Which is smaller: i or 2/33?
i
Let y(c) = c**3 + c**2 - 15*c + 21. Let v be y(2). Suppose 6*q = 4*q. Suppose 2*f + 5*m = 15, q = 4*f - m - 4*m - 15. Do v and f have different values?
True
Suppose 0 = 11*b - 754 - 577. Is -7 at least as big as b?
False
Let r = 1 - 6. Let z be (3/(-4)*299/39)/1. Is z at least as big as r?
False
Let k = -923545/67 - -13784. Are -1 and k equal?
False
Let m = 37/36 - 5/18. Which is greater: m or -83?
m
Let v(a) = -a**2 - 36*a - 53. Let c be v(-33). Is 3 greater than c?
False
Let d be 4/6 - 3916/5973. Let r = 207/2353 - d. Is 0 < r?
True
Suppose -18 = -4*v + 2*r, 4*v - 3*r = 18 - 5. Let o be (v/(210/(-12)))/(22/180). Which is bigger: -2 or o?
-2
Let o = -22.41 + 22.51. Which is bigger: -1704 or o?
o
Let p = -0.4902 - -0.516. Is -1 less than or equal to p?
True
Let c = -26605/37 - -719. Let l = 3.6 + -3.7. Which is greater: l or c?
c
Suppose 0 = -2*g + o + 6, 5*o = g - 4 - 17. Which is greater: -3/146 or g?
g
Let p = -17 - -17.08. Let k = 4.02 + p. Which is greater: k or -1?
k
Let h = -26 + 53. Let q be 58/8 + h/(-108). Let a = 4 - 4.1. Is q bigger than a?
True
Let k = -118 + 117. Do -11/13 and k have the same value?
False
Suppose 66 + 50 = 2*z - 3*d, 4*d = -z + 36. Suppose 48*g = z*g + 4. Is g le