0*16/(-10). Is w equal to f?
False
Let l be (-7)/4 + (-2)/8. Let o be 1/(-2)*31*l. Let k(b) = 959*b + 6745. Let c be k(-7). Which is smaller: c or o?
o
Let r = 6070 - 8527. Is -2458 greater than r?
False
Suppose 67*x = 46*x + 357. Suppose -14*c = -x*c + 147. Is 49 <= c?
True
Let a be 12/21 + 4*(-3095)/21420. Is a less than -1?
False
Suppose -3*q = -v - 4272, -q - 2*q = -3. Let z = v - -17203/4. Let n = 81 + -49. Which is smaller: z or n?
z
Let h be -7 + (15/(-10) - 4) - -6. Is 56 less than or equal to h?
False
Let j be (6/(-72))/((-2)/24). Let n be ((-40)/(-124))/5*j. Is n < 0?
False
Let l = 128109/14 - 9141. Which is greater: 10 or l?
10
Suppose 0 = 2*n + 1 + 7, n + 34 = -j. Let r be (-474)/(-63)*j/2. Which is smaller: r or -112?
r
Suppose -4*r - 4*h + 132 = -h, -5*r + 5*h = -165. Let x = r - 34. Let g be (-2)/(-8)*-2*(-2)/x. Is g <= 1/120?
True
Let m be ((-4)/(-8))/(38/8) + 2150/(-1653). Which is smaller: -1 or m?
m
Let x(j) = j**3 + 13*j**2 + j + 23. Let f be x(-13). Let q(r) = -r**3 + 11*r**2 - 10*r - 14. Let i be q(f). Let c be 2/7 - 66/i. Which is smaller: 3 or c?
3
Let x = 3716 - 18492/5. Is 18 at most as big as x?
False
Suppose -u - 2 = -0*u. Let q = 37 + -97/2. Let g = q - -317/30. Do g and u have different values?
True
Let o be (1*(0/2)/5)/(-1). Suppose o = 15*i + 1031 + 1069. Which is bigger: -139 or i?
-139
Let j be ((70/(-14))/50)/(4/(-4)). Which is smaller: 243 or j?
j
Suppose -2*h = -2*x - 926, -3*x + h = 865 + 534. Let q = 10766/23 + x. Which is greater: q or 0?
q
Let j = -23 - -30.4. Let n = -23.11 - -22.91. Do j and n have different values?
True
Suppose n = 9*n + 208. Suppose l + 4*c - 22 = 0, -1 = 4*c - 21. Suppose -3*r + 5*z - 71 = 0, 5*r + 145 = -l*z - 3*z. Which is greater: n or r?
n
Let k = -16235/6536 - 16/7353. Let y = 8/5 - 119/40. Let p = k - y. Is p greater than 1/4?
False
Let y be ((-539160)/(-9300) - 58)*(-5)/(-6). Suppose 4*v - 2*u = 7*v + 11, -5 = 5*u. Let i(d) = d + 2. Let b be i(v). Is b at most y?
True
Suppose -n - 20 = -5*c, -3*n + n - 20 = -5*c. Let s = -41/4 + 625/61. Is n != s?
True
Let t be ((-1)/(-16)*-3)/(-17*(-26)/15912). Let c = -18 + 11. Does t = c?
False
Let q be 9*-2*(-1)/(5 + -3). Suppose 5*d - 2*u = q, -9 = 4*d - 4*u - 21. Which is smaller: d or 7/16?
7/16
Suppose -5*g - 5*n + 4*n + 260 = 0, 5*n + 156 = 3*g. Suppose 46*a = g*a - 6. Which is greater: 1/599 or a?
a
Suppose -592 - 488 = 6*m - 204. Which is greater: m or -6/11?
-6/11
Let d be (-4)/(-5) + (-121)/(-55). Suppose 2*q - 2*j - 61 = -d*q, -2*j = -4. Let v(n) = n**3 + n**2 + n + 11. Let a be v(0). Which is bigger: a or q?
q
Let t(d) = 5*d**3 + 241*d**2 + 43*d - 250. Let b be t(-48). Is b at least 149?
False
Suppose 784 = w + 28. Suppose 18*a = 14*a - 2*p - w, -a = -4*p + 171. Which is greater: -189 or a?
a
Let h(s) = s**3 - 5*s**2 - 2*s + 12. Let t = -8 + 13. Let g be h(t). Suppose 5*i - 28 = -g*i. Which is smaller: 1 or i?
1
Let m be (294/(-70) - -5)*(-50)/(-60)*129. Let i(u) = -u**3 + 4*u**2 + 9*u + 2. Let l be i(7). Let n = l - -408/5. Which is smaller: m or n?
n
Suppose -27*o + 15 = -30*o. Let y = -899 - 493. Let a be y/(-1320) - 2/o. Is a at most as big as 1?
False
Let a(n) = -n + 13. Let w be a(7). Suppose 5*i - 7 = -3*f, 0*i = -f + 2*i + w. Suppose f*t + 3*t = 455. Which is greater: 66 or t?
66
Let n(a) = a**3 + 21*a**2 + 62*a - 18. Let j be n(-17). Is 1574/19 less than j?
True
Suppose -10*o + 5*o = s - 2, o = -4*s + 27. Which is bigger: o or -1/1359?
-1/1359
Suppose 3*n - 2*u = 26450, 0 = 4*u - 1 + 17. Let x = n + -4221908/479. Is x > -1?
True
Let r = -17 - -90. Let p = r - 71. Is 1/37 < p?
True
Suppose -326*f - 3890124 = 228*f + 1496972. Which is greater: -9725 or f?
f
Let r = -9337 + 8987. Is -351 not equal to r?
True
Let j(p) = p**3 - 8*p**2 - 22*p + 22. Let v be j(10). Let s be v/((4 + -16)/6). Which is greater: s or 1/22?
1/22
Let g be 2/(-10)*25/(-18). Let a(q) be the first derivative of q**3/3 + 11*q**2/2 - 13*q + 56. Let n be a(-12). Which is bigger: g or n?
g
Let x be (-18096)/364 - 4/14. Which is greater: x or -52?
x
Let m(s) = -s + 4. Let j be m(-4). Let b(f) = 8*f**3 + 759*f**2 - 97*f - 180. Let z be b(-95). Is z > j?
True
Let w(o) = 479*o + 2395. Let d be w(-5). Which is smaller: -1/10086 or d?
-1/10086
Let j(w) = -2*w**2 + 2*w - 5. Let s(i) = -i + 9. Let r be s(6). Let f be j(r). Suppose -4*z = -5*z - 16. Which is smaller: z or f?
f
Suppose -15*w + 2318 = -18*w + 2*j, 2*j = -5*w - 3874. Which is smaller: -770 or w?
w
Let t be ((8 - 5) + -4)*(-1)/433. Let c = -1294/2165 - t. Let q = -0.09 + 6.09. Which is bigger: q or c?
q
Suppose 0 = -3*o + 3, 7*b - 5*o = 12*b - 215. Let r be (-12)/b*-14 - (-36)/(-8). Let c = -4 + 3. Is c <= r?
True
Let x = 110811 + -467511607/4219. Are -1 and x unequal?
True
Let j be (12/10)/(((-168)/320)/(-7)). Suppose -8*q = -16*q + j. Let u be (6 - q) + 4*6/192. Which is greater: 5 or u?
5
Let r = -6578 - -6999. Is 422 bigger than r?
True
Let l = -0.24512 + 0.54512. Let i = -2 + 8. Let x = -5.7 + i. Do x and l have different values?
False
Let l be 23/((-2070)/(-20)) + (-15142)/18. Is l at most as big as -841?
True
Let y = -2/135463 - -324569358/677315. Let s = y - 482. Let h be (-2)/(-10) - (-64)/(-20). Which is smaller: h or s?
h
Let a(j) = j**3 + j**2 - 13*j - 11. Let i be a(-4). Let h be 16/(-10) - (-10 - i). Is h > 0.2?
True
Let z be (-2)/((24/9)/(-4)). Suppose z*x - 701 = -704. Is x at most 4/25?
True
Suppose -7*i = 127 - 771. Let b be (2/(-6))/(i/9 + -9). Is b at least -0.2?
False
Let o(x) = x**3 + 14*x**2 + 9*x - 33. Let v be o(-13). Suppose v*p + 90 = p. Is -36/7 equal to p?
False
Let r be (8/208)/((-13)/(-7826)). Do 24 and r have the same value?
False
Let s be 87/15 - (-3)/15. Let y be -49 + ((-6)/4)/((-3)/s). Let c = y - -47. Which is bigger: c or -1/92?
c
Let i = -6688.38 + 6690. Which is greater: -0.04 or i?
i
Let o = -26668 - -26669. Which is bigger: o or -29/333?
o
Let z = 31.7 + -14.5. Let k = -51.2 + z. Which is bigger: 1 or k?
1
Suppose 79*n - 77*n = -3*r - 4, 2*n - 3*r = -28. Suppose -5*s = 49 + 16. Which is bigger: n or s?
n
Let w(a) = 51*a + 58. Let q be w(17). Suppose -16*m - q = -141. Is 2 at least m?
True
Let l = 55 + -47. Suppose 0 = -7*y + l + 202. Let k = y - 48. Do k and -15 have the same value?
False
Suppose 0*v - 5*v + 2*g + 260 = 0, 0 = -2*v - 2*g + 90. Let y = -41 + v. Let c = -7 - y. Which is smaller: c or -77/5?
c
Let t = -0.896 - 0.143. Let b = -0.069 - t. Is b bigger than -0.2?
True
Let b = -12536.1 - -12536. Is b at least as big as -0.10118?
True
Suppose -3*g - 285 = -22*g. Let z be g/(270/(-12))*(2 + -3). Is 1/378 greater than z?
False
Let g be -3 + 6/4 + 51085/34054. Let l = 493069/6078639 + g. Let w = l - -2/21. Is w at least as big as -1?
True
Let w = 95.3 + -143.6. Let o = 48.25 + w. Let y = 15 - 27/2. Which is bigger: o or y?
y
Suppose 2*z - 229 = 30*z + 947. Is -42 < z?
False
Let s = -18.8 + 17.74. Let b = s - -7.06. Is -4/9 equal to b?
False
Let m(z) = z**3. Let k(p) = -7*p**3 - 2*p**2 - 3. Let y(f) = -k(f) - 6*m(f). Let c = 16 - 18. Let s be y(c). Is s less than 5?
True
Let t = 37 + -26. Let b(c) = c**2 - 12*c + 11. Let w be b(t). Let s be (-10)/(-11)*60/(-120). Is w equal to s?
False
Let b = 128.82 - 129. Let v = 9.18 + b. Which is smaller: v or 8?
8
Let n be (-30)/(-4)*(-22)/(-33). Suppose 5*p - k = 10, -3*p - n*k + 18 = -8*k. Is p less than or equal to 4/25?
False
Suppose 0 = -10*r - 1018 + 8298. Suppose r = 9*y - 307. Is 117 greater than or equal to y?
True
Let h = 9 - -257. Let a = h - 279. Which is smaller: -7 or a?
a
Let t be 784/336 + 109/(-39). Suppose 0 = -2*m - 2*m. Which is smaller: m or t?
t
Let r be -2 - -2 - (-1372)/120393. Is 1 at least r?
True
Suppose -36 = -2*g + 6*g. Suppose 2705*d - 245 = 2950*d. Which is bigger: d or g?
d
Let m(b) = -152*b**2 + 6*b + 3. Let x be m(-2). Let h be 151964/246 - (-34)/(-51). Let y = x + h. Which is greater: 1 or y?
1
Let x = 163 + -154. Suppose -a - 2 = 0, -5*l - 32 = -x*l + 2*a. Let c be -2 + (-41)/(-4) + -2. Are l and c nonequal?
True
Let q be 698/(-2328) - ((-2768)/160 + 17). Which is bigger: q or -1?
q
Let h be (-4)/(-14)*(-37 - -44). Suppose -4*p + 6 = 2*d, 2*d - 6*p = -h*p + 14. Which is smaller: 27/7 or d?
27/7
Let r = -5.28 - -1.9. Let k = r - -3.58. Which is smaller: 89 or k?
k
Suppose 87*b 