-36)*(-24)/10. Let a = -84 - -96. Let p be 3*(3 + 16/a*-3). Which is bigger: p or k?
p
Let o be -212 + 1392 - (2 - -5). Which is smaller: 1181 or o?
o
Let k be (0/(55/(-30) + (-20)/(-24)))/(-2). Is -67/148 bigger than k?
False
Suppose -v - 4 = -2*n, 5*v - 3*n = -7 - 20. Let u be v + (6 - 4/(-1298)). Which is smaller: 1 or u?
u
Let u = 1832/11 + -167. Is -3/25 at most u?
False
Suppose 3*v + 4*r = 9, 0 = 3*v + 3*r + 2*r - 9. Suppose 0*w - w - 22 = -j, -v*w - 76 = -j. Let d = -20 + -9. Which is smaller: d or w?
d
Suppose 5*x - w - 5 = 4*w, -2*x + 5*w = -11. Let f be 1 - 22*x/(-52). Suppose i + 4 = 2*k, -3*i - 2*i = 3*k - 6. Do i and f have different values?
True
Suppose 3 = -4*n - 77. Let j = -1121 + 1116. Let c be (-4)/n - 19/j. Which is bigger: 5 or c?
5
Suppose 3*i + 32 = 4*b, -2*b + 7*b = -i + 21. Let l be 8/(-20) + (-2)/(-5). Suppose l*m + b*c + 26 = m, -m - c = 4. Which is smaller: -2/25 or m?
-2/25
Suppose -1069*z + 1104*z = -315. Let y = -10 - -1. Are y and z equal?
True
Let v = 0.6 - -0.4. Let l = -21960 + 21888. Which is greater: v or l?
v
Suppose 1015 + 774 = -8*j + 477. Suppose 5*o + 818 = -0*w - w, -480 = 3*o - 3*w. Which is greater: o or j?
o
Suppose 33*l = -105*l - 746 - 496. Which is smaller: l or 164?
l
Suppose 0 = 17*w - 7*w - 120. Let o(i) = i**2 - 4*i + 6. Let q be o(3). Let t be ((-1)/(-2))/(q/84). Which is smaller: t or w?
w
Let m(a) = -3*a - 2. Let l be m(-3). Let g(i) be the first derivative of -3*i**2/2 + 17*i - 1607. Let d be g(l). Are d and 1 nonequal?
True
Let m = 288959/471 - -255841247/61701. Let z = m + -4760. Which is bigger: z or 1?
1
Let q = -12265/18923863 + -2/14819. Let c = 3779/66404 - q. Let p(l) = 5*l**2 - 102*l + 385. Let m be p(5). Which is greater: m or c?
c
Let z be (6134/(-40))/(270/120) - 6/(-10). Which is smaller: z or -67?
z
Let h = 9.12 + -9. Let v = h + -0.02. Let b = -9.98 - -12.08. Which is smaller: v or b?
v
Let a be (-29 + 21)*(130/4 + -2). Let u = a - -245. Which is bigger: -1/545 or u?
u
Let l(x) = -2*x**2 - 146*x + 1659. Let w be l(10). Which is bigger: w or 2/3167?
2/3167
Let f = -36 - -51. Suppose 4*v + f - 31 = 0. Suppose 3*c - 31 = -v*u, 0 = c - 3*c + 4*u + 34. Is c greater than 13?
False
Let m(h) = h**2 - 6*h - 79. Let x be m(10). Let t = -34 - x. Which is smaller: t or 6?
t
Let n = 659909/4 - 165984. Which is greater: n or -1006?
-1006
Let o = -428 + 440. Let p(v) = -v**3 + 14*v**2 - 25*v + 11. Let l be p(o). Are l and -2/59 nonequal?
True
Let o be ((-70)/(-245))/(2/(-42)) + 1336/161. Does o = 3?
False
Suppose -3*h + 3 - 12 = 0. Let b be 19 + (5 - 6) + -9. Let n be 1*b/h - -2. Which is smaller: -3/7 or n?
n
Suppose 3*b - 3*i + 296 = 110, 3*b - i = -178. Is b less than -66?
False
Let u = 1.6 - 18.6. Let b = -18 - u. Let m = 26 - 184/7. Which is greater: b or m?
m
Let x = -166.4 - -138.4. Let d = 3/34 + 47/238. Is d > x?
True
Suppose -134*k + 7038 = -332. Is 394/7 < k?
False
Let m be ((-4490)/(-145) - 16) + (2 - 13). Is -1/3 < m?
True
Let u = -47/18 - -10/9. Suppose -3*k + 5*k + 3*q = -68, -4*q = -5*k - 193. Which is greater: k or u?
u
Let u = 234908/17 - 13816. Let k = 2 + -1. Which is smaller: k or u?
k
Let n be ((-2)/20)/(204/(-20)). Let l = 104894 - 104893. Which is smaller: n or l?
n
Suppose 1224 = -18*g - 10*g - 4488. Is g greater than -202?
False
Let l be ((-31)/62*-5)/(503/(-2)). Is l smaller than 1?
True
Let b be 1382071/2355 + 2/15. Is 587 equal to b?
True
Let o be 10/2 - (-2 + 5). Suppose 5*k + o*x = 78, 3*k - 12 = x + 26. Which is greater: 9 or k?
k
Suppose -4*b - 2*b = -24. Suppose -b*q + 5*v - 5 = 180, 2*q + 4*v = -86. Let y = -0.12 - -1.12. Which is bigger: y or q?
y
Let a = -223 - -235. Suppose 7 - 11 = -2*c - 2*n, -a = -4*n. Which is smaller: -4 or c?
-4
Suppose 18*n - 17*n = 0. Suppose -l + 5*b = -n*b - 14, 3*b + 6 = l. Let x(c) = -c - 9. Let w be x(-2). Is l > w?
True
Let d(q) be the first derivative of q**3/3 - 3*q - 42. Let n be d(-3). Is 7 less than n?
False
Let n = -18807149/251 + 74929. Which is greater: -1 or n?
n
Let q(h) = h**3 - 5*h**2 - 7*h - 6. Let o be q(6). Let r be (-160)/(-300)*4*(3 + -2)*-6. Which is greater: o or r?
o
Let g be (2 - 0) + -1 - (41 + 0). Let y be (-9)/6*g/90. Let u be -1*(-3)/(-6)*-2. Which is smaller: u or y?
y
Let v be 0 - 1*(-3)/3. Let l be (-236)/4130 - (0 + (-2)/10). Are v and l equal?
False
Let s = 281.51 - 283. Let x = 4.51 - s. Is x less than or equal to 23?
True
Let g = -22 - -45. Let d = g - 22.2. Let m = 0.6 - d. Which is smaller: 3/5 or m?
m
Let l = -6312 - -6734. Is l >= -1?
True
Suppose s = -3*s - 1512. Let n be (18/33)/3 + s/990. Which is greater: n or 2?
2
Let n = -1.751 - -1.3. Let d = -383 + 382.9. Is d smaller than n?
False
Let b = -15 + 10. Let s = 113.164 + -0.164. Let c = -113.3 + s. Which is greater: b or c?
c
Let a be 1/(-5) - 3036/2420. Let v(w) = w + 6. Let g be v(-4). Let u be -3*g/12*0. Is a > u?
False
Let k = -31189 - -31188. Which is greater: -33/413 or k?
-33/413
Let t be 10/(-25)*(-331 - 4)*1. Let r = -111 + t. Which is smaller: 24 or r?
r
Suppose 0 = 6*z + 2*m - 4032, 0 = -3*z - 0*m - 4*m + 2007. Do z and 673 have different values?
False
Suppose -5*v - 5 = -5*m, 3*v - 4*v - 1 = 2*m. Let x = 896 + -31352/35. Is m bigger than x?
False
Suppose -429*u + 792 = -357*u. Which is greater: u or 20?
20
Suppose 0 = 7*o + 116 - 3553. Is o bigger than 491?
False
Suppose -17*o - 892373 - 504887 = 363*o. Is o less than -3676?
True
Let r = -50 - -93. Suppose 42*h - 1071 = r*h. Let g be 544/h - 4/(-18). Which is greater: g or 1/29?
1/29
Let q(c) = -12*c + 99*c - 85*c - 10*c + 4. Suppose 10 = -f + 6*f. Let o be q(f). Is -12 greater than o?
False
Suppose a + 42 = 5*s, 42*s - 16 = 4*a + 41*s. Is -92/81 bigger than a?
True
Let a(x) = 3*x - 1. Let w be a(-1). Let y be 1 + w + -6 + 10. Suppose -2 = -4*d + 6. Do d and y have the same value?
False
Suppose -2*s - 161*i + 166 = -157*i, 9*i + 415 = 5*s. Which is smaller: s or 65?
65
Let f(r) = -3*r - 2. Let z be f(-4). Suppose -5*y = -5*h - 95, -30*h = -2*y - 32*h + 2. Is y greater than or equal to z?
True
Let d = -14 - -10. Let y be d/(80/116) - -3. Suppose -5*u - 6 = 3*f, -3*u + 26 = -3*f + 20. Do y and f have the same value?
False
Let o = -16903/29 - -583. Let p(m) be the third derivative of -m**6/120 - m**5/60 + m**4/12 - m**3/6 + 2*m**2. Let b be p(1). Which is greater: o or b?
o
Let f = 6.76 + -799.82. Let o = 776 + f. Let p = 0.06 + o. Is -1 less than p?
False
Let k = -109 - -61. Let f = 70 + k. Suppose 3*n + 4*q - q = 9, 0 = 4*q - 16. Which is greater: n or f?
f
Let k(h) = -9*h**3 + 55*h**2 - 6*h + 1. Let q be k(6). Let g = -0.19 - -0.28. Let w = g + -0.02. Which is greater: q or w?
q
Let z = -16503 - -16500.3342. Let f = 0.0342 - z. Is f != -1/4?
True
Let u be (12 + -102)/(-18)*(0 + -1 - -50). Which is smaller: 1706/7 or u?
1706/7
Suppose -y - 4*u = -8*u + 34, -5*y = -2*u + 206. Let h be (-8)/(56/35) - y. Which is greater: 33 or h?
h
Let t be ((-465)/124)/(3/(-64)). Let c = -111 + t. Is -31 at least c?
True
Suppose -d = -4*q + 17, 4*d - 46 = -5*q - 156. Suppose 29*h - 24*h = -145. Is d smaller than h?
False
Let s be -1*10 + 3 + -2. Let g = s - -3. Let o be (2*(-115)/30 - -9)*(-5 - -2). Is g at least o?
False
Let q be (1944/(-45))/(-9)*1370/92. Which is bigger: q or 71?
q
Suppose 5*m + 3 = -2, -3*m = 5*f - 7. Let o be 3/((-3)/f) - (-18)/9. Is o at least as big as -1/161?
True
Let s be (0/(-2))/(158/79). Which is smaller: s or 6/625?
s
Let n(r) = -r**2 + 30*r - 38. Let w be n(4). Is w less than 129/2?
False
Let v = -243 + 403. Let a be -30*8*8/v. Is a less than -15?
False
Let s(k) = 175*k - 3230. Let m be s(-4). Which is smaller: -3929 or m?
m
Suppose 3*y + 48 = 7*y. Let p be (2/4*-2)/(y + -9). Let w = p - 1/15. Which is smaller: w or -1?
-1
Suppose 20*a - 19*a + 5*i = -13, 2*i + 2 = -2*a. Let x = 12 - 7. Let c = 5 + x. Is a <= c?
True
Let t = 74 - 70. Suppose -4*m = 2*v + 38, v = -t*m + 3 - 32. Which is greater: v or -7?
-7
Let y(t) = -t**3 - 6*t**2 + 29*t + 20. Let z be y(-9). Suppose 0 = -z*f - 2, 14 + 13 = -4*l + f. Let h be 139/(-20) + (-2)/8. Is h at most l?
True
Let s be -25*(5 + -6) + -5. Suppose 4*w = s, -5*w + 30 = 5*c + 5. Are c and 3/38 nonequal?
True
Let p(q) = q**2 + 14*q + 134. Let m be p(-6). Suppose -z + 37 = -50. Which is greater: m or z?
z
Suppose x + 