/11)/((-2)/8). Suppose 5*w = -l*d - 22, d + 18 = -3*d - 3*w. Which is smaller: -4 or d?
-4
Let q = 6 + 14. Let a = q + -19.9. Let t be (-2)/1 + (-198)/(-72). Is a at least as big as t?
False
Suppose 6*o = 4*o + 38. Suppose 6*p = -1 + o. Which is smaller: p or 4?
p
Let t be (-4)/(-10) - (-4)/(-10). Let n be 1008/175 + 12*3/(-6). Which is bigger: t or n?
t
Let l = -277 - -278. Which is smaller: l or -1/624?
-1/624
Suppose -10 = 6*g - 16. Which is bigger: 1/59 or g?
g
Let o be 0 + 1 + (-7)/5. Let v = 43.924 + -44. Let k = -7.924 + v. Is o not equal to k?
True
Let z(v) = 6*v**2 + 103*v + 22. Let a be z(-17). Is 164/31 at least a?
True
Let k(u) = -u**2 - 7*u + 7. Let f be k(-8). Let b be (-19)/(-105) - (-18)/(-189). Are f and b equal?
False
Let l = 5 - 5.1. Let x = 3.96 - 4. Let v = x - -0.03. Is v at least l?
True
Suppose 0*n - 1 = -i - 4*n, 0 = -i - n - 2. Let b be (-2)/(-8)*(i/(-1) + 67). Which is bigger: 17 or b?
b
Suppose 5*s = 5*j + 5, 6 + 1 = 5*j - 2*s. Let y = -106.8 + 112.8. Is j bigger than y?
False
Suppose -c - 1 = 14. Let o = c + 25. Let r be (1 + -6)*8/o. Is -5 at least as big as r?
False
Let d = -135.25 + 136. Let k = -1.75 + d. Let g = -12/107 + -58/1391. Which is smaller: k or g?
k
Let s = 32 + -24. Let m = s - 8.9. Is 2 at least as big as m?
True
Let g = -108469/43 - -2523. Let w = 782/387 - g. Is w at most as big as 3?
True
Let j(h) = -h**3 - 13*h**2 + 3*h + 15. Let u be j(-13). Let m = -25 - u. Let v = -6 + m. Which is smaller: -28/5 or v?
v
Let p be -883*(1/13)/1. Let g(i) = -i**3 - 20*i**2 - 17*i - 30. Let u be g(-19). Let o = u - p. Which is bigger: o or -1?
o
Suppose v + 2*v = 15. Suppose v*y + 3 = 8. Let s be (-1 - 0) + 7 + y. Which is bigger: s or 8?
8
Let n be (15/(-2))/((-215)/516). Which is smaller: 11 or n?
11
Let v = 39.1 - -1.9. Let q = v + -40.9. Is q greater than -5?
True
Let t = 142.89 - 2.89. Let l = t + -141. Which is greater: -1/17 or l?
-1/17
Let y be (-3)/((-45)/230)*3*-1. Let b = y + 46. Which is greater: -4/19 or b?
b
Let v = -173 + 109. Let m = 63.97 + v. Do m and 1 have the same value?
False
Let o(u) be the second derivative of -u**5/20 - 5*u**4/4 - 19*u**3/3 - 17*u**2/2 - 12*u. Let h be o(-12). Is 4 equal to h?
False
Let i = -7 + 3. Let t be i/(-5) - 374/5. Let g = t + 372/5. Which is greater: -1 or g?
g
Let s = -92 - -210. Let y be 18/(-6) - s/(-40). Let k be (2 - 1)/1 + -1. Is k at most as big as y?
False
Let k be (-14)/37 - 0/9. Which is smaller: k or 1/2?
k
Let c = 71.01 + -68.2. Let u = c - 0.21. Let o = -2.5 + u. Are o and -1/3 non-equal?
True
Let a be 420/1368 - 3/9. Suppose -3*r + 0*n - n + 3 = 0, 2*n - 6 = 5*r. Is r >= a?
True
Let n be (-4 - -42)*5/(-5*2). Let c be -7*(-6)/(-2) - -2. Is n < c?
False
Let y(o) be the second derivative of o**4/12 + 7*o**3/6 + 10*o. Let m be y(-7). Suppose 0 = 4*g + 1 - 5. Does g = m?
False
Let t = -46 + 47. Which is smaller: t or 34/15?
t
Let t = 59/12 - 14/3. Suppose 11*s - 240 = s. Let b be (3/(-30))/((s/(-15))/(-4)). Which is greater: b or t?
t
Let b(q) = -3*q**2 + 2*q + 2. Suppose 4*y + 28 = -2*w + 6*w, 2*w + 1 = -y. Let n be b(w). Let m be ((-1)/5)/(3/n). Which is smaller: 2/7 or m?
2/7
Let q = -0.2 + 72.2. Let h = -72.4 + q. Is 1/6 greater than h?
True
Suppose 0 = -o - 3*o + 2*v - 1620, -3*o - 1208 = -5*v. Which is greater: o or 2/3?
2/3
Suppose 0 = -4*s - 3*s + 49. Let t be (39/210)/(-13) - 2/s. Which is smaller: 0 or t?
t
Let c = -1/330 - 71/3795. Let k = 79/598 - c. Let b(l) = l**3 + 17*l**2 + 2*l + 33. Let t be b(-17). Is t smaller than k?
True
Suppose 3*l - 4*r - 161 - 731 = 0, 2*r + 896 = 3*l. Is l > 302?
False
Suppose -12*g = -16*g + 4*x - 4, -5*g - 1 = -3*x. Which is greater: -116/9 or g?
g
Let i = 55 + -22. Let w = -32 + i. Let t = w + -0.86. Is t <= 1?
True
Suppose 3*z + 35 = -5*j - 2*z, -2*j - 5*z = 26. Let g = -5 - j. Let h be -1 - -4*(-8)/(-64). Which is smaller: h or g?
g
Let z = -462.8 + 463. Which is smaller: z or -4.8?
-4.8
Let s(t) = t**2 + t - 3. Let y = 4 + -7. Let k be s(y). Let o be 3/(-1*(0 - k)). Are o and 1 equal?
True
Let w be 1/((-3)/(-6))*-30. Let p = w + 21. Is p < -39?
False
Let z(l) = 3*l**3 - 5*l**2 + 2*l + 2. Let b be z(4). Suppose 5*x - 13 - b = 0. Let y be 22/(-18) - (-6)/x. Is -2 greater than or equal to y?
False
Suppose q = -q - 12. Let g(t) = -t**3 - 7*t**2 - 4*t + 6. Let v be g(q). Which is smaller: -11/2 or v?
v
Suppose -7 = -4*f - 23. Let m = f + 3. Let s = 2/35 - 1/5. Which is greater: m or s?
s
Suppose 4*g + 5*z - 11 - 4 = 0, -5*g = -4*z + 12. Let t = 108687/253 + -7586/11. Let w = t + 260. Which is greater: g or w?
g
Suppose 575 = -c - 5*w, -13*c + 8*c + 4*w = 2991. Are -595 and c equal?
True
Suppose 0 = 3*m - 9 + 9. Is m less than or equal to -22/17?
False
Let b(s) = -s**3 - s**2 + 2*s - 6. Let n be b(-4). Is n smaller than 37?
True
Let s(q) = 2*q + 4. Let u be s(13). Let l = -155 - -186. Which is greater: l or u?
l
Let u = -26 - -22. Which is greater: -1/3 or u?
-1/3
Let z = -2.128 + 92.028. Let s = z - 90. Does s = -1?
False
Suppose -20*h = 2*v - 17*h - 18, -4 = -v + h. Suppose 2 + 4 = 3*u + 3*c, 4*c = -2*u - 4. Are v and u nonequal?
False
Let h = -29 - -25. Let d(i) = -i + 3. Let c be d(3). Suppose -2*o = -4*u - 24, -4 = -c*o - o. Is u at least as big as h?
True
Suppose 0 = 2*a + 31 + 9. Let n be (-1)/((-1)/a*4). Let l be (n/(-2))/(7/(-14)). Is l equal to -5?
True
Let i be 18/(-21)*(0 + 175/(-4)). Which is greater: i or 37?
i
Suppose 1406 + 2066 = -31*x. Is x greater than -107?
False
Let l = -0.01 + -1.49. Let g = l + 1.3. Let f be ((-5)/(-40))/(2/4). Is g >= f?
False
Let a = -178/43 - 1776/215. Let q = -88 + 77. Is q <= a?
False
Let d = 0.7 - 0.7. Suppose 0 = -3*b + b. Let i(y) = y**3 - y**2 + y + 3. Let k be i(b). Is k at most d?
False
Let q = -11951 + 59944/5. Let t = q - 265/7. Is -2 != t?
True
Suppose -2*k - 4 + 0 = 0. Suppose 5 = j + 4*r - 1, 5*j - 7 = 3*r. Suppose j*m + 10 = -4*a + 4*m, -2 = -4*a - 2*m. Is k at most a?
True
Let q(y) = -y**2 + 24*y - 6. Let n be q(20). Let v = n - 54. Is 21 less than v?
False
Let m(z) = -z. Let o be m(-2). Let a(k) = k**2 - 25*k + 82. Let l be a(20). Is l at least o?
False
Let u(b) = -24*b + 123. Let n be u(6). Which is smaller: 5 or n?
n
Let l = -197 + 196. Is -7/16 at least l?
True
Let t = 10246 + -317659/31. Which is smaller: -2 or t?
-2
Let b be 2/3 + (-3)/(18/1028). Let c = b + 165. Is c equal to -5?
False
Let u = 158 - 63. Which is smaller: -1/3 or u?
-1/3
Let t = -35471/23 - -1543. Let l = 7/138 + t. Suppose y + 2 = 0, 4*p - 5 = 5*y + 9. Is l greater than p?
False
Suppose -2*s = 5*s. Suppose -4*h - 15 = -s*h + 3*q, 3*h + q = -5. Is -5/13 at most as big as h?
True
Let v be (-424)/(-12) + 4/6. Suppose -55*b = -83*b + 952. Which is smaller: v or b?
b
Suppose -2*p = -5*o - 15, 0 = -2*p - 9*o + 5*o - 12. Let g be 1 + p + -1 + -53. Is g equal to -53?
True
Suppose -2*r + 12 = 2*m - 5*r, -4*r = 2*m - 40. Let c = m - 52. Does c = -40?
True
Let f = -859.364 - 0.636. Which is smaller: 0 or f?
f
Let x(a) = -a**3 - 5*a**2 - a + 7. Let r be x(-4). Let p be (-4)/26 + r/26*-6. Let q be (-1)/3*(-2)/(-26). Which is bigger: p or q?
p
Let j be (-1 + 3)*10/(-4). Let c = -22 - -7. Let h be 12*(c/6 - -2). Which is bigger: j or h?
j
Let v = -278 - -836/3. Which is greater: -151 or v?
v
Let x = -36 - -93. Let f = 57 - x. Is f bigger than -10/27?
True
Let l be (0 - 4) + ((-135)/(-35))/1. Is 1.4 at least l?
True
Suppose -3*r + 4*r - p + 5 = 0, -3*p = 5*r - 15. Which is greater: 3/13 or r?
3/13
Let r = 2 - 7. Let o be (-11)/(111/r + 1). Let x = o + -1/53. Which is bigger: 3/2 or x?
3/2
Let v be (18/(-96))/(-3*(-4)/48). Do v and -55.8 have the same value?
False
Let n be ((-9)/4 - -2)*(-1068)/(-9). Which is greater: 0.2 or n?
0.2
Let u be 10/4*(0 + 2). Suppose -4*v + 1 = -u*v. Let a = 322 - 1289/4. Which is greater: a or v?
a
Let z(d) = -88*d - 14. Let c be z(1). Are -103 and c nonequal?
True
Suppose 4*d - 14*d = -4*d + 6. Let h = -13 - 4. Which is bigger: d or h?
d
Suppose 0 = 7*n - 8*n - 4. Let u be (-1)/(n/(-6) + 2/(-6)). Is -4 at least u?
False
Let j be 3/(-6)*-6*(-10)/(-30). Is j at most as big as 4/75?
False
Let f(b) = -b**3 + 9*b**2 - 13*b + 21. Let q be f(13). Is q greater than or equal to -822?
False
Let a = -186 - -172. Suppose d = 2*d + 3, -v = 2*d. Suppose v*p - 3*p = -39. Which 