be -1*(11 - (33 - 12)). Let z(o) = -9*o + 1. Let v be z(1). Let g be v/l - 242/385. Which is smaller: 0 or g?
g
Let s = -4941 + 4942. Let b be ((-1)/(-3))/(339/54). Let q = 88/2599 + b. Which is smaller: q or s?
q
Let w be (2 + 12)/(1*-2). Let l = -8 + 10. Suppose l*i + 18 - 4 = 0. Is w <= i?
True
Suppose q - 3*q = -3*r - 26, q = 4*r + 23. Suppose 0*n = n - q. Let u be 7480/924 - (-4)/(-42). Which is greater: u or n?
u
Let r be 108/81 - ((-8)/3)/1. Suppose 17 = -5*n - r*m + 26, -n = 2*m - 3. Which is smaller: n or -2/527?
-2/527
Suppose -4*z = 2*u - 10, -u + 3 = -5*z + 19. Let o be ((87 + 7)*(-6)/(-8))/z. Let f be 1/5*9/(36/10). Is o at least f?
True
Let c = 1112 + -1607. Let a = c + 495.01. Is -15 at most as big as a?
True
Let f = -93 - -85. Let g = f + 13. Suppose -4*y - 8 = g*d - 2*d, -4*d = 0. Is -4 smaller than y?
True
Let l be (3*10/(-105))/((-8)/56). Which is smaller: 818 or l?
l
Let p = 3 + -1.5. Let o = 1149 + -459. Let z = -689 + o. Which is greater: p or z?
p
Let h = -12.77 + -15.211. Let z = h - -28. Let o = 0.081 + z. Is o less than or equal to -0.34?
False
Let j be 2/((-322)/46*(-2)/903). Is j less than 2?
False
Let u = 1935 + -1947. Is u greater than or equal to 24?
False
Let m = 7 - 5. Let y(a) = a**3 - 5*a**2 + 4. Let k be y(m). Let o = k + 11. Is 1 less than or equal to o?
True
Let a = 154 + -146. Suppose -4*o - 7 = 3*u + a, 0 = -o + u + 5. Is -7/74 equal to o?
False
Let z = 6851 - 6023. Does z = 827?
False
Let u be ((-30789)/(-132))/(3/64). Which is bigger: 4975 or u?
u
Suppose 17*b = 18*b - 18. Suppose 18 = -b*s - 0. Which is smaller: 1/214 or s?
s
Suppose -8 = -4*c - 4. Let b(t) = -t**2 + 20*t - 11. Let q be b(21). Let x be 98/296 + 4/q*2. Which is smaller: c or x?
x
Let p be (-6)/66 + (-58702)/539. Let b = -146 - -36. Which is smaller: b or p?
b
Let o = 0.42 - -1.88. Let d = 0.72 - 1.72. Which is smaller: o or d?
d
Let r = -0.57 - 1.23. Let c = r - 0.07. Let b = c - -1.773. Do b and 1 have the same value?
False
Let d(m) = -70*m - 1755. Let l be d(-25). Which is smaller: l or 173/11?
l
Suppose 3044 - 3044 = 9*n. Is n at least 20/539?
False
Let m = 718 + -718. Which is smaller: m or -2/5205?
-2/5205
Suppose -3*a = -4*t + 1326, -511 + 1395 = -2*a - t. Suppose 2478 = 43*u + 21570. Which is bigger: a or u?
a
Let z be 5 - 5/((-210)/628). Let q = -89/21 + z. Which is greater: q or 16?
16
Let o(m) = -5*m + 5*m - 4*m - 8 - m**3 + m**2 + 3*m. Let z be o(0). Let t = 32.3 - 35.3. Which is bigger: t or z?
t
Let l be (8 + -3)*(-6)/(-15). Let a be 6/((-30)/(-5))*14*-3. Let d be 1/((-4)/5)*a/70. Which is smaller: d or l?
d
Let x(l) = -l**2 + 5*l - 2. Let g be x(6). Let i = -405 + 425. Let b = g + i. Is 11 != b?
True
Let g(h) = -3*h**2 + 50*h + 378. Let l be g(26). Which is bigger: l or -0.4?
-0.4
Let t be ((-2)/(-4))/((-5)/10)*-4. Suppose -t*l - 4 + 12 = 0. Let i be (0/l)/(-4)*-1. Is i at most 1/20?
True
Let o be 47/7 + -3 + 3. Let k = 307/28 - o. Let u = -67/4 + k. Is u smaller than -12?
True
Let x = -29844/917 + 34/131. Suppose -5*v = -42 + 202. Let o = x - v. Is 1 < o?
False
Let n(l) = -108*l + 108. Let r be n(1). Are r and -12/541 unequal?
True
Let y(z) = 4*z + 22. Let u be y(-5). Suppose -u*f - o - o + 1478 = 0, 4*f - 4*o = 2972. Let q = 95591/129 - f. Is -1 <= q?
True
Let c = -184.82 - -184.62. Is -34/11 < c?
True
Suppose 22*b = 2*r + 19*b - 13, b = 2*r - 3. Let q be (r + -4)*-1*10/(-25). Which is greater: 19 or q?
19
Let j be (2 - (-3)/(-3)) + -619. Let t(l) = -2*l**2 + 416*l + 2837. Let d be t(216). Is j > d?
True
Let r = 313 + 557. Which is bigger: 868 or r?
r
Let b(d) = d**3 + 16*d**2 - 36*d - 50. Let x be b(-18). Let a be 8/x - (-32)/208. Is a > 0?
False
Suppose -3*l + 2*w = -768, -5*l - 2*w + 1422 = 126. Let f = l - 259. Is 2/301 bigger than f?
True
Suppose 14*o = -o + 195. Let f(j) = -j**2 + 18*j - 76. Let u be f(o). Is -5 greater than or equal to u?
True
Suppose 0 = 2*c + 204 - 218. Suppose -6*m = 2*x - c*m + 8, 5*x + 5*m = -35. Are -84/19 and x non-equal?
True
Suppose 0*p - 118 = -p. Let c = -1489 + 1607. Is c smaller than p?
False
Suppose -54*v - 6492 = -48*v. Let c = 56267/52 + v. Are 1 and c non-equal?
True
Suppose 9*f - 36 = -27. Let s be 864/287 + (-6 - -3). Let z = 325/287 + s. Which is bigger: z or f?
z
Suppose 79*n = 6*n. Does -4722 = n?
False
Let m(c) = -c**2 - 15*c + 1. Suppose 5*l - 4*s = 39, -2*s - 26 + 3 = -3*l. Suppose l*q = 2*q - 75. Let k be m(q). Which is smaller: 4/13 or k?
4/13
Let o = 1195 - 968. Suppose 0 = -o*r + 237*r. Which is bigger: -12/71 or r?
r
Suppose 3*s - f - 1310 - 902 = 0, s = 5*f + 714. Which is smaller: s or 742?
s
Let r(o) = 185*o - 3802. Let v be r(21). Which is smaller: 43 or v?
43
Let o be (-7)/(-4) + -2 + (-957)/44. Let b = o - -26. Let x be (5/30 + 0)/((-1)/b). Which is bigger: x or -1?
x
Let s be (-17)/(-4) + 71157/12. Is 5934 at most as big as s?
True
Let u = 272205.2 - 272205. Let d = -10.14 + -0.76. Which is bigger: d or u?
u
Let a be 1*(-1 + -5) - (-17 + -22 + 39). Suppose 0 = -5*l - 2*i - 40, -3*l + 7*l + 2*i = -34. Let j be (2/l)/((-2)/a). Is j bigger than 2/7?
False
Let f be ((-15)/9 - -2)*21. Suppose f*z - 4 + 53 = 0. Is z bigger than -52/9?
False
Let b = 72 - 54. Suppose -b = 8*r - 210. Which is greater: 35 or r?
35
Let l = -2987/46410 + 11/182. Let f = 3821/1020 - l. Let c = 11 + -6. Is f at least as big as c?
False
Let n(a) be the first derivative of -a**4/4 - 13*a**3/3 - 5*a**2/2 - 5*a - 10. Let s be n(-4). Let k be (-4 - -5) + 1*s/141. Which is greater: 1 or k?
1
Let s = -3.38 + -0.52. Let l = s - -3.9. Suppose -14 = p + 1. Which is greater: p or l?
l
Let m = -237 + 313. Let t = -118 + m. Is t less than -41?
True
Let a be 2045/((2755/(-114))/(-29)). Are a and 2452 equal?
False
Let u = 11592 + -10115. Is u bigger than 1479?
False
Let k be (-3)/(-3) - (-7 - (-8 - -5)). Suppose -10 = -5*o - k*j - 0*j, -3*o + 27 = -4*j. Which is greater: o or 70/13?
70/13
Let v be (-5)/((-225)/12070) + 4/(-18). Let m = v - 1095/4. Suppose 6 = -3*h, -13 + 5 = 2*p - h. Which is smaller: p or m?
m
Let c be (2 - 6/4)*4/1. Suppose -c*s = -6*s + 48. Suppose -s*a = -9*a - 66. Which is smaller: a or 23?
a
Let c(a) = -2*a**2 - 18*a + 19. Let u be c(-10). Let v be (u/(-6))/(3/336). Which is smaller: v or 20?
v
Let q = -33 + 59. Let o = q + -28. Let j be o/(-10) + (-22)/35. Is j at most 0?
True
Let b = 166 + -107. Let v = 59.1 - b. Is -3.53 < v?
True
Let c = 83 + -298. Let d = c + 237. Are d and 41/2 non-equal?
True
Let z = -5737 - -5661. Do 8 and z have the same value?
False
Suppose 0 = -29*t - 10*t + 22 - 61. Is t less than -3/4069?
True
Let u = -406.8046 - -406.8. Which is smaller: -1/3 or u?
-1/3
Suppose -2*w + 24 = -8*w. Let b(q) = -q**2 + 3*q + 28. Let i be b(w). Which is bigger: -3/173 or i?
i
Suppose -3*h - 3*o = -123, 3*h + 69*o - 72*o = 159. Which is bigger: h or 21?
h
Let c = -143.99 + 147. Let t = c - 3. Let d be 2/(-9)*(7/1 - 4). Which is smaller: t or d?
d
Let d(q) = -q**3 + 102*q**2 - 14*q + 865. Let f be d(100). Is 19464 <= f?
True
Let v = -36.082 + 0.082. Let a = -36 - v. Let h = 74.89 - 3.89. Is a less than or equal to h?
True
Let u(z) = z**2 - 16*z - 91. Let x be u(-4). Let v be (7/4)/((-3)/24). Let q be 2/4 - (-133)/v. Do x and q have the same value?
False
Let f be 596/(1*2)*(-10)/(-20). Let y = 221 - f. Is -1 smaller than y?
True
Let c(l) = -l**2 - 10*l + 13. Let m be c(0). Suppose m*s + 370 = 3*s. Which is smaller: s or -145/4?
s
Let o(m) = 18*m - 8. Let z be o(6). Let f = z + -181. Let j be f/(-90) + (-2)/5. Are j and 1 equal?
False
Let l be (273/49)/1 + (-4)/7. Suppose -l*t = 0, 3*q + 32 = 5*q - t. Let y be 2/(-6) + (-46)/(-3). Which is smaller: q or y?
y
Let r = 48403465/163 + -296955. Which is bigger: -1/3 or r?
-1/3
Suppose 19*g = 308166 - 16839. Is 15333 > g?
False
Let s be (24/(-16))/(3/(-30)). Suppose -s = -4*u + 13. Let t = -63 + u. Is -55 smaller than t?
False
Let j = -54 + 61. Suppose -j*v - 4*v = -55. Suppose 2*k = -z + 9, -v*k + 0 = z - 30. Which is greater: k or 6?
k
Let a be (216/(-852))/(9/(-12)). Let v = -694/1633 + a. Let m be -4 - 6/(-3) - -1. Are v and m unequal?
True
Let q = 1503 + -1492. Is q greater than -40?
True
Suppose 3*l = 4*o + 27, 5*o + 9 = l + o. Let t be l/7 - 48/168. Are -0.562 and t nonequal?
True
Suppose 7*v = -147 + 42. Let y be 2 + (-10