r be 15*(3 - 36/15). Let b be 4/12 + 33/r. Suppose 5*h = -b*v - 16, v + h = 2*h - 13. Are -10 and v non-equal?
True
Let r = -37 + 92. Let j = r - 54.9. Which is smaller: -0.1 or j?
-0.1
Suppose -b + 0*b - 9 = 0. Let k(n) = -30*n + 141. Let u be k(5). Is u <= b?
True
Suppose -42 = -5*b - 7. Let v be 2/4 + b/14 + 12. Is v > 0?
True
Let t be (-6)/(-4)*20/6. Suppose -u + 7 = 2*z - 2, -t*u - 2*z = -69. Let l be (24/u)/(6/45). Which is bigger: 11 or l?
l
Let q = 44 - 16. Suppose -34*p - 24 = -q*p. Is -10 less than or equal to p?
True
Let o be 0/26 + 12/(-14). Let p(i) = -i**2 - 5*i - 4. Let u be p(-5). Let b = -5 - u. Do o and b have the same value?
False
Let s = -0.16 - 0.15. Let x = 0.11 + s. Is x equal to -7/3?
False
Let u = 0 - -3. Suppose m + 3*x = -2*m + 9, 0 = -u*x + 15. Let j(d) = -9*d**2 + 10*d - 2. Let r be j(1). Is m > r?
False
Let h = 488 - 490. Which is greater: h or 52?
52
Suppose 0 = 4*h + 4*v + 84, 2*h - 7*h - 2*v - 96 = 0. Let i = 5 + h. Suppose -10*r + 9*r - 13 = 0. Is r > i?
False
Suppose -6*q = -q. Suppose -2*g + g - 3*a = 2, 0 = 3*g - 5*a - 22. Let k be 1*(-3 - (-8)/g). Which is smaller: q or k?
k
Let y(j) = -j**2 - 13*j - 1. Let h = 37 + -50. Let t be y(h). Is 0 >= t?
True
Suppose -2*c - 2 = 2. Let m be (-2)/2*c/(-2). Which is smaller: m or -8?
-8
Let c = -115 + 94. Let r be (7/c)/((-1)/17). Which is smaller: 5 or r?
5
Suppose 4*u + 4 = 0, 3*m + u = 5*m + 9. Let a be (-64)/(-5) - 1/m. Suppose -2 = -5*y + a. Is y >= 3/2?
True
Let t = 342139/177 + -1933. Is t at least as big as 1?
False
Let l be (12/2)/(26/(-117)). Is l less than or equal to 4?
True
Let n be (0 - -8) + 27/(-9). Suppose n*g + 6 = 1. Is g bigger than -6/11?
False
Let c = -8/41 + 9/41. Let n be (2/(-1))/4*-2. Is c less than n?
True
Let p = 5.956 - 6. Let h = p - -1.044. Let s = 1 + -1.09. Is h less than s?
False
Let o = 1526 - 1485. Is 0 >= o?
False
Let d = 137 + -549/4. Which is greater: 28.2 or d?
28.2
Let b = 280 + -305. Which is greater: -24 or b?
-24
Let v be (5 + -2 - 3)/(-1). Suppose -g - 2 + 5 = v. Which is smaller: g or 8?
g
Let m be -2 + 68*(0 - 1). Let z be (-4)/5 + (-26)/m. Let j be (0 - -3)/(2/(-1)). Which is smaller: j or z?
j
Let g = 1030 + -1031. Which is smaller: g or 1/1472?
g
Suppose 0 = 3*y + 15, 0*u - 4*y - 32 = -2*u. Let j(k) = 2*k**3 + 7*k**2 - 2. Let d be j(-3). Which is greater: u or d?
d
Let m be 5/(-6)*4830/(-100). Let x = 39 - m. Suppose -4*k = -9*k. Which is greater: k or x?
k
Let o(c) = c**2 - 19*c + 90. Let u be o(8). Let w = 1 + 3. Suppose 3*z = i - 28, -2*i + w = u*i. Is -9 > z?
False
Let a = -16294215757/20017530 + -1094/123565. Let u = a + 814. Which is greater: u or 0?
0
Let m(l) = -l - 1. Let y = -1 - -1. Suppose 0 = -2*b - 4, -3*v + y*v - 30 = 3*b. Let j be m(v). Is j > 3?
True
Let t = -22.7 + 20. Let x = 1.2 + t. Which is bigger: 1/5 or x?
1/5
Let i = 55.4 + -55.41. Is i not equal to 2/7?
True
Let w = 164.8 + -165. Let z = 0.94 + -1. Which is smaller: z or w?
w
Suppose -5*d + 6 - 1 = 0. Let z be (-6)/69*1/(-2). Is z smaller than d?
True
Let j = 6 + -5. Suppose -2*h + 5 = -j. Suppose -2 + 4 = -3*p + k, -3 = h*k. Is 1/5 at least p?
True
Suppose -12*m + 11*m - 3*a = 41, -180 = 4*m + 4*a. Are m and -21 unequal?
True
Let i = -172/49 + 8089/392. Which is smaller: i or 16?
16
Let q(v) = v - 22. Let t = 8 - -4. Let f be q(t). Let w = 11 - 20. Is w < f?
False
Let u(b) = -b + 1. Let j be u(-4). Suppose 4*p - 11 = k, 3*k - k + 4 = -p. Let a be (j + k/1)/2. Is a at least 6/5?
False
Let p = 70 + -66. Suppose 4*u + 8 = -p*b - 8, 0 = -4*u - b - 10. Which is smaller: -5 or u?
-5
Suppose 0*r = -r - 7. Let s be 2 - 1/(-3)*(-4 - r). Are 1.6 and s equal?
False
Let r be 8*(129/12)/(-1) + 3. Suppose -4*j + 122 = -2*s - 30, -5*s = 2*j + 428. Is r at least s?
True
Suppose 0 = 5*r - 4 + 24. Let a(v) = 2*v**2 - 67*v + 494. Let o be a(11). Is r > o?
False
Let w be (5/(-225))/((-4)/10). Let j be 8 + 1 - (22 + -18). Suppose 5*u = j*u - 8*u. Which is smaller: u or w?
u
Let k(h) = -h**2 - 7*h + 15. Let o be 5/(-2)*72/20. Let m be k(o). Is m > -5?
True
Let d(z) = -z**3 - 10*z**2 + 9*z - 26. Let r be d(-11). Let g be ((-10)/r + 0)*8*-1. Is g >= -20?
True
Let t(c) = -c**3 - 14*c**2 - 12*c + 14. Let r be t(-13). Let a be -7*r + -2 - (6 - 6). Is -7 != a?
True
Let b be 4 + (-15)/(-5) - -2. Is b equal to 4?
False
Let i = -4174/25737 + -26/373. Does -1 = i?
False
Let a be -3 - (-7)/(21/10). Let o be (8/(-4))/190*-257. Let b = -13/5 + o. Is a smaller than b?
False
Let w be -2 - ((-10276)/(-2052) + -7). Which is smaller: w or 1?
w
Let b = 76 - 51. Let r = b - 24. Which is smaller: 43 or r?
r
Let u = 3.5 + -1.7. Let x = u + -11.8. Let r = 9.4 + x. Is r not equal to 2?
True
Suppose 10*h - 1 = 9. Let u be 4/(-6)*h/(-2). Are u and 2/3 equal?
False
Suppose -d = 2*u, 0*d + 2*u = -4*d + 6. Let t(n) = 3*n - 43. Let b be t(22). Suppose 1 = d*s - b. Is 0.1 <= s?
True
Let m = 13435 + -255197/19. Is 3 != m?
True
Suppose -8 = -5*x + 47. Suppose f + x = -12. Let m = 34 + f. Is 12 greater than m?
True
Let t = -131 + 653/5. Let s = -98 - -67. Which is bigger: t or s?
t
Let d = -0.023 + 0.123. Let p = 0 + d. Is 10 greater than p?
True
Let l(d) = d + 3. Let n = -19 + 10. Let u be l(n). Let a be u/9*(-6)/4. Does -2/5 = a?
False
Suppose 6814 = -31*w - 5431. Which is smaller: -393 or w?
w
Let x be 1 - -4 - 30*132/(-12). Which is greater: 334 or x?
x
Let c(b) = -b**2 + 8*b - 3. Let o be c(6). Let n be 2/3 + (-87)/o. Let d be (-8 - -1 - 10) + 8. Is d at most as big as n?
True
Suppose 3*y = -5*m - 9, -2*y + 5*m + 0 = 6. Is -7 greater than y?
False
Let d(u) = -4*u - 21. Let g be d(-6). Suppose -3*t - 9 - g = 0. Which is bigger: t or -15/4?
-15/4
Suppose -3*t - 6 = -5*t. Suppose -1 = -t*x - 7. Let c be (12 - 0)*x/(-4). Is c <= 6?
True
Let b = -0.463 - -0.363. Is b less than or equal to -0.0393?
True
Let u(z) = 27*z**2 - 4*z. Let f be u(3). Let s = f + -3005/13. Is -1/2 at least s?
False
Let r(z) = -z**3 - z**2 + 3*z - 4. Let l be r(-3). Let m = l - 6. Let n(x) = -x**2 - 11*x + 24. Let a be n(-13). Do m and a have the same value?
False
Let d(w) = -w**2 + 2*w + 30. Let p be (-1 + 1)/(-2 - -4). Let o be d(p). Are 31 and o equal?
False
Let y = 475 + -66501/140. Do 0 and y have the same value?
False
Let o be 252/147*2/8. Are o and 112 equal?
False
Let a be (-4)/(-6) - 8/15. Let b = 23 + -20. Suppose 0 = -t + k + 2, b*k = -5*t + 4 - 2. Is a greater than t?
False
Let y be (-2)/(-5) - (-23)/5. Suppose 5*f = z - 6, 3*f - 18 = -3*z + f. Which is smaller: y or z?
y
Let h = 79 - 3876. Let n = h + 542969/143. Let v = 256/2145 - n. Which is greater: v or -0.1?
v
Let q = -373/20 - -97/5. Let a be 1/(14/(-16) + 1). Let k = -6 + a. Which is smaller: k or q?
q
Let w = -58 + 361. Is w at least 303?
True
Suppose 4*v - 8*v = -532. Which is bigger: v or 3?
v
Suppose 5*l = 25, -2*l - 88 = 3*m - 950. Which is smaller: 285 or m?
m
Let y be 3/4 + 6/(-8). Suppose -2*b = -z - z - 8, -b + 3*z + 6 = y. Let i(k) = -k**2 - 3*k - 1. Let t be i(-1). Which is greater: b or t?
b
Let a be 2 - 4/(-8)*0. Suppose 2*c - 18 = -4*p + p, 14 = -a*c + 5*p. Let u be (1 + 1 - 0)*c. Which is smaller: u or 5?
5
Let v = 42 + -60. Let o = 31 + v. Let l = o + -13.3. Is 1/8 less than or equal to l?
False
Let z = -2 - -1. Let i be ((-2 - 0)/(-1))/z. Let a = -2032 + 2034. Is a less than i?
False
Let d = 20 - 19.8. Let j = d + -4. Let v = -2.2 + j. Does 0.1 = v?
False
Let n = 11671/25194 - -23/494. Let p = 676 - 11489/17. Let g = n - p. Is g >= 1?
False
Suppose 0 = -3*m - 5*c - 1, c = 3*m + 5*c - 4. Suppose -4*h + 3*o - 12 = o, 2*o + m = 0. Suppose 4*x = x + 3*d - 6, -8 = 2*x + 2*d. Which is smaller: h or x?
h
Let x = 0.2 - -24.8. Let f = 24 - x. Which is greater: 3/4 or f?
3/4
Let g = 215 + -215. Is g >= -346?
True
Let w(d) = 15*d**2 + 11*d + 3. Let t be w(-7). Suppose -1 = v, -2*r + 3*v = 2*r + t. Let o = 494/3 + r. Does o = -2?
False
Let y(t) = 5*t**3 + 7*t**2 - 8*t. Let w(l) = 4*l**3 + 6*l**2 - 7*l. Let q(s) = -6*w(s) + 5*y(s). Let n be q(3). Is 24 greater than n?
False
Suppose 857 = -4*z - 2615. Is z < -1?
True
Let d(o) = o - 4. Let k be d(5). Suppose 20*w + 37 + 3 = 0. Let s be w*k/2 - 1. Which is smaller: 2 or s?
s
Let r(i) = -i + 1. Let u be r(-19). Let m = -10 - u. Let p be m/38*(-4)/(-10). Which is smaller: p or 0?
p
Let i = 333.8 + 1