7) + -2*(-275)/(-1890). Which is greater: k or d?
d
Suppose -4*u + 768 = 8*u. Let f = 110 - 45. Is f less than u?
False
Let u(r) = -11*r**2 + 50*r - 182. Let h be u(7). Is -370 less than or equal to h?
False
Let u = 542 + -232. Let b = u + -4032/13. Which is smaller: -10 or b?
-10
Let g(j) = 38*j + 362. Let d be g(8). Which is smaller: d or 667?
d
Let t = -419/4290 - 1/429. Which is smaller: 1/14 or t?
t
Let k = 8.97 - -0.03. Let p = 8 - k. Which is smaller: -1/13 or p?
p
Let u = -471368/21 - -22441. Is -4 at least as big as u?
True
Let d = -0.4512 + 5.4512. Let n = -33/4 + 8. Is n less than or equal to d?
True
Let a = 455 + -457. Let q = 7 - 4. Suppose -3*u + 0 - q = 0. Are a and u unequal?
True
Suppose 12*n = 9*n + 6. Which is smaller: n or 33/10?
n
Let s = 2.13 + -2.376. Let k = s - -12.216. Let n = 12 - k. Which is greater: -2/3 or n?
n
Suppose 0 = 2*q - 3*k - 4, 4*q + 4*k = -14 + 2. Is q bigger than 1/482?
False
Let j be 39/(-12) + 3/12. Let n = -1 - j. Let x be n/5 + 15/(-50). Which is smaller: 0 or x?
0
Let q = 37.6 + 197.4. Which is bigger: 1 or q?
q
Let y(n) = n**2 - 36*n + 156. Let o be y(31). Which is greater: o or -9/88?
o
Let u = -1 - -3/2. Let q = -69.8 + 69. Let a = -6.2 + q. Is a < u?
True
Let z(w) = -w**2 + 10*w + 12. Let d be z(12). Let h be ((-3)/6)/(d/(-20)). Let t(q) = q**3 + 5*q**2 - 7*q - 8. Let l be t(-6). Is l <= h?
True
Let a = -1764 - -1568. Are -192 and a equal?
False
Suppose -5 + 11 = 2*z. Suppose 0 = -3*v - z, -3*c + 26 = -3*v - 22. Is c equal to 14?
False
Let g be ((-14)/(-175))/((-1)/(-15)). Let w = -79/70 + g. Let i = -2 - -3. Is i less than w?
False
Let h be (-8)/12*(5 + (-139)/2). Let z = 81121/1872 - 1/1872. Let n = z - h. Is -1 greater than or equal to n?
False
Let u(m) = -3*m**3 + 18*m**2 + m + 26. Let t(n) = -n**3 + n. Let i(w) = 2*t(w) - u(w). Let r be i(18). Which is greater: r or -12?
r
Let b = -28.8 - -29. Let f = 5 + -5.08. Let y = 7.08 + f. Is b greater than y?
False
Suppose -y + 10 = -13. Let u = 91/4 - y. Let v(f) = 4*f + 33. Let t be v(-8). Is u smaller than t?
True
Let g = -21/40 - -2/5. Let d = -99.9 - -103.9. Which is greater: d or g?
d
Let k be -4 - ((-1 - 2) + 0). Let v = 3 - k. Let w be 10/(-1*4/v). Which is smaller: -8 or w?
w
Let w(l) = -4*l + 51. Let f be w(15). Let x(y) = y**2 - 6*y - 1. Let d be x(3). Is f <= d?
False
Suppose p = -4*u + 183, -4*u - p + 168 = -5*p. Let o = -64 - u. Let q = 1414/13 + o. Is 0 at least q?
True
Let z(i) = -i**2 + 3*i + 6. Let p be z(5). Let a be -25 - (0/p + -4). Let y = -28 - a. Which is bigger: y or -8?
y
Let m = -168.7 + 156. Let u = -13 - m. Is u smaller than -0.3?
False
Let d(f) = -4*f**3 + f + 1. Let v be d(-1). Suppose 0 = 2*x - 5*c - 23, c + 7 = 5*x - 16. Suppose v*w - x = -0*w. Is w less than or equal to 2/67?
False
Suppose 0 = 4*i + 1 - 5. Suppose 10*a - 8*a = -l + 3, 3*l = 3*a. Is a greater than i?
False
Let u be 1/3 - (-4)/(-12). Let m = u + -4. Let q be 112/105 + m/6. Is q at most as big as 7?
True
Suppose -5*a = 4 + 6, -2*l - a - 20 = 0. Let f be 1 - (-2 - -4) - l. Are f and 0 equal?
False
Suppose -150 = -5*n - 5*n. Suppose 3*a = c - 6*c - n, -4*a = -3*c - 9. Which is smaller: -0.1 or c?
c
Suppose 3*h - 2*z + 861 = 0, 1129 = -3*h + z + 271. Which is smaller: -286 or h?
-286
Let o = -13984 - -4516828/323. Is -1 greater than o?
False
Suppose -5*l - 3*d - 816 = -2*d, l - d = -168. Let n = 157 + l. Which is smaller: -2/3 or n?
n
Let x = -0.576 - 8.324. Which is bigger: -0.3 or x?
-0.3
Let p = 40.4 + -40.4. Is -1002 < p?
True
Let q = -3121 - -1448. Is q >= 1?
False
Let s = 110853/10 - 11095. Which is greater: -11 or s?
s
Let r = -11.097 - -0.097. Let o = -13 - r. Which is bigger: o or 26?
26
Let z = -0.465 - -2.465. Which is bigger: -86 or z?
z
Let n = 406 - 404. Is n < 8?
True
Let k be (-8)/(-100)*-5*567/6. Is -39 not equal to k?
True
Suppose -13*a = -4*a. Let v be (3 + a)*-1*(-6)/(-18). Which is smaller: -9/8 or v?
-9/8
Suppose 15*i - 71 = -86. Which is smaller: -5/34 or i?
i
Let w = -3 + 6. Let k = 324 - 314. Is k >= w?
True
Let y(a) = 5*a - 46. Let q be y(9). Which is smaller: -347 or q?
-347
Let d = 0.19 + -13.19. Let z = 12.98 + d. Let h = 0.06 - z. Which is greater: 2 or h?
2
Let h(z) = -4*z**3 + 3*z**2 - 2*z - 2. Let u be h(-3). Are 136 and u nonequal?
True
Let u be (-500)/(-42) + 12/126. Suppose -o + 5*c + u = -18, -2*o - c = -5. Which is smaller: o or -2?
-2
Let c(q) = q**2 + q - 1. Let l be c(-2). Let o = 30796959 + -84075699247/2730. Let x = o + 1/390. Which is bigger: x or l?
l
Let x = -16 - -15. Let s be (-15)/(-9)*(x + 13). Let r = 29 - s. Which is greater: r or 10?
10
Let x = -182 - 2. Let s be (0 - 108/x) + 1/(-2). Which is greater: s or 7?
7
Let k = -24.1 - -24.81. Is 3 equal to k?
False
Let r be (-2387)/55 + 4/10 + -3. Which is smaller: r or -44?
r
Suppose -3*m + 28 = m + 5*p, -3*m - 3*p = -24. Let w = 49 + -42. Suppose -3*t = 2*z - m, 2*t - 1 = -4*z + w. Is -2/31 smaller than z?
True
Suppose 3*m - 8*m = 3*n, -m = -n. Which is greater: m or 96?
96
Suppose -4*f + m - 5 = 0, 5*f + 2*m = -m - 2. Let b be (f - 1) + (6 - -1). Let g be (8*1)/(b/1). Which is smaller: 2 or g?
g
Let i be 10/(-20)*0 - 362. Which is greater: -360 or i?
-360
Suppose 6*t - 4*t = 4. Suppose 0 = 7*d - t*d. Let p = -13 - -12. Which is bigger: p or d?
d
Let v = 106 + -118. Let r be 2/24*2*(v - -18). Is 8/19 smaller than r?
True
Let v be 15/(-9) + 4 + 20/12. Do -104 and v have the same value?
False
Let x = 1278 - 6432/5. Let w = x + 467/55. Which is bigger: w or 5?
5
Let m(y) be the third derivative of y**4/24 - y**3/3 + 7*y**2. Let v be (-1 - 0)/((-5)/60). Let h be m(v). Which is smaller: h or 11?
h
Let j = 27 - 15. Let z = j + -7. Let c be 3/z - 1210/1850. Which is smaller: c or 0?
c
Let x = 788 + -799. Which is smaller: x or -4?
x
Suppose 18 = -4*g - 2*j - 2, 2*j + 24 = -5*g. Let h be (-13)/4 + -1 + 0. Is h bigger than g?
False
Let m be ((-6)/(-32))/((-91)/156). Is 1 greater than m?
True
Let u = 0.0252 - -8.9748. Is 47 greater than u?
True
Suppose 7*r - 20 = 8. Suppose -5*n + 28 = 3*m, r*m + n = -4*n + 29. Is 0 at least as big as m?
False
Suppose -40 = 11*j - 3*j. Let z = 2/163 + -1799/489. Is z at most j?
False
Suppose 0 = -2*y + 16 - 0. Suppose 5*u + y = u. Let o(b) = b**3 - 6*b**2 + 3*b + 7. Let s be o(5). Is s less than or equal to u?
True
Suppose -65 = -5*s - 20. Suppose 2*i - 4*y + 2 = 0, -3*i = 2*i + y - 17. Let d be i + (2 - (-5)/1). Is d < s?
False
Let k = -2 - -2. Let t = 6 - k. Let r be (8/14)/(66/693). Are t and r unequal?
False
Let i(x) = -x + 1. Let t(q) = 3*q. Let b(p) = 4*i(p) + t(p). Let m(v) = 4*v**3 - 3*v**2 + 2*v. Let u be m(1). Let z be b(u). Is z greater than 0?
True
Let l(x) = -21*x**3 + x - 1. Let r be l(1). Let f(s) = -4*s + 118. Let n be f(-23). Let a = 190 - n. Are a and r nonequal?
True
Let k = -12 + 11. Let p be k/((-93)/(-24) + -4). Let q = -7 + p. Which is greater: q or 2/13?
q
Let q(w) = 14*w - 2. Let t be q(3). Suppose 0 = -0*z + 4*z + t. Is -12 at least as big as z?
False
Let c = -518.5 - -59.5. Is 0.1 greater than c?
True
Suppose -4 = -2*a - 6, 2*i + 5*a + 361 = 0. Are i and -178 equal?
True
Let v be (-90)/364 + (-2)/(-7). Let l(p) = -p**2 - 16*p - 6. Let x be l(-16). Let q be x/(-8) + (-6)/8. Do v and q have different values?
True
Suppose -m + 23 = 5*h, 5*m - 5*h + 5 = -0. Let r = m + -6. Let v be r*(-3 - -4)*-3. Which is smaller: v or 10?
v
Suppose -5*h + 10*h - 40 = -5*d, -44 = -4*d + 2*h. Is 9 at most as big as d?
True
Let r = 342 - 345.9. Which is smaller: -0.1 or r?
r
Let x = 1.9 + -0.9. Let l = 7 - x. Let c = -123.1 + 123. Which is bigger: l or c?
l
Let r be 1/(-1) - (-20)/((-126620)/(-6409)). Which is smaller: r or 0?
0
Let k = 3 + -3.1. Let v = k + 0.3. Let f = -76.9 - -77. Is v bigger than f?
True
Let t = -228.28 - -250.238. Let q = t - -0.042. Is 0 equal to q?
False
Let t = -46 - -46. Suppose t = 8*d + 10 + 6. Which is greater: d or -4?
d
Suppose 0 = 4*r - 2*j + 4, 3*j = r - 4 + 15. Let w be (-3)/(-257)*(-4)/6. Which is greater: w or r?
r
Let h(o) = o - 10. Let d be h(-9). Let c be d/(-1 - 0/(-2)). Let q be (-9)/6*20/(-15) - -16. Which is smaller: c or q?
q
Suppose -5*j - 2*q = -498, -3*q + 64 + 233 = 3*j. Is j greater than 98?
True
Let v = 0.13 + -0.07. Let y = 7.06 - v. Let q be (-2)/4 + 2/(-4). Is q smaller 