3 + 31*v**2 - 5*v**3 + 9*v + 3. Let k be a(-6). Which is smaller: k or 22?
k
Let j be -1 + (-25)/22 + 2. Let n = 79/209 + -3/209. Let k = n - j. Is k > -1/2?
True
Let s(j) = j - 10. Let o be s(9). Suppose 0*z = -2*z + 4. Suppose z = -5*y + 4*y. Is y bigger than o?
False
Suppose 3*o - 9 = -3. Suppose 86 = -o*a + 3*d + 29, 4*a + 93 = -d. Which is bigger: -25 or a?
a
Let t = 124 - 43. Let z = t - 80. Which is smaller: -1/69 or z?
-1/69
Let w be (3 + 0)/(143/(-65)). Is -9 at least w?
False
Suppose -5*m - 3*k - 111 = 0, 3*k + 41 = -3*m - 22. Let c be (2/12)/(6/m). Suppose 5*i - 3*z = -2*z + 68, 34 = 3*i - 4*z. Which is greater: i or c?
i
Let m = -676 - -620. Let h(t) = t**3 - 13*t**2 - 18*t + 1. Let l be h(14). Is l at least m?
True
Suppose -12*a + 13*a = 0. Let t be 3 + (a - (-12)/(-3)). Let r be 4 + t + -2 + 4. Do 5 and r have the same value?
True
Let s = 105 - 95. Suppose -4*x = -s*x + 6. Which is smaller: x or 0?
0
Suppose 0 = -4*z + 8, -3*y = -0*z - 2*z - 38. Is 5/3 greater than or equal to y?
False
Suppose h = -0*h. Let v = 1/3 + h. Let a be 1 - (-25)/(-10) - -3. Is v less than or equal to a?
True
Suppose -4*d + 0*d = 2*w - 202, 15 = 5*w. Is d >= 46?
True
Let t be (11/(-3) + 3)/(300/(-36)). Let a = -0.1 - 0.9. Let u = -1 + a. Which is smaller: t or u?
u
Let k = -1526 + 1531. Which is greater: k or 0.311?
k
Let f = 0.05 + -6.05. Let y(j) = 10*j + 7. Let h be y(-3). Let r = 93/4 + h. Is f bigger than r?
False
Let q = -105 + 104.5. Let i = -6 - -4. Let g = i + 1. Which is smaller: q or g?
g
Let h = -39 - -130. Is h not equal to 90?
True
Let v = -1809/5 - -364. Let l = v - 38/15. Which is smaller: l or -0.3?
l
Let q(s) = s**3 - 3*s**2 - 8*s + 1. Let i be q(6). Suppose -4*o + 228 = 4*h, -5*h - 9*o + 6*o = -293. Is h > i?
False
Let r be (-1)/(-3) + 4*11/(-264). Which is bigger: -1/2 or r?
r
Suppose 0*l = 5*l - 20. Let h = 53 + l. Let r = h - 40. Is 18 greater than r?
True
Suppose -27*w - w + 28 = 0. Is 9/34 at most as big as w?
True
Let t be 1/(-2) + 55743/111282. Which is greater: 0 or t?
t
Let f = -2 + -1. Let i be (-6)/(1*33/(-55)). Is i at most f?
False
Let q(u) = -u - 14. Let s be q(-13). Let r = s + 12. Let z = r - 11. Which is greater: 6/5 or z?
6/5
Suppose 5*c = -4*w + 1, 4*w - 3*w + 11 = -5*c. Suppose b + 0*b - w = 0. Let u be b/14 - (-161)/(-49). Is 0 less than u?
False
Let z be (-18984)/132 + 2/(-11). Which is smaller: -147 or z?
-147
Suppose 5*a + 7 = 2*q, -5*a + 5*q = 2*q + 8. Is 2/331 at most as big as a?
False
Let o(x) = x - 4. Let w be o(8). Suppose -w*i = -7*i + 27. Is 8 >= i?
False
Suppose 795 = -5*j + 10*j + t, -8*t = -5*j + 840. Which is smaller: j or 159?
159
Let l(o) = -o**2 + 9*o - 36. Let p be l(4). Which is smaller: -10 or p?
p
Let c = 182 + -151. Does c = 32?
False
Let q = 7 + 2. Suppose 3*y = 5*y + 2*i - 6, 5*i - 9 = -3*y. Suppose -3 - 15 = -y*f. Which is smaller: f or q?
f
Let p be (-42)/12*-4*14/4. Is 20 at most p?
True
Let n = 114.8 - 115. Let o = 365/7 + -374/7. Is o smaller than n?
True
Let i be (-899)/(-45) + -1 + (-6)/(-27). Does 18 = i?
False
Let q = 36 + -16. Let w = q + -32. Let d be (w/16)/(54/(-32)). Which is smaller: 0 or d?
0
Let a = 52 - 32. Suppose -2*i - 5*y = -5*i, 11 = -i - 2*y. Let w be 17/a + i/20. Do 3/5 and w have the same value?
True
Let z = 14293912/37 + -386370. Let j = -142641/2849 - z. Let y = j + 16/7. Is 0 equal to y?
False
Let n = -37 + 61. Let t = 23.87 - n. Let o = -0.02 + -1.98. Which is smaller: o or t?
o
Let m(d) = 2*d**2 + d + 2. Let f be m(-2). Suppose -2*h = -f + 2. Let t be 2/10 - h/15. Which is smaller: 1/4 or t?
t
Let b(f) = -101*f - 96. Let l be b(-1). Let m = -7 + 1. Let p = -2 - m. Is l at most p?
False
Let f be 5 - -3*6/(-9). Suppose 8*p = 5*p - f. Let s be (0 + -3)*((-1)/69)/(-1). Does s = p?
False
Suppose -8*r + 20 = -3*n - 4*r, -2*n - r + 5 = 0. Suppose -q - 1 - 5 = n. Is -6 >= q?
True
Let c be (0/(-6))/(2 + -1). Let o be (-173288)/(-228)*1 + c. Let l = o + -760. Which is greater: l or 0?
l
Suppose 0 = 4*u + t + t - 46, -2*u = -5*t - 41. Suppose 14*g - u*g + 31 = 0. Which is smaller: g or -1?
g
Suppose -15 = -5*g - 5*x, 4*x = 2*g + 3*x - 18. Let z(c) = 5*c - 23. Let i be z(g). Are i and 12 equal?
True
Suppose 3*i - 5*x = 25, i = -4*x + 5*x + 5. Suppose -1 = -3*s + 5. Suppose 2*f - 3*f + 3*m = -6, -s*m = -4*f + 4. Is f smaller than i?
False
Let d(q) = 22 + 0*q**2 + 12*q + 3*q**2 - 4*q**2 + 6*q. Let o be d(18). Let t = o - 45/2. Which is greater: t or 2.3?
2.3
Let z(v) = -2*v**3 + v**2 + 4*v - 5. Let w be z(2). Let u = -329 + 319. Is w equal to u?
False
Let z(s) = -s**3 + 6*s**2 - 7*s + 5. Let j be z(4). Let c = j - 10. Let i be -2 + c - (-172)/52. Which is bigger: i or 1?
1
Let l = 4435/12 + -369. Is l equal to 2/7?
False
Let j = -8 - -11. Let w(v) = v**3 - 2*v**2 - 2*v. Let h be w(j). Suppose 2*f - h*f - 8 = 0. Which is bigger: f or -0.1?
-0.1
Let y(j) = j - 3. Let a be y(0). Let n = 14.3 + 4.7. Let l = n + -18. Which is bigger: l or a?
l
Let a(f) = -f**3 - 6*f**2 - 4*f + 6. Suppose -2*m - 14 = 2*z, -10 = 2*z + 3*z. Let w be a(m). Which is smaller: 1/92 or w?
1/92
Suppose 3*i + z - 6*z = 484, -5*i + 2*z + 832 = 0. Which is greater: 0.1 or i?
i
Let y be 4/10 - (-3)/5. Suppose -2*f = t + 15, y = -2*t + 5*f - 2. Let i be (-76)/(-48) + (-6)/t. Is 2 less than i?
True
Let u = 3137/4095 - -1/315. Is -1 less than u?
True
Let q = -355 - -499. Which is bigger: 143 or q?
q
Let n be (-1123)/(-15) - 48/(-360). Which is bigger: n or 73?
n
Let c = -1.91 + -1.91. Let y = c + 3.8. Let u = 0.12 + y. Is 12 > u?
True
Let f = -92 + 91.85. Which is bigger: f or -0.1?
-0.1
Let q be ((-1)/(-28))/((102/1896)/17). Which is smaller: 12 or q?
q
Let f be (-35725)/(-175) + ((-8)/(-14))/(-4). Which is smaller: -2 or f?
-2
Suppose 0*u - u - 3*j = 21, -3*u - 2*j = 42. Is u at most as big as -10?
True
Let p(j) = -3*j + 25. Let v be p(6). Suppose 8*m - v*m - 17 = 0. Do m and 17 have the same value?
True
Let a be (1 - 140/6)/(5/(-45)). Which is bigger: 200 or a?
a
Let z(u) = 13*u + 23. Let s be z(-4). Which is bigger: -0.07 or s?
-0.07
Let z be 1400/(-448) - 1/(-8). Is z greater than -2?
False
Let h(v) = 12*v + 75. Let t(l) = 6*l + 37. Let j(u) = 6*h(u) - 11*t(u). Let w be j(-9). Is -11 bigger than w?
False
Let p(r) = -10*r - 1. Let y = -8 + 7. Let s be p(y). Suppose -5*b = -s + 54. Which is smaller: -10 or b?
-10
Let w = -660 + 661. Is 2/255 at most w?
True
Let n = -0.05 - -6.05. Let k = 16.5 - n. Let y = -1.5 + k. Is y smaller than 0?
False
Let b(i) = 316*i - 5 + 0 - 3 + 10. Let s be b(-2). Let m be 40/s - (-2)/(-9). Which is smaller: -0.5 or m?
-0.5
Let z(l) = l. Let c be z(9). Suppose -c*k = -5*k - 188. Suppose 4*h - k = 3*a, 3*a = -5*h + 4*a + 45. Is h >= 9?
False
Let u(t) = -t**2 + 8*t + 14. Let g be u(9). Suppose h + 2 = g*y, -4*h - y = -5*y + 72. Are -22 and h non-equal?
False
Suppose s = g + 15 + 6, 5*s = -3*g - 31. Suppose 53*r - 54*r = -24. Let m = r + g. Is m less than 8?
True
Let j(o) = -o**2 + 4*o - 3. Let n be j(3). Suppose g + g = n. Let z be -2 + (-144)/28 - (6 + -12). Which is smaller: z or g?
z
Let w(c) be the third derivative of 7*c**4/24 - 28*c**3/3 - 26*c**2. Let j be w(6). Is j bigger than -12?
False
Let i = -40.4 + 40. Let k = 3.4 + i. Are 1 and k equal?
False
Suppose -4*v + 3*r - 4 = -1, -3*v = 5*r + 24. Let n be -6 + 5 + v/(-4). Let h be 7/(70/(-4))*-5. Which is smaller: n or h?
n
Let s be (-46)/(-36) + (-9)/(-18). Let p = -119/72 + s. Which is greater: 2 or p?
2
Let b = 20.2 + -20.3. Which is smaller: -233 or b?
-233
Let q = -136168/55 - -2476. Is q smaller than 1?
True
Let u = 0 - -5. Let h be (2*u)/((-14)/21). Let a = 12 + h. Is -2 > a?
True
Let w = 7.5 + 60.4. Let j = 69 - w. Let u = -4 - -5. Which is greater: u or j?
j
Let r = -116.1 + 116. Which is smaller: r or 26?
r
Let b(t) = -3*t - 30. Let z be b(-10). Suppose -n + z = 7. Are 0 and n non-equal?
True
Let d be ((-50)/(-5))/(-5)*-5. Let z be (-26)/d + (-10)/25. Is z != -2/3?
True
Suppose -3*t + 0 = 4*q - 14, 0 = t - 2. Let g = -27 - -25. Is g >= q?
False
Let k = 32 - 31.9. Let b = 26 + -22. Is k < b?
True
Let m = -3692 - -3694. Let f(g) = -g + 2. Let z be f(-2). Does z = m?
False
Let o be (-2 + 2)/(0 + -1). Let g = 2 + o. Is -6 less than g?
True
Suppose -2 = m + 7. Let r(j) = j + 13. Let s be r(m). Let q be (-295)/340 + 3