 be 4/(-144) + 4/(-18). Let a = 9.12 - 10.22. Which is smaller: a or v?
a
Let p = -1.31 - 6.79. Let z = p - -8.2. Which is smaller: z or 1?
z
Let d be (-87)/(-93) - (-3)/(-3). Let p = 47 - 20. Let k = p - 27. Are d and k non-equal?
True
Suppose -q = -2 + 3. Let i(f) = f**2 - 6. Let k be i(-3). Suppose -4*r = -k*r - 2. Are r and q unequal?
True
Let a = 64 + -90. Let y = a + 26. Is 2/11 >= y?
True
Let r(p) be the second derivative of -p**3/2 - 4*p**2 - 15*p. Let s be r(-1). Let k = 1 + -6. Does s = k?
True
Let t(j) = 68*j - 235. Let q be t(14). Which is smaller: 716 or q?
716
Let g be (-66)/(-18) - 3/(-9). Suppose 0 = -k - t - 12, g*k - 3*t + 8 = -12. Which is greater: -15/2 or k?
-15/2
Let l be (-6)/(-12)*(-4)/1. Let p be (l - (-158)/40) + (-3)/15. Is -0.4 greater than p?
False
Suppose -3*p - 2 + 1 = -f, -8 = -2*f + 4*p. Suppose 2*j + 3*d - 8 = 0, 5*j + 5*d - 5 = f. Let z be 85/(-20) - j/(-4). Which is smaller: -3 or z?
z
Suppose 11*w - 144 = 5*w. Let c be ((-9)/(-75))/(w/(-544)) + 2. Is c less than -1?
False
Suppose 5*i + 4 = -1. Let k = i - 1. Let x be (0 + -6)*4/8. Is k greater than or equal to x?
True
Let x = 2.9 - -1.1. Let f = x + -7. Let h = -11629.3 + 11629. Is f greater than h?
False
Suppose -163*a + 164*a = -z - 18, 0 = 4*a - 5*z + 81. Let j(q) = -2*q + 9 - q - q. Let d be j(7). Is d smaller than a?
False
Let z be 6 + (72/7)/(-8) + -5. Which is smaller: z or -617?
-617
Suppose -5*d = 10 + 5, -2*c = d + 5. Is 2/31 < c?
False
Suppose -g - 10 = -12. Suppose 4*q = 2*w - 2, -q + 13 = -w - 4*w. Which is smaller: q or g?
q
Let f = 5 + 2. Suppose 0*l = 2*a + 4*l - 18, -a = 5*l - 24. Which is smaller: a or f?
a
Let y = -1664 - -1663. Which is smaller: y or -20?
-20
Let c(v) = -v**2 + 19*v - 86. Let r be c(9). Let b = 4 - 3. Suppose -r = 3*a - b. Which is greater: a or -10/7?
a
Let n be (10/(-25))/((-1)/5). Suppose -3*o - n*o = 15. Let y be 1*-4*o/12. Which is smaller: 1/13 or y?
1/13
Let l = -381 - -936. Is l at least 556?
False
Let c be -25*((-96)/15 + 2)/2. Is 54 equal to c?
False
Let r = 14 + -10. Suppose r*a = 5 - 69. Let t = a + 16. Does 0 = t?
True
Suppose 12*z = 39*z. Which is smaller: -5/34 or z?
-5/34
Let p be 1 + 3 - (6 + -4 + 1). Which is smaller: 3/14 or p?
3/14
Let h be 24/4*(-1)/2. Let c = -16 - h. Let m(d) = d**2 + 12*d - 13. Let o be m(c). Are -2/23 and o nonequal?
True
Let b = 5046 - 1130299/224. Which is smaller: 0 or b?
0
Let l(v) = v**2 - 8*v - 2. Let m be l(9). Suppose m*y = 2*y - 45. Let b = y - -10. Which is bigger: 1/4 or b?
b
Let r(m) = m**2 + 6*m + 2. Let n(w) = -w**2 - 2. Let o be n(2). Let x be r(o). Let k be 5/(-3) + (4 - x). Which is smaller: -1 or k?
-1
Suppose 2*w = 4*w - 12. Let k(m) = 3 + 4 - m - 4 + w. Let t be k(7). Which is greater: 0 or t?
t
Let r = 18944094852/31033 + -610450. Let z = r - -3568759/558594. Let m = z - 15/2. Which is smaller: m or 0?
m
Let a = -340673/1785 - -1336/7. Is 0 greater than a?
False
Suppose -2*c + 188 = 2*c. Let p(o) = -o**3 + o**2 - 4*o - 1. Let y be p(-3). Is y greater than c?
False
Let d = 0.632 + -1.632. Is 2/675 < d?
False
Let p(g) = -2*g**2 - 38*g + 53. Let w be p(-22). Does -80 = w?
False
Let u = -42.8 + -0.2. Let w = 45 + u. Is w bigger than 8?
False
Let y = -32 - -8. Let u = -4/79 - -170/237. Which is smaller: y or u?
y
Let o be (-5 + 146/30)*230. Are -31 and o non-equal?
True
Suppose 10 = 2*c + 8. Let j(k) = -22*k - 5. Let i be j(c). Is -26 greater than i?
True
Let l(a) = a**3 + 10*a**2 + 3*a - 10. Let w be l(-9). Suppose 0 = -v - w - 7. Is v greater than -51?
False
Suppose -3*x = -630 + 669. Which is smaller: -119/9 or x?
-119/9
Suppose 0 = -g + 2*b + 69, -5*b - 5 - 5 = 0. Suppose m - 55 = -g. Are m and -10 equal?
True
Suppose -2*n = -4*n. Let k = -20 - -24. Suppose -z + k*z - 3*w - 15 = 0, -2*z + 5*w + 22 = 0. Is z < n?
False
Suppose 297 + 63 = 8*q. Suppose 0 = 5*s + 4*n + q, -3*n - 20 = -0*s + s. Which is smaller: s or -4?
s
Let b = 0.012 - 0.312. Which is smaller: -1 or b?
-1
Let i(a) = -3*a + 9. Let n(l) = 1. Let w(j) = -i(j) + 5*n(j). Let f be w(2). Suppose 0 = f*t - 15 + 3. Is 6 >= t?
True
Let v = -0.007 + -4.293. Which is smaller: 0.1 or v?
v
Let z = -45 + 36.8. Let x = 1.8 - z. Let f = -0.0151 - 0.0849. Is x at most f?
False
Let z(p) = 10*p - 15. Let i be z(-3). Which is smaller: -42 or i?
i
Let q = -14.37 - -13.4. Which is bigger: -0.2 or q?
-0.2
Suppose -3603 + 3609 = -3*u. Let y be (-4)/(-20) + (-8)/(-10). Suppose -t = p + 7, -t + p = t - y. Does t = u?
True
Let w(n) = -n. Let z be w(0). Let k = 863552 - 7764272/9. Let l = 856 - k. Which is smaller: z or l?
z
Let x = 611 + -638. Which is greater: x or -26?
-26
Let o be 4/(-2)*12/4. Let s be (7/(-4))/(o/(-24)). Let x = -0.011 - -0.011. Which is bigger: x or s?
x
Let m(y) = -y**3 + 16*y**2 - 2. Let q be m(16). Let c be (-310)/(-40) + q/8. Suppose -2*r - 42 = -5*n, -2*r + 3 = -n + 13. Which is smaller: n or c?
c
Let f = 281/104 + 9/52. Are f and 4 non-equal?
True
Let a be (2 - 2 - -2) + 60/(-18). Let z(k) = 3*k - 7 + 0*k - 4*k. Let d be z(-5). Which is smaller: d or a?
d
Let s be (3/(-38))/((-3)/6). Let x be (2/6)/(7 - (-200)/(-30)). Does s = x?
False
Let d be ((-4)/(-4))/((-1)/18). Let k be -2 + d/(-19)*2. Suppose 24*v = 20*v - 4. Is k at least v?
True
Let h = 763 - 19067/25. Let t = 97/225 - h. Which is bigger: 0 or t?
t
Let s = 74.1 + 335.9. Which is smaller: s or -0.1?
-0.1
Let o = -4 + 5. Let p be (-1)/7 - 1065/(-3976). Which is greater: o or p?
o
Suppose -6*m = 8*m + 14. Are m and -1/292 equal?
False
Suppose 0 = -2*h + 4*h + 3*m + 96, -m = -3*h - 155. Let t be (8/18)/(782/h). Let y = 65/138 - t. Which is bigger: 0 or y?
y
Let b be -1*8/6 + (-1390)/15. Let p = -278/3 - b. Is 1 less than p?
True
Let g be 3 + (-5)/3 + (-2)/6. Which is smaller: -2 or g?
-2
Let w = -11/1164 + -18539/50052. Let f = -183/3010 + 1/70. Let b = f - w. Which is smaller: b or 4/3?
b
Let b = 7.9 - 1.9. Let j = b + -11. Let p = j - -5.2. Which is smaller: 2/15 or p?
2/15
Let v = -1676/9 + 186. Let m = 119 - 81. Which is smaller: v or m?
v
Let q(i) = i - 1. Suppose -25 = 6*x + 53. Let h(b) = -b**3 - 14*b**2 - 12*b + 15. Let a be h(x). Let m be q(a). Are 3 and m non-equal?
True
Let b = -0.1828 + -0.0172. Which is smaller: b or -8.1?
-8.1
Suppose 12 = -3*v + 4*n + 52, 5*v - 32 = -2*n. Suppose -23*w = -24*w + v. Is w > -1/2?
True
Let x(i) be the first derivative of -i**4/4 + i**3 + 6*i**2 - 7*i + 2. Let p be -1*(-5 - -6)*-5. Let b be x(p). Which is greater: b or 8/5?
b
Let i = -19.068 - -0.068. Let v = i + 19.5. Is -7 less than v?
True
Let d(c) = -4*c**3 + c. Let f be d(-1). Let g be (-1)/f*0 - 1. Let o = -5 - -7. Is o at most g?
False
Suppose 101*f = 94*f + 735. Is 107 != f?
True
Let m = 1690 - 903. Let x = m + -6305/8. Which is bigger: -2 or x?
x
Let g(b) be the first derivative of b**6/120 + 2*b**5/15 + b**4/3 - b**3/3 - 4*b**2 - 2. Let q(y) be the second derivative of g(y). Let m be q(-6). Is m > 22?
False
Let t(y) = 2*y**2 + 72*y + 25. Let g be t(-24). Is -552 <= g?
True
Let z be (-1461)/165 + (-21)/(-15). Which is smaller: -6 or z?
z
Let z(c) = -39*c - 1216. Let d be z(-24). Is d >= -276?
False
Let b = -1861/3 + 632. Let g = b + -239/21. Let a = 0.2 + -0.3. Which is bigger: a or g?
g
Let c be (-4*43/(-2))/(-2). Let t = c - -128/3. Let j = t + 1/2. Which is greater: 0 or j?
j
Suppose 7*a = 2*a + 10. Suppose -8 = 2*u, -5*v - a*u + 5*u + 17 = 0. Let n be 2*9/12*(180/594)/10. Is n equal to v?
False
Suppose 0 = -4*b - 5*w + 14, 3*w = -9 + 3. Which is bigger: 12 or b?
12
Let j be 5*((-299)/(-345) - (-4)/(-6)). Which is bigger: -3/386 or j?
j
Suppose -6*z + 18 = -0*z. Let f be 1 + 0*-3*z/(-18). Is -1/62 < f?
True
Suppose -14*y - 4024 + 510 = 0. Is y bigger than -251?
False
Let j(g) = g**2 - 8*g - 1. Let f be j(7). Let l(n) = -n - 9. Let u be l(f). Let c be -1 + 1/(-41)*320/(-8). Is c >= u?
True
Let z = 77 + -82. Let g = 0.5 - 0.1. Let o = g - 0.6. Is o greater than z?
True
Let h be 6*(-3)/(-9)*27/171. Is h equal to 1?
False
Let c = -40 + 64. Suppose 0*u = 6*u - c. Let k be -2*(84/(-20) + u). Which is bigger: k or -1?
k
Let k be -6*14/168*886/(-1). Is 443 equal to k?
True
Let r(z) = -z - 1 + 4 - 4. Let p be r(-4). Let t(j) = -j**2 + 5*j + 6. Let i be t(6). Is p at least i?
True
Let x(r) = 2*r**2 - 12*r - 6. Let o be x(7). Let t be (o/3 