u. Which is bigger: v or -24/5?
-24/5
Suppose -470 = 3*b - 4*i + 117, -5*i + 403 = -2*b. Does -189 = b?
True
Let j = 4 + -4. Suppose 5*i = 4*g - 16, j = -3*g + 5*g - 4*i - 8. Is 6 less than g?
False
Let t be (-5)/(2 - (-45)/(-20)). Suppose -4*f + 8*f + t = 0. Let b(n) = 2*n**2 + 12*n - 2. Let a be b(f). Which is smaller: -25/2 or a?
-25/2
Let k(z) = 6*z - 16. Let h = -24 + 29. Let v be k(h). Which is greater: 12 or v?
v
Let o be 5/(-1) + 427/63. Let z = o + -1. Which is smaller: z or 0?
0
Let u be 7367/(-24486) - ((-16)/7 + 2). Is u at most 0.4?
True
Let a = 20 + -31. Let o = -10 - a. Which is bigger: 2/115 or o?
o
Suppose a - i + 2 = 0, i + i = -3*a - 6. Let g be 51*(-2)/(-6) - a. Do 19 and g have the same value?
True
Let x(i) be the second derivative of i**3/6 + 7*i**2/2 + 47*i. Let n be (-21)/3 + (1 - 2). Let o be x(n). Which is bigger: o or 1/8?
1/8
Let v(w) = 54*w**3 - w**2 + 1. Let q be v(1). Which is smaller: q or 56?
q
Let b = 32799647/5776830 - 1/64187. Let d be (-520)/12*(-4)/(-30). Let r = b + d. Which is greater: 0 or r?
0
Let k be 1/(-2) - 42/(-124). Let x = k - 17/279. Do 0.11 and x have different values?
True
Suppose 0 = -13*x + 15*x - 8. Suppose -r = 4, 2*r + 28 = x*c - 3*r. Is 18 at most as big as c?
False
Let t(c) be the third derivative of -133*c**6/60 - c**5/60 - c**4/24 - c**3/6 - 2*c**2. Let j be t(-1). Let w = j + -1850/7. Are w and 1 unequal?
True
Let t = -244 + 262. Is 0.2 bigger than t?
False
Suppose 0 = k - 6*k - 90. Let u be 11/(-12) - (-6)/k. Is u less than -1?
True
Suppose 0 = -3*z - 2*r - 13, 3*z - 4*r = -5*r - 8. Which is greater: z or -2/17?
-2/17
Suppose k - 6 + 1 = 0, 0 = -5*g + 3*k - 345. Is g greater than -196/3?
False
Let n = 68 - -210. Suppose r - 576 = -0*s + 4*s, -3*r + n = -2*s. Let f be s/(-15) - (-2 - -6). Which is smaller: 6 or f?
f
Let z = 1055 + -751. Is 304 != z?
False
Let o = 7 - 9. Let n be o/13 + (-22632)/(-78). Let p be (-12)/(-9) + n/(-15). Is -18 smaller than p?
False
Let x = 30 - 121/4. Let j be (-1)/(-2)*(-3 - -1). Let t = j + 4/3. Do t and x have different values?
True
Let d be (15/2)/((-8)/(-16)). Let y be (d - 6)*(-3)/9. Is y at least as big as -10?
True
Let d(s) = -s**2 - 7*s + 19. Let y be d(-9). Let q be ((-16)/(-6) + -4 - -1)*y. Is -16/7 < q?
True
Let o be (-1)/2 - (-75)/(-50). Let d be ((-18)/36)/(3/o). Which is bigger: d or 0.1?
d
Let c = 13044889/23555 - 26/4711. Let a = -557 + c. Does -2 = a?
False
Suppose 0 = 7*m - 4*m - 441. Let k = m - 160. Is k greater than -10?
False
Let c = -163/222 + 5/74. Let p = 8.375 + -0.075. Let i = p + -0.3. Are c and i unequal?
True
Suppose -15*a = 5*s - 18*a - 397, 393 = 5*s - 2*a. Let r = -10668223/25 - -426806. Let d = s - r. Which is bigger: 2 or d?
2
Let y be 2893/4730 - (7/(-5) + 2). Which is smaller: y or 0?
0
Suppose -c + 32 = 2*r, 3*r = 6*r + 3. Suppose 4*j = 3*n - 8, 1 = n - 2*j - 3. Is n <= c?
True
Suppose 2*h = -c + 5, 8*h = 7*h - c + 4. Let p be 6/(-657)*-1*9. Is p at most h?
True
Let r = -1950/67 - -530675/18291. Let k = r - 2/39. Which is bigger: k or 1?
1
Let o = -1473 + 1465. Which is greater: 1/35 or o?
1/35
Let h be (-1)/(-2 - (-4 - -1)). Let s be h/(-2) - (-55)/10. Are s and 14/3 equal?
False
Let t = 503.1 + -503. Let i = 45 + -6. Is t >= i?
False
Let y be (-1380)/21*63/(-18). Is y not equal to 230?
False
Let b be (-108)/53 - (-11 + 10)*(1 - -1). Suppose -2*k + 4*k + 2 = 0. Do k and b have different values?
True
Let x = -261.48 - -271. Let p = x - 9. Let q = p + -0.32. Which is bigger: q or -10?
q
Let d(f) = -2*f + 13. Let v = 35 + 3. Suppose c - 2*j = 5, 3*j - v = -2*c - 3*c. Let z be d(c). Is z not equal to -18/11?
True
Let b(u) = -55*u + 45. Let h be b(-15). Let z be ((-1)/(-3))/(29/h). Is z less than 15?
True
Let i(k) = 2*k + 2. Let c(q) = -4*q - 5. Let s(z) = 3*c(z) + 5*i(z). Let u be s(-4). Let v = -74 + 77. Is u greater than v?
False
Let v = 116 - 82. Let p be 7/21 + v/(-45). Let j = -1/5 - p. Which is smaller: j or 0?
0
Let d = 1.52 - 43.52. Let h = -97 - d. Is 1 at most as big as h?
False
Suppose 4*k - 33 = -37. Which is smaller: -10/7 or k?
-10/7
Suppose 2*d = 4*z + 10, -2*z + 3*d - 6 + 3 = 0. Let i be ((45/4)/z)/((-87)/8). Which is bigger: 0 or i?
i
Let l(s) = s + 6. Let w be l(-5). Let f = 327/35 - 1343/140. Is w at most f?
False
Let i = -133 + 33. Is i less than -98?
True
Let d = -1 + 3. Suppose -v + 4 = d. Let f be 3/((-21)/(-35))*1. Which is smaller: f or v?
v
Let x(w) = -w**3 - 4*w**2 - 2*w - 1. Let h be x(-2). Let i be (-4 - -1)/((-3)/2). Let a be i/4 + (-3)/30. Which is smaller: a or h?
h
Let n be ((-45)/(-540))/((-19)/8). Suppose 0 = j - 3*u - 6, 4*u + 8 = -3*j - 0. Does j = n?
False
Let p = -201 + 66. Let w = -135.002 - p. Which is smaller: -0.2 or w?
-0.2
Let p be ((-5)/15*0)/(-1). Suppose 6*i - 4*i - 2 = p. Which is smaller: i or -2/39?
-2/39
Let z be -235 - 1*(-45)/9. Is -230 at least as big as z?
True
Suppose 3*i = -4*a + 369, 3*a - 3*i = 395 - 92. Is a less than or equal to 99?
True
Let a be 16*2*(-8)/16. Suppose d = -4*y - 4*d - 23, d + 55 = -5*y. Which is smaller: a or y?
a
Let q = -1535.097 + -0.903. Let o = q + 1544.87. Let j = o + 0.13. Is 1 less than or equal to j?
True
Let w be 2/(2 - (-580)/(-295)). Suppose -w = 2*t - 13. Suppose -2*l = -4*m - 94, 2*l - l = 3*m + 70. Is t greater than m?
False
Let t = -5/2477 + 4979/12385. Let j = -65 - -17. Which is smaller: t or j?
j
Let z = 152 + -150. Which is smaller: -1 or z?
-1
Let a be 64/(-126) - 2/(-9). Let x = -1339 + 1339.1. Is a less than x?
True
Suppose k - 9 = -a, 4*a + 3 = -k + 24. Suppose -4 = -2*m - 3*y + 2*y, 16 = a*y. Which is bigger: 1/10 or m?
1/10
Let n = -2 - -6. Suppose -4*h - 4 = -n. Is 2/561 less than h?
False
Let k(z) = -8*z + 40. Let j be k(5). Suppose -4*r + 0*r = j. Which is smaller: r or 7?
r
Let h = 1000 + -1698. Does h = -698?
True
Suppose -j = -4*j + g + 39, 0 = -4*j + 3*g + 52. Let x(s) = 2*s**2 + 9*s + 6. Let h be x(-4). Let b be j - 13 - h/(-28). Is b smaller than -1?
False
Let r = 22 - 28. Let z be (-1)/(-4)*-6*r. Is z bigger than 8?
True
Suppose 0 = 4*i - 3*t + 712, 2*i - 537 = 5*i - 3*t. Do i and -177 have different values?
True
Suppose -1043 = -10*z + 1437. Which is greater: z or 247?
z
Let o = -0.6246 - 3.3444. Let j = -0.031 + o. Let v = -0.15 - -0.05. Is j greater than v?
False
Let y = -1006/7 - -144. Let p(n) = -1 + 0*n + 4*n - 2*n + 11. Let t be p(-5). Which is bigger: t or y?
y
Let w(n) = 2*n**3 + 10*n**2 - 24*n + 6. Let l be w(-7). Which is smaller: l or -14?
l
Let z = 387/77 + -49/11. Let g = -3219/62 + -111/31. Let w = -55 - g. Is w greater than z?
False
Suppose -8*u + 14*u = -42. Let a be ((-2)/u - 10/35)/3. Which is smaller: a or -2/81?
-2/81
Suppose 5*z + 27 + 4 = -2*x, -5*z = 5*x + 55. Let i be -1 + 0 + x/3. Let l = -84321 - -84318. Is l greater than i?
True
Let r = 0.8 - -15.2. Let y = r + -11. Let n = -4 + y. Which is smaller: 3 or n?
n
Let u = -123 + 96. Is u greater than -1?
False
Let d be 3/9 - (-2)/(-12). Suppose 1 + 4 = j. Suppose -j*x - p - 4*p - 5 = 0, 2*x + 2 = 3*p. Is x at least as big as d?
False
Let h be 0 - 0 - 1666/42. Let w = h - -39. Are w and -1 unequal?
True
Let x be (-8)/76 + 4 + 98644/(-25308). Which is bigger: x or -1?
x
Let l = 8/201 + -241/1005. Let b = -15.1 - -2.1. Which is smaller: b or l?
b
Let h(s) = s**2 + 13*s - 9. Let b be h(-15). Let z be b/14*114/9. Let p be ((-1)/(-3))/(z/(-38)). Is p bigger than 5?
False
Let l(m) = -m**3 + 9*m**2 - 7*m - 6. Let p = -31 - -39. Let t be l(p). Suppose 6*w - t*w = 0. Is -4/17 smaller than w?
True
Let s(q) = q**3 + 3*q**2 - 2*q + 6. Suppose -8*r - 36 = r. Let g be s(r). Let v(f) = f**2 + 9*f + 4. Let d be v(-8). Which is greater: g or d?
g
Suppose 7 = 1050*x - 1049*x. Let b(l) = -l**2 - l + 6. Let v be b(0). Which is bigger: x or v?
x
Let w = 27 + 54. Is w <= 0.2?
False
Let x be -3 + 949*(-4)/(-132). Let c = x + -80/3. Which is smaller: -2 or c?
-2
Let i be 880/(-2660) - (-2)/(-14). Is 1 less than i?
False
Suppose s = -2*a, 4*s + 8*a - 4*a = 0. Is 5/58 at most as big as s?
False
Let r be (-42)/(-231) + 108/(-231). Which is bigger: -12 or r?
r
Let u be ((-33)/(-22))/(1/(-14)). Let i = -20 - u. Suppose 0 = b - 3*m + 4, -5*b + 4*m + i = -1. Which is smaller: -0.1 or b?
-0.1
Let l be -1 - -11 - 0/3. Suppose -j = 2*o + l, -3*o + 0 - 10 = -j. Le