 x. Is m greater than or equal to -19?
False
Let q(r) = 13*r - 218. Let z be q(22). Which is bigger: -1 or z?
z
Suppose 5*b = 4*b, -2*b = o. Let h = 108743/140 + -3841/5. Let l = h - 35/4. Are l and o unequal?
True
Let m = 43.922 - 44. Which is bigger: -2 or m?
m
Let p = 56 - 34. Let h = -21.9 + p. Let m be ((-18)/(-15))/((-6)/4). Is h >= m?
True
Let s(u) = 4*u. Let c be s(-3). Suppose 2*o - 3*n = 39, 5*n + 0 + 77 = 4*o. Let g be c/o*2/4. Is -3 < g?
True
Let l = 5 - 3. Let s(a) = a**3 - 5*a**2 - 8*a - 15. Let n be s(7). Let r be (14/(-21))/((-3)/n - 1). Is l less than r?
False
Let g(q) = q - 5. Let i(n) = -n - 7. Let l be i(-6). Let c = l - -6. Let a be g(c). Which is smaller: a or -2/5?
-2/5
Suppose -y = -0*y - 2. Let m be 3 + (-12)/4 + y. Suppose 0*d = m*s - d - 15, -4*d + 17 = 3*s. Is s at most 8?
True
Let g = 1823 + -1823.2. Which is smaller: g or 2/247?
g
Suppose 2*a + 4 = x - 3*x, 3*a - 4*x = 8. Let z be -151*(2 - (a - -1)). Let q = -2264/15 - z. Is 1 greater than or equal to q?
True
Let f(h) = h**3 - h**2 - h. Let a be f(0). Suppose 0*n - x + 20 = 4*n, a = -4*x. Suppose -n*w - 2*v - 2 = -v, 0 = -4*w - 2*v + 2. Which is smaller: w or 3/8?
w
Let r = -6 + 8. Suppose -r*u = -4*w - 22, -5*u + 0*w = 5*w + 20. Suppose -u = -b - 0. Is 0 smaller than b?
True
Let z = 23/16 + -75/16. Which is smaller: z or -2?
z
Let n(w) = -2*w**3 - 18*w**2 - 20*w - 32. Let u be n(-8). Is 7/37 less than u?
False
Let s(b) = 6*b**2 + 1. Let j be s(1). Suppose 0 = -k + 3*t - t + j, t + 5 = 0. Which is smaller: k or 0?
k
Let y be (4 + (-287)/70)*144/21. Which is smaller: -2 or y?
-2
Let z be 2947/539 - (-5 - -2). Let o = z - 58/7. Is o less than -1?
False
Let c be (4*4/(-40))/((-10)/50). Which is bigger: 20 or c?
20
Let d = 309 + -316. Which is smaller: d or 3?
d
Let b = -39 + -11. Let n be (-4)/10*b/(-60). Is 0.13 greater than n?
True
Let i be ((-2)/5 + 259/185)*-127. Are i and 0 equal?
False
Suppose 8 = -41*a + 37*a + w, 2 = -a + w. Which is smaller: -13/10 or a?
a
Let j be 3 + -4 + (-21)/1. Let p = j - -28. Suppose w - 12 = -w. Is w less than p?
False
Suppose g - 5*i - 5 = 0, g + 1 = -0*i + 2*i. Which is bigger: g or -16/3?
g
Let b = -853.9608 + 854. Is b greater than 1?
False
Let c = 14 + -6. Let t = -8 + c. Which is smaller: 4 or t?
t
Let v(h) = -22*h - 19. Let y(t) = 12*t + 10. Let u(l) = 3*v(l) + 5*y(l). Let b be u(-3). Is b > -1?
True
Let i be 1/(-4) + 3771/(-1380) + 3. Do i and -1 have the same value?
False
Let d = -24297265/924 - -26296. Let u = d - 2/231. Is -1 >= u?
False
Let y(o) = 2*o**2 - 4*o - 4. Let n be y(4). Let h be ((-2)/8)/((-5)/n). Let r = 7 + -7. Are h and r equal?
False
Let h be (-1)/(-1) - ((-6)/(-6) + -1). Which is smaller: h or -4/247?
-4/247
Let p = 34.968 - -0.032. Let r = p - 34.7. Is r bigger than -0.08?
True
Let n = -88 + 79.5. Let a = n + 9.5. Is 1/9 at least as big as a?
False
Suppose 3*v + 27 = -5*a, -5*v + 27 = 2*a + 72. Which is greater: 0 or v?
0
Let j(p) = 2*p - 36. Let b be j(-17). Are -68 and b equal?
False
Let u be 24/16*4/663. Let i = -191/3315 - u. Which is smaller: 1 or i?
i
Let f(n) = n**3 - 5*n**2 - 4*n + 17. Let h(a) = 3*a - 7. Let m be h(4). Let o be f(m). Let c be o + -30*20/(-205). Which is greater: c or 0?
0
Let y(b) = 8*b**2 + b + 1. Let m be y(-1). Suppose 7*n = -6 - m. Which is smaller: -4/5 or n?
n
Let w = -0.0916 - -74.0916. Which is greater: w or -1/4?
w
Suppose 18 = 16*b - 13*b. Let n = b + -2. Let v(k) = k - 5. Let u be v(n). Is u >= -2/71?
False
Let g = -1.8 - -1.5. Let p = -23.7 - -23. Let q = p + g. Do q and -3/7 have different values?
True
Suppose 6*p - 7*p = -3. Suppose p*m - 5*o = -0*o + 9, 2*m + 4*o = 6. Let q be (m - 3)/(-4 - -2). Do q and 0 have the same value?
True
Suppose -2*o = -l + 92, 3*l - 54 = -3*o + 186. Let j be 12/16 + (-33)/l. Are 0 and j unequal?
True
Suppose -150 - 18 = 2*u. Let l be u/9 - (-2)/6. Is 3 bigger than l?
True
Let u = -21.06 + 0.06. Which is bigger: -4 or u?
-4
Suppose 12 = 4*h + 2*j, 0 = -3*j - 0*j. Let v be 0 - (h + 1 + -78). Is 73 at most as big as v?
True
Let k = 141 + -699/5. Which is smaller: 1 or k?
1
Let u(a) = -2*a**3 - 2*a**2 + 58*a - 11. Let h be u(-6). Which is greater: h or -29/66?
h
Let v = 670 + -679. Is v greater than 13?
False
Let k be (427 + -4)*(-2)/(-6). Let g be -2 + k/6 + 3 + -5. Is 19 smaller than g?
True
Let v = 8448 + -2010621/238. Which is bigger: 0 or v?
v
Let x = -5 - -5. Suppose 2*b - 1 + 2 = -a, 3*b + 6 = 3*a. Let u(k) = -k + 2. Let d be u(a). Which is smaller: d or x?
x
Suppose 0*g + 120 = 8*g. Let b(s) = 8*s - 2. Let k be b(2). Which is greater: g or k?
g
Suppose -4*v - 2*s + 1 = 17, -v - 4*s = 11. Let f be -3 + 1 + 5 + v. Let n be (f + 2)*1/2. Which is smaller: 2/5 or n?
2/5
Suppose -3*x - 3*a + a = -1, 2*a + 23 = 5*x. Let v(m) = m**2 + m. Let k be v(x). Suppose c + k = 3*c. Are c and 6 nonequal?
False
Let c be (-20)/150 - 3178/(-23610). Which is smaller: c or -1?
-1
Let h be 21/(-126) + (-9003)/(-234). Is h <= 37?
False
Let h be (((-437)/147 - 0) + 3)/(-2). Which is smaller: 0 or h?
h
Let x = 55 - 55. Which is smaller: x or -3/26?
-3/26
Let u(w) = -3*w - 3. Let d be u(-9). Let y = d + -23. Is y at most 1?
True
Let c = -23617/18 - -2629/2. Suppose -u - 2*j = -7, 0 = -6*u + 2*u + 4*j - 8. Which is bigger: u or c?
c
Let b = -0.19 - -0.19. Let o = -1311/16 + 82. Which is smaller: b or o?
b
Let g be (-14705)/306 + 1/(-6). Let z = -48 - g. Is z greater than or equal to 0?
True
Suppose -52*x - 36 = -51*x. Are -36 and x equal?
True
Let b be 13057/(-8734) - (-6)/4. Which is bigger: b or -1?
b
Suppose x + 3*y = 15, -2*y = -4*x - 4*y + 20. Let u = 181/76 + -5/38. Which is bigger: u or x?
x
Let b(a) = -8*a + 18. Let x be b(-12). Let r be x/(-1755) + (-9)/(-81). Which is bigger: -1 or r?
r
Suppose -o = -5*o + 2*l + 18, 0 = -o + 3*l + 7. Suppose 3*y - 2*w + 43 = 0, 0*y + 19 = -y - o*w. Let j be 12/5 + 6/y. Which is greater: 4 or j?
4
Let w be 4/(-10) + 23*(-2)/(-110). Let j = -80 + 80. Is w at most j?
False
Let f = -2/517 + -7741/3619. Are -7 and f equal?
False
Suppose 343 = 7*y + 14. Is y smaller than 0?
False
Let q = 17.66 + -20.76. Is -2/13 at least as big as q?
True
Let u be (-186)/(-380) + 1/(-2). Suppose 3*n = -23*o + 22*o + 8, 10 = 5*o + 5*n. Is o not equal to u?
True
Let v = -8 - -14. Let p(i) = -13*i - 6*i + 38 + 22*i. Let n be p(-11). Is v <= n?
False
Suppose 26*h + 27 = 28*h - 5*j, 4*h = 5*j + 29. Let f = 11433/23 - 497. Which is smaller: f or h?
f
Let r be (18 + -13)*(-2)/(1*-2). Suppose -2*c + 2*l - 2 = 0, -3*c - 3*l = 2*l - r. Which is smaller: -4 or c?
-4
Let i be (-658)/348 + 73/438. Do -1 and i have the same value?
False
Let l be 12/8 - (0 - 47/2). Let h be (-1 + -1 - -3)*l. Is 25 less than h?
False
Let m be 23/((-92)/40) + 8. Do m and 473 have different values?
True
Let q(l) = -3*l**2 + 20*l + 264. Let i be q(-9). Is i >= -315/2?
False
Suppose 7*q - 3*q - 8 = 0. Let n be ((-1)/q)/(14/112). Let o be (4/(-20))/(14/n). Are o and 0 non-equal?
True
Let u(n) = -2*n**2 + 12*n - 3. Let d(y) = 4*y - 14. Let l be d(5). Let p be u(l). Which is smaller: -7 or p?
-7
Let u = 0.1 - -58.4. Let n = u + -3.5. Is n at most as big as 2/7?
False
Suppose -5*q - 10 = -2*r + 16, -4*q - 4 = 4*r. Is 67/20 at most r?
False
Let s = -0.085 + 0.085. Let z = -41.22 - -40. Let n = z + 1.2. Which is bigger: s or n?
s
Let p = 1 + 5. Is p < -13?
False
Let i = 1268 - 1081. Is 186 >= i?
False
Suppose 0*h + 12 = 4*h. Let y be 2*(-10)/(-8)*(-84)/(-30). Are h and y unequal?
True
Let w be (-6)/8*(-944)/(-2301). Let p = 1.96 + 0.04. Which is smaller: w or p?
w
Let a(l) = l**2 - 2*l - 3. Let i be a(3). Suppose 4*n - y = -5*y, -3*n + y - 20 = i. Is n >= 0?
False
Let h = 0.05 - 2.05. Let z = h + 2.2. Let p = -4572 + 4571.89. Which is smaller: p or z?
p
Suppose 0 = -n - 2*g - g + 9, -4*g + 4 = 0. Let s be (3633/n)/((-3)/18). Let r be s/(-1197) - 1*3. Which is smaller: 1 or r?
r
Let w = -1037 - -1037. Which is bigger: -72/101 or w?
w
Let x = -736 - -906. Which is bigger: x or 2?
x
Let p = 1/120 + 311/5880. Let l = p - -40/147. Is l less than or equal to 1?
True
Let z be (4345/(-110))/(7/(-6) + 1). Let k = z + -2604/11. Suppose g = -4*g. Is g equal to k?
False
Let u = 1077 - 1290. Do u and -1 have the same value?
False
Let s = -67 - -66.8. Which is greater: s or 3/31?
3/31
Let x 