is bigger: 13 or w?
13
Let z = 1438/9 - 160. Let b(l) = -l**3 - 3*l**2 - 4*l. Let k be b(-2). Let a be (k/(-10))/(1/((-10)/(-14))). Does a = z?
False
Let j(y) = -y - 4. Let n(z) = -6*z - 19. Let q(c) = -11*j(c) + 2*n(c). Let u be q(5). Let w be ((-4)/36)/(2/(-6)). Which is greater: w or u?
u
Let l be 3/(-2)*12/1359. Let k = l - -1516/453. Let x be -2 + (3 - 2) - -5. Which is smaller: x or k?
k
Let g be 8/((-32)/(-2)) + 15/(-12). Let l = -8 - -6. Are l and g non-equal?
True
Let k(l) = -4*l**2 - 7*l + 7*l**2 - 9 - 2*l**2. Let r be k(8). Let o be 20*(-9)/(-36) - 37/8. Which is smaller: r or o?
r
Let j be (-198)/(-165)*2/(-6). Which is smaller: 2 or j?
j
Let y = -33622/9 + 487331/126. Let l = y + -265/2. Let h = 233 + -234. Which is bigger: l or h?
l
Suppose -4*u + 172 = -264. Is u at most 109?
True
Let g = 105 - 44. Let d = g + -117. Does d = -1/3?
False
Suppose 4*r = 2*z + 122, 4*r - 4*z + 9*z - 129 = 0. Let v = r + -61/2. Is 5 greater than v?
True
Let t be 5/5*(-212)/(-20). Let u = t - 81/10. Are 1 and u equal?
False
Let g be (60/19480)/((-6)/8). Is -1 at least as big as g?
False
Let q be (3 - 2 - -101)*(-1)/2. Suppose 4*f + 20 = 0, -5*m + 79 = -7*m + 5*f. Which is greater: m or q?
q
Let b be 0 + 2 + 30/(-9) + 2. Let n = -11/12 + b. Which is bigger: 0.21 or n?
0.21
Let d be (-14 - -29)*(-4)/10 - -5. Which is smaller: d or -28/15?
-28/15
Let v be ((-2)/(-4))/(156/8). Let f be (330/(-12))/((-3)/(-6)). Let y = f - -55. Which is bigger: y or v?
v
Let k = -218 + 286. Which is smaller: 2/5 or k?
2/5
Suppose 23 = 5*r + 68. Do -63/8 and r have the same value?
False
Let z be (-1 - -3)/((-3)/(-6)). Let y be -1 + z - (1 + -25). Which is smaller: y or 26?
26
Let y be (-37)/(185/300) + 7. Is -46 > y?
True
Suppose -5*n + 10 = -15. Suppose -n*u - 22 = 713. Let x = u - -4265/29. Is x less than -1?
False
Let l = -22 + 38. Let u = l + -12. Suppose 0*d = -3*n - d - 11, u*n + 4 = 4*d. Is -1 at least as big as n?
True
Suppose 2*w = 4*c + 4*w - 34, 0 = 3*c + 5*w - 43. Let y = -30 + 10. Let h be (48/y)/((-6)/15). Is c smaller than h?
False
Let z(g) = 2*g**2 - 26*g - 31. Let m be z(19). Which is bigger: m or 200?
200
Let x be (2 + 1)*((-71376)/11898 - -6). Which is smaller: x or -1?
-1
Let x = -1906 - -1419. Which is smaller: x or -0.1?
x
Let y = 74 - 114. Is y at most -40?
True
Let z = -2 - -2. Let k = z + 0. Let a(x) = -x**2 - 13*x - 19. Let i be a(-12). Is k >= i?
True
Let i = -46 - -26. Let o = -21 - i. Is o bigger than 0?
False
Suppose -112*j + 123*j = 11. Let k = -397519 - -8349874/21. Let l = k + -94. Which is bigger: j or l?
j
Let z be (261/(-1305))/(38/20). Is z smaller than -16?
False
Let p = -2.31 + 0.31. Suppose -4*v - 3 = -3*v. Which is greater: v or p?
p
Let c = 0.3 + -0.1. Let v = 0 - 5. Let y = v - -1. Which is smaller: c or y?
y
Suppose 17*f = 12*f - 5. Which is greater: f or -14/25?
-14/25
Let l(a) = -a**2 + 9*a - 20. Let v be l(5). Which is bigger: 23/16 or v?
23/16
Suppose 0 = -8*j + 3*j + 30. Let k(c) = -j*c - 1 + 0*c + c**2 - c + 4*c. Let f be k(3). Which is bigger: 1/2 or f?
1/2
Let v be ((-57)/15 - -3)/((-12)/30). Suppose w + v = -16. Is -18 at least as big as w?
True
Let g be (20/70)/(1/7). Suppose 3 - 9 = -g*s. Suppose -s*v = 2*v. Which is smaller: -1/7 or v?
-1/7
Let m(v) = 86*v**3 - 2*v**2 - v + 4. Let f be m(2). Let p = f - 41598/61. Is 0 != p?
True
Let o = 1 + -10. Let l = o - -20. Let q = -2 + l. Which is bigger: q or 8?
q
Let w(l) = 3*l + 40. Let b be w(-12). Let x = 7 + -5. Suppose -x = 2*z - 3*y, -6*z + 2*z + 40 = 5*y. Which is smaller: b or z?
b
Let v be (5*(-1)/(-5))/1. Is -4/109 at most v?
True
Let t = 1.9 + -1.72. Let y = 4/3233 - 3253/16165. Which is greater: t or y?
t
Let x be (-3)/(-1) + 231 + -201. Let n(t) = 21*t**2 - 2*t - 1. Let s be n(2). Let l = s - 46. Is l >= x?
True
Let f = 100.1 - 100. Let s = 19/78 - 1/6. Which is smaller: f or s?
s
Let p(u) = -5 + 12 + 2*u - 13*u + u**2. Let f be p(10). Let k = 3.2 - 2.2. Which is bigger: f or k?
k
Let h = 50 - 28. Let g = h - 36. Is g less than or equal to -14?
True
Let h be 194/(-12) - (-1)/(-2). Suppose 0 = 5*a - 10, 0 = 5*c + 4*a - 5*a + 87. Which is greater: c or h?
h
Let q(t) = t**2 + t + 6. Let f be q(0). Suppose 0 = -j + 3*j - f. Suppose -2*p - 4*k = 2, j*p + 5*k - 2*k = -3. Is 2/9 < p?
False
Let i be (372/(-21))/((-3)/21). Is 125 equal to i?
False
Suppose 5*s = -25, -h - s + 25 = 27. Let p be (1 - (0 - -3))/(-1). Suppose h*g + 2 = p*g. Is g less than -1?
True
Let q be 1268/264 - (-1 + 2 - -4). Is 0 at most q?
False
Let n = 755 + -3802/5. Is n < -4/9?
True
Let b be ((-2)/(-4)*-2)/((-15)/(-150)). Let m(l) = 7 + 2*l**2 - 2*l**2 + 10*l + l**2. Let w be m(b). Is -0.1 greater than w?
False
Suppose 0 = -0*o + o - 2. Suppose o + 2 = -2*c. Suppose 0 = -z - 0*z - 1. Is z less than c?
False
Let w = -43 + 39. Let l be (-6)/(-2 - 5/w). Which is smaller: 11 or l?
l
Suppose 2*y - 3*g = -2*y + 680, 0 = -4*g. Let w = -838/5 + y. Is w smaller than 2?
False
Suppose -y - 1 = 0, -4*j - 2*y = 2*y + 4. Suppose -k + 0*k = 18. Let f be k/(-6) + (-21)/8. Which is smaller: f or j?
j
Let d = 437 + -360. Which is bigger: d or 2?
d
Let o(u) = 98*u + 141. Let x be o(-8). Which is bigger: -644 or x?
x
Let m(a) = 8*a - 37. Let h be m(6). Suppose 2*i + 16 - 6 = 2*d, -5*i - 2*d = h. Is -1 < i?
False
Let x be 2*-2*(95/4)/(-1). Let i be (-6 - x/(-15))/(3/4). Suppose -2*o = -3*o. Which is greater: o or i?
i
Let n = 1/3535 - 14233/328755. Which is greater: 0 or n?
0
Let r = 77 + -65. Suppose 3*x + r - 12 = 0. Is x <= 5/26?
True
Suppose -12 = -2*r + d - 0*d, 0 = -4*r - 5*d - 4. Let q = r + 6. Which is smaller: q or 9?
9
Let y(n) = -5*n - 17. Suppose -6*j = -5*j + 4. Let p be y(j). Is p greater than or equal to 14?
False
Let n be (-80)/(-120) - (-1)/(-3). Let h be (-1)/2 + 35/98. Which is smaller: n or h?
h
Let h = 6438479/15797054 + 5/55042. Let o = 5/41 - h. Is -18 != o?
True
Let h be -4 + (-268)/(-52) + 2/(-2). Let l = -21 + 17. Is l less than or equal to h?
True
Let g be ((-40)/(1 + 1))/(82/(-41)). Is 10 at least as big as g?
True
Suppose 4*u - r = 29 - 115, -4*u + 3*r = 82. Is -23 equal to u?
False
Let a(y) = y**3 + 33*y**2 - 3*y + 54. Let n be a(-33). Which is bigger: 155 or n?
155
Let i = -482 - -457. Which is bigger: i or -32?
i
Suppose -6*k + k + 5*n + 20 = 0, 0 = k + 5*n - 10. Let z(c) = c**3 - 6*c**2 + 5*c + 6. Let w be z(k). Let v be 4/(-2)*(-9)/w. Which is smaller: v or -1?
-1
Let n(f) be the second derivative of 2*f**3/3 + 25*f**2/2 - 24*f. Let y be n(-8). Which is bigger: y or -3?
-3
Suppose -3*u + 85*j + 122 = 87*j, 2*j = 8. Which is greater: u or 0.02?
u
Suppose 3*k - 5*k + 8 = 0. Let g(v) = -1. Let s(a) = -5*a + 13. Let z(l) = 6*g(l) + s(l). Let w be z(k). Is w < -13?
False
Suppose 371*d - 400*d = 2291. Which is smaller: -77 or d?
d
Suppose 40 = q + 9*q. Suppose -q*l - 444 = -4*h, -4*h - 2*l + 318 = -h. Is 108 less than h?
False
Let b(x) = 3*x**3 + 6*x + 8. Let r be b(-2). Which is smaller: r or -29?
-29
Let d = 27.724 - 0.224. Which is smaller: -0.1 or d?
-0.1
Let g = 6 + 13. Suppose -g + 5 = -2*m. Let c be 4/1 - (m - 2). Which is smaller: 2/9 or c?
c
Let u = -5/38 - -169/418. Let p be 5 + -6 + 5/5. Are p and u unequal?
True
Let a = 47/2 + -239/10. Which is smaller: a or -1/4?
a
Suppose -32*n + 31*n = 21. Let r = 65 - 41. Let b be (-8)/r + (-1)/n. Do 1 and b have the same value?
False
Let x be ((-4)/5)/((-3)/(-15)*-2). Which is greater: x or 17/13?
x
Let k = 674 - 673.982. Which is smaller: k or 2?
k
Let j be (((-105)/(-238))/5)/(18/8). Which is bigger: j or -3/2?
j
Suppose 0 = -23*w + 19*w - 304. Let v = 76 + w. Which is smaller: -10/23 or v?
-10/23
Suppose -19 = -o + 3*r + r, 5*o - 19 = r. Let b(s) = 8*s + 5. Let j be b(-7). Let k = j + 105/2. Which is smaller: k or o?
k
Suppose 3*x + 80 = -5*g, -g + x + 90 = -6*g. Let k = 99 - g. Is k at most as big as 117?
False
Let f(j) = j**2 - 8*j + 8. Let i be f(13). Is 71 equal to i?
False
Suppose 231 + 122 = 120*z - 367. Let w be 2/(-3) + (-95)/(-12). Which is smaller: z or w?
z
Suppose -3*w = -0*w - 12, 0 = 4*l - 4*w + 16. Suppose -125 = 5*u + 5*n, -5*n + 43 = -l*u - 3*u. Is -20 equal to u?
False
Let a = -297 - -17. Which is greater: -279 or a?
-279
Suppose -21*p = -25*p - 4. Is -3/34 > p?
True
Suppose 0 = 6*n - 4*n. Let a be (-3)/72*3 - (-6)/4. 