 = -2*p, 11*p - 16*p - 4*t - 40 = 0. Let i be (p/6)/(3 - 8). Which is smaller: -0.14 or i?
-0.14
Suppose 4*q - 42 = q. Let r = -15 + q. Let m be 1 + (r - (3 - 2)). Is 0 at most m?
False
Suppose 0*v = -v - 3*v. Let b = -542 - -2403/4. Let d = b + -59. Which is smaller: v or d?
d
Suppose -10428 = -23*f - 21*f. Which is bigger: f or 236?
f
Let h(l) = -1 + 4*l - 4*l - 5*l + 2*l. Let o be h(-1). Suppose 3*r + 7 = -2*w - 8, -5*w + o*r - 47 = 0. Is -7 >= w?
True
Let w be ((-2)/(-3))/((-8)/156). Let j = -6 - w. Suppose -10 = 2*s, j = -2*v - 2*s - 9. Is v >= -3?
True
Let h = -53/24 + 15/8. Which is greater: h or 0?
0
Let p be (-2)/(-6) + (-53)/(-3). Suppose 0*h - 3*w = 3*h - p, -3*h - 5*w + 28 = 0. Let f = -5 - h. Which is smaller: f or -7?
-7
Let o be (6/(-8))/(10/120). Which is greater: -49/5 or o?
o
Suppose 0 = 4*q - 0*q - 20. Let g(p) = 1 - 3*p - q + 3 - 4*p**2 - p**3 + 0. Let m be g(-3). Is -1/2 at least as big as m?
True
Let b = 0.976 - -22.024. Are b and 5/8 equal?
False
Let d = 236 + -236. Which is smaller: -6 or d?
-6
Let z = 32 + -20. Suppose 0*w - z = w. Which is bigger: -14 or w?
w
Suppose 3*p - 10 = -55. Let i be 2 + 12/p + 0. Which is smaller: 0 or i?
0
Let f be (30/1040)/(2/(-4)). Let s = -9/13 + f. Is s bigger than -1/4?
False
Let s = -0.0173 - 0.0827. Is -200/9 > s?
False
Let u be (-96)/60*-1*1/(-14). Which is smaller: -1 or u?
-1
Let k = -6 - -12. Let v be 2 - (1 + (11 - 6) + 0). Let u be 5/k + v/8. Which is smaller: u or 2?
u
Let k = 73 - 518. Is -444 < k?
False
Let s be (2/(-445))/(2/20). Is s >= 0?
False
Suppose 3 = -r + 7, 3*r = 4*i + 20. Let v be 5 + (-28)/5 + -2. Which is bigger: i or v?
i
Let d = -0.552 + 0.56. Let t = 0.092 + d. Let u be (24/3)/2*-4. Which is greater: u or t?
t
Let t = -112 - -122. Let r be 1/(t/30 + (-1)/4). Is 63/5 bigger than r?
True
Let l(b) = b**2 + 3*b - 3. Let o be l(1). Let c be o + 94/12 + (-32)/(-64). Is 9 >= c?
False
Let g = -497.1 + 497. Is g bigger than -80?
True
Let j(y) = -y**3 + 11*y**2 - 14*y + 5. Let m be j(10). Is m < -30?
True
Let u = 118 - 23. Let d = 96 - u. Which is greater: 16 or d?
16
Let r = -207 - -217. Are 71/7 and r nonequal?
True
Let k = 481/3 + -159. Let t(u) = -u + 9. Let n be t(6). Let c be 4 - 13/n - 0. Which is smaller: c or k?
c
Let n be (-15)/60 - 179/4. Let o be 2 + -1 + 1*-28. Let x = o - n. Which is greater: 17 or x?
x
Let o = 14/229 - -4968/1145. Let u be (-4 - 3)*(-60)/7. Let v = u + -57. Is o greater than v?
True
Let u = -310 + 303. Is u smaller than -0.1?
True
Let q(s) = s**3 - 14*s**2 - 31*s + 12. Let b be q(16). Which is smaller: b or 31?
b
Suppose 0 = 6*q - 8*q + 26. Let x be (2 - 5) + q*3. Let u be x/(-16) + (-3)/(-6). Are -2 and u non-equal?
True
Suppose -3*h - 54 = -2*h + m, -h - 24 = -5*m. Which is smaller: h or -50?
-50
Let n be (-5)/255*-214 - (-16)/(-24). Which is smaller: 3 or n?
3
Suppose 24 = -y - 4*f - 98, 5*f - 560 = 5*y. Let a = y + 114. Let u = -193/602 - -3/86. Is u at most as big as a?
True
Let h = 230906356/595 + -388078. Let b = -3/35 + h. Which is smaller: 1 or b?
b
Let j = 4/315517 + 4248436269/10727578. Let r = j - 396. Let d = r - 9/34. Which is greater: 0 or d?
0
Let m be (3066/(-147) - -21) + 28110/14. Which is smaller: 2009 or m?
m
Let s be ((-6)/(-486)*-3)/((-6)/9). Let k(w) = w**2 + 7*w + 7. Suppose 2*p + 7*t = 4*t - 12, 4*p - 4*t = -24. Let o be k(p). Is s at most o?
True
Let i = -169/4 + 42. Is -45 < i?
True
Let y(t) = t**2 - 16*t - 11. Let n(z) = z. Let i be 36/(-90) - (-3)/(-5). Let r(h) = i*y(h) - 4*n(h). Let m be r(13). Which is greater: -5 or m?
m
Suppose -7*q - 31 = -o - 5*q, -29 = -o + 3*q. Which is greater: 27 or o?
o
Let g be 3 - 2 - 2/6. Suppose -f + 5*z = 3, 7*f - 3*z = 2*f - 37. Let v be (-1)/(12/f - 2). Is g greater than v?
True
Suppose -5*v - 29*c + 25*c + 8 = 0, -4*v - 2 = -c. Is v at most as big as -5/182?
False
Let i = 1033 + -7233/7. Is i less than -4/41?
True
Let l = -2396.64 - -2451. Let s = -54 + l. Which is bigger: s or -1?
s
Let t(d) = 14*d + 65. Let h be t(-5). Which is smaller: -25/7 or h?
h
Let t = -258/440087 + -36144330088/25965133. Let a = -1392 - t. Is 0 > a?
False
Suppose w - 3 = 2*r, 2*w = -r - 1 - 8. Let h be w*(-8)/12 + -3. Which is bigger: h or -3?
h
Let u(c) = -c - 1. Suppose 0 = -v - 0*v. Suppose v = -16*r + 15*r + 2. Let k be u(r). Is k != -5?
True
Let g = 57 - 56. Suppose -28 = -4*y - 5*v, 5*y + 2*v + 5 = 23. Let p be y - (220/(-18))/(-5). Is g at most as big as p?
False
Let y be ((-24)/28 - -1)/(10/340) - -6. Let v = 0 + 0.1. Is y > v?
True
Let s be (16 - 10) + 21/9. Is s greater than 9?
False
Suppose 2*i + 5*p + 280 = 0, 0 = p + 3*p - 16. Let s = -500 - i. Let u = s - -2458/7. Is 1 greater than u?
False
Let z(u) = 147*u - 87. Let q be z(-3). Is q equal to 1?
False
Let a = -277 + 278. Let c be 2 + (-2 - (-3)/2). Is a less than c?
True
Let w be 32/(-56) + (-68)/(-118). Which is greater: 0 or w?
w
Let p = 3/454 + 4295/2724. Is 3 at most p?
False
Suppose 0*o + 66 = 2*o. Suppose -2*a - 7 = -9*a. Let i be (a + -9)*(-32)/8. Which is bigger: i or o?
o
Let j = 64 - 124. Let g be (-6)/j - (-3)/6. Which is greater: -0.2 or g?
g
Suppose -3*z = -2*d + 13, 3 = 4*d - 2*d - z. Let f be (-68)/12 - d/(-3). Let p = 8 + f. Which is greater: 0 or p?
p
Let i = -31 - -21. Let g = i - -10. Let n be 1 + 0 - 48/46. Which is smaller: g or n?
n
Let g = 2761/30 + -461/5. Let j = 2 - 1. Is j smaller than g?
False
Suppose -106 = 5*k + 204. Let o be k/(-4) + 2/4. Let t = 20 - o. Which is bigger: 3 or t?
t
Suppose 4*s - 28 = 4*r, 3*r + 2 = -s + r. Let i be (-16)/s - 4/(-1). Is 0 smaller than i?
False
Let p(c) = -3*c + 15. Let u be (3/2)/(3/(-16)). Let t be p(u). Is 40 != t?
True
Let d be -1*((-80)/35 - 4/(-14)). Suppose b - 16 = 2*u + 1, d*u + 10 = 0. Let j = 0.2 - 0.4. Is b smaller than j?
False
Let p = 0.1 + 10.9. Let r = 130 + -129. Let k = r - p. Is k > 0.1?
False
Let v(u) = 10*u**2 - 2*u. Let l(y) = -y + 1. Let k(q) = 2*l(q) - v(q). Let h be k(1). Are h and -34/5 non-equal?
True
Suppose -3*q = -x + 10, q - 13 = 5*x + 7. Let f(t) = 3*t + 19. Let i be f(-8). Is x equal to i?
True
Let v = 1576 + -978. Which is smaller: v or 1?
1
Suppose -37*w = 43*w - 560. Is 154/23 less than or equal to w?
True
Let w = 0 - -4. Let h = -7.3 + 7. Let y = h - -1.3. Is w smaller than y?
False
Let f(n) = -n + 4. Let b be f(-10). Let s be 404/10 + b/(-35). Suppose s = -3*a + j, -a - 64 = 4*a - 3*j. Is -13 != a?
True
Suppose -8*o = -15*o + 245. Suppose -6*d - o = 19. Do -7 and d have the same value?
False
Let o = 85 - 92.2. Let f = o + 3.2. Is -0.04 != f?
True
Let w(l) = -l**3 + 10*l**2 + l - 8. Let o be w(10). Suppose 5*c + 11 = 5*y + 1, 3*y = o*c + 10. Let r be 2*(-3)/(y/7). Which is bigger: -3 or r?
-3
Let l(t) = -t**2 - t - 2. Let r be l(-5). Let z be 6 + (-65)/10 - 9/r. Is z bigger than 1?
False
Let a be (0 - -4)/(-2)*-2. Suppose 5*c + 13 = -w, -w + 4 = -5*w - a*c. Suppose 0 = -2*g - w. Is g greater than or equal to 0?
False
Suppose -3*d = -y + 10, -2*y + 11*d - 14*d - 16 = 0. Which is bigger: -19/13 or y?
-19/13
Suppose 2*x + 2*q + 14 = -x, 4*q + 6 = 5*x. Let y be 2 - (-2 - -5) - x/3. Is 17 smaller than y?
False
Suppose 8*j = 2*d + 3*j + 8, -5*d - 2*j + 9 = 0. Which is greater: d or 31.9?
31.9
Let i(c) = 2*c + 22. Let s be i(-10). Let z be (-1 - (s + -1))/(0 + 5). Which is smaller: z or 0.22?
z
Let i(c) = c**2 + 8*c + 8. Let a be i(-7). Let g be 15/(-45) + a/3. Let l be ((-4)/(-22))/(4/12). Which is bigger: l or g?
l
Let s = -138364125/11247712 - -27307/4768. Let f = -1/337 - s. Which is bigger: f or 6?
f
Let l(j) = j**2 - 2*j - 36. Let a be l(8). Let s = -23 + 36. Let i = a - s. Is i not equal to -10/7?
True
Let y be 25/20 + ((-6)/(-8) - 1). Is 3/580 less than or equal to y?
True
Let c be 5*(3 + -2) - -67. Is 71 > c?
False
Let u be 0/(3/((-5 - -4)*-3)). Which is smaller: u or 0.6?
u
Let o = -15 + 18. Let l be 0 - 12/(o + -7). Suppose -3*t - 3*g = 15, l*g + 1 = t - 2. Is t smaller than 4?
True
Suppose -4*q = 12, 2*q = 3*z - 0*q + 6. Let x(o) = -3*o - 13. Let p be x(z). Which is greater: -2/3 or p?
-2/3
Let k(d) = d**2 - 7*d + 8. Let m be k(6). Let s be (1/5)/((-6)/m). Let z(y) = 389*y - 2724. Let p be z(7). Is p less than or equal to s?
True
Let d = -332.0369 + 0.0369. Is 1/3 <= d?
False
Let h be (-12*37/(-4))/3. Is 49 at least as big as