f*l + 2 = v. Which is smaller: l or 2/7?
l
Let k be 29190/108 - (-16)/72. Is k < 271?
True
Let t be ((-2)/(-5))/((-6)/(-5)). Let w be -10 + 21/2 + (-14)/12. Is t greater than or equal to w?
True
Suppose 5*t = t - 5*n - 25, 10 = 5*t - 2*n. Which is bigger: -2/7 or t?
t
Let k be (10/4 + -2)*0. Suppose -5*p - 35 + 135 = k. Suppose -5 - 3 = -3*n - 2*z, 4*n - 5*z = -p. Is n greater than 0?
False
Let r be 0 + ((-6)/3 - -5). Suppose r*k = -8 + 2. Let a be 10/((k + 3)*2). Is 4 greater than a?
False
Let p = -70.67 - -111.9. Let m = -41 + p. Let u = -0.13 + m. Do u and 6 have different values?
True
Let l be (2/2)/((-26)/39 + 1). Do -4 and l have the same value?
False
Suppose 4*p + r = -8, -3*p + r - 6 = 4*r. Let q be (12/162)/((p/(-6))/1). Is -0.1 > q?
False
Let o(j) = 5*j + 8. Let b(a) = -a + 1. Let c(l) = -6*b(l) - 2*o(l). Let d be c(-6). Let u be 4*((-6)/8 - -1). Is u greater than or equal to d?
False
Let y = -137 - -133. Which is smaller: y or -2/21?
y
Let x = -50 - -70. Let b = -21 + x. Which is smaller: 3/11 or b?
b
Let p = 806 + -748. Is 49 at most p?
True
Let v(j) be the first derivative of -3*j**2/2 - 39*j - 34. Let w be v(-13). Is w smaller than -3/55?
False
Let r(x) = x - 22. Let y be r(12). Which is bigger: 5 or y?
5
Let y = -106 + 109.4. Let t = y - 6.4. Is -1.4 > t?
True
Let l be (-34)/221 + (-240)/(-1222). Which is greater: 0 or l?
l
Let j be (-280)/(-25) + 1/(-5). Suppose 0 = b - 2*b - z + 12, 3*b - 5*z - 20 = 0. Which is smaller: j or b?
b
Let i(a) be the first derivative of -a**4/4 + 10*a**3/3 - 9*a**2/2 + a + 15. Let u be i(9). Is -1/5 not equal to u?
True
Let f = -346 + 258. Which is bigger: f or -86?
-86
Let l(o) = -2*o**3 + 11*o**2 + 13*o - 42. Let n be l(6). Which is greater: n or 22/49?
22/49
Let l(m) = 2*m**2 + 23*m + 11. Let d be l(-11). Which is smaller: 1/44 or d?
d
Let o = -54 - -103. Suppose m - o = 2*w, 0*m + 118 = -5*w + m. Suppose 5*b + 4*l = -118, 0 = -2*l - l - 6. Is b not equal to w?
True
Let t be (-6)/2 - (-5586)/1863. Let s be (-10560)/(-1863) + (-3)/9. Let w = s + t. Which is smaller: w or 4?
4
Let s = 15476/2397 - 110/17. Which is greater: 1 or s?
1
Suppose 4*r - 5*q + 23 = 0, 0 = 4*r - r + q + 3. Let d be (-6)/r + 26/(-8). Suppose -s + 6*s - 5 = 0. Which is smaller: d or s?
d
Let p = -17 + 15. Let w be 6*(-3)/6*p. Which is smaller: 50/9 or w?
50/9
Let v = -36.35 + 37. Let i = v - 0.65. Which is greater: i or -3?
i
Let p = -1/763 + -43/2834. Let r = -206807/373646 - 3/2053. Let q = p + r. Which is greater: 1 or q?
1
Suppose k + 0*k - 149 = -5*l, 3*k + 3*l - 423 = 0. Suppose 2*n + 110 = -4*c, -3*n = 5*c - 2*n + k. Is c greater than -27?
False
Suppose 15*s + 371 = 8*s. Let m be 8/(-44) + 1776/(-33). Which is smaller: s or m?
m
Let f = -1 - -24. Let d = f - 24. Which is smaller: -3/10 or d?
d
Let j be 6/(-21) + (-8)/(-28). Suppose j*w = 3*w - 126. Let m be (-14)/(-4)*w/49. Is 15/7 less than or equal to m?
True
Let t = 12 - 13. Let n = 60/931 - 2/19. Is t < n?
True
Let x be -10*((-7)/2 + 0). Suppose 5*y = -3*f + 53, 3*y + 3*f = -2*f + x. Does 11 = y?
False
Let m = -5 + 145. Suppose 7*s + m = 21. Is 1 greater than s?
True
Suppose -4*i - 5*n - 1312 = 0, 0 = -i + 5*i + 3*n + 1304. Which is greater: i or -324?
i
Let t be (15/7*-1)/(2/(-18)). Is -0.1 at least t?
False
Let o = 0.02 - -0.21. Let n = o + -0.24. Let r = n + -0.19. Do 0 and r have the same value?
False
Let b(m) = -26*m**2 - 2*m + 1. Let s be b(-4). Let i be (-2)/((-204)/s) - 8/(-2). Is i not equal to -1?
True
Let d = 13.6 + -15. Which is smaller: d or -11?
-11
Let w be (-5)/2*-2 - 2. Suppose 2*s - 5 = -w*s. Suppose -15*v + 19*v + 3*i + 15 = 0, 3*i + 15 = 0. Is v greater than or equal to s?
False
Let p(n) = n + 4. Let h be p(3). Suppose -2*i = -h*i - 5. Suppose -2*q + 4 - 8 = 0. Which is smaller: q or i?
q
Suppose -5*t + 8 = -3*y, 5*y - 2*t + 32 = 6. Let d be (-2)/24 + -2 - y/3. Which is smaller: 0 or d?
d
Suppose 9*z - 103 = 32. Is z < 1?
False
Let r = -3.93 - 0.07. Let d = 4.1 + r. Let v = -10/39 + 188/429. Is v at most d?
False
Suppose 0 = -5*n + 39 - 4. Let w(k) = k**2 - 6*k + 7. Let r be w(n). Do 14 and r have the same value?
True
Suppose 0 = -15*l - 0*l + 5*l. Which is smaller: -7/17 or l?
-7/17
Suppose -13*x - 199 = 529. Let p = x + 55. Is p greater than 3/79?
False
Let i(t) = t**3 - 2*t**2 - 3*t + 7. Let f be i(-3). Is f < -32?
False
Suppose 0 = 3*f - 0*f - v, 5*v = -3*f. Suppose 5*p - 15 = 5*d, 0 = -5*d - f*d - 3*p + 17. Let u be (d/4)/(49/(-42)). Do u and 0 have the same value?
False
Let c(l) = 3*l**2 - 17*l + 9. Let q be c(5). Do 250 and q have the same value?
False
Let v = 13.5 + -13.571. Let b = v + 0.381. Let a = 2.69 + b. Is a != -0.1?
True
Let t(g) = 15*g + 89. Let h be t(-6). Which is smaller: 1/61 or h?
h
Suppose -3*v + 203 = -h + 55, 2*h = -v + 40. Let w be 18/52*(v/9 - 4). Let p = -4.9 + 5. Which is bigger: p or w?
w
Let d be ((-130)/5)/(8/28). Which is smaller: d or -93?
-93
Let z = -6.9 - -84.9. Let u = -101 + z. Is -1 not equal to u?
True
Suppose 2*z + 3 = -z. Let p = -3/101 + 229/909. Let i = -13/18 + p. Is i smaller than z?
False
Suppose -36 = 3*f - 33. Let v be 6/18 + (-29)/(-3). Let u = v + -2. Is u less than f?
False
Let v = -11.8 - 0.2. Suppose -10 - 2 = 4*t. Let g(x) = x**3 + 4*x**2 + 4*x + 3. Let b be g(t). Does b = v?
False
Let b = 4 - 2. Let c = 10688/3 - 3560. Is c bigger than b?
True
Suppose j = -3*u + 117, 7*u - 5*u - 3*j - 67 = 0. Suppose t - u = 3*m + m, -m = -4*t + 212. Is 54 at most as big as t?
True
Let z = 7577/13 - 584. Let c = z + 365/91. Is c less than 3?
True
Let n be 8/(-10) - 837/(-15). Let t be 22/n*(69/(-4) + 1). Which is smaller: t or -7?
-7
Let p = -25 - -9. Let h = p - -33. Suppose 0 = -3*w - h - 19. Is -13 at most as big as w?
True
Let i = -54.95 + 56.3. Which is bigger: i or 2/3?
i
Suppose -7194 + 45970 = 4*f. Let o be 4 + -1 - f/(-30). Let s = -326 + o. Which is smaller: s or 1?
s
Let v = 15 - 15. Let d = -3 + v. Let u = 992/9 + -110. Is d equal to u?
False
Let q = 1 - 0. Let u be 5/(5 - 4)*q. Which is smaller: 2/3 or u?
2/3
Let o = -12.47 - -11.47. Let t = -2.95 - -3. Do o and t have the same value?
False
Let r(q) = 5*q**2 - 3*q - q - 3*q + 4*q - 4 - q**3. Let k be r(4). Which is bigger: -13/9 or k?
k
Let j = -33 - -32.77. Let c = j + 0.1. Let v = 0.03 + c. Is 1/23 bigger than v?
True
Let j = 44 - 68. Let m = j + 24. Which is greater: m or -0.17?
m
Suppose 0 = -c + 40 - 33. Let v = -7 + c. Suppose 0 = -v*r + 5*r - 50. Which is smaller: r or 9?
9
Let a = 54.6 + -60. Let v = 5 + a. Let b = 1.4 + v. Which is smaller: b or 7?
b
Let z = 166 + -154. Which is smaller: z or 0.5?
0.5
Let x be -3 - (-26876)/(-342)*15/(-70). Let s = 172/57 + x. Which is greater: 17 or s?
17
Let z = -529 + 477. Do -0.04 and z have the same value?
False
Let u = 291738768 + -37634095058/129. Let b = 1597 - u. Which is bigger: -1 or b?
b
Let s(x) = -20*x + 5. Let j be s(-2). Let f = -44 + j. Which is smaller: 5/7 or f?
5/7
Let x = 623 - 624. Is x > -2/365?
False
Let c(i) = -3*i - 2. Let u be c(-2). Let l = 5 - u. Let s be ((-5)/(-2))/((-22)/4). Which is smaller: l or s?
s
Suppose -4*f = 5*h + 27, -h + 3*f = 2*h. Let r be h*(15/9 + -1). Is -4 at most as big as r?
True
Let m be 2*(-2)/((-140)/(-2)). Let u be 18/(-297)*-11 + (-5)/3. Which is smaller: m or u?
u
Suppose -3*x - 100 = 14. Which is smaller: -37 or x?
x
Let w = 150.4 - 143. Which is greater: w or 2?
w
Let h be (4 + -6)/((-1)/5). Suppose 0 = -5*p + h + 5. Suppose -p = -t + 4*t. Which is greater: 6 or t?
6
Let p = 11 - 14. Let j = 3 + p. Which is smaller: -3 or j?
-3
Let d = -4 + 3. Let n be (-30)/(-12)*12/160. Is d equal to n?
False
Suppose 0 = -4*h + 3*h + 267. Suppose 2*n - 37 = -h. Let z = n - -350/3. Which is greater: 3 or z?
3
Let l(m) = 19*m - 1. Let d be l(-1). Let k = -29 - d. Suppose 16 = -2*h - 4. Is k <= h?
False
Let d = -80 + 81. Suppose 0 = -2*i + d - 1. Which is smaller: i or -1/4?
-1/4
Let k = -0.5 - -1.5. Let h be (-6)/30 + (-26)/(-5). Let t = h + -6. Is k > t?
True
Let g = -156.5 - -156.6. Is -0.149 smaller than g?
True
Suppose o + 2*o - 6 = 0. Let p be (((-8)/140)/o)/1. Is -1 >= p?
False
Suppose -v + 3*m = -m + 29, -m - 65 = 4*v. Which is greater: v or 11?
11
Let u = -155529/5 + 31107. Let x be 2*2/(-8)*-2. Is x bigger than u?
False
Let h be 4/6*(4 - 8855/14