et r be q/(-12) + (-6)/(-8) - -1. Which is smaller: r or -2?
r
Suppose -3799 = -22*g + 1019. Suppose 2*y - 442 = -2*o, -448 = -2*o - 5*y + y. Which is smaller: g or o?
o
Suppose 0 = -16*y + 15*y - 15. Suppose 36 = -83*h + 80*h. Let b be 0 + (h - (1 - -3)). Is b smaller than y?
True
Suppose -k + 12 = -4*k. Let w be (5 + k)/1 + 0. Which is bigger: w or -4/387?
w
Suppose -64*m - 3264 = 24*m - 24*m. Is m greater than -39?
False
Let i = 12662 + -12747. Which is bigger: -3/8 or i?
-3/8
Let t(b) = 6*b**2 - 41*b - 7. Let i be t(7). Which is greater: i or 1/8610?
1/8610
Let v be 189/(-18)*1/(-933). Which is bigger: v or -1?
v
Suppose 169*y = -7025 - 485 - 16488. Is -126 > y?
True
Let s be (-8)/(-12) + 12/2 + (-7301)/1029. Is s at least 0.03?
False
Let a be 172/344 - (0 + 17/26). Let p = 19.64 + -1.64. Which is smaller: a or p?
a
Let p be (55/(-28) + -1 + 3)/((-350)/13400). Is p at most 0?
True
Suppose 2*y + 10 = q + y, -2*y = -4*q + 40. Suppose 3*x = 4 - q. Let s be (0/(1/(-1)))/(4/x). Which is smaller: s or -5/7?
-5/7
Let u be (5/560)/(17*3/204). Let c(k) = -k**3 - 3*k**2. Let i be c(-3). Is u bigger than i?
True
Let v = -11042 - -9832. Which is smaller: -1209 or v?
v
Let a(x) = 2*x + 8. Let l be a(-4). Let g = -255 + 255. Is g less than or equal to l?
True
Let n = 365.755 + -365.7. Is -16 < n?
True
Suppose 3*f = 2*l - 66, 16*f - 120 = -4*l + 19*f. Suppose 39 = 12*q + l*q. Which is bigger: -1/166 or q?
q
Let j(r) be the second derivative of -r**4/12 + 2*r**3 + 7*r**2 + 4*r. Let z be j(13). Let d be ((-3)/z)/(15/(-10)). Is 0.5 equal to d?
False
Let w be (8*-3)/(9/(-6)). Suppose -w = -5*o + 4. Let b = -6679 - -6683. Is o at least as big as b?
True
Let m be (1 + -3)*(-2899875)/950. Is m at least 6104?
True
Let o = -7477 - -7400. Are o and -538/7 nonequal?
True
Let n(c) = 11 + 0*c + 1 + 6*c. Let z = 138 + -134. Let g be n(z). Is 36 bigger than g?
False
Let f = 891 + -607. Let x = 197 - f. Which is bigger: x or 0?
0
Suppose -2*k + 5*r = -59, -5*k = 5*r + 1112 - 1312. Suppose -2*l - 370 = -4*l. Suppose -5*o + l = -0*o. Does k = o?
True
Let k = 497681/4 + -123760. Which is greater: k or 661?
661
Let f(t) = 400*t**2 - 59*t - 60. Let p be f(-1). Is p less than 394?
False
Let o(g) = -g**3 - 6*g**2 - 2*g + 72. Let d be o(7). Let v be -1 - (589 + -10)*1. Is v != d?
True
Let v = -1562/87 + 524/29. Let n be 14/2 + 0 + (26 - 34). Is v >= n?
True
Let u be ((-15)/9)/(5 + (-315)/20)*6. Which is bigger: u or 2?
2
Let p = 31061 + -4068994/131. Is -59 at least p?
False
Let v be (-49836)/14208*-4 - 14. Are -1 and v non-equal?
True
Suppose -2*b - n = 2*b - 261, -3*b + 190 = -5*n. Suppose 5*z - b = 1200. Is 252 > z?
False
Let c = 22785 + -31032. Is c at most -8249?
False
Let q be (-2430)/(-324)*96/10. Which is bigger: q or 219?
219
Let p be (-3 + 3)/((-2)/(6/9)). Suppose -41*k + 1254 - 147 = p. Which is greater: 18 or k?
k
Let z(r) = -4*r - 54. Let t be z(-14). Let c(s) = 60*s. Let m be c(t). Which is bigger: 121 or m?
121
Suppose 2*w - 4 = 2*a + w, -4*a - 4*w + 16 = 0. Let z = -21921/7 + 372678/119. Does a = z?
False
Suppose -16 = 3*i - 28. Let y be (-8)/(-10 + 26)*1*i. Let x be 0 + 1 + (-34)/16. Is x less than y?
False
Let h be 2460/(-644) - (-31 + 28). Which is bigger: -2 or h?
h
Let w be (60/(-440))/(6/8). Let u = -26 - -29. Suppose -2*n = n - u. Which is smaller: w or n?
w
Suppose 43*w - 29318 = 118*w + 62*w. Which is greater: w or -206?
-206
Let u = 415418989/679 + -611810. Suppose 1 = 5*r - 3*w, 0 = -w - 3*w - 8. Do u and r have the same value?
False
Let p be 19/(-20) + 3096/2580. Which is bigger: p or -4/173?
p
Let v be -6*(-2)/3 - 1. Suppose 7*h + 36 = 169. Suppose h = -15*m + 79. Which is smaller: m or v?
v
Suppose -3*w + 6*l = 3*l + 408, -3*w - 413 = -4*l. Let s(y) = -19*y + 173. Let b be s(16). Is b at least w?
True
Let g = 41179 + -288251/7. Let u = -708 - -5633/8. Which is greater: g or u?
g
Suppose 2*q - 8*d + 5*d + 18 = 0, q - 4*d + 24 = 0. Are -33.63 and q equal?
False
Let i be (-34)/1020 - (-2)/6. Is i at most -18?
False
Let w(i) = -22*i**2 - 29*i + 78. Let p be w(9). Is p less than or equal to -1966?
False
Let u = 244 + -383. Let v = 154 + u. Are v and 1 nonequal?
True
Suppose 0 = 36*h - 34*h - 4. Suppose -4*q + 256 = 4*r, 0 = -3*r - 11 + h. Is 66 at least as big as q?
False
Let x be (1677/(-26))/((-18)/888) - 3. Is x greater than or equal to 3180?
False
Suppose d - 22*d - 63 = 0. Let c be (d/2)/((-207)/(-8556)). Which is greater: c or -59?
-59
Let a = 16201016/103 + -157289. Which is smaller: 3 or a?
a
Let x = 140/171 + -5/19. Let b(c) = -c**3 - 15*c**2 + 3*c + 45. Let v be b(-15). Suppose 11 = -d + 4*m, -3*m + 4 = -v*d - 5*d. Is x at least d?
False
Suppose -l - 1 = -2*l. Suppose -4*r = 0, -5*r + l + 3 = -4*k. Let q = 665 + -3324/5. Which is bigger: q or k?
q
Let t be ((-76)/(-64))/((-1)/2). Let h = 11060 + -11062. Which is smaller: t or h?
t
Let i(o) be the third derivative of o**6/120 - 2*o**5/15 + 7*o**4/24 + o**3 + o**2 + 56. Let m be i(7). Is 7 < m?
False
Suppose -5*l = 5*l - 10. Let v be 2*l - (-10)/2. Let d be 1/(-3) + 22/3. Is v equal to d?
True
Suppose 11*h + 40 - 63 - 87 = 0. Which is smaller: h or 186/17?
h
Suppose -4*m + 10*o - 6182 = 11*o, 5*m + 7733 = -4*o. Are m and -1545 equal?
True
Let z(m) = m**2 - 152*m + 2091. Let h be z(17). Is h bigger than -34?
False
Let h = -20 - -35. Let n be h*((-1)/3 - 2). Let v be (-203)/n + 1*-3. Is v less than or equal to 3?
True
Let p(g) = -g**2 + 86*g + 552. Let s be p(92). Is s greater than 12/529?
False
Let l(n) = -2*n**2 + 344*n + 5207. Let k be l(-14). Which is greater: k or 3/3335?
3/3335
Suppose 86 = 14*h - 110. Suppose h*y + 981 = 43. Which is smaller: -68 or y?
-68
Suppose 4*a + 369 + 452 = -3*n, -5*n + a = 1399. Is n bigger than -285?
True
Let v be 497/(-126) + 9/3. Let y = 25/36 + v. Is -1 greater than or equal to y?
False
Let a(d) = -4*d + 120. Let i be a(4). Let x = i + -105. Which is smaller: x or 2/11?
x
Let o = -400 - -281. Let a = 105 + o. Which is smaller: a or -12?
a
Suppose 7*i = 5932 - 178. Let j = i - 821. Which is smaller: -1/142 or j?
-1/142
Suppose -15*m = 28 + 32. Let u be (40/(-35))/(4*m/56). Is u not equal to 13?
True
Let k = 17026 + -17079. Which is greater: k or -138?
k
Let b = -31 - -133. Suppose -b = 7*s + 10. Let j be ((-15)/(-6))/(1/(-6)). Which is greater: j or s?
j
Suppose -15*g = 13*g - 2*v + 912, 4*g + 2*v + 144 = 0. Does g = -88?
False
Let a = -31/4641 - -8791/2705703. Let l(r) = r - 7. Let h be l(6). Is a <= h?
False
Suppose 0 = 2*n - 4 - 2. Let q be (1 - -1)/(203/(-42) + 5). Suppose -n*x + q = x. Which is smaller: 7/3 or x?
7/3
Let l be -1 + 6/9 + 1. Suppose 0 = 4*u + 8*y - 5*y + 3, 2*u = y - 9. Let m be u - -5 - ((-6)/(-195) + 2). Is m >= l?
False
Let u = 72.1 + -76. Let j = u + 34.9. Let n = 29 - j. Which is smaller: 2/11 or n?
n
Let u = -145 - -145. Let k = 900 - 90897/101. Let g = k - 417/3838. Is u greater than or equal to g?
True
Suppose -84 = 3*z + 3*z. Suppose -6*s = 3*h - s + 16, 2*s = -3*h - 1. Let o = h - z. Is o at least 15?
True
Let g = -8173 - -8173.2. Is -67/12 at most as big as g?
True
Let v = 2112 - 2209.7. Let r = 97 + v. Let x = 3 + 1. Which is smaller: r or x?
r
Let p be 7 - (-95)/405*-597. Let z = p - -133. Is z at least as big as -1?
True
Let k(q) = 19*q**3 - 11*q**2 + 12*q - 5. Let r(w) = 6*w**3 + 1. Let z(s) = -k(s) + 3*r(s). Let g be z(10). Which is bigger: 15 or g?
15
Suppose 10 = -2*v - 4*f, -9 = 5*f + 11. Suppose -q + v*c + 14 = -3, -37 = -3*q + 2*c. Is -0.04 smaller than q?
True
Let r be 2 + -33 - (5 - 1). Let s be 0 - -1 - r/(-28). Suppose 61 = 2*x + t - 16, 4*x - 157 = t. Which is bigger: s or x?
x
Suppose 3*l - 7*l = g - 349, 4*l = 4*g + 344. Suppose 105*q - 306 = l*q. Which is greater: 11 or q?
q
Suppose c - 364 = -3*c. Suppose 118 - c = 3*j. Let y be (-5)/(((-4)/(-16))/(j/(-6))). Which is bigger: y or 57/2?
y
Let o = -4863 - -4862.432. Let x = -0.41 + 0.468. Let l = x + o. Is 1/4 equal to l?
False
Let a be (-104346)/(-12) + 19/(342/27). Do a and 8695 have the same value?
False
Let u be (287/35 - 9) + (-74)/(-5). Suppose 13984 = u*j - 60*j. Is -303 at least as big as j?
True
Suppose -42*g = -13*g - 29. Is g less than or equal to 224?
True
Let d be 3*14/3 + (-37 - -16) + 16. Do 128 and d have the same value?
False
Let w = 491 + 137