**2 + 25*j + 74. Let m be i(-5). Which is bigger: 46 or m?
46
Suppose -5*g = 4*r - 45938, -64*r = 2*g - 66*r - 18350. Which is smaller: g or 9183?
g
Let c be (2/5)/(12/10). Let t = 179 + -7343/41. Let q = t + 176/123. Which is greater: c or q?
q
Let q = -199.13 + 185.13. Is q bigger than 265?
False
Let d = -70.381 + -0.719. Let i = d + 77.1. Is i >= -1/6?
True
Let l = -13043 - -17753. Which is greater: 4708 or l?
l
Let n = -13 - -6. Let k be 3/(n/((-280)/12)). Let r(u) = 2*u**2 + 21*u - 4. Let y be r(-11). Which is smaller: k or y?
y
Let v be 0/1*2/(-4). Suppose v = 4*u - 7*u + 2*y + 510, -4*y = 2*u - 324. Let f = 357/2 - u. Is 12 at most f?
False
Let d = -26.6 + 32. Let q = 22 + -26. Let h = q + d. Is h bigger than 2?
False
Let a = -66 - -68. Suppose -2*n = -2*y - 7*n + 542, -2*y - a*n = -542. Suppose 0 = 5*m + 3*p - y, -m + p = m - 104. Is m less than 53?
False
Let v be (210/126)/((-10)/6). Are v and 7/362 non-equal?
True
Let l = -76 - -78.24. Let j = l - 0.24. Is -100 > j?
False
Let q be ((-2)/10)/((-76)/(-190))*-2. Is -22/237 < q?
True
Suppose 757 = -4*d + 625. Let g be ((-1 - -38)/1)/1. Let o = g + d. Is 1 smaller than o?
True
Suppose -4*c = -0 - 8. Let j be 10/(-20) + 197/c. Let o = -4801/49 + j. Which is smaller: o or -1?
-1
Let b = -2303 - -6982/3. Let l(p) = p**3 + 12*p**2 - 3*p - 12. Let z be l(-12). Are z and b equal?
False
Suppose 0 = -31*i + 92 + 32. Suppose 6*v + 14 = 5*v - 4*l, 0 = i*l. Which is smaller: v or 1/5?
v
Suppose -3*d + 5*z = -244, 66*z = 3*d + 64*z - 256. Let c be (-6)/(-3) + -3 - d. Is -87 <= c?
False
Suppose 2024 = -2*p - 7*p - 622. Which is bigger: -297 or p?
p
Suppose -19*a + 9 = 28. Let s be (-642)/2*4*a/(-12). Which is smaller: -106 or s?
s
Suppose n + 4*f - 280 = 0, -5*n + 18*f - 15*f + 1285 = 0. Is 265 at most as big as n?
False
Let f = 22 + -21. Let w be (f/3)/(4/(-36)*3). Let i(r) = -19*r**2 + r + 2. Let j be i(w). Is -20 >= j?
False
Suppose 0 = -811*z + 544*z + 408 + 393. Let x = 2 - 1. Which is smaller: z or x?
x
Let z = -7599 - -7600. Which is bigger: -2137 or z?
z
Let p = 8.96 + -9.1. Let m = -0.73 + p. Let n = -0.97 - m. Do -2/13 and n have the same value?
False
Let o(i) = 2*i**3 + 5*i**2 - 78*i - 2. Let c be o(-10). Which is smaller: c or -1?
c
Suppose -3*a + 13 = -2*d - 2, 0 = -4*a - 3*d + 3. Let p be (-292)/(-4526) + (-1250)/(-806). Which is smaller: p or a?
p
Let o be (6/9)/(99/27 + -12). Is -41.1 smaller than o?
True
Suppose 0 = 2*f - 7*f - 10. Let s = f - -2. Let q be 31 + (-5317)/(-182) + -60. Are s and q nonequal?
True
Let n = 24.2 + -23.13. Let q = -1.25 + n. Let m = -0.019 + 0.019. Which is smaller: q or m?
q
Let g(c) = 10*c + 3. Let m be g(6). Let h = 28337/448 - 7/64. Are m and h equal?
False
Let l(a) = a - 5. Let m be l(8). Suppose -7*b = -m*b - 3*r + 260, -3*r = 5*b + 298. Let t = -27 - b. Which is greater: 34 or t?
t
Let r = 115502 - 115031. Let m(p) = 5*p**2 + 7*p + 4. Let v be m(9). Which is greater: r or v?
v
Suppose 168 = 8*c - 128. Let n(m) = 7*m - 67. Let s be n(c). Which is smaller: s or 383/2?
383/2
Suppose -v - v + 108 = 0. Suppose -t = -2*u + 24, t = 4*u - 4*t - v. Suppose 3*s + u = -136. Which is bigger: -51 or s?
s
Let n = -1.7 + -8.3. Let j = -24.3 - -18.3. Which is greater: n or j?
j
Suppose i + 6833 = 4*n, 10*i = n + 14*i - 1704. Are n and 1705 equal?
False
Let u = 15169781281/1326 + -11440258. Let y = 22/51 + u. Let h = y + 87/182. Which is smaller: 15 or h?
h
Suppose -12 = x - 13. Suppose 11 = 2*v + x. Suppose -5 + 0 = v*d. Are d and 8/29 equal?
False
Let d be (4 + 9/(-3))*4. Suppose -d*n + 2*n = -20. Let c be (-161 + 150)*(1 - 2). Which is bigger: n or c?
c
Suppose q - 155 = 2*g, 2*g + 74 = -2*q + 360. Let f = 148 - q. Is f > 44?
False
Let m(q) = -661*q - 4464. Let t be m(-5). Which is greater: -10444/9 or t?
t
Let r be (26/(-5))/(234/34515). Is r equal to -767?
True
Let u(i) = 579*i + 98. Let h be u(-4). Is h smaller than -2218?
False
Let q be -5 - (-4)/(-6)*(-180)/30. Do q and 1/3 have different values?
True
Let w(x) = -2*x**2 - 10*x - 9. Let p be w(-3). Let s be p/(3/(-4)) + (-8)/(-2). Let m = -281/4 - -71. Do m and s have the same value?
False
Let u be (6/(-9))/(22/(-198)). Suppose -215*q = -216*q + u. Is q greater than -22?
True
Let f(q) = 5*q**2 + 22*q - 115. Let h be f(8). Is 381 at most as big as h?
True
Suppose 0 = 21*b - 10 - 32. Suppose -b*a - 7 = -9*a. Is a less than or equal to -1/49?
False
Let z(o) = 3*o - 25. Let w be z(12). Let h = -36 - -38. Let m be (-43)/w + h + 2. Are m and 1 unequal?
True
Let s be 2/6 - (-171)/(-27). Let o = -172 - -67. Let b be (250/o)/(3/7). Which is smaller: b or s?
s
Let k be 69/46 - 98/76. Let s be -1*(0/1)/(-1). Which is bigger: k or s?
k
Let t be -3 + 2 + 27581/32. Let d = t + -861. Which is smaller: -0.2 or d?
-0.2
Let t be 50/(-4)*(-8)/(-5). Let s be (-5)/t - 327/12. Let f be (12/s)/(2*3/(-9)). Which is smaller: 1 or f?
f
Let y be -2 - ((-987)/147 - (-4)/(-14)). Suppose -16 = -4*c, 8*d + y*c = 7*d + 20. Let g = -49/45 - -8/9. Is g at most as big as d?
True
Let q be (4*(-5)/40)/(4/(-4))*-4. Is q less than or equal to 234?
True
Let l(v) = v**3 - 47*v + 151. Let o be l(-8). Do 95/6 and o have different values?
True
Let j(w) = 554*w**2 - 48*w - 3. Let v be j(-1). Are 602 and v nonequal?
True
Suppose -2*u + 2*l + 8 = -2*l, -5*l = 5*u + 55. Let s be (-2)/((u/(-16))/3). Let q(d) = 2*d**2 + 2246*d + 69810. Let r be q(-32). Is s >= r?
False
Let h = 2195 + -2111. Which is smaller: 19 or h?
19
Let p = 80281/4 + -20068. Let q = 7 + -5. Do q and p have the same value?
False
Suppose 4*g - m = -10 + 81, -5*g + 92 = 2*m. Let f(u) = 2*u - 35. Let q be f(g). Which is smaller: q or -4/45?
-4/45
Let n be ((-40)/(-12) + -2)/((-2)/(-9)*1). Which is greater: 799 or n?
799
Let f = -2.3013 + 13038.3013. Is -2 greater than or equal to f?
False
Let a = 1287119/800052 - 367/228. Let p = a + 56255/129833. Is p smaller than -1?
False
Suppose 240*p - 292*p + 208 = 0. Which is smaller: p or -2158?
-2158
Let s = -9.22 - -9.08. Is -62 greater than or equal to s?
False
Let q be (0 - 56/18) + 2. Let c = 0.222623 - 0.122623. Which is smaller: q or c?
q
Let h(z) = 74*z**3 - z**2 + 3*z - 2. Let t be h(1). Let f = -61 + t. Is 14 greater than f?
True
Let h = 23.3147 + -0.0147. Let k = h + 101.7. Let p = 116 - k. Is 1 at least p?
True
Suppose 0 = -15*o + 22*o + 784. Let l = 145 + o. Is l at least 30?
True
Let o = 650.5628 - -0.5372. Let q = 614 - o. Let p = 37 + q. Are p and 0.05 non-equal?
True
Let l be 762/(-3080) + (-54)/(-24) + -2. Let b(y) = -y**2 + y - 1. Let x be b(0). Is x < l?
True
Suppose -77*z = -105*z + 17472. Which is greater: 633 or z?
633
Let j be (-528)/72*(-6)/4. Suppose 12*s = j*s - 8. Is s at most as big as -80/11?
True
Suppose -4*m + 79 + 528 = -u, -2*m + 302 = -2*u. Let t be 0*(m/16 - 10). Let i = -1501009/261 + 5751. Is i at least t?
True
Let t = -85 - -96. Let y = 11.5 - t. Is -0.1 > y?
False
Let i = 134 + -126. Suppose 5*c - q + i = 0, 0 = 3*c - 3*q - 0 + 12. Which is smaller: c or 2/69?
c
Let w = -6456 - -7435. Which is bigger: w or 982?
982
Let s = -15 + 13. Let v(a) = -a**3 + 4*a**2 + 6*a + 4. Let r be v(s). Suppose 2*z = -4*j - r, -4*z - 11 = -j + 3. Which is smaller: z or -2?
z
Let k(o) = 30*o + 681. Let a be k(-23). Is a equal to -35/4?
False
Suppose 39 = i - 5*d, -i - 13398*d + 7 = -13399*d. Is 1/4799 > i?
True
Let w = -8250 - -8231. Which is bigger: -634/33 or w?
w
Let x(s) = -s**3 - 16*s**2. Suppose 2*d + 6*j - 69 = j, -153 = -4*d - 5*j. Suppose 0 = -4*a - 22 - d. Let m be x(a). Which is smaller: m or -1?
-1
Let u(v) = -v**2 + 214*v - 1454. Let l be u(7). Are l and -105 equal?
False
Let u = 2404.48 - 2360. Let c = -2.52 - u. Is c at most 1?
True
Let k be -3 + 2 + (-75)/(-63). Let f(z) = -13*z - 7. Let n be f(7). Let w = 98 + n. Which is greater: k or w?
k
Let l be (2/15)/(-11 - (-832)/80). Suppose 5*r = -4*q - 74 - 4, -3*q + 2*r - 47 = 0. Is q > l?
False
Let j = -306623 - -306622. Let f = -3/2098 - 5931/253858. Is f less than j?
False
Let o be (((-24)/(-5))/3)/(59/2360). Let u = 74 - 9. Do u and o have the same value?
False
Let q(t) = t - 19. Suppose -3*y = 4*f - 76, -2*f + 5*y - 38 = -4*f. Let v be q(f). Suppose -3*l + z + 3 = v, 0 = 2*l - 2*z - 3*z - 2. Is l at most -0.7?
False
Let c be (52/16 + -1)/((-3)/(-12)). Let w(b) = -