v) = 3*v + 3. Let u(i) = -7*d(i) + 4*t(i). Let f be u(1). Suppose -f*x + 5*r = 3*x - 40, 2 = x - 4*r. Is 12 not equal to x?
True
Let o be 30/(-75) + (-1 - (-21043)/(-20205)). Let r = 4/1347 - o. Which is smaller: r or 3?
r
Let r be -13 + 12 + 142/68. Let n = -7/17 - r. Let g = n + 1. Does 0.2 = g?
False
Let a = 4.5 - 35.5. Let b = 29.9 - -0.1. Let u = b + a. Is 1/6 < u?
False
Let o(m) = -2*m**3 - 58*m**2 - 53*m - 2. Let p be o(-28). Is -85 at most p?
False
Let q be (5 - (-716)/(-112)) + 2/8. Suppose 9 = 7*i + 23. Which is bigger: q or i?
q
Let f(x) = 3*x - 10. Let u be f(5). Suppose -3*c + 17 = 4*w, 4*c - 1 - u = 3*w. Suppose 0 = 4*a - c*a. Which is smaller: a or -4/15?
-4/15
Let g be 19 - (2 - (-3 + 4)). Suppose 8*w = 132 + 20. Which is bigger: w or g?
w
Suppose 6*t + 140 = 10*t. Suppose -5*j = -t - 0. Let q be 3/(-1) - -2 - j. Is q smaller than -8?
False
Suppose 0 = 1111*l - 1119*l + 1272. Do l and 160 have different values?
True
Suppose -4*y - b = -2*b + 14, -4*b = -2*y. Let o be -30*8/(-12)*(-2)/(-2). Suppose -5*j + 5*z - o = 4*z, -z = -j. Is j <= y?
True
Let c = -52/63 + 10/9. Let y = -16.78 + -0.22. Let m = y - -13. Which is smaller: m or c?
m
Suppose -6 = 2*v, -2*v + 1650 = 3*t - 237. Which is smaller: t or 1/3?
1/3
Let g = 16 - 12. Let d = -1.38 + -0.02. Let t = d + 1.3. Is t not equal to g?
True
Suppose -w = 5*h - 2*w + 11, 19 = -5*h - w. Let t(g) = -7*g**2 + 2*g + 4. Let m be t(-1). Which is smaller: m or h?
m
Let s be 4742/546 - (-3 - -7). Let j = 64/13 - s. Which is smaller: j or 1?
j
Let d be 76/18 - (-18)/(-81). Let b(h) be the second derivative of h**4/12 - 5*h**3/6 + 3*h**2 - h. Let u be b(d). Is u greater than or equal to 6?
False
Let d be 4/(-4) + -2 - -27. Suppose 2*u = k - 14, -5*k + 6 + d = -2*u. Let j be u/(-10)*44/(-2). Is j > -10?
False
Let q = 36/25 + -251/25. Which is smaller: q or -10?
-10
Let f = 448 - 431.08. Let k = f + 0.08. Let l = k + -12. Which is smaller: l or 0?
0
Let x = 327 + -2607/8. Let q = -123/88 + x. Which is smaller: -1 or q?
-1
Let l(f) = 103*f + 94. Let y be l(4). Is y bigger than 505?
True
Let z = 21.7 - 27.86. Let o = z - -6. Let s = 0.36 + o. Which is bigger: s or 1/6?
s
Let q be 0/(3/((-6)/(-4))). Let j be (-38)/(-36) - (-3 + 4). Let x = j - 131/90. Is q at most as big as x?
False
Suppose -5*q + 3*p = 75, -5*p = 5*q - 4*p + 55. Let n be (-1)/(4*5/280). Which is bigger: n or q?
q
Let a = -3 - -2. Suppose -2*f - d + 2*d + 2 = 0, -f = 2*d - 6. Let i be f/(-4) - 9/42. Which is smaller: a or i?
a
Let q = 1311 + -1358. Is q <= -326/7?
True
Suppose 2*c - 6 = 5*i + 2, -2*i = 0. Suppose 0 = -0*q + 4*q - c. Let p = -1/24 - 65/168. Is q smaller than p?
False
Suppose 3*f - 47 = 4*r, -2*f + 4 + 22 = -2*r. Let g(s) = -2*s - 17. Let d be g(r). Which is smaller: 8/37 or d?
d
Let j(v) = v**2 + 4*v. Let l be j(-3). Suppose -g - 2*a = -58 + 6, -186 = -4*g + 3*a. Let d be g/(-20)*(-12)/(-16). Are d and l equal?
False
Let a = -0.36 - -0.399. Let q = a + -0.039. Which is bigger: q or -0.09?
q
Let d(b) = -12*b + 7*b - 2 + 4 + 6*b. Let g be d(-3). Which is smaller: g or 2/17?
g
Let d be 9/45 + 533/(-40). Are -13 and d equal?
False
Suppose 5*g + 2*m = g - 2702, -2*m + 2044 = -3*g. Let z be g*2/(-20) - (-2)/10. Is z at least as big as 69?
False
Let a = -51 + 57. Let j = 9.8 - 0.8. Let u = j - a. Which is smaller: 0 or u?
0
Let f = 0.11 + 0.09. Let g(y) be the third derivative of y**5/60 + 5*y**4/12 + y**3/2 - 5*y**2. Let v be g(-10). Which is smaller: v or f?
f
Let g = 506 + -434. Which is smaller: 65 or g?
65
Let i = -1375.9 + 1376. Is 815 smaller than i?
False
Let c = -76/3 + 20. Which is smaller: c or 1/3?
c
Suppose 3 = -6*s + 15. Let f be (-1)/((-1 + s)/11). Is f less than or equal to -11?
True
Suppose -4*j - 3*u = -3*j - 4, -3*u - 20 = -5*j. Let c be 42/j*2/14. Which is greater: 2 or c?
2
Let q be (-3)/6*-4*(-3)/6. Let s = 2/7 + -12/91. Is q at most s?
True
Let k = 172 - 149. Which is bigger: k or 0?
k
Let n = 5.204 + -0.204. Which is smaller: -8/9 or n?
-8/9
Let t be 1513/714 + 1/6 + -3. Do t and -2 have the same value?
False
Let r = 268/9 - 1073/36. Let o = r + 29/180. Is -1 greater than or equal to o?
False
Let n(l) be the first derivative of -l**2 - 20*l - 2. Let m be n(-16). Is 13 != m?
True
Suppose 0 = 3*m - 7*m - 24. Let p be 2/m + (-35)/(-6). Let z be (-6)/594*-22 + 4/(-18). Which is smaller: z or p?
z
Let n = 0.18 - 0.3. Let w = -33.4 + 33. Let q = w - n. Is q > 2/3?
False
Let q be (-2 + (2 - -1))/((-3)/183). Is -0.1 at least q?
True
Let p(s) = 27*s + 4 - 28*s + 8 - 4. Let r be p(7). Which is bigger: 4/51 or r?
r
Let n = -0.2332 + 5.3282. Let d = n - 0.095. Is d at most -3?
False
Let t = -14/517 + 15077/3102. Suppose -2*h + 0 = i - 15, 0 = -2*i - h + 15. Which is smaller: t or i?
t
Let r = -13 - -7. Let a be 183/(-965) + 5/(19 - r). Is -1 equal to a?
False
Let z(j) be the third derivative of j**5/30 + j**4/12 - j**3/3 + j**2. Let v be z(3). Let q = v + -70/3. Which is bigger: q or 0?
0
Let r = -29 - -25.85. Let g = 4.8 + -8. Let a = r - g. Which is smaller: a or -0.1?
-0.1
Suppose -12 = 4*c - 28. Let k be (3/6)/(1/c). Suppose y = -k*y. Which is smaller: y or -1?
-1
Let c = -747 + 980. Which is smaller: 232 or c?
232
Suppose 2*t - 382 = l - 2*l, 4*t - 4*l = 764. Let p = t - 951/5. Which is smaller: p or 1?
p
Suppose -c - 2 = 0, 4*c = 4*t - 5 + 1. Let v be 2252/120 - (-12)/30. Let y = v + -355/18. Is t less than or equal to y?
True
Suppose 7*v = i + 12*v - 64, -3*i - 4*v = -159. Which is smaller: i or 29?
29
Let j(t) = t**3 - 9*t**2 - 46*t - 26. Let p be j(14). Do 311 and p have the same value?
False
Suppose -2*p + 8*p = 0. Let y = -1125/2 - -588. Let s = y + -26. Are s and p non-equal?
True
Let u = 132 - 126.7. Let m = u - 6.3. Is -1 at least m?
True
Suppose -o + 5*m + 1 = 26, -3*m = 4*o - 15. Let k be ((-7)/(-5) - -1)/(230/50). Is o not equal to k?
True
Let n = 34 - -28. Let o be (-25)/(-50)*(-4)/n. Which is smaller: -2/9 or o?
-2/9
Let y = 209 - 1883/9. Let p = 58 + -64. Let n be ((-8)/p)/((-2)/1). Which is smaller: n or y?
n
Let j be 3130/35 - -4*(-3)/(-21). Is j bigger than 266/3?
True
Let u = 2569/4 - 593. Are 49 and u unequal?
True
Let s = 387 - 442. Which is smaller: s or -57?
-57
Let t be 0*(4/3)/(-4). Let s be 3 + (4 - (t - -3)). Suppose -3*y + s*y = 0. Is 1/7 <= y?
False
Let f = 295/33 + -102/11. Which is bigger: f or 9?
9
Suppose 6*t = 2*y + 5*t - 48, 18 = y - 2*t. Let c = 39 - y. Is 14 smaller than c?
False
Let t be 7 - 12 - (-3 + 520). Which is greater: -0.2 or t?
-0.2
Suppose 0 = 6*o + 598 + 362. Is -161 greater than o?
False
Let a be (9/2 + -6)*(-1)/(-2). Suppose -5*u + 0*u = 10. Let i be ((-2)/(-8))/(u/8). Which is smaller: i or a?
i
Let g = 17495/9591 - 177/139. Let k = g + 18/23. Which is greater: 0 or k?
k
Let i be -148 + 3 + 5 + -4. Is -143 < i?
False
Let v = -8.372 - -8.3. Let h = 0.628 - v. Which is bigger: -1 or h?
h
Let d = -0.55 - 1.45. Let x = -1 - d. Is x bigger than -0.37?
True
Suppose -v = -o - 3, 0*o + o - 4 = 0. Suppose 0 = v*l - 2*l - 15. Let r = l + -6. Which is greater: -2 or r?
-2
Let t = -878785/58 - -15151. Let z be 6480/1305 + (1 - 6). Let v = z + t. Which is bigger: -2 or v?
v
Suppose 4*t - 2*x - 43 = -t, -4*x - 41 = -5*t. Suppose t*r + 67 = -122. Is -21 < r?
False
Let v = -16 - -38. Let u = -14 + v. Let w = 16 - u. Is w smaller than -1/3?
False
Suppose 13 = 3*z + r, 2*r = -2*z + 21 - 7. Is -19 less than or equal to z?
True
Suppose 75 = 5*o + 5*i, 5*o - 16 = i + 53. Suppose -g = g + o. Which is smaller: -8 or g?
-8
Suppose t + 3 = 4*h, 0*h + 4*h - 5 = -t. Let g be -3*h/((-9)/12). Suppose 0 = 4*x - g*b + 16, -4*x + 2*b - 11 - 3 = 0. Do x and -2 have the same value?
False
Let s be (-15)/4*(228 + (-11 - -3)). Is 2/3 >= s?
True
Suppose 4*u - 2*u = 5*l + 14552, -5*l = u + 14549. Let n be (45/l)/(6/8). Do 0 and n have the same value?
False
Let r(t) be the second derivative of -t**3/6 - t**2 - 2*t. Let j(v) = v**3 - 13*v**2 + 12*v + 2. Let w be j(12). Let l be r(w). Are l and -5 equal?
False
Let o be (5 - (4 - -3)) + 1*-133. Is -134 bigger than o?
True
Suppose -5*v + 22 = -i - 0, v = 5*i - 10. Suppose 5*h + b = -4*b + 45, -h - i*b = -3. Let k be 87/h - 1/4. Which is greater: 8 or k?
8
Let u(q) = q**2 - 20*q + 87. Let x be u(6). Which is bigger: 1 or x?
x
Let c = 127 + -8