 = 0. Which is bigger: i or 3859?
3859
Let q = -392 + 216. Let j = q - -180.2. Is -0.3 <= j?
True
Let d(r) = r**2 - 14*r + 19. Let v be d(13). Suppose 2*b - v = -b, -4*y + 496 = 2*b. Are y and 123 unequal?
False
Let c be 210/(-15) - -21 - 7. Is c <= -1/2795?
False
Let j(h) = h**3 + 9*h**2 + 2*h - 1. Suppose -2*b + b = 2*b. Let r be j(b). Which is bigger: r or 3/245?
3/245
Suppose -4*k = -5*k - 2*p, 2*k + 3 = -5*p. Let i(j) = j**3 - 4*j**2 - 12*j + 20. Let t be i(k). Let b be (48/t)/((-132)/(-40)). Which is bigger: b or 2?
2
Suppose -44*o + 56 = -37*o. Let b be 0*(-5 + 36/o). Which is smaller: b or 2/115?
b
Let a be -26*15/(-2340)*(-1 + 31). Which is smaller: a or 92/15?
a
Suppose 58*y - 48*y - 40 = 0. Suppose -5 - 2 = q - y*t, 4*q - t = -13. Suppose -2*c + 18 = c. Which is bigger: q or c?
c
Let k be 46638/(-819) + 6/(-21). Let c = 171851/3003 + k. Which is bigger: -1 or c?
c
Let w(s) = -21*s + 41. Let x be (-19 + 15)*(-22)/8. Let r be w(x). Which is smaller: -188 or r?
r
Let i = 8172 + -9701. Which is bigger: i or -1527?
-1527
Let l(m) = -4*m**2 + 183*m + 394. Let f be l(51). Which is smaller: f or -672?
f
Suppose 3*p = -6*y + 4*y + 26, 0 = 2*p - y - 8. Let b be 1*(14/4)/7*p. Let g(n) = n**2 + n - 1. Let h be g(b). Is h less than 10?
False
Suppose 121 = 4*g + l, 5*g + 2*l - l - 150 = 0. Suppose -4*t = -4, 0 = -0*s - 3*s + t + 71. Suppose -404 + 1052 = s*o. Which is smaller: o or g?
o
Let x be 4445/25 - (-12)/(-15). Suppose 5*u + x = -4*k - 315, k + 123 = -5*u. Let j = 859/7 + k. Which is smaller: j or -3?
-3
Suppose -2*s + 6 = -2*v, 5*v + 2*s + 7 = 5*s. Let w be (13 + -12)/(v/2). Is w <= 1/2?
False
Let l = 20 - 19.8. Let q = 1350 - 1348.3. Which is smaller: l or q?
l
Let u = -711/392 + 46/49. Suppose -4*k + 6 + 6 = 0. Let h = k + -3. Which is smaller: h or u?
u
Let r(w) = 745*w - 11897. Let c be r(16). Is c greater than or equal to 704/29?
False
Let o be 219/19 + (14 - (-100)/(-10)). Let w = 31/2 - o. Which is smaller: w or -1?
-1
Let l = 3239 - 3238. Are l and -18/91 equal?
False
Let b(y) = 2*y**2 + 4*y - 7. Let p be b(11). Suppose z = -2*z + p. Suppose 0 = -r + z - 87. Which is smaller: 32/5 or r?
r
Let t = -205.6 + 205.5. Let y = -137 + 136.07. Is y at least t?
False
Let j = -72 + 78.5. Let g = 7 - j. Let n = -0.3 - g. Which is smaller: n or 0?
n
Let k = 2854 + -191216/67. Which is smaller: -20 or k?
-20
Suppose b = 2*b - 91. Let v = -4934 + 5024. Is v greater than b?
False
Let a(u) = u**3 - 19*u**2 - 67*u + 34. Let r be a(22). Let x be ((-40)/r)/((-68)/6). Which is bigger: -1 or x?
x
Let v = 72 - -108. Let m be -2*2/(v/93) - -3. Let i be 8/(-4) + 0 + (8 - 4). Which is smaller: m or i?
m
Let t = 0.178 + 258.822. Let h = 259.1 - t. Which is bigger: h or 11.8?
11.8
Let r = 181930 - 1245674712/6847. Is -0.1 at most r?
True
Suppose -452*n = -451*n. Let p(o) = o**3 + 2*o**2 - o + 235. Let w be p(n). Is 236 smaller than w?
False
Suppose 13 = 5*k + 2*s, 2*k + 0*s - 3 = -3*s. Suppose -27 = -4*y + k*n, -28 = -0*y - y + 5*n. Let g be y/105*2*5. Which is smaller: g or -2.4?
-2.4
Let o be 82*(81/3 + 21/7). Which is smaller: o or 2459?
2459
Suppose 0 = 47*t - 61*t + 42. Let v be 4/((-1 + t)/(-6)). Which is bigger: v or -10?
-10
Let f be ((-26982)/(-27) - 4)*2/((-8)/6). Which is bigger: f or -4481/3?
f
Let i be (1087590/(-98))/(-15) + 3. Which is bigger: i or 744?
744
Suppose -3*q = 3*y - 154 + 361, -140 = 2*q + y. Let z = q - -100. Let m = 385 - 355. Which is greater: z or m?
m
Let n be (2*193/3)/(1/(-3)). Let u be 0 + -2 - n/(2 - 1). Is u less than 385?
True
Suppose 2*n + 4543 = -3*v + 115, 0 = 3*n + 5*v + 6645. Do n and -2206 have the same value?
False
Let t = 1.87 - 1.7. Let v = t - 4.47. Let i = 2.3 + v. Is -2 at least i?
True
Suppose 76 = 2*o - 2*m, -2*m = 18*o - 14*o - 152. Let i = -1738 - -5332/3. Is o at most as big as i?
True
Let c(f) = -26*f + 130. Let l be c(5). Let t = 26 + -41. Let k = t + l. Which is smaller: -12 or k?
k
Let d = 1.5911 - 1.1911. Which is smaller: d or -403?
-403
Suppose -5*j = 4*n - 24, 14*n + 3*j = 9*n + 30. Suppose -n*q + 20 = -4. Is 5/2 less than q?
True
Let v be (15/(-5) - 2) + 1*859. Let n = v + -670. Is n less than or equal to 184?
True
Let a = -17641.37 + 177.37. Which is smaller: a or 0?
a
Suppose -5*g + 2*g - 9 = 0. Let y be (1/13)/(g/15). Let f = 927 - 928. Which is greater: y or f?
y
Suppose 5*t + 6*t = -66. Let l = -19 + -5. Let h be ((l/(-20))/t)/(-1). Which is smaller: h or -6?
-6
Let s be (-1)/((-2)/(-12))*14/(-4). Let j(o) = 0 + 0 + 0 + 3 - 3*o. Let a be j(-5). Which is greater: a or s?
s
Let p be (-46202)/4*76/95. Let o = p - -9207. Are o and -32 non-equal?
True
Let q = -8532 - -8532.09712. Which is bigger: q or -1?
q
Let n be (-3 + 1353/450)*20/35. Suppose 0 = 16*x - 21*x + 25. Suppose -3*w = -4*r - 5, -1 = -x*r + 4*w - 8. Which is greater: r or n?
r
Let g be 1*15/132*16716/(-216910). Which is greater: g or -1?
g
Let r = -312/61 + 510059/99735. Which is smaller: 1 or r?
r
Let o = -1106 + 588. Let q = o - -2091/4. Suppose -y - 2 = -b, 4*b - 3*y - 1 = 10. Which is smaller: q or b?
q
Let j = 0.271 - 570.271. Let u = j - -570.05. Which is smaller: u or -0.3?
-0.3
Suppose -d = y - 90, 180 = 2*d - 2*y - 0*y. Let t = 88 - d. Which is smaller: -24 or t?
-24
Suppose 15*l - 5*l - 1040 = 0. Suppose -3*b + l - 32 = 0. Let y be (210/b)/((-3)/(-12)). Which is greater: y or 1?
y
Let i = 21761/2 - 4689497/431. Are i and -1 unequal?
True
Suppose -10*r = -122 - 1128. Let o = 128 - r. Is o not equal to 26/17?
True
Let b = -11111 - -12667. Is b at least -1?
True
Let c = -81.1 + 163.1. Which is greater: 2.8 or c?
c
Suppose -128*f - 108231 = 82831 + 42282. Is -1823 greater than f?
False
Suppose 2143*i - 4 = 2131*i + 8. Are 2/12005 and i non-equal?
True
Let f = -5334 - -5322. Is f at least as big as -34?
True
Let m = 9 + -19. Let y = m - -9. Let k(v) = 9*v - 21. Let i be k(2). Which is smaller: y or i?
i
Let l = -140629640 - -1392618901843235/9902741. Let a = 1776165528916/821927503 + l. Let g = 2161 - a. Which is bigger: 0 or g?
g
Let z = -0.4 - 10.6. Let j = -55224 - -55260. Is z <= j?
True
Let n = -1163927/43 - -27065. Is n not equal to -3?
True
Suppose -6*s - 40 = -64. Suppose 98 = s*g + 5*y, g + 5 - 40 = 4*y. Is 28 < g?
False
Suppose 2*j - 7*k - 7 = -4*k, -2*j = -5*k - 9. Suppose -4*l + g + j*g - 1 = 0, g - 5 = -l. Let q(d) = d**3 + 3*d**2 + 2*d + 1. Let h be q(-1). Is l >= h?
True
Let s = -72.48 - 4170.52. Which is smaller: s or 0?
s
Let t be 69333/61776 + 20/(-18). Is t at most as big as -1?
False
Let r(v) = 34*v + 305. Let l be r(-39). Which is smaller: -1022 or l?
-1022
Let p = 35680 + -178402/5. Let y = 4652/837 + -2/837. Which is bigger: y or p?
y
Let q = -5856/13 + 450. Let p(n) = -n**2 - 12*n + 14. Let s be p(-12). Let z = -13 + s. Are z and q non-equal?
True
Suppose 0 = -11*t - 1794 + 5204. Suppose -2*l + 1561 = 5*a, 5*a - l - 308 = 4*a. Which is smaller: t or a?
t
Let t(z) = -50*z - 162. Let a be t(-11). Let b = 372 - a. Which is smaller: 3 or b?
b
Let n = -71732502/859 + 83507. Which is greater: 0 or n?
n
Let m = -1367/38 + -145/38. Is -39 greater than m?
True
Let g = -28414 - -28413.9914. Which is smaller: g or -19/2?
-19/2
Suppose 0 = 12*a - 19*a - 11*a - 49122. Are -2731 and a nonequal?
True
Let m be 2/42 + 98336/(-583296). Is 1 at least m?
True
Let f = 0.0013 + -41.7013. Let w = -41.25 - f. Is 1 >= w?
True
Let v(r) = -9*r + 22. Let a be 5*3/(1 - 4). Let y = -2 - a. Let k be v(y). Is k not equal to -7?
True
Let m(j) = -3*j**2 - 2*j + 5. Suppose -8*p = 20 + 12. Let h be m(p). Let o = -242/7 - h. Which is bigger: o or 1?
1
Let d = 0.527 + -0.35. Let c = -118 - -116. Which is greater: c or d?
d
Let j be -15*3/(-27)*3. Let k = -385.75 + 319.75. Is k at most j?
True
Suppose 0 = -2*x + 5*o + 71, 5*x - 10*o + 8*o - 230 = 0. Let w = -49 + x. Let v = -798 - -63043/79. Is w at most as big as v?
True
Let i(l) be the third derivative of l**5/30 + 113*l**4/24 - 35*l**3/3 - 61*l**2. Let p be i(-57). Which is smaller: 5 or p?
p
Let p be (-496)/128712*(4/6 + (-138)/(-36)). Which is smaller: 12 or p?
p
Let f = -136563698/3913 + 34900. Which is greater: 1 or f?
1
Suppose 0 = -4*r - 2*q - 384, -5*q = r - 6*q + 93. Let g = r + 95. Is g > 0?
False
Suppose -2*y + 33 = -1. Let z be 43/43*(1 - 32). Let j = z + y. Which is small