 is smaller: 19 or c?
c
Suppose -16*s = 3*j - 420, 3*s + 12 = -4*j + 77. Which is bigger: -53 or s?
s
Let d(y) = y**3 + 3*y**2 - 4*y - 5. Let h be d(-5). Let q be (87/6 + 3)*16/20. Let o(r) = r**2 - 13*r - 50. Let u be o(q). Which is smaller: h or u?
u
Let w = -183 - -3487/19. Is -1 at most as big as w?
True
Let j = 0.015 + -0.115. Let t = -2.8 - 20.2. Which is bigger: j or t?
j
Let h = 1 + -1. Suppose h = -d + 15 + 4. Suppose 0 = -25*n + 205 - 105. Do d and n have the same value?
False
Let p be -7 + 7 - 7 - -70. Suppose -p = -b - 3. Is b at least as big as 61?
False
Let w = -512 - -226. Which is smaller: w or 0.8?
w
Suppose -9 = 5*m + 4*b, 10 = 4*m + b + 15. Which is smaller: m or -1282?
-1282
Let j be (-28)/(-637)*(2 + 4). Let b = -131/2912 + j. Is b less than 0?
False
Suppose 5*j - 193*t = -188*t + 105, -5*t = -6*j + 128. Let q = -8 - -5. Does j = q?
False
Let m = -652.8 - 6.2. Let x = -659.16 - m. Which is greater: -2 or x?
x
Let r = -237.1 - -221. Let m = 12.5 + r. Is 2 at most m?
False
Let n(i) = i**2 - 4*i - 11. Let s be n(6). Let m be (s/(-3))/((7/(-9))/7). Suppose j + 0*v - 4*v = 4, -5*j - 31 = -m*v. Which is smaller: j or -6?
j
Let u be ((-2)/3)/((-1)/(-36)). Let y(q) = 21*q - 14. Let g be y(8). Let t = g - 180. Which is smaller: u or t?
t
Let x = -1.274 - 0.021. Let v = 1.17 + x. Let o = v + -0.375. Is o smaller than -0.1?
True
Let d = 646.9442 - 647. Let p = 37.0558 + d. Is p less than 2?
False
Let w be (-8)/(-6 + 14) + -1. Which is smaller: w or 392?
w
Suppose 0 = -11*f + 647 + 321. Which is greater: f or 85?
f
Suppose 5*y - 7*d + 4*d + 10162 = 0, -4*d = -5*y - 10166. Which is smaller: -2033 or y?
-2033
Let j(s) = s**2 - 13*s + 27. Let q be j(11). Suppose 2*z - p + 5 + 18 = 0, -q*p = 2*z + 53. Let b(h) = h**2 + 6*h + 10. Let f be b(-3). Is f bigger than z?
True
Let v(j) = -j**2 + 26*j - 20. Let w be v(25). Suppose -3*b - 39 = 5*g, -2*g - g = -4*b - 23. Which is greater: b or w?
w
Suppose -18*l = -80*l + 11284. Which is greater: 190 or l?
190
Suppose 3*j = b - 5, -3*j + 0*j - 1 = b. Suppose 5*r + 21 = -b*q + 1, 0 = r - 4*q - 18. Let x be (3/3 - 1 - r) + -4. Which is smaller: 0.3 or x?
x
Suppose 2*u + m + 4 = -1, -3*u + m - 15 = 0. Let w be (-14)/u - 4/8. Let f be ((-4)/(-5))/((-189)/(-420)). Is w != f?
True
Let j = 4944/11 - 4880/11. Which is smaller: j or 7?
j
Let y be 3 + (3/(-6) - 1/2). Suppose 2*x = y*f + 4*x - 116, 3*f - 5*x = 158. Is f > 57?
False
Let n be (-3 - (-8239)/(-21))/((-12)/18). Which is smaller: 594 or n?
n
Let m = 3249 - 3234. Which is smaller: m or 206/13?
m
Let s be (3/(-57))/((-15)/(-30)). Which is greater: s or 172/13?
172/13
Let v = -144 - -153. Let d be (-54 - 3) + -3 + (11 - v). Is d bigger than -57?
False
Let d(h) be the third derivative of -5*h**4/24 - 58*h**3/3 + 2*h**2 - 19*h. Let w be d(-23). Which is smaller: -335 or w?
-335
Let u be ((-56)/20)/(56/(-40) + 1). Suppose -17*c = -u*c + 4430. Which is smaller: -442 or c?
c
Let p(l) = l**3 - 24*l**2 - 25*l - 3. Let z(q) = 1. Let n(t) = -p(t) - z(t). Let w be n(25). Let a be (-44)/6*w/16. Is a <= 0?
True
Let z(b) = -b**3 + 15*b**2 - b + 1. Let p be z(4). Let f = p + -282. Is f greater than or equal to -109?
True
Let k = -787.9381 - -788. Let d = k - 0.2889. Is -0.1 at most d?
False
Suppose 1 = -m - 4*r - 6, 5*r + 10 = -m. Let i(d) = d**3 - 26*d**2 + 24*d + 45. Let h be i(25). Suppose 2*t - m*x + h = -7, 3*t + 4*x = 17. Is t <= -1/3?
True
Let w = 163 - -16. Let p = w - 1255/7. Let u = -21667.4 + 21667. Is u at most p?
True
Let p be (2/(-3))/(4/(-894)). Suppose -3*q - 17 = -23, 0 = 5*j - 3*q - 744. Are p and j non-equal?
True
Let q = -1.45538 + -0.20162. Is q less than -0.1?
True
Let h = 5494 - 5486. Is h bigger than -55?
True
Let b(s) = 8*s - 12. Let n be b(6). Let a be n/40 - 4/20. Let h(o) = -2*o**2 + 57*o + 90. Let k be h(30). Which is smaller: a or k?
k
Suppose 9 - 1 = -m. Suppose -4*z + 14 = -2*t, -3*t + 142*z - 30 = 139*z. Let d be 7 + -5 - t/m. Is -1 greater than or equal to d?
False
Suppose 2*i = 3*i + 204. Let g(s) = 204*s - 25500. Let w be g(124). Is w at least i?
True
Let s(l) = -2*l**3 + 9*l**2 + 13*l + 26. Let r be s(8). Let j = r - -216. Is -0.2 >= j?
True
Let q = -63.925 + -0.075. Let r = 6 - q. Is -0.1 less than or equal to r?
True
Let u = 220.685 + -220.6. Which is greater: 6/23 or u?
6/23
Let f be (-8483)/952 - 8/(-28). Which is smaller: f or -9?
-9
Suppose 0 = z + 2*b - 347, 600 = 5*z + 4*b - 1111. Let t = z + -639. Is t not equal to -301?
True
Let j be (-6)/(-2) - 0/((-35)/(-5)). Let h be (28/(-16))/(j/48). Let l be 2/(-4)*(0 - (-88)/h). Which is smaller: 2 or l?
l
Suppose -20 = -3*p + 5*u - 0*u, -2*p - 8 = 2*u. Let s = 299421/109 - 2747. Is s at least p?
False
Let d = -19423 + 25929706/1335. Are -1 and d unequal?
True
Suppose 4*x - x = -4*m - 7298, -10 = -5*x. Are m and -1826 nonequal?
False
Suppose 0 = 85*t - 56*t + 261. Which is greater: -136/13 or t?
t
Let s = -5563 + 5563. Which is bigger: -5/26 or s?
s
Let q = -792 - -1244. Suppose 352 = -3*u - j, 5*u + q = -4*j - 123. Is -119 >= u?
True
Let x = -1.78 + 115.78. Let t = x + -109.1. Let p = 14.9 - t. Which is smaller: p or -2/5?
-2/5
Let w(t) = t**2 - 3*t. Let o be w(5). Suppose -o*f = -f - 63. Is f at least as big as 0.01?
True
Let y(i) = -133*i + 21. Let w be y(-4). Are w and 553 nonequal?
False
Suppose -4*o = 2*h - 18, 2*o - 3*h + 254 - 235 = 0. Let n be 2 + -2 - 10/(-21). Is o > n?
True
Suppose -2*b + 0 - 1 = 3*s, -3*b - 5*s = 0. Let u be 1043/b - (-20)/(-50). Let l = u - -1879/9. Which is greater: -1 or l?
l
Let u be -170 + 11 + (6 - 1). Let m = u + 204. Which is bigger: m or 4?
m
Let c = -19 + 157. Let s be ((-70)/3)/(23/c). Do -140 and s have different values?
False
Let f(i) = i**2 + 5*i - 4. Let p be f(-5). Let g be 1/(p/(-1 + -19)). Suppose 0 = -g*u - 2*k + 18, -u + 0*k + 1 = 3*k. Is u less than or equal to 2?
False
Let w = -79/266 - 2/665. Let i = w + 1/20. Let o = -173 - -175. Is i bigger than o?
False
Let i = 4219/2617229 + -4/1753. Is i at most 1?
True
Let c(u) = u**3 + 20*u**2 + 17*u**2 - 3*u - 47 - u - 21*u**2. Let d be c(-16). Is d < 0?
False
Let f be (11 + -12)/(1/(-5)). Let s be 13 - 10*(-2)/(-2). Which is smaller: s or f?
s
Let p = 2793 + -2772. Which is smaller: 4 or p?
4
Let v = -0.0725 + 0.0725. Do v and -1707 have different values?
True
Let u be 1*(-23 - -12) + -169*1. Which is bigger: -188 or u?
u
Let z = 5495 - 3585. Are z and -2/7 non-equal?
True
Suppose 18*m - 15*m + 4*q = -3496, 7*m + 8106 = -2*q. Which is bigger: -1157 or m?
m
Let o = 1.309 - 1.21. Let u = o - -11.901. Let t = 3 + -4. Which is bigger: u or t?
u
Let y = -70724/696613 - 2/11807. Is y smaller than 1?
True
Suppose -529*n + 14 = 2*a - 524*n, -a = 5*n - 17. Suppose -4*w + 3*w + 21 = 0. Let c be ((-1)/2)/(6/w). Which is greater: a or c?
c
Let j = -0.84 - -38.64. Let m = j - 41. Let u = m + 3.4. Which is greater: u or 1/4?
1/4
Let c = -10 - -19. Let g = 8 - c. Suppose 12 = -3*m + 3. Which is greater: g or m?
g
Let x be (173 - 185)*134/(-20). Which is smaller: x or 81?
x
Let o = 162431/35 - 4641. Suppose 8*l + 5 = 3*l. Which is smaller: o or l?
l
Let g be (-336)/(-180) - 10/6. Let j be (5 + -1)*-1*3/(-294). Is g at least as big as j?
True
Let h = 0.989 + -1. Let g = 308 - 310. Is h not equal to g?
True
Let h(s) = s**3 + 100*s**2 + 205*s + 883. Let j be h(-98). Which is smaller: j or -2/617?
-2/617
Let z = -0.02 - 0.068. Let l = z + 0.188. Does 29 = l?
False
Let q = 195 - 122. Let g = q - -27. Let v = 102 - g. Is v smaller than 0.18?
False
Let r(w) be the second derivative of w**5/20 - 5*w**4/6 + 5*w**3/2 - 9*w**2 + 620*w. Let a = -2 - -11. Let g be r(a). Which is smaller: 38 or g?
g
Suppose 3*h + 10*h - 429 = 0. Suppose 0 = x + 5*c - 32 - 5, -x + h = 3*c. Which is smaller: 107/4 or x?
107/4
Let a = -28.38 + 0.38. Let u = a + 70. Let c = -41.9 + u. Is c less than -0.1?
False
Suppose 53 = 5*u - 2*b + 181, -5*b = -5*u - 125. Let n(v) = 3*v**3 + 80*v**2 + 40*v + 61. Let t be n(u). Are 372 and t unequal?
True
Let b be (-1)/3*(9 + -8)*(55 - 54). Which is smaller: b or -4124?
-4124
Let w = 33141 - 32386. Which is greater: 3779/5 or w?
3779/5
Suppose -491 = 5*t + 3*n, t - 2*t - 103 = 3*n. Which is smaller: t or -102?
-102
Let d(q) be the second derivative of -q**5/20 + 3*q**4/4 + q**3/3 + 2*q**2 - 71*