.1 bigger than j?
False
Suppose -2*z - 32 = 2*b, -z = 5*b - 3*z + 94. Suppose 7*m = 10*m - 159. Let r = m + b. Which is smaller: r or 37?
r
Suppose 8*q - 138 - 14 = 0. Suppose -3*v = a - 258, q*a = 4*v + 16*a - 331. Is 2 greater than v?
False
Suppose k + 112 = 2*q, 5*q - 3*k - 277 = k. Suppose -51*d + 474 = -q*d. Which is smaller: -80 or d?
-80
Let z(p) = p - 5. Let h be z(4). Let o = 165.146 - 165. Let i = 19.146 - o. Which is smaller: h or i?
h
Let j = -1554.4 - -2763.4. Which is smaller: -0.07 or j?
-0.07
Let w be -1*(-1)/((-15)/(-10) + -1). Suppose 0 = -2*k + w*c + 6, 0 = 15*k - 17*k - c - 3. Do k and -5/47 have the same value?
False
Suppose -4*k + n + 4*n + 316 = 0, -237 = -3*k + 4*n. Let j be (-7)/(-6 + -1) - 83/k. Which is greater: j or 0?
0
Let m = -748.5 + 748.13. Which is greater: -1/187 or m?
-1/187
Let b = -245.61 - -245.26. Which is bigger: 135 or b?
135
Let j = 2848 - 1767. Is j at most as big as 1084?
True
Let p(o) be the third derivative of -o**6/120 - o**5/6 - 13*o**4/12 - 44*o**3/3 - 103*o**2. Let g be p(-8). Is -55/8 less than or equal to g?
False
Let r be 25/(-75) - 326/(-9)*-3. Let g be (r - -1)*4*18/(-96). Is 81 not equal to g?
False
Let l = 3.816 + 0.104. Let b = l - 35.22. Let x = b - -5.3. Is 0.2 > x?
True
Let a = -10.51 - -7.51. Let b = a + 2.7. Is b at most as big as -14?
False
Let d(z) = -68*z - 1967. Let f be d(13). Which is bigger: -2852 or f?
f
Let s = -58 - -72. Let i be (s/(-63))/(0 + 4). Is -1 at least as big as i?
False
Suppose 2*d + 2*c = 8, -4*d - 1 + 3 = -3*c. Let h be -2 - (d + (3 - 7) + 2). Let u be (h/(24/45))/((-4)/(-112)). Is -106 at least as big as u?
False
Let f(k) be the third derivative of 0 + 7*k**2 + 5/6*k**3 + 0*k - 1/60*k**5 - 1/4*k**4. Let j be f(-6). Which is bigger: j or 4?
j
Let a(q) = 21*q - 34. Let v be a(-3). Let n be -1 + (-2 + 0 - v/31). Which is bigger: 0 or n?
n
Let r = 217/74 - 22519/1850. Is -9 less than r?
False
Let r = -0.7133 - -0.0233. Which is bigger: r or -26?
r
Let k = -406 - -133. Let n = k - -279. Is n greater than 3?
True
Let o = 977 + -862. Suppose -129*g = -o*g + 308. Which is bigger: -12 or g?
-12
Let u = 12 + 18. Let k be (8/u)/2*1. Let z = -0.934 - -0.234. Which is bigger: z or k?
k
Let t(x) = -3*x**3 - 2*x**2 - 3*x - 4. Let z be t(-2). Let r be 3/z - 1202/12. Is 0 >= r?
True
Let w(d) = -d**2 + 3*d - 168. Suppose 19*j = 9*j. Let f be w(j). Let c be (f/196)/(4/(-2)). Is 1 at least as big as c?
True
Let a be 0*2/8 - 11. Let w(l) = l**3 + 12*l**2 + 15*l + 8. Let q be w(a). Let f = q + 37. Is 4 less than f?
False
Let x = 8213 + -8153. Which is greater: x or 421/7?
421/7
Let n = -112.97 - -113. Let f = n + -0.13. Which is smaller: 2/59 or f?
f
Let z = 0.034 + -2.134. Let k = z - -1. Let v be 76/(-266) + (3 - (-5)/(-7)). Is v not equal to k?
True
Let f be 6776256/(-1740) + 1 + 3/(-5). Is -3894 greater than f?
False
Suppose 240*r - 37 = 2*q + 237*r, 2*r = -5*q - 45. Let b be -68*(-4)/(-6)*(-15)/(-70). Is b less than q?
False
Let h = -2 + 5. Suppose 0 = 5*f - h*f + 2. Let p be 13 - 5*(-25831)/(-9945). Is p at most as big as f?
False
Suppose -3*d + 6167 = y, -70*d + 69*d - 3*y + 2069 = 0. Which is greater: 2052 or d?
d
Let u = 40903 - 40940. Is u smaller than -155?
False
Suppose 5*i = 15, 0*d - 11 = d - 4*i. Let y be (-5)/(-2)*-92*(-15)/(-148185). Let u = y + -1/267. Is u bigger than d?
False
Let v be (90/(-24))/(11690/62480 + (-2)/11). Which is smaller: -719 or v?
-719
Let p(n) = n**3 - 9*n**2 + 9. Let i(h) = h**3 - 8*h**2 + 11. Let a(r) = -4*i(r) + 5*p(r). Let g be a(13). Is g at least -3/71?
True
Let b(p) = -4*p**3 + p**2 - p - 2. Let q be b(2). Let s be -50*2/q*12/60. Which is smaller: 0 or s?
0
Let z = 0.529 + 111.471. Let r = -113 + z. Which is greater: 133 or r?
133
Let h = 1654541/11 - 150513. Which is smaller: -101 or h?
-101
Let j = -677.1 - -2939.1. Is -1/3 less than or equal to j?
True
Let q(z) = 2*z + 13. Let r be q(-4). Let c be 40/r*(4 + 16). Let l be c/38 - (2 - -2). Are -1 and l non-equal?
True
Suppose 204976 = -128*p - 7*p - 49*p. Do p and -1112 have the same value?
False
Let y(r) = -r**3 - r**2 + 8*r + 6. Let a be y(0). Let f be 200/70 - a/7. Which is smaller: 17/21 or f?
17/21
Let h be -5 + 33/6 + (-51)/34. Which is greater: 2/13293 or h?
2/13293
Let a = -25420 + 25420.2. Is a at least 192?
False
Let v be 2*(0 + 1/6). Let k = 15.2 + -15.92. Let r = 1.72 + k. Do r and v have different values?
True
Let a(b) = 11*b - 98. Let s be a(9). Let w be (8/((-16)/2))/s. Is w > 5/37?
False
Let m be (-632)/(-4) + -7 + 6. Let k(t) = -20*t - 12. Let u be k(-8). Let s = u - m. Is s at most as big as -9?
True
Let v(h) be the third derivative of -h**4/8 - 4*h**3 + 4*h**2. Let d be v(-7). Let t be ((-15)/81)/5*(-12)/d. Which is smaller: -1 or t?
-1
Let g be (35/18186)/(-5)*-2. Let j = g + 68842/6495. Which is greater: 10 or j?
j
Let u(j) = j**3 + 14*j**2 + 16*j - 88. Let r be u(-12). Let q(o) = -o + 19. Let k be q(5). Which is smaller: r or k?
r
Let i be 8/72*18/(-15) + 2518/20010. Which is smaller: i or 0?
i
Let g be (18/15)/(2/5). Suppose 5*b = n - 23, -g*n = 9 - 3. Suppose -3*k - 12 = -k. Which is greater: k or b?
b
Let h be (12 + 1067/(-88))*2. Which is smaller: 2/2695 or h?
h
Let q = 3099 - 4721. Is -1624 at least q?
False
Let s = 6219.1 + -6219. Which is greater: -2870 or s?
s
Let t = -7082 + 7083. Which is bigger: 0.7307 or t?
t
Let u be 2/4 - (-95)/(-2). Let h be (1 + (-12)/9)*142. Let l = h - u. Does 7/8 = l?
False
Let h = -35116 - -35115. Let s = 0.035 - -44.965. Let f = 21 - s. Which is greater: f or h?
h
Let t(s) = s**3 + 5*s**2 - 4*s + 15. Let q be t(-6). Suppose 2*w + 2*a = q*w - 3, -4*a - 9 = -w. Is -1 not equal to w?
True
Let l(w) = 3*w - 58. Let g be l(17). Let o be g/(-21)*(-2 + (-3 - -2)). Let v = 0 - -6. Is v greater than or equal to o?
True
Suppose 2819 - 3144 = 13*b. Are b and -309/13 equal?
False
Let z be 2*15/(-45) + ((-424)/(-6) - 1). Is z bigger than 95?
False
Let m = -918 - -4528/5. Suppose 0 = r - 2*r - 13. Are m and r unequal?
True
Let n = -3834.64 - -3841. Which is bigger: -0.2 or n?
n
Let c(m) = 2*m - 6. Let b be c(5). Suppose 0 = -4*w + 5*t + 5 - 24, 0 = b*w - 2*t + 10. Let g = -12/31 + 42/589. Is g at least w?
True
Let a(v) = v**3 + 6*v**2 + v + 7. Let l be a(-6). Let t be (-31)/37*l + (-8)/(-8). Which is greater: t or -1?
t
Let a(i) = 11*i**3 - 11*i**2 + 3. Let v be a(4). Suppose v + 309 = 21*r. Which is smaller: 38 or r?
38
Let m = -15.9 - -16.042. Let i = m + 0.018. Which is bigger: 3/5 or i?
3/5
Suppose 41 = -3*c + 14. Let d = 115 - 111. Suppose d - 5 = g. Is c at most g?
True
Let i be ((-106)/159)/(4/18). Let c(j) be the second derivative of -5*j**4/12 - j**3 + 2*j**2 - 13*j. Let p be c(i). Is -21 smaller than p?
False
Let r = -12431/4 - -3092. Let o = -17370645/44 - -394770. Let p = r - o. Which is bigger: p or 3?
3
Let w = -322 + 1486. Let p = w - 5839/5. Which is smaller: p or -3?
p
Let w(m) = m**3 + 14*m**2 + 11*m + 16. Let l be w(-13). Suppose 0 = -12*v - l - 78. Which is smaller: v or -12?
-12
Let m = 0.02407 - 0.11207. Which is smaller: 6 or m?
m
Suppose -4*v - 17 = 7. Suppose 897 = 49*i - 46*i. Let s = i + -304. Are s and v unequal?
True
Let a = -402475/8 - -260025/88. Let z = -47318 - a. Which is bigger: z or 36?
z
Suppose 0 = -719*d + 716*d - 480. Which is smaller: -1111/7 or d?
d
Suppose 12*x = 14*x + 86. Let p(o) = -o**3 - 43*o**2 + 2*o + 129. Let r be p(x). Which is bigger: 39 or r?
r
Let f(v) = -49*v - 875. Let q be f(-50). Which is bigger: q or 3?
q
Let g(w) = -3*w - 26. Let m be g(-10). Let p be (-2)/m + -4*(-8)/32. Which is smaller: p or 107?
p
Suppose -4*q + g = -g - 392, 2*q + 4*g - 216 = 0. Let s be -4*2/q*5. Let l be (6/(-99))/(-3 - -5). Is s != l?
True
Let t be 122/3*(8 - -1)/3. Let k be (-6)/84*-7*t. Do 61 and k have different values?
False
Let s(d) = -d**3 - 6*d**2 + 92*d + 11. Suppose -2*f + 7*f + 2*y = -61, 3*f + 37 = -y. Let x be s(f). Is -5 less than x?
True
Let w = -95.637 - -17.637. Which is smaller: -0.031 or w?
w
Let v(p) = -2*p**2 - 18*p - 28. Let s = -40 - -33. Let g be v(s). Is 16 != g?
True
Let u = -408 - -587. Which is greater: 1425/8 or u?
u
Let b = -6176 + 30773/5. Let f = -331/15 - b. Let j = -0.15 - -1.95. Is f > j?
False
Let c be ((-3393)/182 + 18)*-42. Is 26 less than c?
True
Let z = -43.98