be (-11 - 1)*(-9)/132. Which is bigger: s or k?
s
Let r = -1/16664 - 159857743/149976. Let w = 1061 + r. Let m(j) = -j**2 - 3*j - 2. Let v be m(-4). Are v and w unequal?
True
Suppose 28*m = 38*m. Are m and 1/2701 unequal?
True
Let o = -167 + 394. Suppose 0 = -i - 219 + o. Let l be 1 - (38/(-6) + -1). Is l equal to i?
False
Let v = 1 + -4. Let o = v - -4. Let z = -4231 + 38099/9. Are z and o equal?
False
Let y be 132/24 - ((-9)/(-6))/3. Suppose -161 - 73 = 2*u - y*f, -4*u - 492 = -4*f. Which is smaller: -130 or u?
-130
Suppose 14 + 6 = w - 5*v, -3*w = 3*v + 12. Suppose -4*b + 0*b + 36 = 4*x, -3*b + 19 = 5*x. Let r be b - 3 - 8 - (20 + w). Which is smaller: r or -19?
-19
Let p = -0.3501 - -0.7501. Is p equal to 3/619?
False
Suppose -5*n = -15*t + 18*t - 51, 39 = 3*n - t. Suppose 10*k = n - 2. Is 6/113 bigger than k?
False
Suppose -5*r + 28 = -4*v, 4 = -4*v + 2*v. Let w be 2/4*(r + -2). Let a be (-10)/18*(-30)/350. Which is smaller: a or w?
a
Let f = -173/286 + -7/22. Do -2 and f have the same value?
False
Let q = -82.76 - -3.76. Let n = q - -78.971. Is n at least as big as -1?
True
Suppose 0 = -3*o - 0*o + 63. Suppose 3*f - 3*d = -o, -2*f + 5*d - 15 + 4 = 0. Suppose h - 32 + 51 = a, 0 = -5*a + 65. Which is smaller: h or f?
f
Suppose -6*o - 12 = -5*o - 2*w, 2*o = -4*w + 8. Suppose -3 = c - 0. Let u be 0/(c - -1) - 76/o. Which is smaller: 21 or u?
u
Suppose t - m = 0, 5*t - 5*m = -2*m. Let c = 123459/13 - 9497. Is c not equal to t?
True
Let d = 42327 + -42346.049. Let u = d - -19.1. Let s be (4/(-6))/(10/6). Which is smaller: s or u?
s
Suppose -3*l + 2*q = 1600, -4*l - 4*q - 769 = 1391. Let h be (-10)/(-2) - l/(-40). Suppose -3*g - 35 = 5*a + 3, -g + 20 = -3*a. Is h greater than or equal to a?
False
Let p = 12039.01187 - 12039. Which is smaller: -1/3 or p?
-1/3
Let c = 3/1412 - 2121/1412. Let g = 6 - 5. Let f be 1 + g + 4/(-1). Which is greater: c or f?
c
Let w = 19513 - 12950. Is w < 6563?
False
Suppose 9*t - 8 = 13*t - m, 3*m - 9 = -3*t. Which is smaller: t or -1/2310?
t
Let s = 26 - -194. Let a be 4*1*-1 + 280/s. Let r = -15 + 11. Which is smaller: r or a?
r
Let t = 80/761 - 536482/5088807. Does t = 0?
False
Let i be 3/(-54) - -2259*24/(-3888). Which is smaller: i or 1.82?
i
Let p be ((-6378)/(-9))/((-20951)/(-21)). Let w = -28/41 + p. Which is smaller: w or -1?
-1
Suppose 2*b - 4*u - 4 = b, 3*b - 5*u - 26 = 0. Let v(m) be the second derivative of -m**3 + 69*m**2/2 - 15*m. Let j be v(b). Which is smaller: j or -22/13?
j
Suppose 5*s = -25 - 0, -3*r + 2*s - 314 = 0. Let n be -105 + ((-27)/(-6))/((-3)/4). Let o = n - r. Is 0.09 less than or equal to o?
False
Suppose 0 = 5*q + 300*j - 304*j - 21290, 5 = -j. Is q greater than -2/3?
True
Let n be (-1)/3 + 2/(-3). Let h(b) = -b**3 + b**2 + 8*b + 14. Let c be h(-3). Let o(p) = -p**2 + 20*p + 152. Let t be o(c). Is n at least as big as t?
True
Let g be (11/38)/((-12)/(-8) + 1). Which is smaller: 0 or g?
0
Let w = -0.2 + 0. Let j = 406.246 - 407. Let z = j - -11.754. Which is smaller: z or w?
w
Suppose 5*b - 190 = -14*b. Suppose -45 = b*c - 75. Are -118 and c non-equal?
True
Let b = 90 + -90.012. Let o = 4.012 + b. Let j = 0 + -4. Is j less than o?
True
Suppose 0 = v - 3*b + 468 - 1898, 5*b + 25 = 0. Is v < 1414?
False
Let a(i) = -1 + 2*i**2 + 27*i - 11*i - 3. Let p be a(-8). Let k(h) = h**3 + 6*h**2 + 6*h - 1. Let x be k(p). Is 10 < x?
False
Let n = -216017663/8840 + 317474/13. Let v = -15/136 - n. Which is smaller: v or 16?
v
Let c(b) = -3*b**2 - 12*b - 12. Let d be c(-6). Let s be ((-24)/(-3))/d - (-1602539)/9276510. Let j = 3/4145 - s. Which is bigger: j or -1?
j
Suppose -1239 = -9*s - 168. Let a be (-8)/20*(-10755)/36. Is s greater than a?
False
Let d = -24307 - -12356. Which is smaller: 2/3 or d?
d
Let a = 224.2 + -225.2. Is -11.74 > a?
False
Suppose -1995 = 4*y + 11*y. Let d = -662/5 - y. Does d = 2?
False
Suppose 20*n + 31*n + 24*n - 196725 = 0. Does n = 2623?
True
Suppose -4*m - 5*k + 26 = 0, 5*m + 0*k + k - 22 = 0. Suppose -h = 2*v - 8, m*v + 2*h - 14 = h. Which is smaller: v or 3/20?
3/20
Let w be (0 - 1)/(3/6). Let j be (-9)/9 + 849/18*w. Is -94 at most j?
False
Suppose -15*w + 21*w = -20*w - 18*w. Is w at least as big as 3.186?
False
Let u(x) = x**2 + 6*x - 10. Let b be u(-8). Suppose -3*t - 1837 = 5*r, 0 = 4*t - 6*r + 3*r + 2430. Let o = t + 1849/3. Which is smaller: o or b?
b
Suppose -20*b = -15*b - 5. Let f = -1835401/46 - -39900. Is f less than b?
True
Let b = -1 + 1. Suppose b = -4*h + 3*h - 236. Let s = h + 501/2. Is s <= 14?
False
Let z be ((-5)/(-3))/(((-360)/270)/(4/(-13))). Let m be (-18)/135 - 4/15. Which is greater: z or m?
z
Let k be (-13)/2*-18*1. Let v = -111478 + 111476. Which is smaller: v or k?
v
Suppose -4*y - 16 = -3*v - v, -4 = -v - 3*y. Suppose 0 = v*g - g + 78. Suppose 30*r - 29*r + 132 = -5*h, 3*h + 3*r + 84 = 0. Is g at least as big as h?
True
Let w = 4741.9 - 5013. Let a = -271 - w. Are a and -123 equal?
False
Let j be (2/(-4)*199)/((-56)/(-176)). Let t = j + 313. Is 0.32 greater than or equal to t?
True
Suppose 0 = 5*h + 8 - 3. Suppose -39*w = -13*w + 234. Let o be (-7)/(-28) + (1620/592)/w. Does h = o?
False
Suppose 27*k - 2 = 25*k + 4*z, 0 = 3*z. Let c = -8711/4040 - -91/40. Which is smaller: k or c?
c
Suppose 0 = -17*v + 82 + 258. Suppose 14*m + 324 = v*m. Which is smaller: m or 55?
m
Let b = -16802 - -16325. Let z(d) = -59*d - 5. Let o be z(8). Is o at most b?
True
Let t(n) = -32*n - 496. Let k be t(-16). Which is smaller: 9 or k?
9
Let j be (-6)/21 - 1014/(-21). Let k = j + -48. Let z be 96/(-100) + 1 + k. Which is greater: z or -1?
z
Let l = 28267 - 35059. Is -6792 bigger than l?
False
Suppose 22*t = -3972 - 3723 + 1579. Which is smaller: -285 or t?
-285
Let m = 57.6 - 35.7. Let z = 22 - m. Let q be 48/27 - 10/25*5. Which is bigger: z or q?
z
Suppose -4*c - 5*g - 54 = 0, -2*c - 235*g - 22 = -233*g. Let p = 2887/25 + -115. Which is smaller: c or p?
c
Let f = -6170.98 - -6171. Does 1/6 = f?
False
Let x(u) be the first derivative of -u**3/3 + 13*u**2/2 - 31*u - 8. Let h be x(9). Suppose -2*c = -h*f - 11, -2*f = -7*f + c - 8. Which is smaller: f or -3/11?
f
Suppose 0 = -3*m + 114*m - 473748. Which is smaller: m or 4269?
m
Suppose 561 = -55*s + 10*s + 28*s. Is -670/21 <= s?
False
Let t be (-1)/(-52)*(-8615)/10. Let j = 135/8 + t. Suppose -i + u + 1 = 0, -i + 3*u = 7*u + 4. Which is bigger: j or i?
j
Suppose -2*h = -4*r - 7556, -231*h = -234*h. Is r greater than or equal to -1889?
True
Let p = -172 - -177. Suppose -4*w = -12 - 8. Suppose p = -m - w*c, -4*m + 2*c + 3 = -c. Is m <= -4/43?
False
Suppose 4*g + 109 = -5*x, -3*x - 2*g - 97 = -32. Suppose -2*u - 22 = 4*b, -71*u + 73*u + b = -34. Do x and u have the same value?
False
Let g = -498/683 + 9415667/8196. Let h = -1149 + g. Let n = h - -1/4. Are 0.9 and n unequal?
True
Let n = -4.095 + 0.095. Let h = -6.6 - -0.6. Let c = h - n. Is c bigger than 0.11?
False
Let c = 5179/7 + -5181/7. Which is bigger: 761 or c?
761
Let s = 307 - 53. Let b = 253 - s. Which is smaller: b or -5/6?
b
Let k = -240 - -210. Let j be 9/(54/12) + k/3. Is j < -5?
True
Let c = 157/267 - -7/89. Which is smaller: c or -738?
-738
Let c = 210 - 225. Let p be ((-4)/(-126))/(c/(-14)). Is -1 > p?
False
Let u = -912 + 899. Let m(c) = -c**3 - 12*c**2 + 12*c + 6. Let p be m(u). Let g(v) = 4*v**2 + 1. Let s be g(-2). Which is smaller: s or p?
s
Let n(r) = 8*r - 2 - 23*r - 21*r + 12. Let h be n(2). Let j = -61 - h. Is -5/22 < j?
True
Suppose 0*m + 3*m + c - 13 = 0, -25 = -5*m - c. Suppose -3*l - 215 = -193*l + 4345. Which is smaller: m or l?
m
Suppose 3*i + 78 = -23*i. Let n(f) = 12*f + 35. Let w be n(i). Which is greater: w or -1.43?
w
Suppose -5*n = 3*i - 204 - 200, -3*n + 240 = i. Suppose 15*y = 3*y + 948. Is n < y?
False
Let i be (6/(-12)*4/8)/(10/40). Is i less than -2/45?
True
Let r = 28914 - 38311052/1325. Let z be (-3 - 1) + (4 - -1). Which is greater: r or z?
z
Suppose 3*b = -b - 260. Let l = -62 - b. Suppose t = -y - 1, -2*t = -0*y - 3*y - l. Is y at least -2/71?
False
Let u(i) = 2*i - 4. Let b be u(3). Suppose -60 = b*h + 2*h. Let y be (-11)/1 + 189/(-9) + 17. Is h greater than y?
False
Suppose -43*a - 42 = -40*a. Let j = a + 17. Let u be ((-32)/(-6))/8*j*2. Is 4 less than or equal to u?
True
Let y be (15/20)/((-39)/(-1612)). Suppose y*h 