 15. Suppose -36 = 4*g + o*l, 5*l - 11 = 4*g - 2. Suppose -4*b - 35 = -7. Is b <= g?
True
Let h = -2147 - -2145.8. Which is smaller: 0.9 or h?
h
Suppose 4*i - 2*q = 4, -2*i - 5*q + 5 = 3*i. Suppose v = 3 - i. Let y(b) = -4*b**2 - 3*b + 3. Let f be y(v). Is f not equal to -18?
True
Let a = -0.14 - 1.46. Suppose 0 = -u - 5*i + 15, 6 = -u + 6*i - 4*i. Does a = u?
False
Suppose -3*j - 3 = -2*j. Let l be j/(-3) + 1 + 5. Let d(k) = k**3 - 6*k**2 - 7*k + 1. Let y be d(l). Which is greater: -1/15 or y?
y
Let x be ((-7)/(-11))/(-1 + 2). Let g(s) = 2*s**2 - 29*s + 51. Let k be g(2). Which is greater: k or x?
k
Suppose -k + 530 = -0*k - 3*j, 5*k - 2650 = j. Let p = k + -24908/47. Let t(l) = -l**3 + 6*l**2 + 7*l - 1. Let z be t(7). Is p less than or equal to z?
False
Let a = -0.06 - -0.18. Let g = a - -0.14. Let k = g + -0.36. Is 12 less than k?
False
Let z = -10 + 6. Let a = z - -5. Is 12 greater than a?
True
Suppose 10*f - 34 - 16 = 0. Suppose 9*x = f*x + 12. Is x less than -2/3?
False
Suppose 4*v = 2*o + 8, 3*v + o = 3*o + 7. Let h = -122/5 - -8428/345. Are v and h unequal?
True
Let g be 2/8 - 163/(-4). Suppose 4*c - 25 = -g. Is c > -19/5?
False
Suppose -49 = -4*j - 321. Let l = -60 - j. Which is smaller: l or 7?
7
Let w = 88 + -90. Is w at least 0.93?
False
Let p = -43 - -47. Let g be (p + -4)*3/6. Which is greater: g or 2/23?
2/23
Let i = 276 + -273. Let v = -37 + 36. Which is smaller: v or i?
v
Suppose -5*r + 5*s - 8 = 2, 2*r + 3*s + 4 = 0. Let v(z) = -z**3 + 8*z**2 - 7*z. Let c be v(7). Suppose 0 = 2*m - c*m. Are m and r non-equal?
True
Suppose 4*v - 5*l = 24, -l = -6*l. Let k = 12 - v. Suppose 0 = -y + k*y. Which is bigger: -3/11 or y?
y
Let v = 91.2 + -91.2. Suppose -2*q = 3*q - 20. Is v greater than q?
False
Let v = 2 - 3. Let s = -491 - -508. Which is smaller: s or v?
v
Let h(q) = q**3 - 9*q**2 - 10*q + 9. Let b be h(10). Let a = b + -7. Let w = -84 - -87. Which is smaller: a or w?
a
Suppose -8*q - 126 = -5*q. Let l(a) = a**2 + 11*a - 22. Let j be l(-9). Is q != j?
True
Let s be 4/10 + (-23)/(-5). Suppose g - 28 = s*o, g = 6*g - 4*o - 56. Let b(z) = -z + 8. Let h be b(0). Is g at most h?
True
Suppose 81 = 12*y - 9*y. Let t = -33 + y. Which is greater: -7 or t?
t
Let r be (6/(-5))/(6/30). Suppose 4*v - m = -3, -m + 2*m + 9 = -2*v. Let x be 12/v*r/(-45). Is -2 at least x?
False
Let y(k) = -2*k**3 - 4*k**2 + 3. Let j be y(-3). Let z(w) = 2*w**3 - 26*w**2 + w + 6. Let l be z(13). Is j greater than l?
True
Let u be 2 - 7 - -190 - -9. Is u at most 193?
False
Let c = -10 - -13. Suppose -23 = -f - h, -2 = -3*f + c*h + 97. Is f > 27?
True
Let j(v) = -v**2 - 9*v + 7. Let r(m) = -3*m**2 - 26*m + 22. Let f(y) = -7*j(y) + 2*r(y). Let t be f(-10). Which is smaller: -14 or t?
t
Suppose -2*c - 4*l + 12 = 0, 5*l = 57*c - 52*c. Suppose -19 = 2*b - 5*w, 5*b + 10 = -0*b + 5*w. Which is smaller: b or c?
c
Let m(w) = 2*w**2 - 20*w + 18. Let q be m(9). Let x = -2940/11 - -267. Is x at most as big as q?
True
Let q = -240479/262055 + 1/52411. Which is smaller: 0 or q?
q
Let s = -30 - -27. Let g be (4/22)/(-4 - (-95)/24). Is s at least g?
True
Let o be 2 - 8/2 - -5. Suppose 2*f - 20 = -5*t - 1, -2*t + 19 = -o*f. Suppose 3*l + 2*b + 3 = 0, -5*l - 9 = t*b + 1. Is 4/19 greater than or equal to l?
False
Let w = -15631/3946186 + 5/2147. Does w = 0?
False
Suppose -3*h + 2*y = -3*y - 22, -2*y + 2 = 0. Let q be (-2)/(-3)*2*h/24. Is q > 10/7?
False
Let t = 56 - 124. Which is bigger: t or -69?
t
Let p = -8261/7 - -1185. Let m(g) = g**3 + 12*g**2 + g + 16. Let v be m(-12). Do v and p have the same value?
False
Let b(h) = h**2 - 16*h + 26. Let y be b(11). Let g(n) = -2*n**2 + n + 36. Let j be g(6). Is y <= j?
False
Let s(l) = 10*l**3 - 4*l**2 - 5*l + 3. Let d(y) = y**3 - y**2 - y + 1. Let i(n) = 4*d(n) - s(n). Let r be i(-1). Is 27/4 less than r?
False
Let w = 58 - 42. Let d = -17 - -31. Is w equal to d?
False
Suppose 0 = -y - 2*p + 5*p - 12, -p = 1. Let w = -821 - -823. Which is greater: w or y?
w
Let z be 513/(-39) - 2/(-13). Let y = -5 - z. Suppose -5*d - 9 = -4*c, -3*c = -d - y*c - 25. Does d = -5?
True
Suppose 1 = -3*m + 4, -3*m = -3*b + 12. Suppose -34 = -3*d - b*u, -5*d + 4*u = u. Which is smaller: 16/9 or d?
16/9
Let h(k) = -k + 1. Let l be h(3). Let s be l/(-12) - (-6 + (-206)/(-12)). Do -10 and s have the same value?
False
Let r be (-3)/(((-6)/15)/((-24)/20)). Suppose -2*m - 15 = 15. Let l = m - r. Is -4 greater than or equal to l?
True
Let o = 66 - 2. Let k be o/(-105) + (-8)/(-12). Do k and 0 have the same value?
False
Let v = 234 - 306. Which is smaller: v or -75?
-75
Let a = 269 + -278. Is -9 < a?
False
Let w = -27499/390 - -2/195. Let x = w - -72. Let d(j) = -j - 1. Let g be d(-2). Is x >= g?
True
Let f be -4 + 7 - (-225)/1. Is f at least 229?
False
Let x = -3947241/5068 + 5452/7. Which is smaller: x or -1?
-1
Suppose 7*h = 8 - 85. Let k = h - -4. Which is bigger: k or -42/5?
k
Suppose s + 3*f = -30, 4*f + 88 = -14*s + 10*s. Is -17 at most s?
False
Let b = -100.078 - -100. Let u = 3953.8 - 3985.722. Let c = u + b. Which is smaller: c or 2/5?
c
Let m = 422 + -422. Is 16/11 greater than or equal to m?
True
Suppose 3*y = 3*f + 9, -3*f - 15 = -y - 8. Suppose -3*v - v = 0. Which is smaller: y or v?
v
Let m be 0/(-2*2/(-4)). Let d be ((48/63)/4)/(2/15). Which is greater: m or d?
d
Let b = -2 + 0. Let f = b - -6. Suppose 4*w - 4*r - 218 + 238 = 0, 9 = -3*w - 3*r. Are f and w equal?
False
Suppose 0 = p - 2*q + 1, p - 4*p - 3*q = -24. Let y = 17 - 15. Suppose -10 = -2*w - y. Which is greater: p or w?
p
Let r = -1316 - -1502. Is 3 greater than r?
False
Let y = 332 - 331. Which is bigger: -239 or y?
y
Let a be (-4 + 3)/(1/7). Let d(t) = -3*t - 1. Let y be d(7). Let w = 15 + y. Do a and w have the same value?
True
Let h(v) = -7*v**3 + 7*v**2 + 5*v + 80. Let n(k) = -13*k**3 + 13*k**2 + 9*k + 160. Let r(s) = 11*h(s) - 6*n(s). Let f be r(0). Let a be 55/22*1/f. Is a < 1?
True
Suppose n = 282 - 278. Let b be ((-84)/(-18))/((n/3)/2). Let d = -13 - -19. Which is smaller: b or d?
d
Let v = -3 - -15. Let d be 5/(-3*(-4)/v). Suppose 2*h - 48 = 6*h - 2*a, 3*h - d*a + 29 = 0. Do -13 and h have the same value?
True
Let f = 132 + -135. Which is bigger: -12 or f?
f
Suppose -2*n + 8 = 5*r, 2*r + r - 5 = -n. Let d be 0*2/(-4) + 9/15. Which is smaller: r or d?
d
Let y be 76/19 - (-7676)/9. Let k = -858 + y. Let i(l) = -l - 4. Let t be i(-4). Does t = k?
False
Let o(v) = 53*v + 188. Let j be o(-4). Which is smaller: j or -26?
-26
Suppose -5*k = -2*z - 26, 39*k + 13 = -3*z + 40*k. Which is smaller: z or 11.1?
z
Let q be (((-2)/(-4))/1)/(3/(-24)). Let i be ((-6)/q)/((-3)/4). Which is bigger: i or -4?
i
Suppose 0 = 2*q + 3*q - 3*n + 7, -4*n = -4*q - 12. Let a = -0.33 + -1.77. Is q less than a?
False
Let f(l) = l**2 + 9*l + 4. Let x be f(-6). Let d be 2/((-4)/x) - 3. Let p be (1/(-3))/(14/d). Which is bigger: 0 or p?
0
Let c be (-8 - -6) + 10/2. Suppose 5*y - 120 + 10 = -c*o, -5*o + 100 = 5*y. Is 26 at least y?
True
Let h = 0 - 1. Let d = 0.9 + h. Let m = 42 + -45. Are m and d non-equal?
True
Let h(x) = 4*x - 103. Let k be h(26). Let s = 2268 - 43080/19. Are k and s unequal?
True
Let i = 10.8 - 11.3. Is i <= -10?
False
Suppose h - 5*h = 12. Let c be -3 - ((-93)/(-10))/h. Let a = c + -3/5. Is a greater than or equal to 0?
False
Suppose c + 9*c = -410. Is c equal to -40?
False
Let b be (4/(-12))/(1/6*-2). Suppose -2*f - 37 = a - 2*a, -5*a = -4*f - 65. Let j be (f/18)/((-12)/9). Which is bigger: b or j?
b
Let n = 17 - 15. Suppose 4 = n*k - 30. Let r = 31 - k. Which is bigger: r or 0.1?
r
Let q = 1 + -1. Suppose -4*v + 16 = 2*i, q*i = -i + 4*v - 10. Let y be (6/2)/(70/200 - 4/(-10)). Which is bigger: y or i?
y
Suppose -8*i - 12 = 12. Which is smaller: i or 14?
i
Let x = 12 - 6. Is x equal to -1/8?
False
Let h = -1.28 - 3. Which is greater: h or -2/7?
-2/7
Let h(a) = 4*a**3 + 6*a**2 - a + 1. Let r(b) = 7*b**3 + 11*b**2 - 2*b + 1. Let j(i) = -5*h(i) + 3*r(i). Let k = 139 - 142. Let t be j(k). Is t less than 2/17?
False
Suppose -a + 15 = 16. Let r be (10 - 20)*a/2. Which is smaller: r or 27/7?
27/7
Let i(v) = -7*v**2 + 0*v + 8*v**2 + 32 - 18*v. Let l be i(16). Are -6/11 and l equal?
False
Suppose -3*a - 50*i = -47*i + 3, 3*a - 1 = i. Which is smaller: 3.1 or a?
a
Suppose 4*h + 781 - 99 = 5*q, -2*q = -h