 + 5 = 0, 12 = 4*x - y + 7. Which is smaller: k or x?
k
Suppose -19*w + 1 + 8 = -28*w. Is -4/10845 equal to w?
False
Let y = -189 + 164.6. Let i = -20.4 - y. Is -2 greater than i?
False
Suppose 2*x + 13 = 2*y - 29, 2*y - 17 = -3*x. Let z = -11 + y. Let n(v) = -v**3 + 4*v**2 + 5*v + 2. Let u be n(z). Is u bigger than 20/7?
False
Let b(y) = 4*y**2 - 14*y + 12. Let q(i) = 13*i**2 - 41*i + 37. Let v(c) = -17*b(c) + 6*q(c). Let j be v(3). Which is smaller: j or -2?
-2
Let q(u) = -5*u - 79. Let m be q(-17). Let a be (-8)/m + (-3 - -4). Is a < -10/3?
False
Let t = 62185 - 121407/2. Is 1481 greater than t?
False
Suppose -3*z - 169 = -t + 198, 5*t - 4*z = 1846. Let y = t - 367. Is y greater than -0.1?
True
Let z = 191/12 + -209/12. Is z not equal to 6/2815?
True
Let a be (8 - (-15)/(-5)) + -1. Suppose 364 = a*t + d, 3*t + d + 47 = 320. Is 93 smaller than t?
False
Let h = -195.2 - -142. Let z = -53 - h. Are 2/217 and z non-equal?
True
Suppose -929 = -30*v + 7106 + 4715. Which is greater: v or 1?
v
Let r be (31/93)/(((-5)/(-150))/((-1)/2)). Is r bigger than 42?
False
Let d(m) = -176*m - 1530. Let r be d(-8). Is -122 at least as big as r?
True
Suppose -39*u + 456 + 831 = 0. Do u and 48 have the same value?
False
Let x = 10867 + -10350.9. Let r = x + -516. Let g = -30 - -21. Is r smaller than g?
False
Let q be 2*-1*(-9)/81. Let g = -2714 + 13669/5. Which is smaller: q or g?
q
Let v = 17322 + -16826. Which is greater: 503 or v?
503
Let r = 1737.2 + -1737.13. Which is bigger: r or -335?
r
Suppose -5*y - 5 = -17*k + 18*k, 0 = -3*k - y + 27. Let a = -31 + 38. Suppose 0 = -a*o + 18 + 66. Is k at most as big as o?
True
Let r(k) = -9*k + 63. Suppose 4*f - 42 = -14. Let d be r(f). Is d greater than -4/29?
True
Suppose 0 = -4*o - g + 10, -5*g + 405 - 377 = -2*o. Is 6/4489 less than o?
True
Suppose -c + 3*c + 2 = 0, 2*u + c - 89 = 0. Let k = u - 68. Does -160/7 = k?
False
Suppose -3*r - 3*j + 27 = 0, 3*j - 25 = -3*r - 2*j. Let u be ((-26)/(-585))/((-2)/r). Which is bigger: u or 32?
32
Suppose 0 = 6*n - 4*c + 9597 + 6889, c = -5*n - 13760. Is -2751 at least n?
True
Suppose z - 3 = 5*c, c - 3*z = -2*c - 9. Suppose -4*n - i + 3 = c, 0 = -2*i + 17 - 27. Which is smaller: 26/21 or n?
26/21
Let z be 1/2 - (-3)/(-6). Suppose -4*o + 132*j + 17 = 135*j, 5 = -5*o + 5*j. Do z and o have the same value?
False
Suppose -3*d = -h - 79 + 75, 4*h - 3*d - 11 = 0. Let y be 15/9*(1 - -2). Suppose -2*x + h*b = -38, 0 = 2*x + y*b - 9 - 29. Is x less than or equal to 19?
True
Let j = 2.837 - 3.837. Which is greater: j or 14/39?
14/39
Let j = -1 - -12. Let m = -7276/3 + 2389. Let x = m + 46. Is x >= j?
False
Let z = 3 + -3.2. Let y = -124 + 96. Let l = y + 27.9. Which is smaller: l or z?
z
Let z = 15323 + -10407. Is 4916 equal to z?
True
Suppose 9*j = 5*j + 5*m - 2, -3*j + 4*m - 2 = 0. Suppose 6*n - j*n = -248. Let u = -62 - n. Which is greater: u or -2/19?
u
Let h = -668.03 + 103.13. Let b = h - -565. Is b >= 0.183?
False
Let h(t) = -47*t + 1495. Let r be h(32). Let q = 0.07 - 7.07. Which is smaller: q or r?
r
Suppose 43444 = 3*z - 5*g, 2*z - 28928 = 195*g - 196*g. Is 14469 at most as big as z?
False
Let i(o) = -o**3 + 3*o**2 - 2*o + 9. Let w be i(3). Suppose 3*u - w*z = -0*z + 735, -u + 3*z + 255 = 0. Is u smaller than 240?
False
Let t = -237 + 21. Let j = t - -221. Which is bigger: j or -48?
j
Let h be ((-104)/(-28) - 2)/(-1). Let m(t) be the second derivative of -7*t**3/6 - 26*t**2 + 3*t + 24. Let s be m(-7). Is h less than or equal to s?
False
Let b = 13 - 7. Let f be (-28 - 105493/(-3772))/(1/4). Do f and b have the same value?
False
Suppose 86*z - 89*z = -3. Suppose -10 = -42*s + 37*s. Suppose w - s = -w. Is w != z?
False
Let a be 4/((1 + (-6)/12)*1). Let u(t) = -t**2 + 6*t + 15. Let o be u(a). Let w be -1 - ((-6)/(-93) - 1). Which is smaller: o or w?
o
Let q = -12983/413511 + 2/4263. Let c be (-18)/8 - (-481)/148. Is c > q?
True
Let w = -424 - -456. Let d = w - 31.8. Is 150/13 greater than or equal to d?
True
Let v(p) = -2*p**2 - 10*p + 42. Let n be v(-10). Let t be 4/37*87/n. Which is smaller: 0 or t?
t
Let l = -104 + 38. Suppose 5*i - 1 = -g, -g - 2 = -i - 3. Suppose -3*m - 6 - 265 = 4*u, i = -3*u - 3*m - 204. Which is bigger: u or l?
l
Let i(o) = -90*o**2 - 3*o - 3. Let r be i(-1). Let z = r + 91. Is z less than 5?
True
Let b = 264451.2 - 264451. Let z = -403/5 + 17717/220. Is b at least as big as z?
True
Let v(s) = -2*s**2 - 7*s - 1. Let l be v(-5). Let g(m) = m**3 - 14*m**2 - 15*m - 2. Let h = 212 + -197. Let n be g(h). Which is smaller: l or n?
l
Let n = 31.2048 - 0.0048. Let l = n + -36.2. Suppose 0*m + 28 = 3*m - 5*t, -20 = 5*m + 5*t. Which is smaller: m or l?
l
Let b be (-12 - 37/(-3))*0. Are -10/707 and b equal?
False
Suppose 5*c = 4*r - 2*r - 1583, -r = 2*c - 814. Suppose -813 + r = -9*p. Which is bigger: p or 1/46?
p
Suppose 0 = -r + 9*r + 3*r. Let y be (-32)/(-104)*(4 - (4 + -1)). Is r less than or equal to y?
True
Let m = -4542 - -4566. Which is smaller: 7 or m?
7
Let m be 112/(-273)*27/(-12). Let h = m - 61/52. Which is bigger: h or 25/2?
25/2
Suppose q + 9113 = -10*k + 6*k, 9122 = -4*k + 2*q. Is k < -2280?
False
Let y = -2317 - -2320. Let c = 3/29 + 17/116. Is y < c?
False
Suppose -12*s = -15*s + 9*s + 1626. Which is greater: -1362/5 or s?
s
Suppose 0 = l - x - x + 40, -2*l - x = 75. Suppose -4*f = -3*t + 163, -5*f + 555*t - 559*t - 165 = 0. Is f at least l?
True
Let s(z) = z**2 - 15*z + 69. Suppose 3*y - 15 = 2*m - 4, -4*y + 3*m + 13 = 0. Let t be s(y). Which is bigger: t or 15?
15
Let m(j) = -167*j**2 - 438*j - 438. Let a be m(-1). Which is bigger: -25 or a?
-25
Let b = -1276/13 - -69123/689. Which is greater: 2 or b?
b
Let m = -1234.8 + -198. Let t = m - -1548.83. Let f = t - 116. Are f and -2/3 unequal?
True
Let h(q) = 388*q + 2679. Let g be h(-7). Let n(v) = -6*v**2 - 2*v - 1. Let s be n(-1). Let j = s + g. Is j less than -43?
False
Suppose -j - 81 = -3*n - 158, 3*j - n - 231 = 0. Let l(t) = -39*t - 2. Let z be l(-2). Is j greater than z?
True
Let a(r) = r**3 + 9*r**2 - r + 52. Let x be a(-5). Let g be x + (-5 + 3 - (-2 - -4)). Which is greater: g or 150?
g
Let g(m) = -7*m + 1. Suppose 1 = -4*i - 3*d - 1, -4*i + 5*d + 14 = 0. Let b be g(i). Suppose 4*o + 2*c - 20 = 0, 2*o + 1 - 3 = 3*c. Does o = b?
False
Let r = -35861/24 + 1494. Let f(q) = -q**2 - 5*q - 6. Let t(h) = -4*h**3 + h**2. Let n be t(1). Let s be f(n). Is s greater than or equal to r?
True
Let q be 2*(267*(-53)/14 + 1324/4634). Which is smaller: -2031 or q?
-2031
Let w(a) = 11*a - 208. Let f be w(39). Let q = f + -223. Does q = 6?
False
Let v be (-6)/(-5)*(-7 + 2). Suppose 8 = 158*k - 156*k, 5*z - 4*k + 21 = 0. Which is greater: v or z?
z
Suppose 0 = -49*w - 7*w + 212 + 68. Is w != -49.1?
True
Suppose -4*c + 130 = 10. Let w be 198/c - (14 + -7). Which is smaller: -2 or w?
-2
Let g be (4*-2)/4 + 8. Let j(l) = l**3 - 6*l**2 + 2*l - 6. Let i be j(g). Suppose -3*s - 6 = -4*s. Is i equal to s?
True
Let n be ((-4)/54)/((-3)/(-9)). Let r = -9143 - -9118. Which is bigger: n or r?
n
Let n(i) = i**3 - 8*i**2 - 41*i + 89. Let q be n(11). Is q less than 12/11?
True
Let u be (-3)/(1092/592101308)*-1. Let d = u - 1626631. Let w = -152/7 + d. Which is smaller: w or 0?
w
Suppose 0 = -m - 191 - 67. Let a = -236908 + 236649. Is m < a?
False
Let f = -88 - -148. Let y = f - 58. Suppose -4*k = k - 3*s + 41, -y*k = -3*s + 11. Which is smaller: -14 or k?
-14
Let j be (-1 + -1)/6 - 156/(-117). Let w be ((-6)/(-40))/(6/4). Is j greater than or equal to w?
True
Let b(q) = -q**2 - 2*q + 1. Let j be b(0). Let f = -9209/2996 + 43/14. Let s = -1271/5564 + f. Which is smaller: j or s?
s
Suppose 2*p - 2*i = 26, -p - 28*i + 25 = -26*i. Which is smaller: -99 or p?
-99
Let c = 249/5 - 50. Let h = -4 - 18. Let d = -23 - h. Which is smaller: c or d?
d
Let z = -4626 + 4634. Is 15 bigger than z?
True
Let y be (68/6)/(41/123). Let k = -11 - -19. Suppose 4*r + k = -0*r, 60 = 2*j + 5*r. Which is greater: j or y?
j
Let o(d) = 51*d - 309. Let t = -786 + 792. Let z be o(t). Which is greater: 1/33 or z?
1/33
Let u = -2904694 + 72627873/25. Let q = u - 421. Let c = q - -29/50. Which is smaller: c or 13?
c
Let f(t) = t**2 + 10*t + 4. Let z be (70/21)/(2/(-6)). Let r be f(z). Suppose 5*s - 3*p + r*p + 20 = 0, s - 20 = -5*p. Is -6 at least s?
F