 15. Let k = -13 + 9. Let o be (-40)/(-99) + k/18. Is o at least x?
True
Suppose -11*l = -98 - 45. Is -3 smaller than l?
True
Let p = 22 + -24. Is p <= -1?
True
Let n = 3 + -2.9. Let g(b) = b**3 + b + 1. Let d be (0 + -2)/(-2) + -2. Let z be g(d). Is z less than or equal to n?
True
Let i(k) = 6*k + 26. Let u be i(-5). Which is greater: u or -1?
-1
Let p(f) be the first derivative of f**2/2 - 10*f + 5. Let j be p(7). Is 1 greater than j?
True
Let u = 29/1242 - 1/207. Let k be 3/(-3) + (-554)/(-756). Let x = k - u. Is 2 at most as big as x?
False
Let a(g) = -g**2 - 8*g - 8. Let y(i) = 2*i**2 + 15*i + 15. Let o(q) = -7*a(q) - 4*y(q). Let z be o(-5). Let w be (z/(-6))/(-3)*-4. Are 4/3 and w unequal?
True
Let n be 2*(0 - -4) + 0. Suppose 8 = 4*w - 2*b, -4*w + 5*b - n = -22. Is -4/9 less than w?
True
Let r be ((-130)/4)/(4/(-4)). Let t = r - 33. Is t at most 0?
True
Let v = 25 - 24.8. Which is greater: v or -0.08?
v
Let n(k) = -4*k**2 + 8 + 6*k - 2*k + 0*k**3 - k**3 - 2*k. Let q be n(-4). Which is smaller: q or -1/4?
-1/4
Let d(b) = -b**3 + 4*b + 3. Let j be d(-3). Let s be 3/(-54) + 4/j. Is -1 not equal to s?
True
Suppose l - 4 = 2*a, 3*a + 3*l = 4*l - 4. Let o = 813924/7165 - -4/1433. Let p = o + -114. Is p < a?
True
Let f be 325/15 + (-6)/9. Is f at least as big as 21?
True
Let n = -1.11 - -0.11. Let m = 1321/7 + -189. Are m and n nonequal?
True
Suppose 3*l + 3*x = 972, 4*l - 3*x + 2*x - 1291 = 0. Let d = -7387867183/22878813 - -2/994731. Let a = l + d. Which is smaller: a or 0?
0
Let h = 142 + -278. Let f be h/(-42)*(0 + 3). Let a = f - 10. Which is smaller: a or 1?
a
Suppose 0 = -y - 3*y + 16. Let c(t) = -t + 5. Let n be c(y). Is n at most 2/3?
False
Let v(t) = t**3 + 6*t**2 - 6*t + 7. Let a be v(-7). Let k be (1 + a)/(2/(-2)). Let o be 2 - ((2 - -1) + k). Which is bigger: o or 1/9?
1/9
Let k be 12/(-16)*6*2. Which is smaller: k or -8?
k
Let k(y) = y**2 - 4*y + 3. Let u be k(3). Let h = -4 - -5. Is h at most u?
False
Let c be 1/(-2 - ((-6)/(-9) + -3)). Suppose 8 = -5*j + 23. Is c greater than j?
False
Let l = -0.04 - 0.06. Let p = -0.96 - -1. Let u = p + 0.06. Which is greater: l or u?
u
Let h = 4 - 6. Let g be h - (2 - 8) - 0. Are 3 and g equal?
False
Let p = 4/3 + -61/48. Is 1 greater than or equal to p?
True
Let l(m) = m**2 + 7*m + 1. Let y be l(-8). Is 10 greater than y?
True
Suppose -15 = -7*b - 162. Which is greater: -20 or b?
-20
Let k = 0.24 + -0.14. Which is greater: 4 or k?
4
Let b be (6/189)/((-3)/(-9)). Which is bigger: b or -1?
b
Let l = 3 - 2. Suppose 0 = 3*j - l - 11. Is 2 != j?
True
Let j(x) = -x**3 + 14*x**2 + 17*x - 27. Let y be j(15). Which is smaller: y or 12/5?
12/5
Suppose 4*x + 3*j - 2*j + 27 = 0, -2*j = x + 5. Let c be -2 - -2 - (-2)/x. Let u = -2 - -4. Which is greater: c or u?
u
Let o = 4.03 - 0.03. Let k = 0.22 + 3.98. Let q = k - o. Are q and -2/7 unequal?
True
Let n be 1*6 + 0 + -1. Suppose b = 2*m + 3, -2*m + m + 3 = -n*b. Let t = m + 1. Do 1/3 and t have different values?
True
Suppose 5*o + 28 - 23 = 0. Which is greater: o or 3/11?
3/11
Let k = -1.3 - -7.3. Let r = k + -6. Which is greater: -0.1 or r?
r
Suppose 0 = 31*s - 32*s - 1. Suppose 0*v + 6 = -2*v. Which is smaller: s or v?
v
Let r = 2528/11 - 230. Which is greater: 0 or r?
0
Let q = 85/132 + 1/44. Let u = -16/75 - 3/25. Is u < q?
True
Let y = 0.05 - 0.08. Let h = y + 0.02. Let p = h + 0.11. Is p less than 0.2?
True
Let z = -42205/6 - -196995/28. Let k = 1/28 - z. Is k smaller than -1?
True
Let n be -6*2/(-9)*3. Suppose 3*h - 8 - 1 = 4*j, 0 = 2*h - j - 6. Which is smaller: n or h?
h
Let g = -4.93 - 0.07. Let y = -29 - -27. Which is smaller: g or y?
g
Let i(p) = 2*p - 3. Let m(v) = -v**2 - v + 5. Let h be m(0). Suppose 11 = h*n - 4. Let d be i(n). Are d and 2 unequal?
True
Let n be ((-423)/94)/((-2)/8 + 1). Suppose -6*h + 3*r = -4*h, -3*h = 2*r + 26. Is h at most n?
True
Let s(j) = -5*j. Let i be s(2). Let u = -15 - i. Is -5 greater than u?
False
Suppose 4*a + k = 3*a - 7, -5*k = -a + 23. Let u be (4/(-2570))/((-16)/(-8184)). Let h = u + -1/257. Is h >= a?
True
Let u be -2 - (-1 + 13/(-10)). Do 1 and u have different values?
True
Let n(v) = -v**2 + 7*v - 7. Let q be n(6). Let w = -11/76 - 2/19. Is q less than or equal to w?
True
Suppose 0 = 5*f + 3*m - 15, -2*m + 12 - 2 = f. Let g = 97 + -83. Which is smaller: f or g?
f
Suppose -3 = -j - 5. Let f be ((-27)/15 + 1)/j. Suppose -3 = -3*g - 6. Are g and f equal?
False
Let h = 6 - 11. Let f = h - -7. Which is smaller: 5/4 or f?
5/4
Let c = -43 + 38. Is c less than -0.1?
True
Let f(r) = r**2 + 5*r + 4. Let d be f(-4). Suppose 36 = 6*v - 2*v. Let y be (v/(-6))/((-2)/4). Is d less than or equal to y?
True
Let a be (-45)/15 + (-4)/1. Are a and -6 equal?
False
Let q = 86 - 58. Is 28 less than q?
False
Let r be (3 - 3) + (0 - 24). Let s be (-40)/r - (1 + 1). Which is smaller: 3 or s?
s
Let f(p) = -p**2 + 8*p - 6. Let l be f(6). Let v = 2 + 1. Is l > v?
True
Let l = 7/51 + -83/357. Suppose -2*q = -5*q - 3. Do l and q have different values?
True
Let f = 4 - 2. Let a = f - 6. Is -3 greater than a?
True
Let z = -24.9 - -26. Let y = z - 0.1. Let v = -0.5 + 0.3. Is y < v?
False
Let y be -3 + ((-105)/(-5) - 3). Is 14 <= y?
True
Let u = 4.12 - 4. Let n = -0.01 - u. Which is bigger: 0 or n?
0
Let t be 9/(-6)*(2 + -6). Let x be 1/(-6) + 4/t. Suppose 0 = -4*j - 0*j. Which is greater: j or x?
x
Let x be (-1)/9*-3*12. Let n(h) = h**2 - 2*h - 7. Let j be n(x). Which is greater: -2/17 or j?
j
Suppose -b + 60 = -3*w + b, -2*w - 24 = 4*b. Which is smaller: -16 or w?
w
Suppose -4*r = -2*u - 6, -5*u + 3*r + 18 + 2 = 0. Let a(f) = 5 - 8*f + 2 + 5*f**2 - 4*f**2. Let n be a(u). Which is greater: n or 1?
1
Suppose -3*x - 20 = -a, -4*a - 5*x + 0*x - 5 = 0. Suppose -3*f = -7*f, 2*z + a*f = 0. Which is bigger: z or -2?
z
Let q(p) = 2*p**2 - 9*p - 11. Let h be q(8). Let k be (-7)/(-5) - 18/h. Is 4 != k?
True
Let c be -254*((-5)/2 + 4/2). Which is greater: 128 or c?
128
Suppose 2*b - 1 = b. Let k be 10/15 - 2/3. Which is smaller: k or b?
k
Let y be (9/6)/((-6)/(-12)). Which is smaller: 0.17 or y?
0.17
Suppose -f = -3*q, 3*q - 12 = -f + 2*q. Let g be 4*14*(-1)/(-8). Is f < g?
False
Let v be ((-3 + 3)/(-2))/(-1 - 0). Let y be 48/(-20)*(-70)/4. Let n be 32/y + 2/(-3). Which is greater: n or v?
n
Suppose -4*x = -2*p - 826, -4*p + 4*x + 0*x = 1640. Let i = p - -2855/7. Which is greater: i or 2?
2
Let k(r) = -r**3 + 12*r**2 - 2*r - 3. Let o(m) = 11*m**2 - 2 - m + 0 - m**3 + 0. Let j(p) = -6*k(p) + 7*o(p). Let d be j(6). Which is smaller: d or -1?
d
Let n(p) = -p**2 - 5*p - 4. Let s be n(-4). Let k be (-4)/2 + (-258)/(-147). Let r = k + 33/49. Which is smaller: r or s?
s
Let z(h) = -h - 6. Let s be z(-5). Are s and 2/29 non-equal?
True
Let h = 9/16 - 77/80. Let n = 1.3 + -2.3. Which is smaller: h or n?
n
Let j = 1431/2492 + -1/356. Let p(x) = -2*x + 9. Let d be p(4). Which is smaller: d or j?
j
Let v be -1 + 1190/8*1. Let i = 149 - v. Suppose 3*k - 3 = -0*k. Which is smaller: i or k?
k
Let l = 779/3 + -262. Is -3 > l?
False
Let i be 2*(-3)/2 + 8. Suppose -d = -i*d - 8. Let r be d + 2/(-4)*4. Is r less than -5?
False
Let g(h) = h - 15. Let a be g(-7). Do a and -24 have the same value?
False
Let s = 857 + -3451/4. Let g = 203/36 + s. Which is bigger: -1 or g?
g
Suppose 0 = -2*s + m + 27, -10 = 4*s - 3*m - 67. Which is smaller: s or 40/3?
s
Let o = -6.92 + -0.08. Let v = o + 12. Let a = v + -3. Are 0.1 and a equal?
False
Let i = -7 - -12. Let d = i + -6. Is d > 0.1?
False
Suppose 3*z - 3 = 2*z. Let m = 17 - 15. Which is smaller: m or z?
m
Suppose -15 = -3*k, 2*d + 2*k + 22 = 6*k. Let z be 36/(-630) + (2 + 0)/10. Which is bigger: z or d?
z
Let o = 0.09 + 0.02. Let z = o - 0.21. Which is bigger: z or 1?
1
Suppose 0*f - 2*f + 4 = 0. Suppose 17 = f*w - 1. Which is greater: 10 or w?
10
Let j(d) = -d**3 - 5*d**2 + d + 4. Let f be j(-5). Let n = 7 - 9. Which is smaller: n or f?
n
Let y = 0 + 1. Let l = -1 + y. Let p be (2/(4/(-2)))/2. Which is greater: l or p?
l
Suppose -4*p + a - 3 = 0, -3*p = -5*a - 3 + 1. Is p smaller than -4/5?
True
Let z be 20/9 + 10/(-45). Let a be 21/66 + z/11. Let u(o) = o**2 - 5*o + 6. Let d be u(4). Which is smaller: a or d?
a
Let i be ((-12)/(-27))/((-2)/6). Suppose -6*d + 3*d = 0. Let k be (3/(-12)*d)/1. Is k >= i?
True
Let q be 