3*m - 4*b - 12, 0*b + 12 = 3*m + 4*b. Let n(o) = o**2 - 20*o + 70. Let r be n(15). Which is smaller: r or m?
r
Suppose -12*j + 16 = -11*j. Let d = -14 + j. Suppose 5*m + 10 = -0*m, 4*p + m + d = 0. Is p > -5?
True
Suppose 0 = -b - 4*u - 98, -b + 4*b = u - 333. Let z = b + 2308/21. Let f be (-5)/(-4) - (-2)/(-8). Does z = f?
False
Let v = 387 - 405. Which is smaller: 3 or v?
v
Suppose 4*x + 5*i = 6*x - 17, 3 = -3*i. Suppose 0 = -b + x*b. Suppose -3*s + 19 = -5*y, -s + 5*y = -b*s - 13. Which is smaller: 3/2 or s?
3/2
Suppose h - 4 = -3*h, 3*v + 1 = h. Let a = -109/95 + -1/19. Is v less than a?
False
Suppose 0 = 8*d + 5*d + d. Do 5/53 and d have different values?
True
Let h(f) = -2*f + 22. Let m be h(10). Suppose -5*k = 0, -3*q + 0*q + m*k - 27 = 0. Let u = q - -10. Which is smaller: u or -2/79?
-2/79
Let p be -2 + 3 + 2 - -13. Let r be (-2)/(p/(-150))*-4. Let m = r + 1127/15. Is m equal to 1?
False
Suppose -2*l = 3*f + 15 - 1195, -f + 384 = -4*l. Is 392 greater than or equal to f?
True
Let t = -477820 + 1931537/4. Let n = 5089 - t. Let d = n - 875/36. Is d <= -1?
False
Suppose 10 - 222 = -4*p. Suppose x + 0 = -t - 11, -t = -3*x - p. Is -16 less than x?
False
Let u = 7.8 + -0.8. Let g = u + -18. Let v = 13 + g. Which is bigger: v or 4/3?
v
Let f(p) = 7*p**3 + 2*p**2 - 5*p - 2. Let d be f(2). Which is bigger: d or 56?
56
Let z = -0.3 + -0.2. Suppose -l = -5*r - 66, 0 = r - 0*l + 4*l + 9. Let q be (((-65)/30)/r)/((-2)/2). Which is smaller: q or z?
z
Let w be (-2)/(-27) - 1220/1890. Let s be (-2 + 2)/2 + 4. Suppose s*d + 13 = -0*d - 5*t, 2*d + 3 = t. Is d bigger than w?
False
Let s be (12/10 + -1)/(-1). Let h be -2 + (7 - 1) + 1 + -1. Let q be -2*(5 + 4 + -7)/h. Which is greater: s or q?
s
Suppose 2*i - x - 51 = 2*x, -5*x = -3*i + 76. Let h = -302 - -307. Suppose -f + 5 = h*v - i, 0 = 5*f + 15. Do v and 7 have the same value?
True
Let h be (-58)/(-3) + 2/(-6). Suppose 3*l + z - h = -2, -4*l = -5*z - 48. Let q = l - 9. Is q >= -5/3?
False
Let x = -1285 + 1285. Which is greater: x or 2/563?
2/563
Let o = 0.38 + 5.62. Let u = -6 + o. Is u at least as big as 0.1?
False
Let n be -3*(52/(-12) - -2). Let j be (-4)/14*(0 - n) - 7. Is -4 less than j?
False
Let r = 72.01 - -8.89. Let t = r + -81. Are 9 and t unequal?
True
Let q = 83.2 + -99. Let y = -16 - q. Are -13/2 and y unequal?
True
Suppose 274*p = 270*p + 52. Does 6 = p?
False
Suppose 25 = -n - 116. Let f be (-1 - (0 - 1)) + n/(-9). Which is greater: f or 17?
17
Suppose -1 = -3*w - 0*p + 2*p, 5*w + p - 6 = 0. Suppose g + w = 2. Suppose -24 = 56*b - 80. Is b less than or equal to g?
True
Let s = -40 - -84. Let k = s - 55. Are -10 and k non-equal?
True
Let t(r) = -2*r - 6. Let q be t(-5). Suppose -q = 5*g + 1. Suppose -4*i = 2*c + 4, 18 - 15 = -3*i + 3*c. Is g at least as big as i?
True
Let s be (2 - 4) + 4 + 2. Suppose 5*d + 12 = -3*x, -3 = -s*x + x. Let c be -1 - (d + (-152)/(-74)). Are 1 and c equal?
False
Let h be (15/10)/(6/5). Suppose 7*a - 2*a = 4*v, -2*v = -a. Suppose v*u - 4 = -2*u. Which is greater: h or u?
u
Let c = 16 + -13. Let r(u) = -u**2 - 4*u + 7. Let g be r(-5). Suppose -2*b + 12 = 4*j, g*b - 10 = -0*j - 3*j. Which is bigger: j or c?
c
Suppose -2*q = -3*h + 2 - 9, 0 = 2*h + 3*q - 4. Let c be 2 - (-3 - (-2 - h)). Let o be 1*12/112*c. Which is bigger: 1/5 or o?
o
Let p(j) = j + 18. Let z be p(-16). Suppose -3*o + 6 = -5*y, 3*y + 3 = z*o - 1. Is y > 4/7?
False
Let f(b) = -b + 17. Let d be f(14). Let h be -4 - 24/(-2) - d. Suppose -7 = h*p - 2. Is p at least 1/19?
False
Let a be ((-7)/(-3) + -1)/(30/103185). Let m = 59590/13 - a. Which is smaller: -1 or m?
m
Suppose 0*r - 5*r - 20 = 0. Let i be ((-3)/(-4))/(r/(-32)). Which is greater: i or 8?
8
Let f(a) = a + 3. Let z be f(-5). Let b be (2/8)/((-15)/140). Which is smaller: b or z?
b
Suppose -56*t + 62*t + 60 = 0. Which is smaller: -12 or t?
-12
Suppose 5*h - h - 8 = -3*v, 18 = 4*v - 2*h. Suppose -2*l = v*l - 18. Suppose 5 = 2*k - l. Is k at least 6?
False
Let p = 340/21 + -986/105. Is 6 greater than p?
False
Let f = 15 - 0. Let m be 15*((-9)/f + 1). Suppose -2*z = -m*z. Are 5/4 and z non-equal?
True
Let x(n) = n**3 + 7*n**2 - 10*n + 14. Let f be x(-8). Let p be ((-2)/(-34) + 0)*(-2)/f. Is -1 at least as big as p?
False
Let w(b) = -2*b + 2. Let t be w(4). Let n(p) = 14*p + 8. Let k be n(-1). Are t and k unequal?
False
Suppose -3*t - 6 = -24. Let q = -9 - -14. Suppose 3*s - q*s = -t. Is s > 3?
False
Let z(g) = -4*g**3 + 2*g**2 - g. Let k be z(1). Let b(j) = -5*j**2 + 12*j + 396. Let q be b(-8). Which is greater: k or q?
k
Let o = 1.007 + 5.993. Is 102 at least o?
True
Let c = 12.95 + -13. Let m = 0.05 + c. Suppose 0 = 2*u - 4. Which is bigger: u or m?
u
Let j = 1.397 + -1.124. Which is greater: -0.2 or j?
j
Suppose -3*k + 17 = z + 11, 0 = -2*k - 3*z + 11. Suppose u + 3*i = 20, 0*i = 4*u + 2*i - 30. Suppose 3 = -u*c - 2. Is c < k?
True
Let a = -33 - -33.9. Let n = -1.3 + a. Is n at least as big as 1?
False
Let c = -445 + 698. Suppose 15*a = c + 137. Are a and 28 nonequal?
True
Let i(u) = -u**3 + 10*u**2 - 9*u + 5. Let g be i(9). Let q be (g/30)/((-4)/(-18)). Let s(n) = -n**2 + 6*n - 5. Let p be s(5). Is q < p?
False
Let o = 49 + -25. Let g be 9/((-18)/(-4)) + 2. Suppose -o = -g*t - 8. Is 0 at least as big as t?
False
Let p = 2/2041 + 1843/202059. Is p >= 1?
False
Suppose 12 = -f + 4*f. Suppose -4*d + 9 = -z + 3, -z = -3*d + f. Which is smaller: z or 1?
1
Let h be ((-80)/6)/(-17 - -19). Which is smaller: 0 or h?
h
Suppose -3*c + 5*a = c + 435, c + 99 = -2*a. Let k be (-2)/(-5)*(-7)/c. Which is smaller: 0 or k?
0
Let j be -4 + 19934/(-33) + 0. Let z = j - -608. Let v be 1/2*(0 - -2). Is v < z?
False
Let l(x) = -x - 1. Let c be (-8)/(-2)*-1 - -2. Let k be l(c). Let h = 47/36 - 1/18. Does k = h?
False
Let d = 52 + -54. Let q be (-10)/d + 13/(91/(-28)). Is -2/97 greater than q?
False
Let v(o) = -o**2 - 5*o + 9. Let a be v(-7). Let l = a + 4. Let j be (27/(-42))/(6/(-4)). Which is smaller: l or j?
l
Suppose -4*c - 3*p - 24 = 0, -3*p + p - 18 = 3*c. Let a = c - -2. Which is greater: a or -6?
a
Suppose -64 = -6*u + 2*u. Let n = u - 12. Suppose -2*c = -n*c - 4. Which is bigger: c or -5/9?
-5/9
Suppose -33 = 4*g - 1. Let m be g/(-10)*(-40)/(-16). Suppose -x + m = -3*x. Is x greater than -3/5?
False
Suppose 2*n + 4*y = -n + 589, -y = -4*n + 798. Is n equal to -2?
False
Let s be (6 - 868/892) + 2 + -7. Which is smaller: s or 0?
0
Let k = 1132 - 216. Is -1 >= k?
False
Suppose 0 = -o + 2*o - 66. Let n be o/(-120) - 6/(-8). Let a(x) = -x**2 + 4*x + 6. Let k be a(5). Which is bigger: k or n?
k
Let u = 27.95 + -27. Let y = 0.05 + u. Is y != -8?
True
Let c(q) = -q**2 - 5*q + 76. Let g be c(-11). Let o be (-2)/(-9) - 79/(-9). Is o <= g?
True
Let y = -21 + 23. Let j(k) = k**2 + 12*k + 2. Let b be j(-12). Suppose 3*w - 5 - 4 = l, -y*w = b*l - 6. Which is smaller: -12/11 or l?
-12/11
Let t be ((-9)/(-15))/(2/(-2*85)). Is -50 smaller than t?
False
Let p be ((-6)/8)/((-18)/48). Suppose -p*b - b = 21. Let z = 6 + b. Which is smaller: z or -6/7?
z
Let b(c) = 4*c + 31. Let n be b(-9). Let j be ((-1)/n)/((-3)/9). Is j >= -2?
True
Let c be (-405)/(-459) - (-4)/34. Which is greater: 1/214 or c?
c
Let s be ((-2)/3)/(2/6). Let z be (7 - 1) + s + 0. Let d be z/24 + 2/6. Is d < -10?
False
Let m(v) = v**3 + 3*v. Let b be m(0). Suppose -12 = -4*f + 2*h, 2*f - 3 = -5*h + 3. Which is greater: b or f?
f
Let i = 470 - 553. Is -86 <= i?
True
Suppose -39 = -5*q - 3*z, -4*z - 11 = -4*q + 1. Let k be 2/q*(-7 + 13). Suppose 0*s = k*s - 2. Is s less than -2/7?
False
Let b be ((-1364)/(-496))/((-1)/160). Is -440 <= b?
True
Let o(t) = 4*t - 4. Let g(u) = -u**2 + 14*u + 21. Let i be g(15). Let x be o(i). Is x less than or equal to 0?
False
Let h = -573 - -403. Let y = h - -171.5. Are y and 1 nonequal?
True
Let d = -163/24 + 73/8. Suppose -6*p + 2*p = -5*n + 13, -3 = 5*n + 4*p. Which is smaller: d or n?
n
Let x = 49.08 + -0.08. Let h = 35 - x. Let l = -20 - h. Which is greater: -1/3 or l?
-1/3
Let z = 55 + -56. Let b be ((-2)/(-6))/((-25)/15). Is b at most z?
False
Let n(p) = 3*p**2 + 3*p - 2. Let o(g) = -4*g**2 - 3*g + 2. Let j(a) = -6*n(a) - 5*o(a). Let w be j(1). Is w greater than 3/23?
True
Let g = 2/1965 + -49153/27510. Do -1 and g have different values?
True
Suppose -4*y + 18 = -0*f