False
Let z(x) = 36*x + 20. Let o be z(-2). Is o bigger than -51?
False
Let w be (-1)/(-12) - 2/8. Suppose 5*n - 25 = 5*v, -4*v = 2*n + 12 - 4. Suppose -2*r - 6 = 4*p, 5 = -4*p - 3*r - n. Which is bigger: p or w?
w
Suppose -2*v - 4*l + 4 = 0, -4*l - 8 - 28 = -2*v. Which is smaller: v or -1?
-1
Suppose 4*f + f + 26 = 3*x, -5*f = 20. Suppose x*j - j = 0. Which is smaller: j or -5/9?
-5/9
Let u(v) = 110*v - 958. Let m be u(9). Which is smaller: 33 or m?
m
Let f = 6 - 6. Suppose -3*x = -f*x. Let n be (-34)/14 - (6 + -8). Is x bigger than n?
True
Let z = -542/595 - 3/170. Is -2 smaller than z?
True
Let t = -4 + 47. Is t <= 44?
True
Suppose 5*p + 44 = 4*j, p + 4 = 2*j - 0*j. Let f be 27/60 - (-9)/p. Let c(u) = -u**2 + 2*u - 1. Let m be c(1). Is m greater than or equal to f?
True
Let a(q) = 7*q**2 + 1. Let z be a(1). Let b(g) = 2*g**2 - 19*g + 13. Let y be b(7). Let t = 28 + y. Which is bigger: t or z?
z
Let u = -50 + 49.71. Let v = u + 7.29. Which is greater: 4 or v?
v
Let z = 928600721756/453 + -2049896870. Let k = 5652 + z. Let a = k + -1373/3171. Which is greater: a or -1?
a
Let c = 1211 + -1136. Are c and 75 unequal?
False
Let l = 0.098 - 1.098. Let f = 10 + -7. Let o be f/(-3)*(-3)/1. Which is smaller: l or o?
l
Let w be 0 + (52/78)/(1816/18). Is 0 bigger than w?
False
Let l = -2 + 8. Let b be (-3)/3 + -1 + 0 + -5. Let j be (1 + -2 + -7)*(6 + b). Is j <= l?
False
Suppose -h + 6 = 5*i + 34, 0 = -2*h - 2*i - 32. Let j = h + 18. Which is smaller: j or 2?
2
Let v = -140 - -142. Let t be 1073/551 + 4/v*-1. Is 2/7 at least t?
True
Suppose -24*o = 16*o. Is o at most as big as 15/31?
True
Let d = 536 - 610.8. Let y = -75 - d. Let f = 2 - 1. Which is bigger: f or y?
f
Let c be 112/24 - (-2)/6. Suppose -x = 2*a - 27, 5*x + c*a + 0*a = 135. Which is bigger: x or -0.1?
x
Let i be 8 + -6 - (4 - 1064/524). Which is smaller: i or 1?
i
Let h(a) = -a**2 + 5*a + 2. Let i be h(5). Let p be ((-20)/(-6))/(i/3). Which is smaller: 2 or p?
2
Suppose 6*f = 11*f - 495. Let x = -100 + f. Let q(p) = -p**2 - 2. Let m be q(0). Which is smaller: x or m?
m
Let z = -111.18 + 0.15. Let f = z - -111. Which is greater: -3/2 or f?
f
Let r be (-69)/22 - (-6)/2. Let t = r + 45/88. Suppose 0 = -4*b - 0 + 4. Do t and b have different values?
True
Let t be 260/135 + 2/(-1). Let r(q) = -q**2 - 3*q + 1. Let m be r(-3). Which is smaller: t or m?
t
Let h = -83/11 + 1151/154. Which is bigger: 23 or h?
23
Let j(h) = -h**2 - 6*h. Let q be j(-6). Let n = -21 - -28. Let s be n/(98/(-4)) + 27/70. Is s >= q?
True
Let k = -30569/2133918 + 16/1161. Which is bigger: -1 or k?
k
Suppose -y + 4*u + 9 = 0, -3*u = 4*y - 5*y + 10. Suppose -2*l = -l + 2*p + 2, 0 = -4*p + 20. Let a = y + l. Is -0.9 > a?
False
Let p = 1.6 - 1.4. Let n = p + -2.2. Let r = 3 - 2.7. Is r not equal to n?
True
Suppose -6*o = -3*o. Suppose 5*k = 3*b - o*b - 33, 3*k + 35 = -2*b. Let q be (18/(-6))/(3/10). Which is bigger: k or q?
k
Let m be (-7768)/(-40) + 8 + -1. Which is greater: 200 or m?
m
Let g(z) = z**2 + 23*z - 107. Let c be g(4). Which is smaller: c or 2/2707?
2/2707
Suppose 1373 = -4*y + 5*r, -2*y = -36*r + 39*r + 659. Which is smaller: y or -338?
-338
Let x = -53/4 - -683/52. Does x = -1?
False
Let y be (-2)/(-5)*(41/3 + -7). Is 30 greater than y?
True
Let p = 10 + -6. Let c = -1067 - -1065. Is p at least c?
True
Let l(s) = 2*s**2 - 4*s. Suppose -2*r = -4 - 4. Let m be l(r). Suppose -5*o + 95 = -2*f + 26, 0 = 2*o - 3*f - 21. Is o less than or equal to m?
True
Let o be ((-98)/(-6))/((-1)/(-3)). Suppose 0 = -5*z + 54 - o. Is 9 less than z?
False
Let m(u) = -u + 6. Let r(b) = 5*b - 11. Let g be r(-2). Let p be m(g). Which is greater: p or 28?
28
Let o = 12421/975 + -314/25. Is o < 1?
True
Suppose -3*r = -i + 16, 3*i + 4 = 4*r + 32. Let f(z) = -z. Suppose -x = 2*j + 2, 3*x - j + 11 = -2*j. Let w be f(x). Is i less than or equal to w?
True
Let t be 34/629 - (-220)/37. Are t and 11 equal?
False
Let m be (0/(-1))/((-14)/(-7)). Are m and 5/27 equal?
False
Let h be (-4)/(-6) + -8*(-7)/(-77). Suppose 0 = 5*n - 57 + 2. Let s = -11 + n. Which is bigger: h or s?
s
Suppose -5*p - 110 = 5*w, 38 = -31*p + 29*p + w. Which is smaller: 0 or p?
p
Let v be (4/92)/(1/(-2)). Let s be 2/(-10) + 2/10. Is v less than or equal to s?
True
Suppose 0*y + 5*y = -5, 2*q + 10 = 4*y. Let r be (q/5 - -1)/((-18)/(-15)). Which is greater: 2/5 or r?
2/5
Let v(c) = c**3 - c**2 + c - 18. Let l be v(0). Suppose -1 = -o - 2, 5*p + 2*o + 82 = 0. Let m = p - l. Which is bigger: m or 1?
m
Let k = 104.4936 - -0.1064. Let p = -102 + k. Is p at least as big as 0.1?
True
Let f = -0.003 + -0.097. Are 25/4 and f non-equal?
True
Let v be 2/28*679/(-194). Which is smaller: -0.1537 or v?
v
Let a = 13 - 9. Suppose 0*c = c - 2*f + a, -c = f + 1. Let o be 3/c*(-12)/(-18). Is 2 greater than or equal to o?
True
Let y(p) = -p**2 - 16*p - 34. Let g be y(-13). Suppose -4*h + 8 = 0, -d + 3*h + 1 - g = 0. Is -1.9 at most as big as d?
True
Let u be (-5 - (-2 + 1))*(4 + -5). Suppose u*w - 11 = -2*m - 35, 3*w = 5*m - 5. Which is smaller: -3 or w?
w
Let k(w) = -10*w - 98. Let m be k(-10). Let r be (14/15)/((-4)/6). Let b = 2 + r. Does m = b?
False
Let k be (-1)/((1/15)/((-14)/(-6))). Let x be (-26)/k + (1 - 12/20). Which is bigger: x or 0?
x
Let q = -0.196 - -0.226. Which is greater: 3 or q?
3
Suppose 7*l - 9*l - 5*m = -311, 2*l - m = 293. Which is smaller: l or 147?
147
Let d = -19 + 4. Let x = d - -7. Are x and -8 non-equal?
False
Suppose -3*d + 10*d = -7*d. Suppose 2*v + 4*c = d, 5*c + 14 + 12 = 4*v. Let a be (-1)/(-2 - 10/(-6)). Which is smaller: a or v?
a
Suppose 1 - 11 = -5*d. Suppose -3*a = -12, -5*n + 2*a - d = -a. Suppose -4*p = -5*i + 25, -5*p - i + n = -3. Which is smaller: p or 9/7?
p
Suppose -112 + 880 = 6*v. Which is greater: 126 or v?
v
Suppose -24 = -n + 4*n. Let r(f) = -7*f - 8. Let v be r(n). Suppose -t = -4*q + t + v, q - 17 = -2*t. Is q less than or equal to 13?
True
Let a be 20/184*(-9)/855. Which is greater: -1 or a?
a
Let v = -5 - -12. Suppose 3*j = v*j. Let i be (-2)/(0 + -6) + -1. Which is smaller: i or j?
i
Let z(a) = -a + 1. Let n be z(-6). Let f = n - 2. Suppose 0*g - f*h = 5*g, 4*g = 3*h. Which is bigger: -1/8 or g?
g
Suppose -10*f = 18 + 2. Let p = 14 + 26. Let j be 4/p*4/f. Is 0 > j?
True
Let y(o) = o**3 + 2*o**2 + 1. Suppose 3*g = 2*g - 4*d + 2, -3*g = -5*d + 11. Let x be y(g). Which is smaller: x or 1/19?
1/19
Suppose q + q = 6. Suppose q - 2 = l. Let k = -247/18 - -119/9. Does l = k?
False
Let h be 108/(-2)*4/(-3). Suppose -1514*d + 1556*d - 2982 = 0. Which is smaller: h or d?
d
Let a be (-48)/(-40)*30/4. Suppose -3*c + 0*c = a. Suppose -4 = 4*b + 4. Is b < c?
False
Let q = 72 + -64. Let t be 16/(-360)*10/q. Does t = -1?
False
Let r be (9 - 10)/((-3)/1089) + 1. Is 365 > r?
True
Suppose -138 = 10*d - 118. Let x = 26 + -14. Let l be (-6 + 2)*9/x. Which is smaller: l or d?
l
Let b be 78/(-52) + 405/(-6). Is b smaller than -74?
False
Let n = 17 + -30. Let u = 12 + n. Let i be (-1)/4*24/102. Is u not equal to i?
True
Suppose 7*f - 975 = 12*f - 3*t, 0 = -5*t. Which is greater: -197 or f?
f
Suppose 3*g + 5*g - 24 = 0. Suppose 0 = 5*y - i - i - 6, -4*y = -g*i - 9. Which is smaller: y or -5/11?
-5/11
Let h be (-1)/(4 + 114/(-30)). Let f be ((3 - -3) + h)*-1. Which is greater: f or -1/232?
-1/232
Let g = 0.0439 - 0.0339. Is g smaller than -1/9?
False
Let a = 91 + -60. Let x = a + -34. Suppose 5*g + 8 + 7 = 0. Does g = x?
True
Let c be ((-6)/(-4) - 3)/((-2)/20). Which is smaller: 14 or c?
14
Suppose -245 = -3*m + 241. Are m and 162 equal?
True
Let u(d) = -36*d + 208. Let l be u(4). Which is smaller: l or 326/5?
l
Let g = 226 - 9. Are 216 and g equal?
False
Let g = 0.06 - 0. Let k be ((-6)/15)/((-2)/10). Suppose 3*h - 2*v - 12 - k = 0, 0 = -4*v - 16. Which is bigger: g or h?
h
Let q be 1767/1209*(-1 - (-2)/1). Is q greater than or equal to 0?
True
Let x(h) = -h**2 - 9*h + 16. Let r be x(-4). Let z be 2*((-78)/(-4) + -1). Which is greater: r or z?
z
Suppose -196*i - 6 = -202*i. Let t = 8990/3811 - 88/37. Is t at most as big as i?
True
Let u = -58 + 9. Let h be 12/(-54) - (-2)/9. Which is smaller: u or h?
u
Let f(p) = p**2 - 4*p - 1. Let a be f(4). Suppose 56 - 221 = 5*s. Let u be (4/(-282))/(11/s). Are a and u nonequal?
True
Let r = -63 - -95. Let z = r + -31.9. 