))/(-1) + -1. Let q be p(l). Is -19/15 < q?
False
Suppose 0 = 3*z + 12, 2*c + 4 = -z - 0*z. Suppose -n + 5*g = 15, 0*g - 5*g + 25 = c. Suppose -4 = -y + 5*l - n, 3*l - 9 = 0. Is 9 at least as big as y?
True
Let p be (3/(-3))/((-31)/(-4712)). Which is bigger: p or 13?
13
Let q = 8827.1 - 8827. Is q bigger than 1.44?
False
Let k = -228 - -232. Let f = -306 + 275. Which is smaller: f or k?
f
Suppose 0 = 2*w + 2*r + 6, w - 2*w + r = -3. Let y = -4874/17831 + 3/11. Let o = 6451/53493 - y. Is w at least as big as o?
False
Let o = -933.6 + 933.951. Is o greater than 3?
False
Suppose -23*t + 27*t = 40. Let j be 2 + 4*(-2)/(-4). Suppose l + j*s = 5, 5*l + 3*s - 4*s - 46 = 0. Which is smaller: t or l?
l
Suppose 4515 = -30*r + 15*r. Let u = -1507/5 - r. Is 98 bigger than u?
True
Let l = -1174 - -1174.0759. Let h = l - 0.4759. Is 3 at least h?
True
Let g = 1675541.08 - 1675541. Let b = 1 - 2. Which is smaller: b or g?
b
Let v(z) = z**3 - 25*z**2 + 45*z + 19. Let t be v(19). Let r be 4 + 2 + 7740/t. Is 1 at least r?
True
Let m = 516.63 + -517. Is -14 at least m?
False
Let z = -214 + 214. Suppose 2*k - 3*p - 125 = z, -127 = -2*k + p + 4*p. Which is smaller: 63 or k?
k
Let g = 9456 - 9442. Which is bigger: 224 or g?
224
Suppose 333*x - 182655 - 260235 = 0. Is x smaller than 1327?
False
Suppose 0 = 50*m - 33*m - 1717. Is m at most 104?
True
Let p(w) = w**3 + 15*w**2 - 2*w - 27. Let u be p(-15). Suppose 14*f = 101 - u. Is 5 greater than f?
False
Suppose 3*m + l = 723, 0 = -l - 3*l + 12. Suppose 4*r - 236 = -5*y, 0 = -4*r + y - 5*y + m. Let n be r/(-12)*((-9)/(-1))/3. Which is bigger: -14 or n?
-14
Let m be (2/(-3))/((-18)/297). Let r = m - 13. Let d be (r/8)/(57/1748). Which is greater: 0 or d?
0
Let p(a) = -4*a + 2. Let z be p(-6). Let w(x) = x**3 + 5*x**2 - 7*x + 2. Let n be w(2). Suppose -540 = -n*t - 4*t. Is z greater than or equal to t?
False
Let z(u) = 7*u**3 - u. Let n be z(1). Suppose 0 = -3*g + 3*d + n, 2*g - 4 = -2*d - 12. Is g smaller than 8/27?
True
Let w = 4160 - 4160. Is -1/1813 greater than w?
False
Suppose 22 + 4 = 2*a - 2*m, -10 = -a + 4*m. Let o = -8 + 32. Suppose g - 2*p = 16, -o = -g - g - 4*p. Is a less than or equal to g?
True
Let y = -153 + 273. Let o = y + -203. Which is greater: o or 0.1?
0.1
Suppose -43*l = -51*l + 1288. Suppose l*s - 160*s + 22 = 0. Are -9 and s unequal?
True
Let m(q) = q - 18. Let t be m(16). Let g be (3/t)/((-35)/(-49) + 0). Is 0.01 > g?
True
Suppose -3*j = -6529 + 1496 - 8578. Which is bigger: 4536 or j?
j
Suppose 0 = 4*u + 3*l - 4*l - 9, 4*u - 3*l - 19 = 0. Let g be (230/30 - 7)*3. Suppose -a + u = -g*a. Are -1/26 and a non-equal?
True
Let h = -86.15 + 82.08. Do h and 0.2 have the same value?
False
Let z be 4*3/2 - (-6026)/(-184). Is 2/29 greater than z?
True
Suppose -11*q + 27 = 5. Suppose -84 - 100 = -q*m. Which is greater: m or 93?
93
Let l be (-10)/(-35) - 5104/77. Let b be 263/133 + -1 + l/(-231). Are b and 1 equal?
False
Suppose 67 = d - 2*g, 4 = -5*g - 6. Let h = -14 + d. Let m be (-3)/9 + h/165. Are m and -1 equal?
False
Let i(x) = 46*x + 2. Let j be i(5). Let h be ((-18)/j)/(-1)*(-5)/30. Let n = 901/2088 - h. Are -2/7 and n equal?
False
Let g be (5 + -6310)*(-70)/875. Which is smaller: 503 or g?
503
Let a = 0 + 4. Suppose 0 = 25*d - 20*d, 2*p - 114 = 3*d. Suppose -31 = -44*o + p. Which is smaller: o or a?
o
Suppose 330 = -3*d + 14*d. Let h be (4/d)/(1/3)*20. Let x be (9/(-5))/(2/(-10)). Which is bigger: h or x?
x
Suppose -2*z = -4*z + 12. Let b be z*(-3 - (-21)/6). Suppose 3*w - b*u - 8 - 1 = 0, -w + 7 = -5*u. Does 1 = w?
False
Suppose 3 = -j, 4*j - 318 = y + j. Let q = -345 - y. Is -15 < q?
False
Let p = -18230623/699 - -26081. Which is bigger: p or -1?
p
Let h be ((-204)/(-119408))/((-3)/(-4)). Which is bigger: 0 or h?
h
Let k = 21443 - 21921. Which is greater: k or -5250/11?
-5250/11
Let g(b) = -3*b + 0*b - 2 - 3*b + 2*b. Let h be g(-1). Suppose -3*r + 4*n = h*n - 42, -3*r + 4*n = -36. Do r and 0 have the same value?
False
Suppose 4*p + p = c - 4617, 2*c = -p + 9223. Suppose -24*s + c - 1468 = 0. Which is bigger: 130 or s?
s
Let q = -5665/56 - -599/8. Let t = -169/7 - q. Which is greater: t or -0.01?
t
Let i = -2425763/517 - -4692. Which is bigger: i or -4?
i
Let p be -4*4/(-8) + 4. Suppose -5*s + p*s = -21. Let c = -503 - -482. Is s less than c?
False
Let j = 287.55 - 289.75. Are j and 296 non-equal?
True
Let o = -29 + 51. Let p = -53 + o. Let k = -17 - p. Which is smaller: 12 or k?
12
Let w = -27/35 + 4/5. Let a = -20.89 + 21. Let i = a + -0.01. Which is greater: i or w?
i
Let f = 487 + -437.7. Let d = f + -49.24. Which is smaller: d or 0.2?
d
Let r be ((-1705)/(-30))/1 - 60/72. Is r > 25?
True
Let k = -19945/3407554 - -3/542. Is k greater than 1?
False
Suppose 0 = o + 4*a - 0*a + 2, o = 2*a + 4. Suppose -2*p + 2 = o*g - 0*p, -5*g - 23 = -2*p. Does g = -2?
False
Let r = -2.1 + 2. Let c = -4600 - -4601.31. Which is smaller: c or r?
r
Let w be (-1)/2*0*(-16 - (-16 - -1)). Let k be 435/3081 - (-6)/(-39). Which is greater: k or w?
w
Let r be -31*1 + 3/3. Let q = -71 - -187. Let l be q/6*7/(70/(-15)). Which is greater: r or l?
l
Suppose -14*v + 18*v = -588. Let x be 3 - ((-4)/42 + (-602)/v). Which is smaller: x or -4/355?
x
Let p(x) be the second derivative of -x**5/20 - 2*x**4/3 - x**3/6 + 13*x**2/2 - 2*x - 16. Let k be p(-8). Which is greater: k or 22?
22
Suppose 2*o = 7*o - 355. Let z = o - 139/2. Let u be (-4)/(-18) + 64/(-72). Which is smaller: z or u?
u
Let w = -4776155 - -124196673/26. Suppose -2*t = 4*d - 380 - 884, -4*d - 16 = 0. Let l = t - w. Is 1 != l?
True
Let c = 448.1 - 447.1. Let a = 334 - 214. Do a and c have the same value?
False
Let s(p) = p**2 + 7*p + 18. Let m be s(-14). Suppose -113*t - 210 = -m*t. Let q = -70 + t. Which is smaller: -1/10 or q?
-1/10
Suppose -79*p + 81*p = 8. Suppose 4*h = 2*q - 8, -p*q + q - 12 = 0. Are 4 and h nonequal?
True
Let i(g) = -10*g - 20. Let j be i(-2). Suppose -3*n = -c - 36, -n - 2*n - 2*c + 27 = j. Do n and 16 have different values?
True
Let n(i) = -i**3 - i**2 - 3*i - 3. Let k = -34 - -36. Suppose 15*a + k = 13*a. Let r be n(a). Which is greater: r or 1/7?
1/7
Let u(p) = -p**3 + 5*p**2 + 10*p - 13. Let y be u(6). Let d = 4.45 + -4.47. Which is greater: y or d?
y
Let l = -15766 - -15767. Let v = 391316/147 - 2662. Which is smaller: l or v?
v
Suppose -y + 8 = y. Let u be 3/(6/y) + -18. Let v(j) = 93*j + 9099. Let h be v(-98). Is u bigger than h?
False
Let v = -112372/7 - -16050. Is v less than or equal to -26?
False
Let c = -0.0929 + -0.0071. Let u = -0.072 + -0.273. Let f = u + 0.015. Do c and f have different values?
True
Let g = -1404174/172025 + 18/6881. Is g less than or equal to -0.2?
True
Suppose -17*w + 7*w + 1150 = 0. Suppose w = -16*x - 77. Let v be ((-20)/6)/(4/12). Which is smaller: v or x?
x
Suppose 0 = 4*s - 14 + 14. Suppose 2*c = j + 23, -3*j + 4*c + 40 - 119 = s. Let n = j - -42. Are n and 0.2 nonequal?
True
Let k = 1579/60 + -105/4. Let m(q) = q - 1. Let y be m(-2). Let t be y - 0 - -6 - 4. Which is greater: k or t?
k
Let k be (16/((-768)/12))/(-1 - 0). Which is smaller: -249.8 or k?
-249.8
Let p = 23559 - 23606. Which is greater: 28 or p?
28
Let j be (-17)/255 + 61/15. Suppose 0 = 2*x - 1 - 7, -j*b - 3*x = -40. Which is smaller: b or 17?
b
Let y = -11748 + 12153. Is 407 less than y?
False
Let z be ((-11)/(22/1656))/(-78*6/(-36)). Which is bigger: -0.4 or z?
-0.4
Let q = 360 + -356. Suppose -3*n = 4*f - 87, -4*f = -2*n - n + 63. Suppose q = -3*a - u + 17, 5*a = -u + n. Which is smaller: -4 or a?
-4
Let x(s) = 2*s**2 + 12*s + 4. Let d be x(-10). Suppose 2*h + d = 4*k, -2*k + k = -2*h - 15. Let n = -18 + k. Does 26/7 = n?
False
Let y = -5063/439921 - -31/2468. Do y and -1 have different values?
True
Let l = 21321.68 + -21322. Is 5 less than l?
False
Let v(a) = -50*a + 194. Let s be v(6). Is s greater than or equal to -111?
True
Let z be 128/64*-1*46. Let c = -6 + z. Suppose -3*r = r + 388. Which is smaller: c or r?
c
Let z be (-14)/6*(-20)/105. Let l(j) = -j**3 - 29*j**2 - 25*j + 71. Let u be l(-28). Is u at most z?
True
Let b be 10/(-1) - (-2 - (-3 + 164)). Is 1081/7 greater than b?
True
Let x(s) = -16*s + 3 + 4 + 2 - s - s**2. Let u be x(-19). Let n be 538/(-12) - (5 - u/(-6)). Is n smaller than -44?
True
Let y = -39 - -55. Let b 