71. Which is bigger: v or 21?
21
Suppose 4*s + 107 = 35. Is s at least -16?
False
Let g be 8/6 - ((-24299)/(-1056))/47. Are 1 and g equal?
False
Let u be ((-45)/10)/(4/56). Let s = u - -74. Which is bigger: s or 49/5?
s
Let d be (59/(-472))/((2 - 4)/122). Which is greater: d or 8?
8
Let m = -90 + 90. Let j be (-104)/387 + 2/9. Let q = -47/86 - j. Is q greater than or equal to m?
False
Let u = 0.114 - 0.16. Let h = u - 0.054. Let n = 7/30 + 1/6. Are h and n nonequal?
True
Suppose 4*q = -72 + 212. Let j be 14/q - 4/10. Let z be ((-4)/21)/(4/(-6)). Is z greater than or equal to j?
True
Let a(w) = w**2 + 15*w + 9. Let m be a(-14). Let b = 308 - 826/3. Let o = b + -33. Which is greater: o or m?
o
Let r(p) = -p**2 + 28*p - 51. Let o be (-8)/(-12)*(-4 + 3)*-39. Let h be r(o). Let t be (-5)/14 + 2/8. Is t < h?
True
Let x = 12 + 16. Let y = x + -28.2. Does -11/6 = y?
False
Let v(y) = y**3 - 19*y**2 - 17*y - 45. Let g be v(19). Which is greater: g or -367?
-367
Suppose 3*p - 5*x + 25 = 0, 0 = -2*p - x - 19 - 2. Which is greater: p or -11?
p
Let w = 41 + -37. Which is bigger: -6.5 or w?
w
Let f(r) = 10*r - 121. Let h be f(13). Which is smaller: h or 10?
h
Let f = 18191/440 + -329/8. Which is smaller: 1 or f?
f
Let n be (-20)/8*(-30)/25. Suppose -4 = r + n*s, -s = 2*r - 0 + 3. Let d be (r - -2)/((-55)/99). Which is bigger: d or -3?
d
Let q be (-2)/(2 - 12/8). Let f be q + ((-84)/9 - 0). Let m = 161/12 + f. Is m at most -1?
False
Let z(g) = -g**3 + 35*g**2 - 38*g - 5. Let a be z(34). Is a greater than -141?
False
Let a = 57 - 58. Which is smaller: 3/7 or a?
a
Let d = 471 + -291. Which is smaller: d or 1254/7?
1254/7
Let w be ((-24)/9)/(2/(-3)). Suppose 3*s = w*p - 8, -2*s + 5 = 3*s - 3*p. Suppose 0*k + 3*k = 5*f + 23, -4*f = s. Is k != 7?
True
Let u be (-53 - 1)*(-22)/33. Let i be (-2)/3*u/(-8). Suppose i*p = -p. Is 0 <= p?
True
Let b = -0.6 - -2.6. Let n(q) = -35*q - 317. Let i be n(-9). Which is bigger: i or b?
b
Let g = -1.437 + 1.39. Let y = g + 0.067. Is -1 > y?
False
Let n = -1070 - -1071. Suppose -c - 20 = 3*c + 5*a, -16 = 4*a. Are c and n nonequal?
True
Let d = 29.2 + -32.4. Is 2 less than d?
False
Suppose -4*q + 33 = 5*k + 11, -4 = -2*k. Suppose 5*r = b + 2, -2*r + q = -b + 4. Suppose 3*x + 3 = -0, n - 4*x = b. Which is bigger: n or -3?
n
Let q = 44.1 + -44.342. Is 0 smaller than q?
False
Let a = 219 - 241. Is a less than -9?
True
Suppose -4*o = 3*t - 40, 0*o - 5*t + 13 = -o. Suppose -5*g + o*g = 76. Let l = 27 - g. Is -10 != l?
True
Let y(x) = x + 7. Let w be y(-5). Suppose -o = -g - 0*o, -w*o + 10 = 0. Which is smaller: g or 7?
g
Let t(n) = 6 - 8 + 8*n - 3 + 12*n**2 - 2*n. Let y be t(1). Which is smaller: 12 or y?
12
Let j(w) = 13 + 22 - w + 2*w - 7. Let o be j(-15). Let f = -22 + o. Is -9 at least as big as f?
True
Let z be (-3)/((4/(-2))/2). Let x be 1/(-40)*-74*12/9. Let j = -2/15 + x. Is z less than j?
False
Let y = -6 + 40/7. Is -52 greater than y?
False
Suppose -17*r = -42*r + 18*r. Which is smaller: 253 or r?
r
Suppose 556*k - 144 = 562*k. Suppose 5*a = -49 - 71. Is a < k?
False
Let q = 169 - 169.2. Does q = 66/13?
False
Let g be (-21)/12 + 8/(-4). Suppose -5*c - 3*c - 40 = 0. Which is greater: g or c?
g
Suppose 0 = -4*y - 1 + 13. Suppose -4*x + 20 = -4*j, 1 + y = -2*x - 5*j. Let i = -3 + 4. Is i at least x?
False
Let b(q) = q**3 + 2*q**2 + 2*q + 64. Let d be b(0). Which is greater: 63 or d?
d
Suppose z - 2*z = 1. Let l(o) = o**2 + 5*o + 3. Let x be l(-5). Let f = x + -4. Do f and z have the same value?
True
Let z be (-36)/(-14)*(-46)/3. Which is bigger: z or -39?
-39
Let v = 188 + -155. Is 34 >= v?
True
Let t be 4/(-1776)*164 - (-2)/6. Are t and 0 unequal?
True
Suppose -5*g = -v - 86, -4*g = -2*g - v - 35. Suppose -g*t = -15*t + 6. Is -12/7 at most as big as t?
False
Let o = 723953 + -12303549/17. Let f = 215 - o. Suppose 1 = -0*j + j. Which is smaller: j or f?
f
Suppose 3*y = -m + 140 + 129, -2*m + 88 = y. Suppose -3*h - 2*h = -445. Is h at least y?
False
Let g be 82/(-779) + (-212)/1235. Which is greater: g or 1?
1
Suppose -4 = -8*a + 4. Which is smaller: 1/16 or a?
1/16
Let y be -6 + 244 + (6 - (-78)/(-12)). Which is greater: 239 or y?
239
Suppose 0 = 3*u - 12, 3*o - o = 3*u - 10. Suppose -2*d - 1 = -d. Let g be (0 + d/42)/((-20)/(-15)). Which is smaller: g or o?
g
Let u = 0.42 + -0.4. Let p = -11 + -24. Let s = p - -36. Which is greater: s or u?
s
Let t be (-20)/(-35)*(7 - 0). Let p be (3 - 1) + t/18. Is 3 smaller than p?
False
Let d = 119 + -118. Which is smaller: d or 0.75?
0.75
Let r(i) = -i**3 + 8*i**2 - 12*i + 42. Let j be r(7). Let y = j + -4. Is 22/5 less than y?
False
Let f(y) = -y**3 - 12*y**2 + 37*y - 109. Let k be f(-15). Is k greater than 9?
True
Let y = 1 - -4. Let i = -1025 - -1032. Is i bigger than y?
True
Let q be 2/(-4)*-2 + -41. Let l be (-6)/(-4)*q/(-6). Let c(b) = -19*b - 29. Let f be c(-2). Is f > l?
False
Let o(w) = -11*w + 4. Let j be o(2). Let g be 70/(-12) - j/6. Let u = g + 7/2. Which is smaller: 3 or u?
u
Suppose -2*n = n + 6. Let g = -1.61 + 1.71. Is n >= g?
False
Let d = -8.75 + 7.3. Let z = d + 0.25. Let j = 1.4 + z. Which is smaller: j or 4?
j
Let q = 337 + -287. Is -1/4 < q?
True
Let r be -9*(-2)/6*-3. Let b be (-32)/(-15) - (-12)/r. Which is smaller: b or 0?
0
Let t be (-2)/((-40)/(-4410)) - (-2)/4. Is t equal to -219?
False
Let h be 30515/(-122876) + 2/8. Let j = -92178/12649 + h. Which is bigger: j or -6?
-6
Let u = -454.741 + 455. Let z = u - 0.059. Which is greater: 5 or z?
5
Let o be (-3)/(-6)*-2*0. Let z be (-2)/((o - 4) + 6). Let b be -16 + 34 - (-3)/z. Is 15 bigger than b?
False
Suppose -i + 4 = -1. Suppose -a + i*a = 8. Which is smaller: a or -2/3?
-2/3
Suppose 0 = -k + 2*k + 3, 0 = -3*y + 3*k - 12. Let s(w) = w + 1. Let n(m) = -2*m - 2. Let b(v) = -5*n(v) - 7*s(v). Let c be b(-3). Is y bigger than c?
False
Suppose 31 = 2*c - 7*c - u, 2*c + 8 = 4*u. Let o = -13 - c. Let y = -26 - -18. Do o and y have the same value?
False
Let f = 4468.98 + -4373. Let w = 94 - f. Let k = w - 0.02. Is 0.4 > k?
True
Suppose 0 = 2*q + 5*y - 78 - 397, q = 4*y + 257. Is q bigger than 245?
False
Let s = -47 - -77. Let q = s + -35. Which is greater: 0.3 or q?
0.3
Let g = 3/107 + -229/535. Which is smaller: g or 148?
g
Let s = 0.526 - 0.026. Let q = s + -1.5. Let t = -14 - -9. Which is bigger: q or t?
q
Let t = -150 + 291/2. Let p(b) = 4*b + 60*b**2 - 27*b**2 - 32*b**2 - 1. Let j be p(-3). Are t and j unequal?
True
Let y be -18*((-84)/(-119))/4 + 6. Is 2 less than y?
True
Let v = -4 + 12. Let j = -281 - -284. Which is greater: j or v?
v
Let r(i) = i**3 + 5*i**2 - 3*i + 7. Let t be r(-6). Let q be 12 + t - 193/184. Let b = -933/3496 + q. Which is bigger: b or 1?
1
Let z = -66/5 - -127/10. Let h = -0.4 + 0.3. Is z less than h?
True
Suppose -68*k = -83*k - 15. Is k equal to -5/6?
False
Suppose 2*w + 5 = -5*l, 26 = -0*l + l - 5*w. Let s = 260 - 3376/13. Is l >= s?
True
Let a = -0.06 - -6.06. Does 3 = a?
False
Let c(q) be the first derivative of -3 - 3*q - 1/3*q**3 + 2*q**2. Let f be c(6). Is -14 equal to f?
False
Suppose 12 = 4*n - 0*w + 2*w, 0 = -5*w - 20. Is 12 greater than or equal to n?
True
Let s be ((-8)/(-10))/((-652)/(-10)). Let j be -5 - (18/8)/(24/(-64)). Is j bigger than s?
True
Let r = -2.7 - -0.7. Let t be -6 + (-4)/(36/(-57)). Is t at least as big as r?
True
Let m = 38.9272 - -0.1528. Let p = 39 - m. Are p and -1/4 equal?
False
Suppose -74 = -2*u + k - 3*k, -3*k + 15 = 0. Are 2 and u equal?
False
Suppose 6 = 5*m + 21. Let t be m + (16/28)/(2/14). Suppose -2 = -h + 2*y, 0 = 5*h - 4*h - 3*y + 3. Is t < h?
True
Let a(o) = o**3 - 7*o**2 + 2. Let k be a(3). Let p = -168/5 - k. Which is smaller: -16 or p?
-16
Let o be (-4)/(-10) + (-13)/(-5). Suppose o*k - 2 = 4. Suppose -5*n - 3 = 5*g + k, 0 = -g - 3*n + 1. Is -2 at most as big as g?
True
Suppose 3*t = -t + 32. Let b be (-2)/t + (-106)/(-264). Let v = b + 107/165. Is v bigger than 1?
False
Let g = -81 - -81.5. Let v = -1 + -3. Is g < v?
False
Suppose -3*r + k = -22, -5*r + 23 = 3*k - 37. Let i = r - 17. Let v be 2/1*(-4)/i. Are v and 3 equal?
False
Suppose 322 = 4*r - g, 0 = 5*g - 10*g + 10. Which is bigger: r or 88?
88
Let t(p) = p**2 + 4*p + 1. Let o be t(-3). Let w = 1.32 - -6.68. Do w and o have the same value?
False
Let o(s) = -s**3 - 18*s**2 - 17*s + 1