58. Let b(q) = -4*d(q) - m(q). Let h be b(7). Which is smaller: -3 or h?
-3
Let t be 3/9 - (-20)/(-15). Let p be (3 + t)*(-30)/(-4). Which is smaller: p or 16?
p
Suppose 65*o = 7*o + 58. Are -2/115 and o equal?
False
Suppose -5*t + 24 = -2*f, -3*f - 15 = 6*t - 10*t. Let a = -102.9 + 96. Let m = 7 + a. Is m != t?
True
Let q be 4/(-18) + 83/(-72). Suppose 4*i = 3810 - 3818. Which is smaller: q or i?
i
Let w be ((-246)/14)/(282/(-329)). Is w greater than 20?
True
Let v(g) = -g**3 - 13*g**2 - 41*g - 7. Let a be v(-8). Let h be (0 + 5)*(-4)/(-10). Which is bigger: h or a?
h
Suppose -q + 3*t + 24 = -t, -12 = 3*t. Let g(u) = u**2 - 14*u + 11. Let f be g(16). Let d = -34 + f. Which is greater: d or q?
d
Let f = 111 - 111. Are -93/4 and f equal?
False
Let a = -9/14 + 3/70. Suppose -3*l = -3*z - 3 - 12, 9 = -3*z + l. Which is bigger: a or z?
a
Let p(y) = 2*y. Let g be p(2). Suppose -g*c - 6 = -2*c. Let q be 4/(-6) - 1/(-3)*2. Are q and c equal?
False
Let k(m) = -m**3 + 3*m**2 + 8*m - 25. Let c be k(4). Suppose 2*s + 2*s - 12 = 0. Suppose -s*p + 2*p = 10. Is p at most c?
True
Let d(i) = -124*i + 927. Let c be d(8). Is -67 equal to c?
False
Let k = -58 - -57.8. Is k at most as big as -13?
False
Suppose -10 - 10 = -5*u. Suppose 0*t + u*t = 3*t. Which is bigger: t or -1/33?
t
Let p = -47 - -50. Suppose 3 = -3*b, 4*z + 2*b + p = 3*z. Is -2 <= z?
True
Let w = 17 + -14. Suppose -w*o = 2 + 1. Which is smaller: -3/4 or o?
o
Suppose -21 = -25*k + 4. Which is smaller: -2/351 or k?
-2/351
Let x be 4/14 + 8/(-28). Suppose x*c + c + a = -2, -2*c - 7 = 3*a. Let o be (c - 0)*(-4 - -2). Which is smaller: -2/11 or o?
o
Let i = 56 + -51. Is 94/23 > i?
False
Let i = 478 + -707. Is i > -229?
False
Let h = -4.52 + -1.48. Is h greater than -0.07?
False
Suppose 32 = -2*q - 0*q. Let t be 2 + (q/(-6))/(0 + -2). Let m = 0.2 + 0.3. Is t less than or equal to m?
False
Let r be 4/18 - 39120/(-135) - 8. Is 278 less than r?
True
Let d = -109/18 - 203/18. Let x be (28/(-10)*(-48)/56)/(14/(-105)). Which is smaller: d or x?
x
Suppose 0 = -11*u + 6*u. Which is smaller: u or 1/123?
u
Let c be 57*(-1 - 8/(-6)). Suppose 7*t - 2492 + 2359 = 0. Is c <= t?
True
Let u = -1.1 + 7.1. Let c = u - 5.9. Let p = -0.7 + c. Which is greater: -1 or p?
p
Let s(k) = -k**2 + 5*k + 10. Let p be s(7). Suppose -3*b + 11 = -1. Suppose -30 = 2*j + 5*d, -d + 2 = -b*j - 14. Is j <= p?
True
Suppose -3*q = 3*l - q + 107, -200 = 5*l - q. Which is greater: -38 or l?
-38
Let q(i) = -9*i + 38. Let y be q(4). Suppose 0 = -2*j - 3*s + 5*s - 2, -3*s = 5*j - 3. Suppose j = -2*n - y*l + 8, n + 4*l - 14 = 2. Which is bigger: -2/3 or n?
n
Let k be (2/(-6))/(2/(-18)). Suppose n = k*u - 3 + 19, -5*n = 2*u - 46. Suppose 0 = 4*a + 26 - n. Which is greater: a or -1?
-1
Let m = 0.03 - 0.23. Suppose -2*l - 2*s - 13 = -s, l - 2*s = -14. Is l less than or equal to m?
True
Let x be 78/10*(-12 - (-1888)/144). Is x > 0?
True
Suppose 5*p - 3*t + 150 = -0, -p - 4*t - 30 = 0. Does -30 = p?
True
Let o = 4/115 + -1/10. Do o and 1 have the same value?
False
Let d = 0 + 0. Let n be -1*2 + d/2. Let u(q) = 2*q**2 + 17*q - 57. Let z be u(-11). Is n equal to z?
True
Let x be (-3 - 2)/(-6 + 1)*0. Is x greater than 7.1?
False
Let s = -2 - -9. Suppose w - 4*a + 7 = -3, 4*w + a = -6. Is w bigger than s?
False
Let g(p) = p**3 + 21*p**2 - 23*p - 23. Let u be g(-22). Do u and 9/35 have the same value?
False
Let i be (-202)/(-135) - (-32)/240. Which is smaller: 2 or i?
i
Suppose 2*t = -4, -3*w + t + 500 = 3*t. Suppose 0 = d + 7*d - w. Are 22 and d non-equal?
True
Suppose -13 = -5*m + 2. Suppose m*r = v - 4 - 2, 2*r + 6 = 0. Let g be v + 13 + (4 - 2). Are g and 12 non-equal?
False
Let z be 262/(-12) - (-12)/(-72). Let n = 0.08 + -0.25. Let x = -0.17 - n. Is x at least as big as z?
True
Let r be (-228)/(-9) - (-2)/3. Let u be (8 - -3)/(11/(-33)). Let n = u + r. Is n smaller than -6?
True
Let s = -0.4 - 0.6. Which is bigger: s or -211?
s
Suppose 3*s - 218 = 5*d, 8*d = 4*s + 3*d - 294. Suppose u - s = 3*y, 2*y + 2*u + 21 + 19 = 0. Let j be 10/3*y/(-16). Is j equal to 5?
True
Let z be (8/500)/(4/(-20)). Let t(b) = b**2 + 8*b + 17. Let r be t(-8). Let j = 17 - r. Which is bigger: z or j?
j
Let z = -126 + 628/5. Which is bigger: z or 46?
46
Suppose -21*p + 2884 = -17*p. Suppose -p = 14*w + 119. Is -60 smaller than w?
False
Let a = 0.047 + 35.953. Let j = -39 + a. Suppose -6 = -l - 2*l. Does j = l?
False
Suppose 4*r - q - 14 - 3 = 0, -r + q = -2. Suppose r*g - 4*f = 3 + 28, -f + 2 = 2*g. Let o = g - 7. Are o and -3 unequal?
True
Let b = 157 + -164. Which is greater: b or -20?
b
Let a be 5/(-1)*(16 - 15). Let c be ((-2)/(-5))/((-1)/(-15)). Suppose c = -3*o - 0. Which is smaller: o or a?
a
Let q = -207 - -207.1. Let w = -6.9 + 5. Is w at least as big as q?
False
Let d = 21.8 - 24.03. Does d = -2/9?
False
Let l(a) = a**3 + 6*a**2 - 5*a + 17. Let t be l(-7). Let c be 2 - t/9*10. Let q = 3 + -1. Is c >= q?
False
Let y = 5010 + -340665/68. Which is greater: y or 1?
1
Suppose 4*s - 8*s - 58 = 2*o, 125 = -5*o - 5*s. Let b be (-352)/56 + 15/o + 1. Which is smaller: 1/3 or b?
b
Suppose 3*i - 2*i = 0. Let y be (-7)/4 - -2 - (-79)/158. Which is smaller: i or y?
i
Let n = 149 + -146. Let z be (90/20*(-2)/n)/(-3). Is z != -2/15?
True
Suppose -4*i = -2*j - 18, 4*i - j = -2*j + 27. Suppose -3*r + i*r = -4*s - 51, 4*r = -4*s - 52. Which is smaller: -6 or s?
s
Let x = 5.9 - 1.4. Let h = x - 22.5. Let f = h + 29. Are f and -0.1 equal?
False
Suppose 3 = -2*v - 5. Let h be (1*13)/(v/(-8)). Which is bigger: 25 or h?
h
Let j be (-5)/(-3) + (-4 - -5). Let w be (10/4 + -3)*2. Let k be w/2*2 + 3. Which is smaller: k or j?
k
Let m(f) = -f**2 - 28*f - 150. Let i be m(-7). Is i greater than or equal to -8?
True
Let h(j) = -2*j**2 + 9*j + 10. Let t(c) = -c**2 + c + 1. Let k(g) = -h(g) + 3*t(g). Let y be k(-5). Let s be y/10 - 195/(-100). Do s and 2 have the same value?
False
Let i = -74 - -89. Let y = 1538/3 - 498. Are i and y unequal?
True
Let f(p) = 2*p**2 - 43*p - 8. Let i be f(20). Which is smaller: -67 or i?
i
Let l be (-12)/(-21)*35/10 + -547. Do -546 and l have different values?
True
Let m be (-41)/4*2*2. Let l(r) = -r**3 - 22*r**2 - 20*r - 21. Let j be l(-21). Is m bigger than j?
True
Let a = 499 + -499. Do -2/71 and a have different values?
True
Let b = -6891 + 34611/5. Is 31 at most b?
True
Let w be 2/(-8) + 1 - (-159)/12. Suppose 10*m - w*m = -24. Is 8 greater than or equal to m?
True
Let i = 0.8 - 40.8. Does i = 3?
False
Suppose 5*f - 86 = 3*f. Let g be 4/8 + f/2. Let p be (-4)/g + (-24)/(-132). Is 13 not equal to p?
True
Suppose -3*a - 2*a = -35. Suppose 4*p - a = 5*p. Let c be 18/4 + p + 4. Is 2 greater than c?
True
Suppose 2*l - l = 4. Suppose 3*h - 18 = z + 4*z, -5*h = l*z + 7. Let i be 12*2/(-8)*-3. Is i at most as big as h?
False
Suppose -2*f - 4*v = -f, 24 = 5*f - 4*v. Let w be (-1)/f - 0/1. Let a = -58/3 - -19. Is w at least as big as a?
True
Suppose 2*t - 5*k = 227, 3*k - 654 = -4*t - 239. Is 107 at most t?
False
Let p be (-162)/(-198) + 2*(-2)/(-22). Which is smaller: p or 4/131?
4/131
Let o = -79.04 - -0.04. Which is greater: 0.2 or o?
0.2
Let k(g) = -g**3 - 13*g**2 - 11*g + 13. Let o be k(-12). Let x = -6937/43 - -291950/731. Let p = 238 - x. Which is smaller: o or p?
p
Let p be (-24)/14 + (-94)/329. Which is smaller: p or -0.218?
p
Suppose 7*u - 24 = 9*u. Let k be u/(-24)*24/(-34). Which is bigger: 1 or k?
1
Let d be 419/6 - 3/36*-2. Suppose 5*p - d = -2*p. Do 9 and p have the same value?
False
Let u = -97 - -97.61. Let n = u - 0.51. Which is greater: -40 or n?
n
Let o = 385 + -446. Is o greater than or equal to 2/7?
False
Let w be 56/868 + (-474)/(-1302). Suppose 4 = 2*y + c + 3, -y - 2 = -2*c. Does w = y?
False
Let z = 1498 + -1070. Let y = -1721/4 + z. Is -1 < y?
False
Suppose 3*t - t - 4*k = 6, 5*t + k - 15 = 0. Suppose -2905 = 2*z + 3*i, 2*i = t*z - 0*i + 4364. Let u = z - -10158/7. Which is bigger: u or -2?
-2
Let h be (36/15)/((-4)/(-25)). Is 113/7 != h?
True
Let h = 3.02 + -0.02. Let g = -0.542 + 0.52. Let o = g + 5.022. Which is bigger: o or h?
o
Suppose -t - 24 + 23 = 3*c, -c + 4*t + 4 = 0. Which is greater: 13/23 or c?
13/23
Let b = -9847 - -9837. Suppose -7*m = -3*m + 20. Which is smaller: m or b?
b
Suppose -106*j + 41*j = -1495. Is j > 0.5?
True
Let z 