uppose 10*b - 672 = -11*b. Suppose 12*g + b = 8. Let f = 712 + -8551/12. Is g at most f?
True
Let r be ((100/15)/10)/((-6)/27). Let w be r - 16*((-12)/16 - -2). Which is bigger: -26 or w?
w
Let s(q) = -344*q - 2531. Let l be s(-3). Is l less than -1503?
False
Let y be (2/(-13) - 0) + (-43980)/(-260). Let t = -182 + y. Is -16 at most t?
True
Let c = 0.8103 + 0.1897. Is 25/3 smaller than c?
False
Suppose -b - 3*a = -6*b + 30, 2*b - 8 = 2*a. Let t = -1979 - -1942. Which is smaller: t or b?
t
Let q be (-188)/5 - (-255)/425. Which is bigger: 20 or q?
20
Suppose 0 = -172*b - 121*b - 317 + 24. Let n = -17.7 - -10.4. Let l = n - -7. Which is smaller: l or b?
b
Suppose -4*x + i - 5*i = -76, -2*x + 20 = -4*i. Suppose -4*t + 3*u + 4 = 0, t + 0*t - 5*u = -x. Which is smaller: 8 or t?
t
Suppose 3*b = -5*v + b - 68, 4*v + 5*b = -51. Let u be -7 + (-21)/v - -4. Are u and 7 nonequal?
True
Let g be (-2)/(-10) + (-216)/360. Suppose -3*x = x + 4. Is x < g?
True
Let i = -3748.033 - -3748. Is i at most as big as -4?
False
Let y = -22831777 + 84660230051/3708. Let l = y + -2/927. Which is smaller: -6 or l?
-6
Suppose 4*z - 9718 = 18*t, 7*z - 20 = 11*z. Which is smaller: t or -517?
t
Suppose 0 = 67*m - 2255 + 2322. Is m at least as big as -5/1128?
False
Let z(a) = -20*a - 249. Let p be z(-11). Which is bigger: -666/23 or p?
-666/23
Suppose 0 = 7*j - 13*j + 22*j + 272. Let p be (-4)/(2/(-2)) + 1. Suppose -h - 2*h - 4*c = 55, -p*h - 86 = c. Is h greater than or equal to j?
True
Let t = -47 + 40. Let o(r) = -2*r - 27. Let m(g) = g + 13. Let a(p) = t*m(p) - 4*o(p). Let v be a(-20). Is v greater than 3?
False
Suppose 46*l - 13072 = 5*l + 22*l. Which is smaller: 3446/5 or l?
l
Let q = 4629 - 4695. Which is smaller: -33 or q?
q
Suppose -148*z = -128*z - 20740. Is z at least 1035?
True
Suppose 139*q + 80*q = -1625 - 1222. Let y = 3 + -13. Which is smaller: y or q?
q
Let v = 9 + 11. Let z be 0*(-3 + v/6). Suppose 21 = 5*h - 49. Are h and z equal?
False
Suppose 35*u = 7*u - 7728. Let z = u + 238. Which is bigger: 2/3 or z?
2/3
Let q = -34 + 35. Let c be (-46 - 0) + q + -2. Let a be c/(-75) + (-16)/24. Which is bigger: a or -1?
a
Let n(d) = -4*d**2 + 14*d - 257. Let h be n(-13). Which is greater: -1116 or h?
h
Let n = -26448.8 + 26449. Suppose 3*a - 20 = -5*z, 7*z + 100 = 5*a + 2*z. Is n != a?
True
Let u = 1191 - 1068. Does 134 = u?
False
Let w be 1 - (-23438)/(-3906) - (-225)/45. Let l = w - 911/5849235. Do 0 and l have different values?
True
Suppose 5*r = 25, -7 = 5*s + 5*r - 22. Let n be 1/s*5/(-2). Is n at least -2/7?
True
Suppose 0 = t + 5*t + t. Suppose 6*x + 80 - 74 = t. Is 2/435 != x?
True
Let y be (21 - 3726/180)/(6/(-16)). Suppose 0 = -n - n + 4*t + 14, -3*n + 5*t = -17. Is n > y?
False
Suppose 452*x - 435*x = 17272. Do x and 1015 have the same value?
False
Let g = 207 + -669. Which is bigger: -0.5 or g?
-0.5
Let q = -1254 + 1255. Is 1/1407 < q?
True
Let f be (-42)/105 - (-2)/5. Suppose 1415*l - 1414*l = f. Is -3/7 less than or equal to l?
True
Let u = -14578 - -16466. Are u and 1888 non-equal?
False
Suppose 2*o = 10*o - o. Let c(v) = -7*v + 2. Let a be c(-4). Let s be o + (-3)/a*-2. Is 1 > s?
True
Let x = -19325 - -5140445/266. Which is smaller: -1 or x?
-1
Let v = -0.07 - -0.87. Let q = v - 1. Let k(j) = j**3 + 2*j**2 + 86*j + 171. Let s be k(-2). Is q > s?
True
Suppose -2*y - 29 + 7 = 4*o, 0 = -5*o - 15. Let r be 4/((-36)/45)*(-9 + -2). Let a be 5/r + (-2422)/385. Are y and a unequal?
True
Suppose 0 = 4*d - 8, n + 34 = 3*d + 2*d. Let b(i) = 5*i + 13. Let q be b(6). Let p = -65 + q. Which is smaller: p or n?
n
Let g = 144520/9 - 2331587/153. Let s(t) = 205*t**2 - 1. Let j be s(-2). Let y = j - g. Is 1 >= y?
True
Let c be (-12)/(-357)*70/(-180). Suppose 4*h - 3*w + 6 = 0, 2*w - 5 + 1 = -5*h. Which is greater: c or h?
h
Let f = 14008 + -14005. Let c be (0 - 10/(-2))/1. Suppose -c*a + 1 = -4. Which is smaller: f or a?
a
Let y be ((-491)/2)/((-49)/(-1764)). Let v = y - -167850/19. Is -5 < v?
True
Let b = 4982 - 4986. Let v be (69/51)/(2/(-6)). Which is bigger: b or v?
b
Let q be ((-2)/(2/(-2) - 5))/(126/(-65367)). Which is smaller: q or -172?
q
Let b = -31.829 - -34.829. Is -1786 at least as big as b?
False
Suppose -526 + 10380 = 13*s. Is 758 <= s?
True
Let r = 49559 + -38439. Which is smaller: r or 0.2?
0.2
Suppose x - 5*s - 350 = 229, -s = 3*x - 1625. Is x greater than or equal to 539?
True
Suppose -55 = -14*b + 365. Suppose -8 = -22*o - b. Is o bigger than -1/100?
False
Let j = -17039/2 - -122137/14. Which is greater: -0.1 or j?
j
Let x(s) = 5*s**2 - 54*s - 112. Let h be x(11). Is h at least as big as -41?
False
Let f = -144733614/2419 + 59832. Does f = 1?
False
Suppose p + 14 = -u - 3*p, -3*p = -5*u + 45. Suppose u*j - 12*j = 36. Let d be j/8 - 2817/36. Is d equal to -79?
True
Suppose 24*d - 5*c = 28*d + 23, 0 = -2*c - 6. Let w be (-19 - (-1)/1)*-2. Is d > w?
False
Let a(c) = 25*c - 24. Let p be a(1). Let s = 126/11 - 2887/253. Are s and p nonequal?
True
Let h be (82/(-6) + 2)*240/(-200). Which is smaller: h or -375?
-375
Let r(o) = 20*o + 3. Let j be r(7). Suppose -n + 40 = 2*q + j, 0 = -4*q + 5*n - 199. Which is bigger: -48 or q?
-48
Let s be (-8996)/138*2/8. Let a = s + 97/6. Is a smaller than -2?
False
Let h(g) = g**2 + 15*g + 8. Let j be h(-3). Which is greater: j or -49?
j
Let m(w) = 3*w + 9. Let u(h) = -10*h - 28. Let o(z) = -7*m(z) - 2*u(z). Let s be o(-10). Suppose 5 - 5 = c. Is c > s?
False
Let k be 92/(-6) + (-12)/(-36). Let o = 2143 + -2149. Are k and o equal?
False
Let f = -333 - -337. Suppose 3*y - 3*v = 2*y - 12, 0 = -3*y + f*v - 16. Which is smaller: -4/61 or y?
-4/61
Let t be (12 - 5)/(5/235). Let r = t + -2291/7. Suppose 0 = -2*d + 4*d - 4. Are d and r non-equal?
True
Let d(n) = 15 - 17*n + 14 + 0*n - n. Let q be d(7). Let u = -223 + 127. Does q = u?
False
Let v be 4 + -4 + 4 + 3. Let x be (0 - 0) + v + -1 + -1. Suppose -2*w = w - x*c, 5*w + 5*c = 0. Is -6 equal to w?
False
Let r = 1144 + -1160. Which is smaller: r or 12?
r
Let n = -22621.6 + 22774.959. Let v = -0.641 - n. Is -1/2 at least v?
True
Let p = 406438/7 - 58298. Which is smaller: p or -234?
p
Let w = -1447267/224 + 6461. Let c = w + -2449/1120. Let r = -64493 - -64490. Is r != c?
True
Let r = -1697/7 - -242. Let o be ((-4)/(-21))/(-18 - (-12675)/700). Which is smaller: r or o?
r
Let u(g) = 19*g + 194. Let l be u(-8). Let z be (-3)/3*(25/5 - l). Which is smaller: 32 or z?
32
Suppose 40*f + 86 = 646. Let y be -3*(-3)/((-42021)/f). Which is bigger: y or -1?
y
Suppose 34*x = 4*w + 29*x + 872, 5*w = -x - 1061. Which is bigger: -216 or w?
w
Suppose 3*t - 154 = 5*s, -2*t = 2*t + 5*s - 147. Suppose 3*o + 1 - t = 0. Is 16 greater than or equal to o?
True
Let b = 5701 + -5686. Let z be (1/(-3))/(8/(-336)). Is b != z?
True
Suppose 4*s = -4*h + 768, -s - 4*h - 11 + 218 = 0. Which is smaller: 207 or s?
s
Let l be 16/40 - 21/65. Let m = -17 + 16. Let s be m*1/(-2 - 9/(-3)). Is l at most s?
False
Let y be (-22)/(-8) + (-11)/(-44). Let z be (196/(-232) + 1)/y. Let j(g) = g**3 - 4*g**2 + 3*g - 1. Let o be j(3). Is z smaller than o?
False
Let y = -1840/21 - -14618/105. Suppose -4*n - 4 = -127*h + 131*h, 4*n = 5*h - 4. Is n <= y?
True
Let d be (-26)/(-78) + (-412)/(-6). Suppose 105 = -d*b + 64*b. Let h be 30/(-4)*16/6. Which is smaller: b or h?
b
Let n(s) = -50*s + 2. Let j be n(-2). Suppose 5*d - 158 = -0*l + l, 0 = -3*d + 3*l + j. Let r = 23 - d. Does -8 = r?
True
Let f = 2.6 + -3. Suppose 3*r - 9*x + 11*x = 12, -4*x = 4*r - 16. Let y be ((-4)/4 - 7) + r. Which is smaller: y or f?
y
Let s = -1850 - -5770. Let h be -5 - (-7)/(s/2788). Does -1 = h?
False
Let z be ((-4)/(-12))/(731/51 - 14). Which is bigger: z or 2/9237?
z
Let y(q) = q**3 - 4*q**2 + 3*q + 3. Let r be y(3). Suppose 111 = r*u + 36. Suppose 2*l - 4*l - 5*v = u, 0 = 4*l + 2*v + 10. Which is greater: 2/97 or l?
2/97
Suppose 4*k = k - 273. Let g be (-26)/k - 65/7. Suppose 6*v + 16*v = -176. Which is greater: v or g?
v
Let w be (4/14)/((-6)/(34/8 + 1)). Is -47/17 <= w?
True
Let s(a) = -64*a + 113. Let f be s(7). Let d = f + 334. Do -5/46 and d have different values?
True
Let i be (-1)/((-3)/(-12)) + -1. Let p(d) = -d**3 + 7*d**2 - 5*d + 31. Let q be p(7). Is q >= i?
True
Let l(p) = p**2. Let u be l(-2). Suppose -64*z = -59*z - 5*h + 45, z = 