e 990/(-2700) - 4/(-8). Which is smaller: x or -1/4?
-1/4
Let h = -856 - -144666/169. Let q = -184/169 + h. Which is smaller: -2 or q?
-2
Let c = 5951 + -9972. Is c >= -4022?
True
Let k be ((-42)/2 + -3)*9/(-12). Let m be 18/12 - 33/2. Let f = k + m. Which is smaller: -9 or f?
-9
Let t be ((-1169)/147)/((-5)/45). Is 73 < t?
False
Let y(k) = 22*k**2 + 325*k + 650. Let t be y(-2). Which is bigger: t or 77?
t
Let r(v) be the second derivative of -v**3/2 + 11*v**2 + 2*v + 47. Let k be r(7). Is 2/499 > k?
False
Let s = -759271/68820 - -342/31. Which is greater: 0 or s?
0
Let g = -66 - -64. Suppose 6*j + 18 = 8*j. Let y be ((-4)/(-6))/((-12)/j). Is g less than or equal to y?
True
Let f be (21/12 - 1) + ((-195)/20)/13. Which is greater: 5/279 or f?
5/279
Let a = -55/271 - 214353/2710. Let x = -171/2 - a. Let n = -2615 - -2608. Which is bigger: x or n?
x
Let z be 74/(-220) - (-3)/15. Suppose 5*m - 6*n + 17 = -9*n, -4*m + 3*n = 19. Let x be -4 + (-6)/m - 12/(-8). Which is bigger: x or z?
z
Let b(c) = -2*c**2 + 4*c + 52. Let a(k) = k**2 + 10*k - 44. Let x be a(-13). Let t be b(x). Which is smaller: t or -94/5?
-94/5
Suppose 0 = -25*p + 30*p - 2*o - 30, 3*p + 3*o - 18 = 0. Do 13 and p have the same value?
False
Let g = 4070 - 9252. Is -5182 less than g?
False
Let d be ((-32)/(-12))/(8/(-12)). Let m be -4*(d + (4 - -1)). Let t = 1.4 - 3. Is m at most t?
True
Let r be 36/8 - (-2)/(-4). Let s = r - 2. Let c = -8394 + 8392. Is c at most s?
True
Suppose -3*y + 393 = -0*y. Let i = -129 + y. Let u be (i/(-3))/((-10)/15). Which is smaller: u or 3?
u
Let l = 1034 - 1028. Which is greater: 61 or l?
61
Let u = 11417 - 11286. Is -37 < u?
True
Let h be (-4)/10 - 4/(-5). Let z = 19 + 2.4. Let c = -21.5 + z. Is h <= c?
False
Let p be (-4)/14 - (-27)/70. Suppose u - 258 = t, 1280 = -10*t + 5*t + 3*u. Let r = 252 + t. Which is smaller: r or p?
r
Let p be (-1)/1*-79*-1. Let a = p + 74. Let k = a - -17. Which is smaller: 32/3 or k?
32/3
Suppose 2*v - 2*c + 5*c - 2 = 0, 4*v - 2*c - 20 = 0. Suppose -3*s + 5*f + 11 - 37 = 0, -4 = -v*f. Which is greater: s or -6?
-6
Let d(w) = 25*w + 1. Let u be d(-5). Let y = u + 131. Which is smaller: 9 or y?
y
Let j(s) = -17*s - 41. Let z(w) = -17*w - 43. Let h(n) = 4*j(n) - 3*z(n). Let c be h(-2). Let f be (-3)/14*(-3)/9. Which is smaller: f or c?
c
Let a = -162 - -282. Suppose -a = k - 126. Let s be -1 + 7/k + 9/36. Are 1 and s equal?
False
Let h = -1926 - -2308. Which is smaller: 2682/7 or h?
h
Suppose -150*i + 145*i = 640. Let m = -511/4 - i. Are -26 and m nonequal?
True
Let q(v) = -v**3 + 11*v**2 + 7*v + 248. Let m be q(13). Is -5/1027 greater than or equal to m?
False
Suppose 65141 + 99634 = -120*d + 195*d. Is d bigger than 2197?
False
Let b = -232 + 134. Let h = -4954 - -4859. Let i = b - h. Is -4/9 greater than or equal to i?
True
Suppose 0 = -5*i + 20, -4*y + 6*i - 8 = i. Suppose y - 2 = 4*r - 3*m, -1 = -5*r + 4*m. Which is greater: 4/57 or r?
r
Let h(u) = 28*u**3 + 9*u**2 - 21*u + 22. Let w be h(4). Is w smaller than 1876?
True
Suppose 4*l = 2*o - 38, -159 = -5*o - l - 31. Which is smaller: o or 28?
o
Suppose p - 3*j + 90 = 6*p, 5 = j. Let i = -17 + p. Let n = -37/4 + 17/2. Which is greater: n or i?
n
Let c(f) = f + 2. Let g be c(2). Let b = -10223 - -10223. Suppose b = g*t + 19 + 21. Which is bigger: -12 or t?
t
Let j = -1.264 - -0.184. Let u = -2.08 - j. Which is smaller: 0.84 or u?
u
Let x = 686 - 674. Suppose 193 = -4*n + t, -x*t = -13*t + 5. Do n and -48 have the same value?
False
Let l be ((-80)/18 + 2)*3*(-6)/2364. Which is smaller: l or 0?
0
Let d = 364011/4227980 - -195/4724. Does -1 = d?
False
Let i(m) = 7*m**3 - 479*m**2 + 204*m + 8. Let u be i(68). Suppose -2*s + 5*x = -7 + 2, 4*x + 4 = -5*s. Suppose q = 7 - s. Is q less than or equal to u?
True
Suppose 10*c = 2619 - 39. Let f = c + -182. Let w = f - 51. Which is greater: 26 or w?
26
Let l = 36922 - 34572. Which is smaller: l or -3?
-3
Suppose 4*d + 4 = 144. Let v be 95/d - 2/(-7). Suppose 2*k + 6 = 0, -z - 2*k = 2*z - 3. Is z at least v?
True
Suppose 2*b + 117 = 3*y + 404, -186 = 2*y + 4*b. Suppose -16*n - 614 - 495 = 427. Which is bigger: n or y?
y
Let o = 93.96 + 14441.04. Let a = o + -14601.61. Let j = a - -66. Which is smaller: j or -2/7?
j
Let z = 2613/17 + -154. Let j(o) = o**3 + 41*o**2 - 87*o - 44. Let f be j(-43). Is z at most as big as f?
False
Let b = -23.8 - -23.9. Suppose -z - 15 = 2*p, p + 0*p + 11 = -z. Let r be 9/(-54) + z/66. Is b > r?
True
Suppose 3*n = 3*p - 252, p - 7*n = -3*n + 75. Suppose p = -5*d + a, 4*a - 9*a = 4*d + 58. Let z = 23 + -42. Is d bigger than z?
True
Let m(n) = -6*n**2 - 15*n - 162. Let d(g) = 7*g**2 + 16*g + 162. Let b(z) = -4*d(z) - 5*m(z). Let x be b(0). Is 482/3 less than x?
True
Let t be (-1 + -1)/(6/195). Let s = -64 - t. Is s less than -3/7?
False
Suppose 47 = c + 5*f, -5*c + 83*f + 53 = 82*f. Which is bigger: c or 15?
15
Let n = 39 - 36. Let a be n/(3 + -6) - -1*85. Suppose -5*i - 2*p + 88 = 0, -6*i + a = -i + p. Are i and 17 nonequal?
True
Let m = 9 - 26. Let d = m + 0. Let p = 19 + -35. Which is smaller: p or d?
d
Let u be 2/(8/(-1)) + (-5493852)/(-21978320). Is u equal to 1?
False
Let s be 4/(12/(-7))*-12. Suppose -5*a + 102 = -s. Suppose -4*o = 2*u - 70, -5*o - 69 = -3*u - 19. Is a greater than or equal to u?
True
Let a be (6 - 14) + (1 - -2). Let l = 1016.9 - 1017. Which is greater: l or a?
l
Let l = 23 + -117/5. Let m = 601 + -16829/28. Which is smaller: m or l?
l
Suppose 0 = 2*s - 2. Suppose 22 = 2*q + 9*q. Let b be (q/(-16)*-3)/(2/24). Which is bigger: b or s?
b
Suppose -20*l - 12*l + 9*l + 161 = 0. Which is smaller: -734 or l?
-734
Suppose -2*z + 0*z + 2*p - 180 = 0, -358 = 4*z - 3*p. Let t = z - -78. Let q(m) = m. Let w be q(-9). Do w and t have the same value?
False
Suppose -130*f + 6664 = -144*f. Which is smaller: f or -477?
-477
Let w = -918 + 667.9. Let a = w - -250. Is a bigger than 16/5?
False
Let o be 1*(42/12)/((-15)/(-90)). Let m be 1936/36 + (-2)/(-9). Suppose -5*d - m = -3*t, 4*d - 12 - 46 = -2*t. Which is bigger: t or o?
t
Let x be 28/(-6)*-3*29/(-1131)*13. Does x = -41?
False
Suppose -4*h - n + 203 = 0, 0 = 2*h - 3*n - 37 - 54. Suppose 2*r + h = -44. Let d = r - -48. Is d less than -1/12?
False
Let b = -1.411 + 0.241. Let c = b - -1.3. Let d = -135.5 + 136. Which is smaller: d or c?
c
Let r = -2 + 1. Let p = 0.068 - 0.668. Let q = p - 1.2. Is r >= q?
True
Let w be (-3)/(-6)*(0 + 0). Suppose 7*p + w = 21. Are p and 40/9 unequal?
True
Suppose -13085 + 2601 = -90*l + 18136. Is 329 greater than l?
True
Let z = -8355.68 - -8355.7. Let r = -155/4 - -39. Which is smaller: z or r?
z
Let f(l) = l - 38. Let z be f(0). Let c = -37282/3 - -12389. Which is greater: c or z?
z
Let k = -15357.65 - -71.65. Which is smaller: 2 or k?
k
Let d be 12/5*((-484)/(-6) - -6). Suppose -3*r - d = 8. Is -71 <= r?
False
Let r(w) = w**3 + 12*w**2 + 32*w - 2. Let n be r(-8). Is n at most as big as 85?
True
Let g(y) = 2*y**3 - 23*y**2 + 12*y - 78. Let f be g(13). Are f and 585 non-equal?
False
Let y = 21492 - 21230. Which is smaller: 248 or y?
248
Let w(r) = -r - 16. Suppose 0 = -4*b - 4*b - 144. Let l be w(b). Let n(k) = k**3 + 9*k**2 + 9*k + 11. Let z be n(-8). Is z > l?
True
Let v(c) = 54*c**3 - c**2 + 34*c - 96. Let l be v(4). Is l < 3480?
False
Let d be 405 + -441 + (1 + 0 - -2). Suppose 4*g - 3*i + 145 = -g, -4*i + 140 = -5*g. Which is smaller: g or d?
d
Suppose 0 = -4*u + 3*n - 5, 2*n + 8 = -3*u - 0*n. Let p be (1 + -2)/(1 + u). Does 15/22 = p?
False
Let o be (-61 - -2 - -1)/(-5*(783/45 - 17)). Let x(n) = 2*n**2 + 5*n - 6. Let v be x(-5). Is o < v?
False
Let p = -790126 + 9487639/12. Which is greater: 512 or p?
512
Suppose 0 = 4*n - 3*w + 1157 - 210, 3*w - 714 = 3*n. Let l(u) = -7*u**2 + 520*u + 3138. Let t be l(-6). Which is greater: t or n?
n
Suppose 0 = -4*x, -13728 = -4*l - 2*l + 3*l - 2*x. Is 4577 < l?
False
Let z be (-3)/((-9)/2) + -4714*(-8)/(-48). Which is smaller: z or -782?
z
Let f = -99/40 - 11867/280. Let c be (-15)/(0 + (-2)/(-6)). Which is smaller: c or f?
c
Let k = 3333 - 2312. Is 1022 not equal to k?
True
Let o = -5148 + 5147. Is o at least as big as -16/121?
False
Suppose -d = -4*b - 19987, b - 1989 = 3*d - 6994. Is b != -2/3?
True
Let a(w) = 2053*w + 53365. Let u be a(-26). Let d = -6 + 10. Which is big