r(w) = 3*w**2 - 334*w + 1994. Let o be r(105). Suppose -5*n - 520 = -0*n. Which is smaller: n or o?
n
Suppose 20 = 2*v - 4*k, 2*v - 5*k - 21 + 4 = 0. Suppose v*n = 7*n + 810. Let l = 96 - n. Is -2 < l?
True
Let b(m) = -m**2 + 3*m. Let c be b(3). Let n(t) = t**2 + 19*t + 12. Let z be n(-13). Let v be (-2)/(-8)*8/z. Which is smaller: v or c?
v
Let y be (48/(-14))/(5/(-35)). Let f(w) = 12*w + w**3 + y*w + 70 - 13*w - 13*w**2 - 79. Let v be f(11). Is v >= 0.1?
True
Let a(u) = u**2 + 6*u - 10. Let z be a(0). Let d(f) = -4*f - 40. Let v be d(z). Let s be 2/(-3) - (-43)/69. Which is greater: v or s?
v
Let c = -197.9 - -198. Let g = 13279 - 66117/5. Let x = -56 + g. Which is greater: c or x?
c
Let h be (8/(0 - 2) - -3)*0. Let y be ((-413)/(-25))/(-7) - (-5)/(-10)*-4. Is h bigger than y?
True
Let s = 3134483339 + -397107694220339/126690. Let x = 1/4468 - 7217/2301020. Let m = x - s. Does m = 1?
False
Let f = -1368/13 - -6268/65. Let k be (-3)/30*22582/259. Let q = k - f. Is -1 != q?
True
Let o = -1328 - -1341.98. Let l = o + -13.6. Which is greater: -4 or l?
l
Let i = 14 - 10. Let w(t) = -44*t + 30. Let f be w(i). Is -145 at least f?
True
Suppose -58*t + 793 = -5645. Do 107 and t have the same value?
False
Let i = -24 + 44. Let t be (5/(15/84))/2. Suppose t*l + 19 = 15*l. Which is smaller: i or l?
l
Let k(q) = -q**3 + 7*q + 6. Let t(o) = -2*o**3 + 13*o + 11. Let h(g) = 11*k(g) - 6*t(g). Let a be h(-1). Suppose 0*s - 6*s = 48. Is s >= a?
False
Let q = 89 + -43. Let p = 999.33 + -1045.3. Let u = q + p. Are 3 and u nonequal?
True
Let w be -19 - -2 - 11668/(-676). Is -1 greater than w?
False
Suppose 18*c - 2240 = o + 23*c, -5*o - 11076 = -6*c. Which is smaller: o or -8875/4?
o
Let p be (-191)/(-1) + 1 + (16 - 19). Suppose 0 = 187*v - p*v + 8. Suppose -2*g = -4*w - 14, -v*w - 29 = 6*g - 3*g. Do w and -39/7 have different values?
True
Let l = 31/208119 - 22373527/82553870. Let a = l - -1/238. Let s be (-12)/(-54) - 14/(-18). Which is bigger: s or a?
s
Let k = 272522 - 102195823/375. Let u = -2/375 + k. Which is bigger: 0.2 or u?
0.2
Let l be (-85)/(-136)*-2 + (-443)/4. Which is smaller: l or -111?
l
Let i(y) = 6*y - 14. Let j be i(5). Let n be (48/9)/(8/276). Let u = n + -166. Are u and j unequal?
True
Let j = -391 + 399.57. Let a = 5.529 - j. Let o = 0.041 + a. Which is bigger: o or 1/2?
1/2
Let u = 760264807/6533 + -116373. Is -1 greater than or equal to u?
False
Suppose 0 = 6*g + 2 - 32. Suppose -46 = -5*l - 5*h + 29, g*h = 3*l - 69. Which is smaller: 20 or l?
l
Let g be 135 - (-45 + 54 + -2 + -4). Which is bigger: 1321/10 or g?
1321/10
Let u = -46.4 - -45.4. Is u not equal to 0.065?
True
Let b(a) = -51*a + 1367. Let z be b(24). Which is smaller: z or -1?
-1
Suppose -o + 2 - 7 = 0. Let t = -32 - -31. Let g = -8 - t. Which is smaller: g or o?
g
Let l(q) = -9*q**2 - 166*q - 8. Let t be l(-19). Suppose u + 39 = -65. Does t = u?
False
Suppose 5*b - 39*a + 34*a - 1515 = 0, b - 303 = -4*a. Are 310 and b unequal?
True
Let h = -231 - -107. Let r be (-4)/14 + (-26)/7 - h. Is 119 smaller than r?
True
Let q = 285.73 - 282. Let d = 4.27 - q. Which is smaller: d or -2/7?
-2/7
Let s = 2563 + -1015. Let o = 15387/10 - s. Let c = 44/5 + o. Which is greater: c or 0.3?
0.3
Let l(k) = k**3 + 6*k**2 - 2*k - 9. Let x(a) = -2*a - 6. Let v be x(0). Let p be l(v). Let f(u) = u**2 - 4*u + 6. Let q be f(p). Which is smaller: 2 or q?
2
Let w(v) = 13*v + 1922. Let x be w(-148). Is 1529 equal to x?
False
Let y(z) = -16*z + 68. Let d be y(2). Let l be (-39)/(-15) + -2 + d/(-10). Is l < -15?
False
Let f(p) = -15*p + 8. Let u be f(-7). Let t = u - 73. Let n be (2*4/t)/((-1)/11). Is 1 >= n?
True
Let o(y) = -907*y**2 - 238*y - 236. Let h be o(-1). Which is smaller: -915 or h?
-915
Suppose 4*i = 4*h - 64, -45 + 25 = 4*i. Suppose 3*j - h = -3*m - 8, 5*j - 8 = -2*m. Which is greater: 12.8 or j?
12.8
Let d = 2532.757 + -2532.5. Is d greater than 6?
False
Let s = 1.835 + 232.165. Is -15 <= s?
True
Suppose t - 4 = 0, -30*z + 2*t = -25*z - 12. Is z < 66?
True
Suppose -3*a = 19*a - 528. Suppose a*t - 1770 = 14*t. Is 177 > t?
False
Let s = -2760/11 - -47019/187. Is s >= 0.067?
True
Let y = -117.5576 + -0.4424. Let s = 132 + -249. Let a = s - y. Which is smaller: 9/7 or a?
a
Let o(u) = u + 24. Let d be o(-11). Let r be (d + -7)*((-1)/2 - 0). Let z be r/18 + 2/4. Is z at least as big as -15?
True
Let i be (2/519)/(20/75*-12). Is i greater than 0?
False
Let d(s) = 2*s**3 + 35*s**2 - 47*s + 102. Let o be d(-17). Which is smaller: o or 1192?
o
Suppose -s + 34 = 2*w, -23*w + 2*s = -15*w - 124. Let j(t) = 2 - 4*t + 4*t + 4*t. Let u be j(3). Is u < w?
True
Suppose -5 - 9 = 2*d. Suppose 5*v + l = 34, l + 2*l = 12. Let r(c) = c**3 - 4*c**2 - 16*c + 15. Let i be r(v). Is d at most i?
False
Let f = -10833 - -10898. Which is smaller: f or 0.32?
0.32
Let i = 109 - 92. Suppose -i*b - 696 = 290. Is -57 greater than or equal to b?
True
Let j be (3 - 0)*(-6)/18. Let d = 60 + -68. Let x be ((-40)/15 - d/(-6))/(-314). Do j and x have the same value?
False
Let h = -2.876 + 2.976. Let u be 8 + -8 - (-29)/6. Is u at least h?
True
Let z be (-20 - (-10274)/66)/(10/(-9) - -1). Which is greater: z or -1222?
z
Let y be 9*(-279)/(-81) + 12. Is 35 bigger than y?
False
Let s = 192 + -105. Let m be (-8)/52 - s/(-650). Is -1 greater than or equal to m?
False
Suppose -j = -27*j - 2964. Let w be (-3 - (-78)/18)*j/(-16). Which is smaller: 11 or w?
w
Let r = 1/51 + -2197/204. Let z = -313/28 - r. Which is bigger: -0.1 or z?
-0.1
Let r = -317 + 311.864. Let q = r - -0.136. Do q and 0.22 have different values?
True
Let f be (1 - 0)*4/(-150). Let w = -21 - -28. Suppose -w*y = 28 - 35. Does y = f?
False
Suppose 10*d - 22211 = -22211. Are -1/14035 and d equal?
False
Let a be (-12 - -54) + (-4)/2. Suppose 10 = -2*b, 3*v + 6 = -4*b + a. Let q be v/(4 + -3 + -3). Which is smaller: -7 or q?
q
Suppose 4*b + 30 = -y, 2*b - 1 = y + 17. Let p be (1298/(-295))/((-5)/(29 - 4)*-1). Is y less than p?
False
Let l be -2*4/24 + (-8)/((-96)/21580). Which is smaller: 1797 or l?
1797
Let b = -471383.02 + 471382. Let w(h) = h + 3. Let z be w(-6). Which is bigger: z or b?
b
Let k = -1/1814 - -3635/12698. Is k less than -0.423?
False
Suppose -3 - 3 = r + g, -5*r + 2*g - 23 = 0. Let t(v) = v**3 + 12*v**2 - 8. Let x be t(-12). Let b be x - -4*(-5)/(-20). Which is smaller: r or b?
b
Let c = -2/291 - 1131/97. Which is bigger: -13 or c?
c
Suppose -4*l + 3*f - 7 = 0, -2*l + 5*l - 26 = -4*f. Let t = -97 - -101. Which is smaller: t or l?
l
Let a be (-33 + 29)*((-2 - -947) + 1). Is a <= -3784?
True
Let m = -5 + 10. Suppose 2*u + 2 = m*o + 10, -5*u - 3 = -o. Are 2/307 and u equal?
False
Let v be (-2 - -5)*(-6)/9. Let q be 3/(-2)*v/57. Suppose 5*t - 18 = f, 2*t - 7*f - 36 = -3*f. Which is bigger: t or q?
t
Let o be -3 - (4 - (5 + 6/2)). Let x be (-108)/(-8) - (-2)/4. Let c = 69/5 - x. Is o smaller than c?
False
Suppose -9 = -4*h + 3*r - 5, -r - 4 = 0. Let o(l) = 32*l - 15. Let b be o(h). Which is bigger: b or -402/5?
b
Let c = 15900 - 23700. Is -7799 less than c?
False
Suppose -3*h + g - 9206 = 0, -75*h - 3*g = -72*h + 9186. Are 1 and h nonequal?
True
Let b be (3 + (-14)/4)*0. Suppose 17*d - 21*d - 20 = b. Let t be 3/(-12)*0 - d. Which is greater: t or 4?
t
Let n be (-2)/((-15)/(-40) - (-13)/8). Let s be (-25)/(-3) - ((-4)/12)/n. Let u(o) = -o**3 - 6*o**2 - 2*o - 2. Let j be u(-6). Which is smaller: s or j?
s
Suppose -5*d - d = -144. Suppose w + 1 = -2*n, 3*n + 2*w - 5*w = -d. Is n < -2?
True
Suppose 2*v = -q + v + 115, -5*q = -2*v - 596. Let p(o) = -o**2 + 60*o - 892. Let k be p(32). Suppose k = 2*t + q. Which is smaller: -58 or t?
-58
Let b = -4.85 - -4.8101. Let k = b - -0.1399. Which is smaller: k or -5/18?
-5/18
Let b = 0.036 + -9.036. Let s = b + 7. Let z = 211/6 + -35. Which is greater: s or z?
z
Let h = -31539.4 + 31679. Are h and -13 unequal?
True
Suppose -6*t - 97 = -85. Let a(d) = 10*d + 16. Let v be a(t). Which is greater: v or -11?
v
Let i = -34 - -33. Let l be (90/(-90))/(i/(-2 - -1)). Which is smaller: l or -11?
-11
Let p = -22 + 2. Let o be 4/(8 - 4) + 28/p. Are o and -38 equal?
False
Let k be 107096/(-231) + 10 - (-4)/3. Is -451 greater than k?
True
Let v be (-11891)/(-330)*(-15)/(-18). Let b = v + -286/9. Let i be (-2)/(-5) - 9/15. Which is smalle