- p - 16 = 0. Suppose -x + 29 = -5*w, -w + 0*w - 1 = -5*x. Which is smaller: m or w?
w
Let n = -310 + 309. Is -110 greater than or equal to n?
False
Let u = -159 - -1909/12. Which is bigger: u or -1?
u
Let q = 28 - -32. Let a = q - 79. Which is smaller: a or -17?
a
Let u be (-1593)/7 - 0/(-6). Let s = u + 227. Are -0.1 and s equal?
False
Suppose 4*h + 4*z = 20, 2*h + 2*h + 3*z - 19 = 0. Suppose -21 = u + 4*k - 4, 0 = -h*u + 3*k + 27. Is 4 less than u?
False
Let m be (-11 - 5864/(-520))/(2/110). Is 14 > m?
False
Suppose 0 = -5*m - 0*m - 13520. Let h = m - -51364/19. Are h and 0 equal?
False
Let a = 34.82 + -16.82. Which is bigger: a or 21?
21
Suppose -5070 = -117*l + 182*l. Which is smaller: -74 or l?
l
Let t = -25 - -10. Let s = t - -14.4. Which is smaller: -1 or s?
-1
Let o = 22.51 + 0.49. Let j = -2 + o. Let f = j + -19.8. Is -2/7 greater than f?
False
Let s(r) = 4*r. Let i be s(1). Let b = 6 - i. Suppose -5*a = -2*v + 6, 4*a + 1 + b = v. Are 1/5 and a non-equal?
True
Let i be (38/57)/((-3)/9). Which is smaller: -5.6 or i?
-5.6
Suppose 19 - 11 = -8*b. Is b not equal to 2/185?
True
Let j = -32 + 12. Let t = j - -24. Suppose -5*d = 4 - 19. Is t >= d?
True
Let n(u) = 76*u - 535. Let f be n(7). Which is bigger: f or -29/13?
-29/13
Let r = 0.3 + 0.7. Let o = -30236/11 - -2750. Is o less than r?
False
Let n = 490 - 14209/29. Suppose h - 2*b - b = 15, 0 = 3*h - 3*b - 21. Suppose -6 = -3*p + 3*w, 4*p - w - h = 2. Are p and n equal?
False
Let l be 1/8 + 1378/(-16). Let v = l - -69. Is v smaller than -0.1?
True
Suppose -229*z = -231*z. Which is smaller: z or 21/67?
z
Suppose 4*d + 117 - 189 = 0. Is d at least 1?
True
Let f be -71 + 45/((-36)/(-4)). Does -131/2 = f?
False
Let s(p) = -p**3 + 25*p**2 - 75*p - 10. Let g be s(22). Is g less than or equal to -207?
True
Let i = 1169 - 1168.9. Are i and 461 non-equal?
True
Let r = -56 + 191. Is 1/6 greater than r?
False
Let d = -16 + -25. Let l = d + 43. Which is smaller: -1 or l?
-1
Let k = -0.02 + 5.02. Let j = k - 8. Let x = 439 - 440. Which is smaller: j or x?
j
Let c(h) = 5*h**2 - 14*h - 3. Let j be c(3). Suppose -2*l - 6 = 0, 5*d - 3*d - l - 9 = 0. Are d and j unequal?
True
Let c be (-210)/(-66) + (-2)/11. Suppose c*h + 57 = -4*l, -6*h - 38 = -4*h + 4*l. Which is bigger: -22 or h?
h
Let f = -1542/5 - -310. Let v = -68 + 72.3. Let w = 4.3 - v. Which is bigger: f or w?
f
Let u(q) be the third derivative of q**5/60 + q**4/24 + 3*q**2. Let a be u(1). Suppose 0 = a*i - 4. Is i less than or equal to -1?
False
Let k = 11 - 7. Let h(g) = g**3 + 18*g**2 + 5*g. Let l be h(-12). Let c = -4007/5 + l. Is k at most c?
False
Let s = -1568 - -1601. Which is greater: 6 or s?
s
Suppose -5*q - 4*p = 24, 2*q - 4*p + 3 + 1 = 0. Let o(g) be the second derivative of -g**5/20 - 5*g**4/12 - 5*g**3/6 + 2*g**2 + g. Let l be o(q). Is 7 > l?
False
Let y be 2/(-10)*(-10)/(-12). Let a = 9 + -11. Let d be 15/(-5)*a/6. Are d and y unequal?
True
Let u(j) = 10*j**2 - 6*j + 4. Let k be u(-5). Is k less than or equal to 284?
True
Let f = -16 - -19. Suppose 0 = 4*o - 5 - 3. Suppose -3*y - 1 = -2*y + o*g, -3*g + f = 0. Are -2 and y equal?
False
Suppose 4*o - 1168 = 4*q, 22 - 7 = -5*q. Is 287 >= o?
False
Let a = 0.79 + -0.09. Let v = a + -0.8. Which is smaller: v or 0.1?
v
Let q be 4/14 - 38/(-14). Let t = q + 7. Let b be -2 - (22/t + -3). Which is smaller: b or -2?
-2
Suppose 0 = -5*o + 13*o - 104. Let x(h) = -2 - 4 + o - 2*h. Let k be x(3). Is k at most as big as -8?
False
Let m = -1123 + 1077. Is -16 at most as big as m?
False
Let o(k) = k**3 + 2*k**2 - k - 6. Let v be o(0). Let l be (4 - 3) + 10/v. Which is greater: l or -25/4?
l
Suppose 2*z - 5*m + 15 = -3*z, -2*z = -m + 3. Suppose -5*l = -10 - z. Suppose -l*n = -b - 2, -2*b - 3 = -3*n + 2. Which is greater: n or 2/53?
2/53
Let h = 1 - 5. Let y = -0.2 + 1.1. Let z = 0.1 + y. Is h != z?
True
Let f = -0.06 + 8.06. Let g = -4.2 + -3.4. Let i = f + g. Is i at least as big as -1/3?
True
Let a = -223 - -209. Let g(n) = -9*n. Let h be g(1). Let b = a - h. Is b at least as big as -6?
True
Let d(a) = 5*a**2 - 2*a - 2. Let r be d(2). Suppose 4*t - 22 + 2 = 0. Suppose -t*q + 7*g - 22 = 3*g, q - 4*g + r = 0. Which is smaller: q or -7/5?
q
Let p = -159 + 159. Let z = 12 - -8. Suppose z = -p*i + 2*i. Is i >= 10?
True
Let i = 47 + -131. Let q be i/(-9)*(-3)/(-10). Let w = -0.14 - -0.24. Which is greater: q or w?
q
Let m = -54 + 16. Let h = 18 + m. Let z = -4.1 + 4. Does h = z?
False
Let m = 22 + -7. Let h(s) = s**2 - m*s + 28 - 11 + 24*s. Let n be h(-8). Which is bigger: n or 8?
n
Let c = 26 + -29. Let q be c/(-4) - 10/(-40). Suppose 0 = 6*f - f. Is q bigger than f?
True
Suppose -5*w = -4*w + 4*f - 44, -2*w - 2*f = -82. Let x(s) = 6*s + 3. Let l be x(6). Which is bigger: l or w?
w
Let r = -20 + 14. Let f = -5 - -2. Which is smaller: r or f?
r
Let y = -2104283/611 - -3444. Is y less than 1?
True
Let h be 4 - -4*(-1)/(-2). Let t(a) = a**2 - 2*a. Let s be t(3). Suppose i - 5 = -4*i, i = s*o - 11. Do o and h have the same value?
False
Let m(a) be the second derivative of a**5/20 - a**4/2 + a**3/3 - 11*a**2/2 + 7*a. Let h be m(6). Which is smaller: h or 6?
h
Let l = 26352251/137200 - -45/5488. Let d = 192 - l. Let h = -5 - -5. Is d bigger than h?
False
Suppose 2*t + 3*f - 38 = -0*t, 5*f - 20 = 0. Suppose -25 = 8*q - t*q. Suppose -5*r - 115 = -q*h, 34 = -h + 4*h + 4*r. Is 18 >= h?
True
Let s be 2/3*(-243)/(-18). Let v be ((-115)/(-15))/(30/s). Let f = 14/5 - v. Is f not equal to 2?
True
Suppose 3*v - 2*p = -4*p + 48, -4*p = -2*v + 48. Which is bigger: v or 20?
20
Suppose 5 = 5*a - 5. Let n = -1 + a. Let w be 4*4/8 - 0. Which is greater: w or n?
w
Suppose -43*p = 19*p + 62. Which is smaller: 3/82 or p?
p
Let x = -0.379 - 0.021. Is 0 >= x?
True
Let h be 70/(-3) - 32/48. Let b = h + 37. Is 10 != b?
True
Let y(a) = -a**2 + a - 16. Let r be y(-5). Let x = -28 - r. Which is greater: 0 or x?
x
Let s = -6896/63 - -890/9. Which is bigger: s or -11?
s
Let x(i) = -i**3 + i**2. Let s be x(1). Suppose -2*t - 3*t = s. Is t greater than 1/5?
False
Let u = 194 + -156. Let c be (-12)/(-8)*370/15. Do c and u have the same value?
False
Let u = 657/5 + -131. Suppose 0 = -4*h + 1640 - 1628. Are h and u equal?
False
Let z = 62 + -47. Suppose d = 4*d - 39. Which is smaller: d or z?
d
Let i = 3 - 3. Is i equal to -22/9?
False
Let m(b) = b**3 - 11*b**2 + 10*b + 5. Let g be m(10). Let f = g - 2. Let y(j) = -2*j + 16. Let k be y(6). Is f less than or equal to k?
True
Let d be (3 - (-51)/(-16))*-356. Let m = d - 66. Which is smaller: 1 or m?
m
Suppose 37*m = 31*m - 1434. Is m at most as big as -239?
True
Let m = -735 + 390. Is m less than -345?
False
Let h = 8 + -4. Suppose -6 = -h*l + l. Let w = 6 - 8. Is l bigger than w?
True
Suppose -3*i = 5*u - 20, -2*u = 2*i + 2*u - 16. Let o(v) = v**3 + 7*v**2 + 29*v + 143. Let t be o(-6). Which is bigger: i or t?
t
Let k(j) = -j**2 - 82*j - 1520. Let p be k(-34). Let z(l) = 3*l**2 - 8*l - 4. Let u be z(-5). Which is smaller: u or p?
u
Suppose 507 = -x + 3*m, 2*x - m + 855 + 174 = 0. Which is smaller: -517 or x?
-517
Let z be (-226)/(-144) + 112/(-896). Which is smaller: 2 or z?
z
Suppose 9*f + 34 = -4*r + 7*f, 4*f = -4. Which is smaller: r or -10?
-10
Let u = 1182 + -1139. Is u < 45?
True
Let q be 1/((-49)/(-84))*-7. Which is bigger: 2/45 or q?
2/45
Let o(l) = 2*l**2 + 19*l - 14. Let f be o(-10). Let u = -5 - -1. Let g be (30/(-12))/((-2)/u). Is g < f?
True
Let r = 26361/41 - 643. Is -9 less than r?
True
Let a = -140 - -136.5. Is 0.1 greater than a?
True
Let i(u) = -2*u**2 - 4*u + 7. Let d be i(-4). Let z = -18 - -7. Let y = z - d. Is y >= -4?
True
Let x be (4/(16/(-12)) - -2) + -41. Let j be (-12)/x + 36/21. Which is bigger: -18 or j?
j
Let t = 836 + -1394. Which is smaller: t or -560?
-560
Let s(o) = -3*o**2. Let a be s(1). Let m = 35 - 34. Let y(j) = -6*j**2 + 3*j - 1. Let v be y(m). Is v greater than a?
False
Let a = -713 + 713. Are -353 and a nonequal?
True
Let v = -7.771 + -0.029. Let a = -8.8 - v. Which is smaller: a or 0?
a
Let k(l) = -3*l**2 - l - 7. Let m = -75 + 75. Let s be k(m). Which is bigger: s or -2/3?
-2/3
Suppose 5*g - 4*d + 114 = 0, -8*d + 1 = -7*d. Let b be (9 + -11)/((-2)/(-23)). Is g at most as big as b?
False
Let x = 0.1423 - 0.1423. Which is smaller: x or -78/7?
-78