2. Let j be ((-336)/(-80))/((-6)/(-30)). Which is smaller: b or j?
b
Let v = 40104/1105705 - 17/515. Let h = v - -190243/257640. Let n = h - 3/40. Do n and -2/5 have different values?
True
Let r be ((-8)/(-7))/((-21)/(5292/(-24))). Which is greater: 13 or r?
13
Let c be 145614/36372 - 1*4. Is 1 at least c?
True
Let j = -2591 - -673661/260. Which is greater: j or -1?
j
Suppose 5*t = 91 - 81. Let x(b) = b. Let y(w) = w**3 - 10*w**2 - 18*w + 13. Let r(p) = 6*x(p) + y(p). Let k be r(11). Is t > k?
False
Let n = -210 + 203. Which is smaller: n or -3/5?
n
Let y = 220 + -240. Which is smaller: 3 or y?
y
Let j(h) = 39*h - 440. Let m be j(10). Is m > -49?
False
Let v = 3.0229 - 0.0229. Is v equal to -45?
False
Let b = 35 - 22. Suppose 0 = -5*x - s + 54, 2*x + s - 8 = b. Suppose 8*n = x*n. Are 1 and n equal?
False
Let g(j) be the second derivative of j**4/6 - 5*j**3/3 + 19*j**2/2 - 29*j. Let i be g(4). Let l be 6/(-5)*(-2 - 8). Which is greater: l or i?
l
Suppose -7 = 4*r + 3*v + 11, 5*r + 4*v + 23 = 0. Is r equal to 0.025?
False
Let k = 390/11 - 19132/539. Let a = k + 55/147. Is a less than 1?
True
Let x = 39928 - 280023/7. Let g = -75 - x. Let z(u) = -u**3 + u**2 + 3*u - 2. Let n be z(2). Is g not equal to n?
True
Let d be (-2 - 2/(-2))*(-155)/(-5). Is d at least as big as -31?
True
Let o = -616.6 - -601. Is 2 less than o?
False
Let g = 3327/5 + -666. Do -142 and g have the same value?
False
Suppose -21*a - 3*a = 96. Which is smaller: a or -23/7?
a
Let r(h) = -h**3 - 7*h**2 - 6*h + 4. Let o be r(-6). Let p be (-4)/14 - (-18)/63. Suppose o*i = -p*i - 4. Is i at most as big as 2/9?
True
Let p = 762 - 3823/5. Let i = 1 + 3. Let z be 100/(-45) + i/18. Which is smaller: z or p?
p
Let j be -4*(4 - (-3 + 0)). Let a(q) be the second derivative of -q**3/3 - 13*q**2/2 - 9*q. Let c be a(7). Which is smaller: c or j?
j
Let m = -34 + -105. Which is smaller: -138 or m?
m
Let v = -206 + 205.6. Is v at most as big as 0.65?
True
Let h = 860 + -821. Which is bigger: h or -5?
h
Suppose -38 = -0*o + o. Let b = -41 - o. Are -2 and b unequal?
True
Let l be (-333)/(-12)*1*-4 + -1. Let f = -116 - l. Which is smaller: -13/5 or f?
f
Let m = -38.34 - -38.2. Is m < 0.6?
True
Let y(w) = -w**3 + 8*w**2 - 22*w + 25. Let l be y(4). Are -2/79 and l nonequal?
True
Let i = -653.7 - -688. Let v = i + -33. Which is greater: -1 or v?
v
Let g(n) = -n + 16. Let l be g(11). Suppose 61 = -l*c - 29. Let o = 23 + c. Which is greater: o or 3?
o
Let v = 455/2 + -230. Which is smaller: v or 11?
v
Let c = -38 - -113/3. Let n be ((-30)/(-5))/(0 + (-33)/(-22)). Is n less than c?
False
Suppose 7*d - 10 - 4 = 0. Let w be (-154)/(-44) - ((-1)/d + 0). Which is bigger: w or 0?
w
Let j be ((-74)/18 + 4)*(-15)/5. Let g = 1346/2331 + -2/333. Is j != g?
True
Let z be 4/(-8) + 1/2. Let i be ((-2464)/357)/((-1)/9). Let k = i + -62. Is k at least z?
True
Let c = -347 - -509. Suppose 0 = j - 1, -2*i - c = -4*i - 2*j. Let p = 1681/21 - i. Is 1 greater than p?
True
Let w = 85837/63441 - -156/1007. Let y = -9/7 + w. Suppose 77*i + 150 = 92*i. Is i greater than y?
True
Let y = -6 + 4. Let p be (-4 - -2)/y*0. Let k = p - 10. Are k and -11 nonequal?
True
Let r = 62 + -65.5. Let j = -4.5 - r. Which is bigger: j or -0.2?
-0.2
Let z = -4 + 3.9. Let w = 72.74 + -85.8. Let k = w + 0.06. Does k = z?
False
Let z be (-182)/28*(1 - -1). Let v be 96/(-10) - 14/35. Is z greater than v?
False
Suppose 4*l + 207 - 19 = 0. Is -1/3 not equal to l?
True
Suppose 2*l + 2*l - 2*s + 230 = 0, -4*s + 160 = -3*l. Let g be 4/10 + 19/l. Suppose -3*z - 132 + 135 = 0. Which is greater: z or g?
z
Let a = 1646 - 1640. Let s = 0.3 - 1.3. Let z = 3 + s. Which is smaller: z or a?
z
Suppose 120 = k + 4*k. Suppose -2*j - 4 = -k. Let n = j + -10. Are -4/7 and n equal?
False
Let p = 617/21 - 89/3. Let f = 1.6 + 100.4. Let a = -103.7 + f. Is a less than p?
True
Suppose 0 = -5*t + 3*l - 36 + 7, -3 = -3*t - 5*l. Suppose -q + 3*p = 18, -5*p - 25 = 5*q - 7*p. Is t < q?
True
Let t = -17 + 5. Let x = 12.4 + t. Let l = x - 0.5. Which is smaller: l or 0?
l
Suppose 4*u + 68 = 4*k, -5*k - 8*u + 40 = -4*u. Is k greater than or equal to 12?
True
Let i be -1 + 0 - (-1 - 10). Suppose -i = r + 7. Let t be 36/10*(-12 + (-21)/(-3)). Which is greater: r or t?
r
Let j(u) = u - 4. Let o be j(5). Let y be 365/(-2200) - 3/(-33). Does o = y?
False
Suppose 0*k = 10*k - 860. Let p = -86 + k. Let x be (-2)/(-6) + 1/(-3). Are x and p nonequal?
False
Let z = 0.0577 + -0.2177. Suppose -w + 5*w - 15 = -j, -4*j + 3*w = 16. Let c be (((-8)/(-6))/(-4))/j. Which is greater: c or z?
c
Let x = -30 + 42. Let y be (-140)/255 - (-2 - x/(-9)). Suppose -3*m + 4*m = 0. Which is bigger: y or m?
y
Let l = -239 + 241. Let u(q) be the first derivative of -q**3/3 - 2*q**2 - 3*q + 1. Let y be u(-3). Is l >= y?
True
Let m = 1571/3 + -168101/321. Let a = m + 868/963. Which is greater: a or 2?
2
Let w be 3/6 - (11 - (-184)/(-16)). Which is smaller: w or 2/731?
2/731
Let u = 334 - 1525. Is u bigger than -1192?
True
Suppose 927 = 65*m - 62*m - w, 0 = m + 5*w - 325. Do m and 310 have the same value?
True
Let q(w) = -64*w**3 + 2*w**2 - 75*w - 152. Let k be q(-2). Is 518 at least k?
True
Suppose 0 = -2*n - 46 - 0. Let l = -47 - -47. Which is greater: n or l?
l
Let v be 4/(-32) + 3180/(-160). Suppose -4*a + 7 = 163. Let p = v - a. Are 19 and p non-equal?
False
Let w(x) = -x**3 - 3*x**2 - x. Let a be w(-1). Let y = 8 - 50. Let d be 15*(-2)/y*2/(-15). Which is smaller: a or d?
a
Suppose -4*t + 5*m = 0, -4*t - 35*m = -34*m. Are t and -1/1016 unequal?
True
Let r be 0 - (1 + 277/(-228)). Let q be 10/(-285)*(0 - 1). Let y = q + r. Which is smaller: -2 or y?
-2
Suppose 3*y - 3*v + 75 = 2*y, -4*y + v - 355 = 0. Let s = 84 + y. Let q be (-2)/(-7) + (-44)/7. Is q >= s?
True
Let f be (2 + -2 - 1) + 2. Suppose 7 - f = -2*o. Let u be (o/2)/(3/(-6)). Is 4 <= u?
False
Let u = 116.12 - 116. Let c = 36.12 - u. Which is smaller: -1 or c?
-1
Let g = -0.006 + -0.009. Let p = g - 1.985. Is p >= 7/4?
False
Suppose 2 = -2*r - 4. Suppose 48*n = 49*n + 3. Is r bigger than n?
False
Let r = -1300.55 - -1297. Which is greater: 2 or r?
2
Let b = 6.9 - 4. Let a = -2 + b. Let z = -0.6 + a. Is -1 not equal to z?
True
Let h be ((-124)/(-186))/((-2)/168*-2). Which is greater: 31 or h?
31
Let w = -143 - -140. Suppose i - 33 = -2*k - 2*i, 3*k = 4*i + 41. Suppose -2*x = 3*x + k. Is x at least as big as w?
True
Let g(v) = 2*v**2 + 19*v - 5. Let u be g(-10). Suppose -2 = -t - u. Which is smaller: -9 or t?
-9
Let v(b) = -9*b**2 - 108*b - 3. Let c be v(-12). Which is smaller: -6 or c?
-6
Suppose -z - 4*z = -15. Suppose -z*m - 5 = -11. Let y = 1415/2 - 707. Is y < m?
True
Let b be (22/33)/(2/(-6)). Which is smaller: -13/12 or b?
b
Let u = -437/51170 - -4/1505. Is u less than 0?
True
Let m = 6843/180188 + -1/1684. Let a = m + 955/214. Is a bigger than 4?
True
Let f = 17.98 - 0.48. Let g = f - 4.5. Which is smaller: 0.2 or g?
0.2
Suppose 4*f = -d + 14, -2*d + 5*f + 70 = 3*d. Suppose -4*b = -0*p - p, 3*p = -2*b + d. Suppose -5*l + p = x + x, 10 = 2*l - 2*x. Is l >= 2?
True
Let t = -0.108 + -9.892. Let v = -19 - -15. Which is greater: t or v?
v
Suppose -h = -3*t + 11, 4*h - 2 = -5*t + 5. Let j be 84/44 + (1 - t). Let k(g) = g**2 + 6*g. Let z be k(-6). Which is bigger: j or z?
z
Let i = -29 - -8. Let a be i/6 - (-3)/2. Let g(w) = -w**2 - 9*w - 4. Let c be g(-9). Which is smaller: a or c?
c
Let q = 4616/11515 - 2/2303. Is 5.8 >= q?
True
Suppose -5*i + 4*x = 12 - 2, 3*i = 5*x - 19. Let u = -3 + 6. Are i and u nonequal?
True
Let b = 0.0065 + -1.1065. Is 2 > b?
True
Let i be (8/(-108))/((-2)/102). Which is smaller: i or 0?
0
Suppose 3*w + 3 = 9. Suppose 6*u - 15 = 3*u. Suppose u*x = 10, 5*g + w*x = -0*g - 1. Is -1/12 <= g?
False
Let m = 2 + -4. Let v be (-234)/(-165) - m/11. Suppose -14*f + 50 = 22. Which is greater: v or f?
f
Suppose -4*h = -0*h - 8. Suppose -h*i - 3*i = 25. Are i and 2/5 non-equal?
True
Let c(j) = 4*j - 7. Let a be c(0). Let v(s) = -s**2 - 10*s - 22. Let x be v(a). Which is greater: -3/49 or x?
-3/49
Let h = -0.5 + 1.5. Which is smaller: h or -2/333?
-2/333
Let s(m) = m**3 + 3. Let x(d) = d**3 - 13*d**2 + 2*d - 28. Let o be x(13). Let q be s(o). Do q and -6 have the same value?
False
Suppose -3*w + 14 = 5*p, 2*p = 2*w + w - 49. Let j be (