4*p + 3*b = -z*b + 60, 0 = -5*p + 3*b + 38. Which is bigger: x or p?
p
Let a be ((-3)/(-5))/(-8 - (-958)/120) - 11. Let g(k) = -3*k**2 - 6*k - 3. Let b be g(-5). Are b and a equal?
False
Let d = 1332.45 - 176.45. Is -0.5 less than or equal to d?
True
Suppose 0 = 1338*w - 1386*w - 108624. Which is greater: -2269 or w?
w
Let y = 1315 + -5229/4. Is -2 smaller than y?
True
Let t be (-9 - (-1 - 0)) + -1*(-4 + -1). Is -98/33 >= t?
True
Let h be (24/18)/(-12 - 270452/42). Are 0 and h non-equal?
True
Let n be 30/9*(-145 + 148). Let i = 6 - 4. Suppose 2*f - 27 = -i*l + f, 64 = 4*l + 4*f. Is l smaller than n?
False
Let a = -1817 + 3705. Are -2/5 and a non-equal?
True
Let z = 369.97036 + 0.02964. Which is greater: -6 or z?
z
Let m(f) = f**3 - 20*f**2 - 24*f - 442. Let u be m(22). Is u <= -68/29?
False
Let p = 355 + -353.64. Let j = 1.26 - p. Which is smaller: -0.44 or j?
-0.44
Suppose -r + 15 = -5*l, 3*r - 45 = -0*r - l. Let x(s) = -2*s**2 + 29*s + 14. Let d be x(r). Let z be 1/((-4)/(-5) + d). Which is smaller: 5 or z?
z
Let z = -1.9 + 2. Which is bigger: -1316 or z?
z
Let r be (44/24)/(-11) - 7/(-6). Let m be 89 + -3 + -7 + r*4. Is 85 > m?
True
Let g = -12807 - -12346. Do -460 and g have the same value?
False
Suppose -98 = -2*h - w, 2*h - 96 = -2*w - 0*w. Let k be 3/2*h/15. Suppose 5*r = 2*j - 52, -2*r + k*r = 3*j - 33. Which is smaller: r or -9?
r
Let m be 8/(48/(-10))*(-36)/20. Let x be (5 + -8 + 4)*399/m. Which is smaller: 134 or x?
x
Let t = -0.026 + 62.026. Let v = 75.3 - t. Let q = v + -0.3. Which is smaller: q or 0?
0
Let l = -117 - -68. Let s = 32 + l. Let h = 17 + s. Is 0 >= h?
True
Let z = 12536 + -12573. Which is smaller: 41 or z?
z
Let y = 5 - 1. Suppose 11 = -d + 2*r, -r + 17 = d + y*r. Let q = -2194 - -2198. Which is bigger: d or q?
q
Suppose -4*q - 2*n - 310 = 0, 3*n + 389 = -q - 4*q. Let v be 6/(-12) + (-110)/q. Which is smaller: v or -1/4?
-1/4
Let a(u) = -u**2 + 81*u + 1404. Let s be a(-13). Is -1.3 != s?
True
Let f(z) = -8*z - 3*z + 4*z**2 + 15*z + 6 + 3 - z**3. Let t be f(5). Does t = 0.4?
False
Suppose m + 82589 = -4*y + 10882, 4*m = 5*y + 89681. Does -17930 = y?
False
Suppose 5*h - 2*b - 36 = 0, -4*h = -4*b - 45 + 9. Suppose -64 = 4*l + 5*t - h*t, -3*l - 3*t = 33. Is -17 at least as big as l?
False
Let h(b) = -b**3 + 6*b**2 + 10*b + 112. Let y be h(8). Does y = 66?
False
Let w be 5 - 3*5/(-3). Suppose o - 7 = -2*h + 27, 5*o = -w. Suppose 32*f = 35*f - h. Do f and 2 have different values?
True
Let m(a) = 8*a**3 - 131*a**2 + 44*a + 64. Let y be m(16). Which is bigger: -1191 or y?
y
Let m be (88/(-5))/(8/440). Let h be m/(-312) + 3/(-9). Which is greater: 3 or h?
3
Let h be 3/12*6*59/(-177). Let y = 948 - 676. Is h bigger than y?
False
Let k(q) = 2*q**2 + 2*q - 4. Let z be k(2). Suppose 215 = z*d - 273. Let x = 59 - d. Is -6/11 at most x?
False
Let j(p) = p + p**3 - 1 + 10 + 3*p - 2*p**3 + 5*p**2. Let s be j(6). Which is bigger: 58 or s?
58
Suppose 0 = -2*g + 4*a + 58 - 14, 0 = -4*g + 2*a + 112. Let o = 7/559 + -66549/2236. Let c = o + g. Is c > 1?
False
Let p be (213/4)/(633/12) + -1. Let l be (4 - 1) + (-14)/7. Which is greater: l or p?
l
Suppose 0 = -g + 5*y - 5, 3*g + 99 = -322*y + 323*y. Which is bigger: g or 1?
1
Suppose 29*d - 17856 = 215*d. Are d and -81 non-equal?
True
Let n be -5*(10/(-25) - 2). Let b be (-76)/n*3/(-8). Are b and 3 equal?
False
Let d = 4899 - 4961. Is d at least -312/5?
True
Let l(x) = 281*x**2 - 2. Let y be l(-2). Suppose 14*n - y = -3*n. Let s = n + -54. Is 13 at least as big as s?
True
Let m = 16682761/125 - 133463. Which is smaller: -2 or m?
-2
Let x be (3/(-21) + 72/63)*2. Suppose -x*b - 5 - 3 = 0, 0 = -5*k - 5*b + 90. Is k less than 20?
False
Suppose 11 = -3*n - 13. Let v = -2 - n. Suppose 0 = 3891*o - 3829*o - 124. Is o bigger than v?
False
Suppose -5*u = 15, 49*k - 3*u = 54*k + 1959. Is -389 at most k?
False
Suppose i + 713 = 4*l - 1072, 1755 = 4*l + 5*i. Which is greater: l or 444?
l
Let t(j) = -6*j**2 + 102*j - 597. Let d be t(13). Which is smaller: -250 or d?
d
Suppose 48 = -18*m + 2*m. Let f be (-3 - m)*9/(-27). Is -6/7 not equal to f?
True
Let o = -43.99 - -43. Let f = o - -47.99. Let t = f - 23. Does t = 2/5?
False
Let i = 0.43 + -231.43. Let k = -231.1 - i. Let x = 10 + -7. Which is bigger: x or k?
x
Let l = -243.7 - -238.7. Is l less than 0.09?
True
Let q = 604 - 663. Let v = q - -59. Which is smaller: 132 or v?
v
Let o be (25/20)/((-9)/972) + -6 + -1. Is -9 < o?
False
Let h = 4563799/2 - 141615435/62. Let a = -2221 - h. Is -2 less than a?
True
Let a be 6/20*(-5)/(-99). Let t = -157 + 171. Suppose 4*g - 2*w = -3*w, -2*g - t = 4*w. Is g less than or equal to a?
False
Suppose 7*a - 12 = 527. Suppose a*z = 68*z - 1908. Is z >= -212?
True
Let m = 15442 - 108091/7. Suppose 5*f = 3*f + 2. Which is smaller: m or f?
m
Suppose 0 = -4*r - 12, 31*a - 33*a = -3*r - 11. Let n = -290045/61 - -4755. Which is smaller: a or n?
n
Let b = 6660 - 6660. Which is smaller: b or 130/101?
b
Suppose 2*f + 3*n = 14, -3*n = 3*f + n - 20. Suppose f*k + 3 = k. Let w be (-189)/1683 + (-2)/51. Which is smaller: w or k?
k
Let k be 4*(-108)/(-352)*(-4)/87. Which is smaller: 1 or k?
k
Let m(c) = 4*c + 4. Let y be m(4). Let p be (15/(-6)*(-6)/y)/(-111). Is -1 at least as big as p?
False
Let w = -0.9 - -1. Let f = -7.8666 + -0.0334. Is f greater than w?
False
Let n be ((-9)/593)/(198/132). Does 1 = n?
False
Suppose -11*g = 2*t - 7*g - 14, g = -2*t + 11. Do t and -28/3 have the same value?
False
Let i = 2166 - 1864. Is 302 > i?
False
Let q(m) = 2*m**2 + 87*m - 134. Let w be q(-45). Let u = -29/35 + 1. Which is smaller: u or w?
u
Suppose -9*f + 11*f = 28. Let x be 6 + 1 - (f + -7). Which is smaller: 11/15 or x?
x
Let i = 61 - 50. Suppose i*n + 726 = 14*n. Let l = n + -1690/7. Is l <= 0?
False
Let x be 10 - (8/(-2) - 8/(-2)). Let z be (-46)/50 - (-8)/x. Is 1 greater than or equal to z?
True
Let b = -441 - -426. Let k be (-25)/b - 13/((-312)/(-16)). Let n = -87845/43 + 2043. Which is smaller: n or k?
n
Suppose 0 = l - 4*k - 5801, 19300 = 4*l - k - 3844. Is 5784 <= l?
True
Let f = 9.835 - -2.165. Is 9/124 equal to f?
False
Let i = -3014 - -3101. Is 67 > i?
False
Suppose 0 = -y + 22 - 7. Let b = -205 + 213. Suppose b*z = 3*z - 25, -3*z = -5*w + 95. Is y at least w?
False
Suppose -6986 + 7676 = -2*v - 4*v. Suppose r + 54 = -62. Are v and r equal?
False
Let y = -242 + 234. Let o be (-2)/y*(-27 - -28). Do o and 1/10 have the same value?
False
Let u(w) = -w**2 + 12*w + 30. Let q = -70 + 83. Let h be u(q). Suppose 0 = -z + 4 + h. Which is bigger: z or 19?
z
Suppose -791 = 5*s - 2*g, 0*g = 3*s - 2*g + 473. Let z = s - -183. Is z at most 23?
False
Suppose -7 = 2*u - 9*u. Let d(v) = 46*v**3 - v**2 + 2*v - 2. Let c be d(u). Is c bigger than 39?
True
Let s(j) = 95*j**3 + 2*j**2 - 7*j + 3. Let f be s(-2). Is -734 != f?
True
Let a = 1 - 0. Let r be 751/(-376) + 6*1/3. Let p = r + 725/10152. Is a less than or equal to p?
False
Suppose 32*g + 594 = 50. Let t = 0.382 + -0.072. Let q = t - 0.21. Which is bigger: q or g?
q
Let j(c) = -3*c + 38. Let t be j(8). Let v be 5*t/(-42)*3/(-5). Do 27/11 and v have the same value?
False
Let u be ((-2)/5)/((-28)/70). Let d be (29 - (u - 2)) + (-31 - -28). Let w = d - 30. Which is smaller: w or -22?
-22
Let j = 4397 + -8319. Are j and -3920 equal?
False
Let q(d) = 2*d**3 - 2*d**2 - 11*d + 286. Let s(y) = y**3 - y**2 - 7*y + 190. Let t(m) = -5*q(m) + 8*s(m). Let f be t(0). Is 94 smaller than f?
False
Let q = 0.831 + -0.861. Suppose -4*t - 5 = 11. Let f be 2 - (-1 + t + 0). Is q >= f?
False
Let f be 58/14 + (-6 - -2). Let o = 15.7 + -14.63. Let j = -0.07 + o. Is f less than j?
True
Let k be 38/(-152) + (-90)/(-8). Let h = -34 + 22. Let z = h + k. Is z smaller than -2/5?
True
Suppose z = 4*v - 13, -18 - 9 = -3*v - 5*z. Suppose j + 14 - 16 = v*c, -5*c = -4*j - 47. Which is greater: j or -21?
j
Suppose 4*w = q + 3 - 11, -2*w - 2*q - 4 = 0. Let n(k) = -k**2 - 5*k - 7. Let c be n(-5). Let j be (w/6 - c/(-42))*1. Which is smaller: j or 0?
j
Let q be (16/(-24))/(4/(-90)). Let t be (2 + -6 + -1)/(1/(-3)). Let n = q - t. Is n greater than or equal to -2/15?
True
Let l = -0.003 + 0.023. Let y = -443 - -437. Is l < y?
False
Let w = 253 + -257. Let p be 9/3 + w*(76 - -3). Is -313 > p?
False
Let m(c) = -2*c**2 - 33*c - 33