pose -5*k = -3*i + 6, -k - 9 - 3 = 3*i. Suppose 3*v + 5*b = -19, -3*b - 11 = 3*v - 2*b. Let a be 22/v + 16/4. Which is greater: a or i?
i
Let n = 43 - 44. Let u be (2/(-36))/((-4)/12). Which is smaller: u or n?
n
Suppose -4*x - 4*l = 16, 2*x = -3*x - 4*l - 16. Let t be 5/(x - -5) - (-2 + 27). Which is smaller: 0.1 or t?
t
Let k be ((-21)/(-28))/((-3)/(-11)). Suppose 2*x - 2 = 3*x, -n = 3*x + 2. Suppose 3 = q - f, -n*q + 6*f + 13 = 3*f. Is q less than or equal to k?
False
Let g = 12488 + -22016343/1763. Are g and -1 equal?
False
Suppose -b + 3 = 6. Let n be -2*(-1 + b/(-6)). Let o = 3/41 - 144/287. Is n bigger than o?
True
Let p = -195 + 191. Does 4 = p?
False
Let t = 0.0481 + 2.8819. Let x = -0.07 - t. Which is smaller: 5 or x?
x
Suppose 12 = -5*t + 37. Let q(x) = -x - 9. Let b be q(4). Let d be 0 + (b - -4)/(-3). Are d and t nonequal?
True
Let y(d) = 3*d**2 + 22*d - 11. Let v be y(-7). Let z be ((-168)/(-16))/(v/40). Which is smaller: -23 or z?
z
Let o(l) = l**2 + 11*l + 4. Let m be o(-11). Suppose -5*r - 4 = -3*j + m, -5*j - 4 = -4*r. Which is smaller: 1/6 or j?
j
Suppose 9*k - 8*k + 1 = 0. Let x be 5/5*(20 - k - 1). Which is greater: 1 or x?
x
Let f be (1 + 9/18)/(216/90). Let c be -1 - (-6)/4*2. Let t be -1 + (0/c - -1). Is f <= t?
False
Let d = -1.1 + 0.1. Let g = -0.19 - -5.19. Let i = g - 4. Which is smaller: d or i?
d
Let i be 2 - ((-498)/16)/(-8 + -7). Which is smaller: i or 0?
i
Suppose -2*h + 6*h + 2610 = 5*s, 0 = 2*s - 5*h - 1044. Let b be ((-2)/4)/(s/(-24)). Let u = 536/609 - b. Which is greater: u or 2?
2
Let n = 0.237 + -20.437. Let x = 17 + n. Which is smaller: x or 2?
x
Let h = 84 - 75. Suppose 4*g - h*g = 5*f - 20, 0 = 3*f + g - 2. Is 1 less than or equal to f?
False
Suppose -4*x = 5*l - 28, 5*l - x = -2*x + 37. Let k be l/(-3 + 65/25). Which is greater: -21 or k?
k
Let q(u) be the second derivative of u + 0 + 5*u**2 - 1/6*u**3. Let j be q(6). Is 5 <= j?
False
Let u = -19556 - -332548/17. Is 6 bigger than u?
True
Let o = -3 + 3.04. Let j = o - 0.44. Let z = -0.084 - -0.184. Which is greater: z or j?
z
Suppose 0 = 4*b + 5*p - 16, -4*b + 11*p - 6*p = 24. Are 8/363 and b equal?
False
Let y = -17998 + 18062. Let j be (2*1)/2 - -64. Which is bigger: j or y?
j
Let c(k) = -2*k**3 - 26*k**2 - 3*k. Let s be c(-13). Which is bigger: 274/7 or s?
274/7
Suppose 2 = -5*i - 3*r + 142, 0 = 5*i + 4*r - 140. Let s be 18/4*3*2. Is i < s?
False
Suppose 174 = -38*p + 40*p. Let i(f) = f**3 - 5*f**2 + 11*f - 15. Let c be i(6). Is p less than c?
False
Suppose 1324 + 506 = 10*a. Are 183 and a unequal?
False
Let p be (10/(-4))/((-115)/10). Is p <= -1?
False
Let f = 50 + -48.7. Let t = f + -2.3. Is -1/13 at least as big as t?
True
Let b be -12 + -7 - 4/2. Is b > -15?
False
Suppose 0 = -f + 2*f - 16. Suppose -l - f = 2*l - 5*j, 30 = 5*l + 3*j. Let i be 2/l + (-2)/(-3). Which is smaller: 2 or i?
i
Let h = 15 + -34. Let p = -23 - -4. Is h at most p?
True
Let f = 258 - 262. Suppose 2*j + 34 = 2*o, -3*o - 4*j - 17 + 54 = 0. Suppose 0 = y + 2*y + o. Which is bigger: f or y?
f
Let p = -983.6 + 1081. Let m = p + -100. Is 1/4 at least as big as m?
True
Let o(k) = k**2 - 1. Let g be o(1). Let u be (g/(-3))/(2*1). Let t = 44/65 - 2/195. Which is bigger: u or t?
t
Let z = 0.2091 + 116.7909. Is -3 > z?
False
Let k = -1652 - -1344. Is k at most as big as -1546/5?
False
Let u be (3 - 56) + 1 - 2. Let o be ((-9)/2)/(u/72). Suppose -3*x = -g + 5*g - 73, 0 = 2*x - o. Is g at least as big as 16?
True
Let s(a) be the first derivative of -a**2 - 7*a - 15. Let j be s(-3). Which is smaller: j or 6/35?
j
Suppose 5*p - 8 = d, -2*d = -7*d + 3*p + 4. Let a be (-1 - 3)/(d*75/10). Let g = -1 - 0. Is g smaller than a?
True
Let f = 19/105 - 181/420. Let h be -1 + (1 - 0/(-2)). Which is bigger: h or f?
h
Let d = 17.3 - 22. Let q = d + 0.7. Which is bigger: -2 or q?
-2
Suppose -14*b - 19538 = -6518. Which is smaller: -931 or b?
-931
Let t = -153 + 768/5. Let s = 1.95 + -1.65. Is s less than t?
True
Let s = -1537 - -16920/11. Is 0 > s?
False
Let o = -123 + 60. Which is greater: o or -62?
-62
Let a be ((14/6)/((-637)/546))/(1/(-11)). Let l(z) = z**2 - 3*z - 5. Let h(i) = i**2 - 1. Let p(f) = 2*h(f) - l(f). Let m be p(-6). Which is smaller: m or a?
m
Let v = 2034 + -2034. Which is bigger: v or 98?
98
Let d = 65 + -65. Suppose 4 = k - 4*g, -k - g - 3 = -2. Is d bigger than k?
False
Suppose -2*b = 3*m - 7, -2*m = 5*b - 101 + 100. Let c = 0 + 2. Suppose 3*x + c*n = 4 - 1, 0 = -5*x - 5*n. Which is smaller: x or b?
b
Suppose 342 = -10*p - 1048. Which is greater: p or 1?
1
Suppose 0 = -6*c + 3*c - 12. Let o be 3/12*3*c. Let p be (o - -4) + -2 - 4. Which is bigger: p or -6?
p
Let t be (12/14)/(9/42). Let b be t - -72*(-8)/156. Is b greater than or equal to -3?
True
Suppose 0 = -4*t - 4*r + 8, t + 0*r - 2*r + 4 = 0. Suppose t = -4*l - 11 - 25. Is l at least -8?
False
Let z be 16/28*35/(-50). Is z less than -441?
False
Let n = -15 - -20. Suppose 0 = -2*a + n - 3. Is -1/9 greater than a?
False
Let w = -45/56 + -951/280. Which is smaller: -5 or w?
-5
Let f(t) = t**3 - 20*t**2 + t - 12. Let s be f(20). Let z be s/16 + 5*1/(-8). Which is greater: 0 or z?
0
Let m = -3 + 3. Let p = -997/1767 - -34/57. Is p > m?
True
Suppose -1676 - 204 = -5*v. Is v smaller than 377?
True
Let w = -586 - -1401. Is w at least 815?
True
Suppose -4*f + 5*n + 1040 = 0, 5*f - 1300 = 16*n - 9*n. Are f and 259 equal?
False
Suppose 90*v - 122*v = 0. Which is greater: 1/1590 or v?
1/1590
Let r = -46864701958227 - -337478201971344184676/7201117. Let f = r + -1/93521. Let v = 28/11 - f. Do v and -1 have different values?
True
Let v(g) = 2*g + 4 + 4 - 3*g. Let w be (35/(-20))/(-3 - (-11)/4). Let j be v(w). Which is bigger: -1/2 or j?
j
Let q = -307/927 + -2/927. Is -1 < q?
True
Suppose 1 = -2*d - 3*j, -3*d + d - 5*j = 3. Let o be -4*d/(-4) + -3 + 1. Let u be (-2)/(-2) + 10/(-13). Is o at least u?
False
Let r = -205 + 206. Suppose -m - 4*m = 25. Let x = m - -4. Which is smaller: r or x?
x
Let b be ((10/(-24))/(-5))/((-55)/(-275)). Is b != 1?
True
Let w be 4/(-12) - 75/(-9). Suppose 3*j + 6 = -3*o + w*j, 5*o - 2*j + 10 = 0. Is o equal to -3/4?
False
Suppose 91 = 32*i - 165. Which is smaller: 9 or i?
i
Let u be 84/(-16) - (-2)/8. Let p(o) = -o**3 - 3*o**2 + 3*o + 4. Let r be p(-3). Is r greater than or equal to u?
True
Let x be -6 - 0 - 2 - (-1683)/207. Suppose g + 0*g = 1. Which is smaller: x or g?
x
Let k be 1 + 2*((-2587)/470 + 5). Is 1 greater than k?
True
Let s(w) = 2*w - 14. Let m = 24 + -18. Let h be s(m). Which is smaller: -8 or h?
-8
Let m = 1305/2 - 653. Which is bigger: 1/2 or m?
1/2
Let g = 2.8238 + 0.0762. Which is smaller: g or 0?
0
Let x = -246 - -272. Is x bigger than 76/3?
True
Let z be 4 + -12 + (3 - 1). Let c be 1*(z + 2 - -1). Which is bigger: -2 or c?
-2
Let s = 656 - 624.9. Let b = 31 - s. Let h be -1*(-2)/6 - 0. Is h smaller than b?
False
Let b = 67703/11 - 6161. Which is greater: -6 or b?
-6
Let u be 1/(-5) + 7/(-10). Let h = -43/70 - u. Suppose -2*w = 3*w. Is w bigger than h?
False
Let q = 6 - 6. Let u be 2*(q - -2) + -3. Which is greater: u or -1/7?
u
Let l = 4666 + -74707/16. Is -4 > l?
False
Let s(p) = p**2 - p - 1. Let h(o) = 3*o**2 - 12*o - 16. Let k(m) = h(m) - 4*s(m). Let n be k(-7). Let g(r) = -r**2. Let x be g(-2). Which is bigger: x or n?
x
Let i = 147.14 - 3.14. Let s = -143.86 + i. Is -0.3 bigger than s?
False
Let j(w) = 4*w**3 + 43*w**2 + 3*w + 24. Let a be j(-11). Is a greater than -131?
True
Let t(i) = 9*i - 162. Let q be t(20). Which is smaller: q or 53/3?
53/3
Let m(u) = u**2 + 6*u - 16. Let w be m(-8). Which is bigger: w or -1/492?
w
Let g = -3 + 4. Suppose 5*p = -33 + 38. Let r be (p/(-5))/((-240)/(-100)). Which is bigger: r or g?
g
Let m(k) = k**3 + 4*k**2 + 2. Let r be m(-3). Let o be (-22)/r + 3/((-6)/(-8)). Is o at least as big as 1?
True
Let m be (-1 - (0 - 25)) + 0. Suppose -5*p = -m - 6. Let x(a) = a - 7. Let s be x(p). Which is greater: -3 or s?
s
Let k = 549 - 8787/16. Let d(f) = -f**3 - 5*f**2 + 7*f + 5. Let g be -3 + 6 - (9 + 0). Let z be d(g). Which is smaller: z or k?
z
Suppose 19*i = 4672 + 5474. Is 535 >= i?
True
Let h be (8/(-3))/((-75)/315). Let r = 20 + -10. Which is smaller: r or h?
r
Let m be 591/2 - 118/(-59). Which is smaller: m or 299?
m
Let t be (6/(-24))/((-62)/1